VIAM

პროექტები

G6133

სიმბოლური გადაწერის მეთოდები კრიტიკული კიბერ-ფიზიკური სისტემების უსაფრთხოებისთვის

დაწყების თარიღი: 2023-11-13
დასრულების თარიღი: 2026-11-13

FR-22-354

ფაქტორიზაციის ამოცანა და რიმანის ზედაპირებზე ჰოლომორფული ფიბრაციის ინვარიანტები

დაწყების თარიღი: 2023-09-03
დასრულების თარიღი: 2026-09-03

91677288

: Leader of the project “Concurrent ρLog Calculus”

დაწყების თარიღი: 2023-08-01
დასრულების თარიღი: 2023-11-03

MG-ISE-23-899

ლოგიკა, ალგებრა და ჭეშმარიტების ხარისხები

დაწყების თარიღი: 2023-08-01
დასრულების თარიღი: 2023-09-30

FR-22-4254

ურანგო ალბათური თეორია

დაწყების თარიღი: 2023-03-17
დასრულების თარიღი: 2026-03-17

FR22-18445

საქართველოში ეოლიური მტვრის ტრანსპორტირებისა და მტვრისგავლენისშესწავლა ზოგიერთ საშიშ მოვლენებზე რეგიონული კლიმატის ცვლილებისპირობებში

დაწყების თარიღი: 2023-02-18
დასრულების თარიღი: 2026-02-18

STEM-22-1837

რეკურსიული ფუნქციები და ალბათური ონთოლოგიების ინჟინერია

დაწყების თარიღი: 2022-12-23
დასრულების თარიღი: 2024-12-23

FR-21-2101

ზოგიერთი არაწრფივი კერძოწარმოებულებიანი დიფერენციალური და ინტეგრო-დიფერენციალური მოდელის გამოკვლევა და მიახლოებითი ამოხსნა

დაწყების თარიღი: 2022-03-15
დასრულების თარიღი: 2025-03-15

FR-21-16725

ტოლერანტობის მიმართებაზე დაფუძნებული მეთოდები მიახლოებითი მსჯელობისთვის

დაწყების თარიღი: 2022-03-14
დასრულების თარიღი: 2025-03-14

YS-21-554

ზოგიერთი კლასის ნეიტრალური დიფერენციალური განტოლებებისა და ოპტიმალური ამოცანების სენსიტიური ანალიზი დაგვიანების პარამეტრების შეშფოთებების გათვალისწინებით

დაწყების თარიღი: 2021-12-16
დასრულების თარიღი: 2023-12-17

101008140

მატრიცული ფუნქციის ეფექტური ფაქტორიზაცია: თეორია, რიცხვითი მეთოდები და გამოყენებები

დაწყების თარიღი: 2021-01-31
დასრულების თარიღი: 2026-01-30

FR-19-18557

“Towards Georgian Controlled Language”

დაწყების თარიღი: 2020-01-06
დასრულების თარიღი: 2023-01-01

YS-19-367

ურანგო არამკაფიო ლოგიკა და მისი გამოყენებები

დაწყების თარიღი: 2019-12-11
დასრულების თარიღი: 2021-12-11

Tubitak 04/03

NTRU-ზე დაფუძნებული კრიპტოსისტემების დიზაინი და ანალიზი ფორმალური მეთოდების გამოყენებით

დაწყების თარიღი: 2019-02-05
დასრულების თარიღი: 2021-02-05

04/01

წანაცვლებითი ნეიტრალური ქარის მოქმქდების ქვეშ მყოფი როსბის ტიპის განმხოლოებული სტრუქტურების გენერაცია და არაწრფივი დინამიკა დედამიწის იონოსფეროში

დაწყების თარიღი: 2019-01-01
დასრულების თარიღი: 2021-01-01

YS-18-610

ბლანტი დრეკადობისა და თერმოდრეკადობის თეორიების არაკლასიკური ამოცანების გამოკვლევა ფოროვან სხეულთა ბინარული ნარევებისათვის

დაწყების თარიღი: 2018-11-12
დასრულების თარიღი: 2021-11-12

YS-18-1480

Probabilistic Programming in PρLog

დაწყების თარიღი: 2018-01-10
დასრულების თარიღი: 2020-01-10

MG_TG_18_1277

