VIAM

Projects

G6133

Symbolic Rewriting Methods for Safety and Security of Critical Cyber-Physical Systems

Start Date: 2023-11-13
End Date: 2026-11-13

FR-22-354

Problem of factorization and invariants of holomorphic bundles on Riemann surfaces

Start Date: 2023-09-03
End Date: 2026-09-03

91677288

: Leader of the project “Concurrent ρLog Calculus”

Start Date: 2023-08-01
End Date: 2023-11-03

MG-ISE-23-899

Logic, Algebra and Truth Degrees

Start Date: 2023-08-01
End Date: 2023-09-30

FR-22-4254

Unranked Probabilistic Theory

Start Date: 2023-03-17
End Date: 2026-03-17

FR22-18445

Studyof aeolian dust transport inGeorgia andtheimpactofduston someriskyphenomena under conditions of regional climatechange.

Start Date: 2023-02-18
End Date: 2026-02-18

STEM-22-1837

Recursive Functions and Engineering Probabilistic Ontologies

Start Date: 2022-12-23
End Date: 2024-12-23

FR-21-2101

Investigation and Approximate Solution of Some Nonlinear Partial Differential and Integro-Differential Models

Start Date: 2022-03-15
End Date: 2025-03-15

FR-21-16725

Tolerance-Based Techniques for Approximate Reasoning

Start Date: 2022-03-14
End Date: 2025-03-14

YS-21-554

Sensitivity analysis of some classes neutral differential equations and optimal problems considering perturbations of delay parameters

Start Date: 2021-12-16
End Date: 2023-12-17

101008140

Effective Factorization techniques for matrix-functions: Developing theory, numerical methods and impactful applications

Start Date: 2021-01-31
End Date: 2026-01-30

FR-19-18557

“Towards Georgian Controlled Language”

Start Date: 2020-01-06
End Date: 2023-01-01

YS-19-367

Unranked Fuzzy Logic and its Applications

Start Date: 2019-12-11
End Date: 2021-12-11

Tubitak 04/03

Design and Analysis of NTRU-based Cryptosystems Using Formal Methods

Start Date: 2019-02-05
End Date: 2021-02-05

04/01

Generation and Nonlinear Dynamics of Rossby Type Solitary Structures Under The Action of Sheared Neutral Wind in the Earth's Ionosphere

Start Date: 2019-01-01
End Date: 2021-01-01

YS-18-610

Investigation of non-classical problems of the theories of viscoelasticity and thermoviscoelasticity for binary mixtures of porous solids

Start Date: 2018-11-12
End Date: 2021-11-12

YS-18-1480

Probabilistic Programming in PρLog

Start Date: 2018-01-10
End Date: 2020-01-10

MG_TG_18_1277

Nonlinear Cohrent Structures and Strong Vortical Turbulence in theAtmosph re and Ionosphere

Start Date: 2018-01-08
End Date: 2018-02-12

N FR17_548

Study of some climate characteristic parameters variability over the territory of Georgia based on regional climate prediction modeling ensemble system

Start Date: 2017-12-20
End Date: 2020-12-20

FR17_252

Nonlinear Dynamics of Multidimensional Soliton and Vortex Structures in Complex Continuous Media

Start Date: 2017-12-20
End Date: 2021-05-30

FR17_279

Nonlinear Cohrent Structures and Strong Vortical Turbulence in theAtmosph re and Ionosphere

Start Date: 2017-12-19
End Date: 2022-05-30

FR17_439

Rule-Based Approach to Attribute-Based Access Control

Start Date: 2017-12-17
End Date: 2020-12-17

PhD_F_ 17_89

Variation Formulas of Solutions for the Controlled Functional Differential Equations with the Discontinuous Initial Conditions and their Applications in the Optimization Problems

Start Date: 2017-11-29
End Date: 2019-12-01

MG_101

On Investigation and Approximate Solution of Two Nonlinear Diffusion Models (Travel Grant, Turkey)

Start Date: 2017-11-23
End Date: 2017-11-25

MG_126

Numerical simulation and experimental data analysis of the vortex structures in the magnetotail plasma flows

Start Date: 2017-02-11
End Date: 2017-02-12

FR17-96

Riemann-Hilbert problems on Riemann surfaces and invariants of holomorphic bundles

Start Date: 2017-01-31
End Date: 2020-01-30

217596

Construction and investigation of hierarchical models for thermoelastic piezoelectric structures

Start Date: 2016-12-09
End Date: 2019-12-08

YS15_2.1.1_100

Investigation of the boundary value problems of the theories of viscoelasticity and thermoviscoelasticity for binary mixtures

Start Date: 2015-12-18
End Date: 2017-12-18

VI-SEEM N 675121