დაბალი სიხშირის შიდა გრავიტაციული ტალღების ინტენსიფიკაცია იონოსფერულ პლაზმაში არაერთგვაროან ქარებთან ურთიერთქმედებისას

დაწყების თარიღი: 2018-01-08
დასრულების თარიღი: 2018-02-12

N FR17_548

საქართველოს ტერიტორიაზე კლიმატის მახასიათებელ ზოგიერთ ელემენტთა ცვლილების შესწავლა საპროგნოზო რეგიონალურ მოდელთა ანსამბლის საფუძველზე

დაწყების თარიღი: 2017-12-20
დასრულების თარიღი: 2020-12-20

FR17_252

მულტიმასშტაბური სოლიტონებისადა გრიგალური სტრუტურების არაწრფივი დინამიკა რთულ უწყვეტ გარეოებში

დაწყების თარიღი: 2017-12-20
დასრულების თარიღი: 2021-05-30

FR17_279

არაწრფივი კოჰერენტული სტრუქტურები და ძიერი გრიგალური ტურბულენტობა ატმოსფეროსა და იონოსფეროში

დაწყების თარიღი: 2017-12-19
დასრულების თარიღი: 2022-05-30

FR17_439

წესებზე დაფუძნებული მიდგომა ატრიბუტებზე დაფუძნებული წვდომის კონტროლის მიმართ

დაწყების თარიღი: 2017-12-17
დასრულების თარიღი: 2020-12-17

PhD_F_ 17_89

ამონახსნების ვარიაციის ფორმულები სამართი ფუნქციონალურ-დიფერენციალური განტოლებებისთვის წყვეტილი საწყისი პირობით და დაგვიანებების შეშფოთების გათვალისწინებით და მათი გამოყენება ოპტიმიზაციის ამოცანებ

დაწყების თარიღი: 2017-11-29
დასრულების თარიღი: 2019-12-01

MG_101

ორი არაწრფივი დიფუზიური მოდელის გამოკვლევა და მიახლოებითი ამოხსნა (სამოგზაურო გრანტი, თურქეთი)

დაწყების თარიღი: 2017-11-23
დასრულების თარიღი: 2017-11-25

MG_126

გრიგალური სტრუქტურების რიცხვითი სიმულაცია და ექსპერიმენტული კვლევა მაგნიტოსფეროს კუდის პლაზმაში

დაწყების თარიღი: 2017-02-11
დასრულების თარიღი: 2017-02-12

FR17-96

რიმან-ჰილბერტის ამოცანები რიმანის ზედაპირებზე და ჰოლომორფული ფიბრაციის ინვარიანტები

დაწყების თარიღი: 2017-01-31
დასრულების თარიღი: 2020-01-30

217596

Construction and investigation of hierarchical models for thermoelastic piezoelectric structures

დაწყების თარიღი: 2016-12-09
დასრულების თარიღი: 2019-12-08

YS15_2.1.1_100

ბინარულ ნარევთა ბლანტი დრეკადობისა და თერმოდრეკადობის თეორიების სასაზღვრო ამოცანების გამოკვლევა

დაწყების თარიღი: 2015-12-18
დასრულების თარიღი: 2017-12-18

VI-SEEM N 675121

ვირტუალური კვლევის გარემო სხვადასხვა სამეცნიერო მიმართულების საზოგადოებებისთვის სამხრეთ ევროპის და აღმოსავლეთ ხმელთაშუაზღვის რეგიონში

დაწყების თარიღი: 2015-10-01
დასრულების თარიღი: 2018-10-01

NATO ARW No. 981578

ნატოს მოწინავე კვლევების სემინარი “ჰაერის, წყლისა და ნიადაგის ხარისხის მოდელირება რისკისა და ზემოქმედების შეფასებისთვის”

დაწყების თარიღი: 2015-09-16
დასრულების თარიღი: 2015-09-20

FR /358/5-109/14

დამრეცი და არადამრეცი გარსების წრფივი და არაწრფივი თეორიის ზოგიერთი ამოცანა

დაწყების თარიღი: 2015-05-05
დასრულების თარიღი: 2018-05-05

FR/325/4-120/14.

CLP(HC) :Foundation, Imple

დაწყების თარიღი: 2015-05-01
დასრულების თარიღი: 2017-04-30

FR/508/4-120/14

გადაწერაზე დაფუძნებული გამოყენების კონტროლი

დაწყების თარიღი: 2015-03-05
დასრულების თარიღი: 2018-03-05

CNRS/SRNSF 2013, 04/26

მაქსველის განტოლებათა სისტემაზე დაფუძნებული ზოგიერთი არაწრფივი ინტეგრო-დიფერენციალური მოდელის გამოკვლევა და რიცხვითი ამოხსნა

დაწყების თარიღი: 2014-04-11
დასრულების თარიღი: 2016-04-11

FR/51/4-102/13

თეორემათა ავტომატური და ინტერაქციული მტკიცება სქემებსა და ურანგო ლოგიკაში

დაწყების თარიღი: 2014-04-02
დასრულების თარიღი: 2017-04-02

2014_tr_405

ერთი არაწრფივი კერძოწარმოებულებიანი ინტეგრო-დიფერენციალური განტოლების ამონახსნის ასიმპტოტური ყოფაქცევა დროითი ცვლადის უსასრულოდ ზრდისას და ნახევრად-დისკრეტული სქემის შესახებ (ფლორიდა, აშშ)

დაწყების თარიღი: 2014-03-28
დასრულების თარიღი: 2014-03-31

PG/6/4-102/13

მტკიცებათა სქემებისათვის თეორემათა მამტკიცებლის შექმნა

დაწყების თარიღი: 2013-12-24
დასრულების თარიღი: 2014-12-24

40/98

ბლანტი თერმოდრეკადობის თეორიის სასაზღვრო ამოცანების გამოკვლევა კელვინ-ვოიგტის მასალებისათვის სიცარიელით

დაწყების თარიღი: 2013-12-03
დასრულების თარიღი: 2014-12-30

No 31/09

ფუნქციონალურ დიფერენციალურ და დისკრეტულ განტოლებათა ამონახსნების ასიმპტოტური ყოფაქცევის შესახებ

დაწყების თარიღი: 2013-10-16
დასრულების თარიღი: 2014-04-15

N 31/14

ელექტრონული ამინდის შემქმნელი უდს ტალღური სტრუქტურების გენერაცია, ინტენსიფიკაცია და ურთიერთტრანფორმაცია წანაცვლებითი დინებებით მართულ იონოსფეროში

დაწყების თარიღი: 2013-07-04
დასრულების თარიღი: 2016-07-04

FR/611/4-102/12.

A Pattern Calculus with Hedge Variables

დაწყების თარიღი: 2013-05-01
დასრულების თარიღი: 2015-03-30

FR/89/5-107/12

საწყისი მონაცემების ოპტიმიზაციის ამოცანები ზოგიერთი კლასის ნეიტრალური ფუნქციონალურ დიფერენციალური განტოლებებისთვის: ვარიაციის ფორმულები, ოპტიმალურობის აუცილებელი პირობები, არსებობის თეორემები

დაწყების თარიღი: 2013-04-15
დასრულების თარიღი: 2015-04-15

FR/30/5-101/12

ზოგიერთი არაწრფივი არასტაციონარული მოდელის გამოკვლევა და რიცხვითი ამოხსნა

დაწყების თარიღი: 2013-04-14
დასრულების თარიღი: 2016-04-14

308/5-104/12

სტატისტიკური შეფასებისა და სტოქასტური ანალიზის ზოგიერთი ამოცანა

დაწყების თარიღი: 2013-01-29
დასრულების თარიღი: 2016-12-29

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

ერთი კლასის სინგულარული ინტეგრალური განტოლებების მიახლოებითი ამოხსნის საკითხები

დაწყების თარიღი: 2013-01-20
დასრულების თარიღი: 2013-04-20

30/28

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

დაწყების თარიღი: 2013-01-01
დასრულების თარიღი: 2015-01-01

D-13/18

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

დაწყების თარიღი: 2012-12-20
დასრულების თარიღი: 2014-12-19

AY 2012-2013

ზოგიერთი დიფუზიური სისტემის გამოკვლევა და რიცხვითი ამოხსნა

დაწყების თარიღი: 2012-10-01
დასრულების თარიღი: 2013-11-30

09/23 (STCU 5622)

მონოდრომიული კცანტური გამოთვლები

დაწყების თარიღი: 2012-09-04
დასრულების თარიღი: 2014-09-01

AR/91/5-109/11