Virtual research environment for societies of different scientific directions in Southern Europe and the Eastern Mediterranean region

Start Date: 2015-10-01
End Date: 2018-10-01

NATO ARW No. 981578

NATO Advanced Research Workshop “Air, Water and Soil Quality Modelling for Risk and Impact Assessment”

Start Date: 2015-09-16
End Date: 2015-09-20

FR /358/5-109/14

Some problem s of linear and nonlinear theory of shallow and nonshallow shells

Start Date: 2015-05-05
End Date: 2018-05-05

FR/325/4-120/14.

CLP(HC) :Foundation, Imple

Start Date: 2015-05-01
End Date: 2017-04-30

FR/508/4-120/14

Rewrite-Based Usage Control

Start Date: 2015-03-05
End Date: 2018-03-05

CNRS/SRNSF 2013, 04/26

Investigation and Numerical Solution of Some Nonlinear Integro-Differential Models Based on Maxwell System

Start Date: 2014-04-11
End Date: 2016-04-11

FR/51/4-102/13

Automated and Interactive Theorem Proving in Schemata and Unranked Logics

Start Date: 2014-04-02
End Date: 2017-04-02

2014_tr_405

Large Time Behavior and Semi-Discrete Scheme for One Nonlinear Partial Integro-Differential Equation (Florida, USA)

Start Date: 2014-03-28
End Date: 2014-03-31

PG/6/4-102/13

Development of Theorem Prover for Formula Schemata

Start Date: 2013-12-24
End Date: 2014-12-24

40/98

Investigation of the boundary value problems of the theory of thermoviscoelasticity for Kelvin-Voigt materials with voids

Start Date: 2013-12-03
End Date: 2014-12-30

No 31/09

On asymptotic behavior of solutions of functional differential and discrete equations

Start Date: 2013-10-16
End Date: 2014-04-15

N 31/14

Generation, intensification and mutual transformation of the electromagnetic weather forming ULF wave structures in the shear flow driven ionosphere

Start Date: 2013-07-04
End Date: 2016-07-04

FR/611/4-102/12.

A Pattern Calculus with Hedge Variables

Start Date: 2013-05-01
End Date: 2015-03-30

FR/89/5-107/12

Initial data optimization problems for some classes of neutral functional differential equations: variation formulas, necessary optimality conditions, existence theorems

Start Date: 2013-04-15
End Date: 2015-04-15

FR/30/5-101/12

Investigation and Numerical Solution of Some Nonlinear Nonstationary Models

Start Date: 2013-04-14
End Date: 2016-04-14

308/5-104/12

Some problems of statistical estimations and stochastic analysis

Start Date: 2013-01-29
End Date: 2016-12-29

Grant //SC / 28/5-106/12.

On approximate solution of one class of singular integral equations

Start Date: 2013-01-20
End Date: 2013-04-20

30/28

Modeling and calculating in practice widely-distributed structures with complicated geometry

Start Date: 2013-01-01
End Date: 2015-01-01

D-13/18

Development of analytical and numerical methods for calculating of cusped prismatic shells and beams

Start Date: 2012-12-20
End Date: 2014-12-19

AY 2012-2013

Investigation and numerical resolution of some nonlinear diffusion systems

Start Date: 2012-10-01
End Date: 2013-11-30

09/23 (STCU 5622)

Monodromic quantum computation

Start Date: 2012-09-04
End Date: 2014-09-01

AR/91/5-109/11

APPLICATIONAL NONCLASSICAL ELASTICITY PROBLEMS FOR VARIOUS MULTILAYER BODIES AND DEVELOPMENT OF A TECHNICAL AND THEORETICAL AID WITH A PROGRAMME FOR THEIR STRENGTH CALCULATION

Start Date: 2012-04-02
End Date: 2014-04-07

SRNSF-CNR 09/04/30

Some classes of PDE and systems with applications to mechanics and biology

Start Date: 2012-04-02
End Date: 2014-04-01

13-08

Constraint Logic Programming over Unranked Terms and Hedges with Description Operators

Start Date: 2012-03-20
End Date: 2015-03-20

ID-256

Large-scale Vortices and Zonal Winds in Planetary Atmospheres/ionospheres: Theory versus Observations

Start Date: 2012-01-01
End Date: 2014-01-01

GNSF/ST09-81-3-101.

On asymptotic behavior of solution of almost linear and essentially nonlinear functional differential equations

Start Date: 2011-01-01
End Date: 2012-01-01

PIRSES-GA-2009-269198

Dissipative Structures and Kinetic Processes in the Near Earth Plasmas”. 7th Framework Program Research

Start Date: 2010-12-02
End Date: 2013-02-12

PIRSES-GA-2009-269198

Dissipative Structures and Kinetic Processes in the Near Earth Plasmas