თერმოდრეკადობის გამოყენებითი არაკლასიკური ამოცანები სხვადასხვა მრავალფენიანი სხეულებისათვის და მათი სიმტკიცეზე გასათვლელი სახელმძღვანელო თეორიულ-ტექნიკური მასალა სათანადო პროგრამით

დაწყების თარიღი: 2012-04-02
დასრულების თარიღი: 2014-04-07

SRNSF-CNR 09/04/30

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

დაწყების თარიღი: 2012-04-02
დასრულების თარიღი: 2014-04-01

13-08

შეზღუდვებიანი ლოგიკური პროგრამირება ურანგო ტერმებზე და მათ მიმდევრობებზე აღწერის ოპერატორებით

დაწყების თარიღი: 2012-03-20
დასრულების თარიღი: 2015-03-20

ID-256

მსხვილმაშტაბიანი გრიგალები და ზონალური ქარები პლანეტების ატმოსფეროსა და იონოსფეროში: თეორია და ექსპერიმენტი

დაწყების თარიღი: 2012-01-01
დასრულების თარიღი: 2014-01-01

GNSF/ST09-81-3-101.

თითქმის წრფივი და არსებითად არაწრფივი ფუნქციონალურ დიფერენციალურ განტოლებათა ამონახსნების ასიმპტოტური ყოფაქცევის შესახებ

დაწყების თარიღი: 2011-01-01
დასრულების თარიღი: 2012-01-01

PIRSES-GA-2009-269198

„დისიპაციური სტრუქტურები და კინეტიკური პროცესები დედამიწის მახლობელ პლაზმაში

დაწყების თარიღი: 2010-12-02
დასრულების თარიღი: 2013-02-12

PIRSES-GA-2009-269198

„დისიპაციური სტრუქტურები და კინეტიკური პროცესები დედამიწის მახლობელ პლაზმაში

დაწყების თარიღი: 2010-12-02
დასრულების თარიღი: 2013-02-12

SEE-GRID-SCI No 211338

SEE-GRID ე-ინფრასტრუქტურა რეგიონალური მეცნიერებისათვის

დაწყების თარიღი: 2010-05-01
დასრულების თარიღი: 2012-04-20

YS 2/3-08

Georgian President Grant for Young Scientists

დაწყების თარიღი: 2010-02-19
დასრულების თარიღი: 2010-11-19

09-614-5-210

ნავთობისა და გაზის მილსადენებზე ექსტრემალური ავარიებისა და გარემოს შესაძლო გაჭუჭყიანების რისკ ფაქტორების შეფასება მათემატიკური მოდელირებით

დაწყების თარიღი: 2010-02-01
დასრულების თარიღი: 2012-02-01

1-3/85

ელიფსური სისტემები რიმანის ზედაპირებზე და მათი გამოყენებები

დაწყების თარიღი: 2010-01-22
დასრულების თარიღი: 2012-01-22

YS09 2 1-120

Second Order Programming with Transformational Rules with Sequence Variables

დაწყების თარიღი: 2010-01-01
დასრულების თარიღი: 2010-12-31

GNSF/ST08/3-399

საწყისი მონაცემების ოპტიმიზაცია და შებრუნებული ამოცანები ზოგიერთი კლასის ფუნქციონალურ-დიფერენციალური განტოლებებისთვის

დაწყების თარიღი: 2009-03-01
დასრულების თარიღი: 2011-03-01

#GNSF/ST08/3-395

ზოგიერთი ფიზიკური ველის ზემოქმედების შესწავლა პერიოდულ და კვაზიპერიოდულ სტრუქტურებზე

დაწყების თარიღი: 2009-03-01
დასრულების თარიღი: 2012-03-01

09-383-3-106

სტოქასტური ანალიზისა და სტატისტიკური გადაწყვეტილებების ზოგიერთი კონსტრუქცია

დაწყების თარიღი: 2009-01-30
დასრულების თარიღი: 2011-12-29

No 221137

ევროკავშირს, აღმოსავლეთ ევროპასა და სამხრეთ კავკასიას შორის ICT კვლევის თანამშრომლობის გაფართოება

დაწყების თარიღი: 2009-01-01
დასრულების თარიღი: 2011-06-01

GNSF/ST08/5-442

დედამიწის იონოსფეროში როსბისა და აკუსტიკურ-გრავიტაციული ელექტრომაგნიტური ტალღების გავრცელების დინამიკის ფიზიკური მოდელირება

დაწყების თარიღი: 2009-01-01
დასრულების თარიღი: 2012-01-01

06-1000017-8943

“არაგაუსისებრი გადატანა, ძლიერი ტურბულენტობა და არაწრფივი მოვლენები მაგნიტოსფეროსა და იონოსფეროში”

დაწყების თარიღი: 2007-12-03
დასრულების თარიღი: 2009-12-03

06-1000017-8943

არაგაუსისებრი გადატანა, ძლიერი ტურბულენტობა და არაწრფივი მოვლენები მაგნიტოსფეროსა და იონოსფეროში

დაწყების თარიღი: 2007-12-03
დასრულების თარიღი: 2009-02-03

1-3339-TB-06

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

დაწყების თარიღი: 2007-05-01
დასრულების თარიღი: 2009-04-30

GEP2-3340-TB-06

მიწისძვრების წინამორბედების სახით აღძრული იონოსფეროს ულტრადაბალი სიხშირის ტალღების გამოკვლევა

დაწყების თარიღი: 2007-05-01
დასრულების თარიღი: 2009-10-31

06-1000017-8886

Some nonclassical problems for thin structures

დაწყების თარიღი: 2007-02-02
დასრულების თარიღი: 2009-01-31

EGIDE-ECONET-16362VB

შებრუნებული და საზღვრის მართვის პრობლემები

დაწყების თარიღი: 2007-01-01
დასრულების თარიღი: 2008-12-31

GNSF/ST06/3-046G

დაგვიანების შემცველი სამართი სისტემების ოპტიმიზიცია არაფიქსირებული საწყისი მომენტის, შერეული საწყისი პირობის და შეზღუდვების გათვალისწინებით

დაწყების თარიღი: 2006-10-01
დასრულების თარიღი: 2008-10-01

GNSF/ST 06/3-033

ბინალური ნარევის დრეკადობის და თერმოდრეკადობისთეორიის ამიცანების გამოკვლევა

დაწყების თარიღი: 2006-10-01
დასრულების თარიღი: 2009-09-30

ID 05-1000008-8144

პრაქტიკული ფორმალური ვერიფიკაცია ავტომატურ დამტკიცებათა და მოდელების შემოწმების გამოყენებით

დაწყების თარიღი: 2006-10-01
დასრულების თარიღი: 2009-02-01

GNSF/ST06/3-035

დეფორმად მყარ და თხევად ნაწილებისაგან შემდგარი გარემოს იერარქიული მათემატიკური მოდელების აგება და გამოკვლევა

დაწყების თარიღი: 2006-10-01
დასრულების თარიღი: 2008-09-30

1.01.83

წრფივი და არაწრფივი გარსების გათვლა ი. ვეკუას მეთოდით და სამგანზომილებიანი თერმოდრეკადობის ლოკალიზაცია-დელოკალიზაციის ამოცანების ეფექტური ამოხსნა

დაწყების თარიღი: 2005-06-01
დასრულების თარიღი: 2005-12-31

GTFPF-11

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

დაწყების თარიღი: 2005-02-01
დასრულების თარიღი: 2006-02-01

1.01.87

დედამიწის იონოსფეროში პლანეტარული ტალღებისა და არაწრფივი განმხოლოებული გრიგალური სტრუქტურების გავრცელების ფიზიკური და მათემატიკური მოდელირება

დაწყების თარიღი: 2005-01-01
დასრულების თარიღი: 2005-12-01

No.100425312

პლაზმური პროცესები მზეზე და მზის სისტემაში

დაწყების თარიღი: 2005-01-01
დასრულების თარიღი: 2007-01-01

GTFP-11

Elastic cusped plate-fluid interaction problems

დაწყების თარიღი: 2004-10-01
დასრულების თარიღი: 2004-11-30

3317

პლანეტარული ტალღები და არაწრფივი განმხოლოებული გრიგალური სტრუქტურები დედამიწის იონოსფეროში

დაწყების თარიღი: 2003-01-01
დასრულების თარიღი: 2005-01-01

25/C/01CZ

Investigation of the mathematical models of cusped plates and bars

დაწყების თარიღი: 2001-12-03
დასრულების თარიღი: 2002-05-31

NATO PST.CLG.976426/5437

Mathematical Models for Elastic Cusped Plates and Bars

დაწყების თარიღი: 2000-01-01
დასრულების თარიღი: 2002-06-01