Start Date: 2010-12-02
End Date: 2013-02-12

SEE-GRID-SCI No 211338

SEE-GRID e-infrastructure for regional science

Start Date: 2010-05-01
End Date: 2012-04-20

YS 2/3-08

Georgian President Grant for Young Scientists

Start Date: 2010-02-19
End Date: 2010-11-19

09-614-5-210

Assessment of risk factors for extreme accidents and possible environmental pollution on oil and gas pipelines by mathematical modeling

Start Date: 2010-02-01
End Date: 2012-02-01

1-3/85

Elliptic systems on Riemann surfaces and its applications

Start Date: 2010-01-22
End Date: 2012-01-22

YS09 2 1-120

Second Order Programming with Transformational Rules with Sequence Variables

Start Date: 2010-01-01
End Date: 2010-12-31

GNSF/ST08/3-399

Optimization of the initial data and inverse problems for some classes of functional differential equations

Start Date: 2009-03-01
End Date: 2011-03-01

#GNSF/ST08/3-395

Investigation of the influence of different physical fields on the periodic and quasi-periodic structures

Start Date: 2009-03-01
End Date: 2012-03-01

09-383-3-106

Some constructions of stochastic analysis and statistical decisions

Start Date: 2009-01-30
End Date: 2011-12-29

No 221137

Extending ICT Research Co-operation between the European Union, Eastern Europe and the Southern Caucasus

Start Date: 2009-01-01
End Date: 2011-06-01

GNSF/ST08/5-442

Physical Modeling of Propagation Dynamics of Electromagnetic Rossby and Acoustic-Gravity Waves in the Earth's Ionosphere

Start Date: 2009-01-01
End Date: 2012-01-01

06-1000017-8943

Non-Gaussian transport, strong turbulence, and nonlinear phenomena in the magnetosphere and ionosphere

Start Date: 2007-12-03
End Date: 2009-12-03

06-1000017-8943

Non-Gaussian transport, strong turbulence, and nonlinear phenomena in the magnetosphere and ionosphere

Start Date: 2007-12-03
End Date: 2009-02-03

1-3339-TB-06

Non-classical problems of fluid-elastic cusped plate (beam) interaction

Start Date: 2007-05-01
End Date: 2009-04-30

GEP2-3340-TB-06

An Investigation of Ionospheric Ultra-low-frequency waves Generated as Earthquake precursor

Start Date: 2007-05-01
End Date: 2009-10-31

06-1000017-8886

Some nonclassical problems for thin structures

Start Date: 2007-02-02
End Date: 2009-01-31

EGIDE-ECONET-16362VB

Inverse and Boundary control problems with applications

Start Date: 2007-01-01
End Date: 2008-12-31

GNSF/ST06/3-046G

Optimization of controlled systems with delays considering non-fixed initial moment, mixed initial conditions and restrictions

Start Date: 2006-10-01
End Date: 2008-10-01

GNSF/ST 06/3-033

Investigation of the problems of the theory of elasticity and thermoelasticity for binary mixtures

Start Date: 2006-10-01
End Date: 2009-09-30

ID 05-1000008-8144

Practical formal verification using automated reasoning and model checking

Start Date: 2006-10-01
End Date: 2009-02-01

GNSF/ST06/3-035

Construction and Investigation of Hierarchical Mathematical Models for Medium Consisting of Deformable Solid and Fluid Parts

Start Date: 2006-10-01
End Date: 2008-09-30

1.01.83

Calculation of linear and nonlinear shells by Vekua’s method and effective solution of three-dimensional thermoelectricity localization-delocalization problems

Start Date: 2005-06-01
End Date: 2005-12-31

GTFPF-11

Georgian Travel Fellowship Program Follow-on Grant Application 2004 GTFP-11

Start Date: 2005-02-01
End Date: 2006-02-01

1.01.87

Physical and Mathematical Modelling of Propagation of Planetary Waves and Nonlinear Solitary Vortical Structures in Earth's Ionosphere

Start Date: 2005-01-01
End Date: 2005-12-01

No.100425312

Plasma Processes on the Sun and in the Solar System

Start Date: 2005-01-01
End Date: 2007-01-01

GTFP-11

Elastic cusped plate-fluid interaction problems

Start Date: 2004-10-01
End Date: 2004-11-30

3317

Planetary Waves and Nonlinear Solitary Vortical Structures in the Earth's Ionosphere

Start Date: 2003-01-01
End Date: 2005-01-01

25/C/01CZ

Investigation of the mathematical models of cusped plates and bars

Start Date: 2001-12-03
End Date: 2002-05-31

NATO PST.CLG.976426/5437

Mathematical Models for Elastic Cusped Plates and Bars

Start Date: 2000-01-01
End Date: 2002-06-01