ნათელა არჩვაძე - TSU.ge

1

ნათელა არჩვაძე

პირადი ინფორმაცია

მისამართი

სამსახური: ოთახი 354, თსუ მე-11 კორპ., უნივერსიტეტის ქ. , თბილისი

სახლი: ვაჟა-ფშაველს პროსპექტი, 4 კვარტალი, 1 ბ კორპუსი, ბინა 82,

თბილისი 0186, საქართველო

დაბადების თარიღი 8 მარტი, 1956, თბილისი, საქართველო.

ტელეფონ(ებ)ი +995 32 2326680 (სახლ.)+995 577 482633 (მობ.) +995 599 474632 (მობ)

ელფოსტა [email protected]

Skype ggiioo51

განათლება

1973-1978 წწ.

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

ფაკულტეტი.

სპეც. გამოყენებითი მათემატიკა, მას-ის მათემატიკური უზრუნველყოფა

კვალ. მათემატიკოსის

1979-1982 წწ.

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

ასპირანტურა, სპეციალობა–ეგმ მათემატიკური და პროგრამული

უზრუნველყოფა (01.10.10)

21.06.2004

თბილისის სახელმწიფო უნივერსიტეტი, სწავლულ ესპერტთა საბჭო.

დოცენტის სამეცნიერო–პედაგოგიური წოდება 05.13.11 გამოთვლითი

მანქანების, სისტემების, კომპლექსებისა და ქსელების მათემატიკური და

პროგრამული უზრუნველყოფა

სამუშაო გამოცდილება

2009 წ. – დღემდე თბილისის სახელმწიფო უნივერსიტეტი, ზუსტი და საბუნებისმეტყველო

მეცნიერებათა ფაკულტეტი, კომპიუტერულ მეცნიერებათა მიმართულება,

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

პროფესორი

2006 -2009 წწ. თბილისის სახელმწიფო უნივერსიტეტი, ზუსტი და საბუნებისმეტყველო

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

ტექნოლოგიების მიმართულება, ასოცირებული პროფესორი

2006 – 2008 წწ. სსიპ ნიკო მუსხელიშვილის გამოთვლითი მათემატიკის ინსტიტუტი,

დირექტორის მოვალეობის შემსრულებელი

2005–2006 წწ.

2004–2005 წწ.

ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტის

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

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

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

1997 – 2006 წწ. საქართველოს მეცნიერებათა აკადემიის ნ. მუსხელიშვილის სახელობის

გამოთვლითი მათემატიკის ინსტიტუტი, უფროსი მეცნიერ თანამშრომელი

1986-1997 წწ. საქართველოს მეცნიერებათა აკადემიის ნ. მუსხელიშვილის სახელობის

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

1988–1989 წწ. თბილისის შრომის წითელი დროშის ორდენოსანი სახელმწიფო

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

ფაკულტეტი, მოწვეული საათობრივი ანაზღაურების წესით

1986–1987 წწ.

1987–1988 წწ.

თბილისის შრომის წითელი დროშის ორდენოსანი სახელმწიფო

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

ანაზღაურების წესით

1984–1986 წწ. თბილისის შრომის წითელი დროშის ორდენოსანი სახელმწიფო

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

ფაკულტეტი, მოწვეული საათობრივი ანაზღაურების წესით


გამოთვლითი მათემატიკის ინსტიტუტი, უმცროსი მეცნიერ

თანამშრომელი


გამოთვლითი მათემატიკის ინსტიტუტი, ინჟინერ-პროგრამისტი

სწავლება

დაპროგრამების საფუძვლები

ფუნქციონალური დაპროგრამება Haskell-ზე

ობიექტებზე–ორიენტირებული პროგრამირება 1

დაპროგრამება C/C++ -ზე

კომპიუტერული უნარ-ჩვევები

ფუნქციონალური დაპროგრამება

დაპროგრამების ენა Lisp

ინფორმატიკის საფუძვლები

3

პროგრამირების ენა Pascal

კვლევითი ინტერესები

პროგრამირების ენები, ფუნქციონალური პროგრამირება, პროგრამათა

ვერიფიკაცია, პროგრამათა სინთეზი, პარალელური პროგრამირება,

პარალელური ალგორითმები.

პროექტები / გრანტები

2011 წ.

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

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

უნივერსიტეტის 2011 წლის სამეცნიერო-

თეორიული და გამოყენებითი საგრანტო პროექტი №102. მკვლევარი.

სახელმძღვანელო/სალექციო კურსები

2008 წ. ნ. არჩვაძე, ლ.შეწირული. პროგრამირების ენა LISP. გამ. “უნივერსალი”, 143

გვ., თბილისი, ISBN 978-9941-12-258-3.

2009 წ.

ი.ხუციშვილი, თ.დავითაშვილი, ნ.არჩვაძე, ა.ჩიტალაძე, კ.გელაშვილი.

დაპროგრამების ენა C. თბილისის უნივერსიტეტის გამომცემლობა, 219 გვ.

ISBN 978-9941-13-104-2.

2009 წ.

ნ. არჩვაძე, ლ.შეწირული. დაპროგრამების ენა C++. დაპროგრამების

საფუძვლები. გამომცემლობა ”შოთა რუსთაველის სახელმწიფო

უნივერსიტეტი”, ბათუმი, 129 გვ. ISBN 978-9991-409-41-7.

2009-2016 წწ.

ფუნქციონალური პროგრამირება Haskell–ზე:

http://e-learning.tsu.ge/course/view.php?id=570

დაპროგრამების საფუძვლები:




ობიექტზე ორიენტირებული დაპროგრამება I:



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


დაპროგრამება C++-ზე:


ინფორმატიკის საფუძვლები (კომპიუტერული უნარ–ჩვევები):


LISP პროგრამირების ენა:












ფუნქციონალური პროგრამირება:


სხვა სახის აქტივობა

2002 წ.

2004 წ.

ღირსების მედალი სტუდენტთა აღზრდა-განათლებაში შეტანილი

წვლილისათვის (საქართველოს პრეზიდენტის განკარგულება N1603, 24

დეკემბერი, 2002 წელი)

დოცენტის სამეცნიერო–პედაგოგიური წოდება – 05.13.11 გამოთვლითი

მანქანების, სისტემების, კომპლექსებისა და ქსელების მათემატიკური და

პროგრამული უზრუნველყოფა (თბილისის სახელმწიფო უნივერსიტეტი,

სწავლულ ესპერტთა საბჭო, 21.06.2004)

შრომათა სია

№

ავტორები ყველა

თანაავტორის

მითითებით;

კონკურსანტის

გვარი გამოყოფილი

უნდა იქნეს მუქი

შრიფტით

პუბლიკაციის სახეობა

(მონოგრაფია, სტატია

რეცენზირებად,

საერთაშორისო,

უცხოურ, ადგილობრივ

ჟურნალში,

საკონფერენციო

მასალები (Proceedings)

და სხვა)

პუბლიკაციის სათაური, ავტორები,

ჟურნალის/ გამომცემლობის დასახელება,

ტიპი/ტომი, გვერდები, პუბლიკაციის

ელექტრონული მისამართი (არსებობის

შემთხვევაში).

გამო

ქვეყ

ნები

ს წ

ელი

1 Natela Archvadze, Merab Pkhovelishvili,

Lia Shetsiruli, Otar

Ioseliani

SCCTW’2016 South-Caucasus Computing

and Technology Workshop

The algorithm of parallel programming

using “small delay”.

https://indico.cern.ch/event/572800/contribut

ions/2319259/attachments/1347569/2032637

/WOR1.pdf

2016

2 Арчвадзе Н.Н.

Пховелишвили М.Г.

Шецирули Л.Д.

Proceedings of the System

Analysis and Information

Technologies 18-th

International Conference

SAIT 2016.

Особенности параллельного

программирования на языке Haskell

http://sait.kpi.ua/media/filer_public/73/32/

7332a68e-e93b-4c57-a3c8-

66f11ee074cd/sait2016ebook.pdf

2016

3

N.Archvadze Eprints TSU

The Automatic Synthesis of the Functional

Programming Language Haskell's Programs

http://eprints.tsu.ge/238/1/N.Archvadze%20Epri

nts.pdf

2016

4 Арчвадзе Н.Н.,

Пховелишвили М.Г.,




Technologies 17-th


SAIT 2015.

Шаблоны для Haskell функций с

бесконечными рекурсивными типами

аргументов.

pp.222-225.

file:///D:/2015%20samecniero%20saqmeebi/Ki

ev/sait2015ebook.pdf

2015


https://indico.cern.ch/event/572800/contributions/2319259/attachments/1347569/2032637/WOR1.pdf



http://eprints.tsu.ge/238/1/N.Archvadze%20Eprints.pdf

http://eprints.tsu.ge/238/1/N.Archvadze%20Eprints.pdf

5

5 M.Pkhovelishvili,

N.Archvadze

IV-th Scientific-Practical

Conference Problems of

Business Development in

the global Economy

Usage of fast search algorythm in data in

clusters . WWW.sba.edu.ge pp.57-61.

2015

6 N.Archvadze,

M.Pkhovelishvili

The International Scientific

Conference "Information

and Computer Technologies,

Modelling, Control".

Proceedings

Several Issues of Parallel Programs Verification

for Functional Languages through Kripke

Structure.

ISBN 978-991-20-575-0. pp.545-547.

2015




Шаблоны для Haskell

функций с бесконечными

рекурсивными типами

аргументов.

Proceedings of the System Analysis and

Information Technologies 17-th International

Conference SAIT 2015.

pp.222-225.

file:///D:/2015%20samecniero%20saqmeebi/Ki

ev/sait2015ebook.pdf

2015

8 ნ. არჩვაძე,

მ.ფხოველიშვილი

The International Scientific

Conference "Information

and Computer Technologies,

Modelling, Control".

Proceedings

პარალელური პროგრამების ვერიფი-

კაციის საკითხები ფუნქციონალური

ენებისთვის კრიპკეს სქემების გამო-

ყენებით. http: //www.ict-mc.gtu.ge/conference.pdf

2015

9 N.Archvadze,

M.Pkhovelishvili,

L.Shetsiruli

https://sites.google.com/site/

prikladnaalingvistika2014/pr

edvaritelnaa-programma

https://sites.google.com/site/

prikladnaalingvistika2014/a

nnotacii-dokladov-2014

Questions of Database Interfaces in the

Georgian language 2014

10

Natela Archvadze,

Otari Ioseliani, Lia

Shetsiruli, Merab

Pkhovelishvili

THE AUTOMATIC SYNTHESIS OF

HASKELL FUNCTIONS.

Electronic Scientific Journal: "Computer

Sciences and Telecommunications"

http://gesj.internet-

academy.org.ge/en/title_en.php?b_sec=&section

_l=comp

pp.20-26

file:///C:/Users/User/Downloads/2346.pdf

2014

11 N.Archvadze,

M.Pkhovelishvili,

L.Shetsiruli



Technologies 16-th


SAIT 2014

Function Definitions with Accumulators in

Functional Languages.

pp. 335–336.

http://sait.kpi.ua/books/sait2014.ebook.pdf/view

SBN 978-966-2748-32-1 (print) ISBN 978-966-

2748-33-8 (ebook)

2014

12

Natela Archvadze,

Merab Pkhovelishvili,

Otari Ioseliani,Lia

Shetsiruli

Function Templates for the

Synthesis of Functional

Programs

International Journal of Computer and

Information Technology (ISSN: 2279 – 0764)

Volume 03 – Issue 06, November 2014

http://www.ijcit.com/Vol3Issue6.php

Global Impact Factor: 0.687

http://www.ijcit.com/archives/volume3/issue6/P

aper030610.pdf pp.1241-1244

2014






Technologies 15-th


SAIT 2013.

Решение задач планирования с помощью

Model Checking.

pp. 391.


SBN 978-966-2748-32-1 (print) ISBN 978-966-

2748-33-8 (ebook)

2013

14

L.Shetsiruli,

N.Archvadze,

M.Pkhovelishvili

Международная научно-

практическая интернет-

конференция

«Современные тенденции

развития математики и её

прикладные аспекты». 17

мая 2012 года, Донецк,

Украина.

Model Checking for Functional Programs

http://elementy.ru/events/431054 2013

15

N.Archvadze,

M.Pkhovelishvili

სტატია

POSSIBILITY OF FUNCTIONAL

PROGRAMS VERIFICATION THROUGH

APPLICATION OF MODEL CHECKING

Electronic Scientific Journal: “Computer

Sciences and Telecommunications”.


academy.org.ge/en/title_en.php?b_sec=&section

_l=compISSN 1512-1232. pp. 51-58.

2013

17

N. Archvadze,

M.Pkhovelishvili

Proceedings of the IV

International Conference on

“Problems of Cybernetics

and Informatics" (PCI'2012).

ISBN 978-9952-434-39-2,

ISBN 978-1-4673-4501-9.

Reforming the Trees – C# and F# Comparison.

pp .93-96. www.pci2012.science.az/1/00.pdf

2012

18

N.Archvadze

III International Conference

of the Georgian

Mathematical Union Book

of Abstracts.

Haskell - Analizator of Recursive Functions

p.135.

http://rmi.ge/~gmu/III_Annual_Conference/geo/

confprogram/Conference2012.pdf

2012






Technologies 14-th


SAIT 2012 .

Автоматическое построение «основной

рекурсивной» части программы по

описанию структур данных.

р.323.


2012

20 N.Archvadze,

M.Pkhovelishvili,

L.Shetsiruli

Proceedings of the 5th


Application of Information

and Communication

Technologies

Universal attitude to the program verification.

IEEE Catalog number CFP 1156H-ART. ISBN

978-1-61284-832-7. pp. 652-656.

http://aict.info/2011/?page=488800

2011

21 Archvadze N.N.,

Pkhovelishvili M.G.,

Shetsiruli L.D.

Proceedings of the


System Analysis and

Information Technologies

Several issues of programs synthesis. ISSN

2075-4086.

pp. 403.

http://sait.kpi.ua/books/sait2011.ebook.pdf/v

iew

2011

22 N.Archvadze,

M.Pkhovelishvili,

L.Shetsiruli

Proceedings of the Eleventh


Pattern Recognition and

The complexity of program synthesis from

examples.

2011


http://aict.info/2011/?page=488800



7

Informaton Processing

(PRIP’2011).

ISNB 978-985-448-772-7.

pp. 275-279.

http://lsi.bas-net.by/conferences/prip2011/

23 Natela Archvadze Abstracts II International

Conference Deducated to

the 70th Anniversary of the

Georgian National Academy

of Sciences & the 120th

Birthday of First President

Academician Nikoloz

(Niko) Muskhelishvili

Templates Processing Lists in Haskell.

pp 64.

http://rmi.ge/~gmu/II_Annual_Conference/E

_II_Annual.htm

2011

24 N.Archvadze,

M. Nizharadze საერთაშორისო

სამეცნიერო

კონფერენციის „მართვის

ავტომატიზირებული

სისტემები და

თანამედროვე

საინფორმაციო

ტექნოლოგიები“ შრომებ

ი

Typical Template Verification for List

Editing In Haskell Language.

გვ 170–172.

ISSN 1512-3979.

2011




სტატია Построение обобщенных рекурсивных

форм для функциональных языков и их

применение в задачах верификации

программ. Electronic Scientific Journal:

“Computer Sciences and Telecommunications”

No. 3(26), pp. 133-141. ISSN 1512-1232.

http://gesj.internet-academy.org.ge

2010


Силагадзе Г.C,



Proceedings of the 12th

International conference on

science and technology

“System analysis and

information technologies”

Универсальный подход к верификации

программ.

pp.403.

ISBN 978-966-2153-42-2,

http://sait.org.ua/books/sait2010.ebook.pdf/view

2010

27 N. Archvadze,

G.Silagadze,

L.Shetsiruli,

M. Pkhovelishvili.

Proceedings of the Third


“Problems of Cybernetics

and Informatics”.

Several issues of program verification.

ISBN 978-9952-453-15-8. Volume I.

pp.71-74

http://www.pci2010.science.az/1/17.pdf

2010

28 ნ.არჩვაძე,

გ.სილაგაძე,

მ.ფხოველიშვილი,

ლ.შეწირული

შრომები, I

საერთაშორისო

კონფერენციისა,

მიძღვნილი ქართული

ინფორმატიკის

სამეცნიერო სკოლის

თვალსაჩინო

წარმომადგენლების,

პროფესორების ელენე

დეკანოსიძისა და

მურმან წულაძის

ხსოვნისადმი

С პროგრამის სისწორის დამტკიცება Lisp

–ის რეკურსიული ფორმების

საშუალებით.

gv. 10

E ISSN 1987- 7854

http://www.compmath.ge./pdf/konferenciis-

tezisebi-18_maisi.pdf

2010

http://lsi.bas-net.by/conferences/prip2011/

http://rmi.ge/~gmu/II_Annual_Conference/E_II_Annual.htm

http://rmi.ge/~gmu/II_Annual_Conference/E_II_Annual.htm

http://gesj.internet-academy.org.ge/

http://sait.org.ua/books/sait2010.ebook.pdf/view

http://www.pci2010.science.az/1/17.pdf

http://www.compmath.ge./pdf/konferenciis-tezisebi-18_maisi.pdf

http://www.compmath.ge./pdf/konferenciis-tezisebi-18_maisi.pdf

29 Н. Арчвадзе,

Л. Шецирули

Proceedings of the Seventh


“INTERNET –

EDUCATION - SCIENCE”

Cравнительный анализ С++ и С# в

обучении объектно ориентированному

программированию.

pp. 97-99.

ISBN 978-996-641-377-5

http://conf.vstu.vinnica.ua/ies/2010/a/

2010


Силагадзе Г.C,



Book of abstracts The

international scientific

conference devoted to the

80th anniversary of

academician I.V.Prangishvili

“Information and Computer

technologies, Modelling,

control”.

Проблемы доказательств правильности

программ.

pp. 77-78.

ISBN 978-994-14-855-2.


academy.org.ge/conf/ge/index_ge.php

2010

31 T.Gachechiladze,

H.Meladze,

G.Tsertsvadze,

N.Archvadze,

T.Davitashvili

Proceedings of the

Conference “Knowledge -

Ontology - Theory” (KONT-

09)

About a theory of canonically conjugate fuzzy

subsets.

pp. 65-70

http://math.nsc.ru/conference/zont09/reports.ht

ml

2009

32 N. Archvadze,

M. Pkhovelishvili,

L. Shetsiruli,

M. Nizharadze

სტატია Program Recursive Forms and

Programming Automatization for

Functional Languages.

WSEAS TRANSACTIONS on

COMPUTERS. Volume 8,

pp. 1256-1265,

ISSN: 1109-2750

http://www.wseas.us/e-

library/transactions/computers/2009/29-

531.pdf

2009

33 Archvadze N.,

Pkhovelishvili M.,

Shetsiruli L.,

Nizharadze.

Proceedings of the

International Scientific

Conference eRa-4 (The

Conference for the

contribution of Information

Technology)

Representation of trees by means of lists in

functional programming languages and modern

search realisations.

http://era.teipir.gr/index.php?option=com_conte

nt&task=blogsection&id=21&Itemid=34

2009

34 Archvadze N.,

Pkhovelishvili M.,

Shetsiruli L .

სტატია Problems of Verification of Functional

Programs.

Bulletin of the Georgian Academy

Sciences.vol.3. no.3,

pp 57-60.

http://www.science.org.ge/moambe/3-

3/Archvadze.pdf

2009


ლ.შეწირული.

სახელმძღვანელო დაპროგრამების ენა C++. დაპროგრამების

საფუძვლები.

გამომცემლობა ”შოთა რუსთაველის

სახელმწიფო უნივერსიტეტი”, ბათუმი,

129 გვ.

ISBN 978-9991-409-41-7

2009

36 N.Archvadze,

M.Pkhovelishvili სტატია The Imperative and Functional

Paradigms Bulletin of St.Andrew First-Called

Georgian University of the Patriarchy of

Georgia pp. 127-130

ISSN 1987-734X.

2009

37 ნ.არჩვაძე, სტატია იმპერატიული და ფუნქციონალური 2009

http://conf.vstu.vinnica.ua/ies/2010/a/

http://gesj.internet-academy.org.ge/conf/ge/index_ge.php

http://gesj.internet-academy.org.ge/conf/ge/index_ge.php

http://www.wseas.us/e-library/transactions/computers/2009/29-531.pdf



http://era.teipir.gr/index.php?option=com_content&task=blogsection&id=21&Itemid=34

http://era.teipir.gr/index.php?option=com_content&task=blogsection&id=21&Itemid=34

http://www.science.org.ge/moambe/3-3/Archvadze.pdf

http://www.science.org.ge/moambe/3-3/Archvadze.pdf

9

მ.ფხოველიშვილი პარადიგმების ურთიერთშედარება.

საქართველოს საპატრიარქოს წმინდა

ანდრია პირველწოდებულის სახ.

ქართული უნივერსიტეტის ბიულეტენი

№2, გვ. 122-126.

ISSN 1987-734X.

38 Archvadze N.,

Pkhovelishvili M.,

Shetsiruli L.,

Nizharadze M.

Computing and

Computational Intelligence.

Proceeding of the 3nd

European Computing

Conference

A recursion forms and their verification by using

the undictive methods.

pp.357-361.

http://www.wseas.org/conferences/2009/tbilisi/P

rogram.pdf

2009


Пховелишвили М.Г.


System Analysis and

Information Technologies:

Materials of the XI


Science and Technology.

Комплекс Производства Программ для

функциональных языков.

p.453.

http://sait.kpi.ua/books/sait2009.ebook.pdf/vie

w

2009

40 ი.ხუციშვილი,

თ.დავითაშვილი,

ნ. არჩვაძე,

ა. ჩიტალაძე,

კ.გელაშვილი

სახელმძღვანელო დაპროგრამების ენა C

თბილისის უნივერსიტეტის

გამომცემლობა,

219 გვ.

ISBN 978-9941-13-104-2

2009


მ. ფხოველიშვილი

სტატია დაპროგრამების პარადიგმა და

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

ფუნქციონალურ პარადიგმაში.


Sciences and Telecommunications”

No.2(19), pp. 118-149.


2009

42 Archvadze N.,

Pkhovelishvili M.,

Shetsiruli L

.

სტატია

Problems of Verification of Functional

Programs. Bulletin of the Georgian Academy

Sciences. Bulleten of the Georgian National

Academy of Sciences vol.3. no.3,.

pp 16-19.

http://www.science.org.ge/english.html

2009

43 კ.გელაშვილი,

ნ.არჩვაძე,

თ.დავითაშვილი,

ა.ჩიტალაძე,

ი.ხუციშვილი

სტატია დაპროგრამების ენა С -ის სწავლების

ზოგიერთი ასპექტი


Sciences and Telecommunications” N1(18), pp.

79-96. http://gesj.internet-academy.org.ge

2009

44 Archvadze N.,

Pkhovelishvili M სტატია The parallel programming on the LISP – base


Sciences and Telecommunications”

N1(18), pp. 13-15.


2009

45 T.Gachechiladze,

H.Meladze,

G.Tsertsvadze,

N.Archvadze,

T.Davitashvili.

Tbilisi State University

science conference

"COMPUTING 2008",

Proceedings

New chromotheory of canonicaly conjugate

fuzzy subsets.

pp. 56-58.

http://www.nplg.gov.ge/dlibrary/collect/0001/00

0468/computing2008.pdf

2009


ლ. შეწირული.


science conference

"COMPUTING 2008",

პარალელური დაპროგრამება

ფუნქციონალური დაპროგრამირების

2009

http://www.wseas.org/conferences/2009/tbilisi/Program.pdf

http://www.wseas.org/conferences/2009/tbilisi/Program.pdf




http://www.science.org.ge/english.html



http://www.nplg.gov.ge/dlibrary/collect/0001/000468/computing2008.pdf


Proceedings.

მეშვეობით.

pp. 88 -90



47 N. Archvadze,

M. Pkhovelishvili


science conference

"COMPUTING 2008",

Proceedings

Object-oriented Programming on LISP Basis.

pp. 99-102.



2009

48 Archvadze N.,

Pkhovelishvili M.,

Shetsiruli L.


Modern Problems in

Applied Mathematics

Dedicated to the 90th

Anniversary of the

Iv/Javakhishvili Tbilisi

State University and 40th

Anniversary of the I.Vekua

Institute of Applied

Mathematics. Book of

Abstracts.

The Methods of the Effective Date

Search for the Listed Structures. p.16.

http://www.viam.science.tsu.ge/viam40/t

ezisebis_krebuli.pdf

2008


ლ.შეწირული

სახელმძღვანელო პროგრამირების ენა LISP

გამ. “უნივერსალი”, 143 გვ., თბილისი,

ISBN 978-9941-12-258-3

2008


მ. ფხოველიშვილი,

ლ. შეწირული

სტატია მონაცემთა წარმოდგენა სიის

სტრუქტურებით.

საქართველოს მეცნიერებათა ეროვნული

აკადემია. "მეცნიერება და

ტექნოლოგიები"

გვ. 18-24.

№7-9,

ISSN 0130-7061

2008

51 M. PkhoveliSvili,

N. Archvadze,

L. Shetsiruli, სტატია

Testing in the System of distant learning.

Bulletin of the Georgian Academy Sciences,

173, 3,

pp. 468-470.

2006

52 Archvadze N.

სტატია

Expert System of Real Time.

Bulletin of the Georgian Academy Sciences,

172, 3,

pp. 416-418.

2005


მ.ფხოველიშვილი სტატია უნივერსალური პროგრამირების

საკითხები. მეცნიერება და

ტექნოლოგიები. #7-9, გვ.49-52.

2003

54 N.Archvadze,

I.Beridze,

M.Fkhovelishvili,

I.Qoqrashvili.

სტატია

The abilities representation to Georgian

language in WINDOWS System.

Bulletine of the Georgian Academy of

Science.

volume 161, number 2, p.240-245.

2000

55 ნარჩვაძე,

ი.ბერიძე,

მ.ფხოველიშვილი,

ი.ქოქრაშვილი.

სტატია WINDOWS ოპერაციული სისტემის

გამოყენებით პროგრამებში

მომხმარებლის ინტერფეისის ქართულად

წარმოდგენის შესაძლებლობები.

მეცნიერება და ტექნოლოგიები.

#7-9

2003







http://www.viam.science.tsu.ge/viam40/tezisebis_krebuli.pdf

http://www.viam.science.tsu.ge/viam40/tezisebis_krebuli.pdf

11

56 N.Archvadze,

E.Dekanisidze,

J.Vakhangadze,

M.Nizharadze,

M.Fkhovelishvili,

N.Papunashvili,

M.Tsuladze

სტატია

System of Tutorial Courses Building.

Bulletine of the Georgian Academy of Science.

volume 160 number 2, p.226-227

1999

57 N.Archvadze,

M.Fkhovelishvili სტატია

Representation of Becus-Naur Forms by the

Nets of Extended Transition.


volume 160 number 1, p.46-48.

1999

58 N.Archvadze,

M.Fkhovelishvili სტატია

Questions of Representing the Syntax of the

Programming Language through Semantic

Networks.


volume 159 number 1, p.39-41.

1999

59 N.Archvadze,

M.Fkhovelishvili,

M.Tsuladze

თსუ, ი.ვეკუას სახ.

გამოყენებითი

მათემატიკის

ინსტიტუტის

სემინარის

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

სხდომების

მოხსენებები

The Basic Concerpt of Creating the Teaching

System Evironment.

ტ.13, #4, გვ.7-10.

1998


სტატია

Построение функционального языка

обработки списков Ф-ЛИСП.

В кн. Вычислительная математика и

программирование. АН ГССР, Институт

вычислительной математики им.

Н.И.Мусхелишвили, Труды ХХV. -

Тбилиси: Мецниереба, с. 3-10.

1988

61 Арчвадзе Н.Н. «Диалог-87», Материалы

конференций.

Экзаменующая система. Тбилиси:

Мецниереба, с.93-95.

1988


Гобечия Г.Н.,

Касрадзе Г.И.,

Кикнадзе Л.Г.,

Цуладзе Л.С.

სტატია

К вопросу разработки справочно-

информационной системы.

В кн. Математическая и техническая

кибернетика. АН ГССР, ИВМ, Труды

ХХV2. -Тбилиси: Мецниереба, с.3-10.

1987


სტატია

Диалоговая система продукции.

В кн. Материалы V школы-семинара

«Персональные компьютеры и локальные

сети». 2-7 октября 1986 г. Новый Афон. -

Тбилиси:

с.118-119.

1986


სტატია

Использование диалога при создание

информационно-справочной системы

Президиума АН ГССР.

Материалы школы-семинара ИВЕРСИ-85. -

Тбилиси: с.11-13.

1985

65 Пховелишвили М.Г.,

Арчвадзе Н.Н. V Всесоюзный симпозиум Применение системы СПОД для решения

некоторых задач радиационной химии.

1985

по модульным

информационно-

вычислительных

системах. Материалы.

9-11 октября 1985 г. Кишинев, ШТИИНЦА,

с.240-242.


Арчвадзе Н.Н. Тезисы докладов

республиканской школы-

семинара “Логико-

комбинаторные методы в

исскуственном интеллекте

и расспознавании образов”

Применение самосинтеза в системах

искусственного интеллекта.

-В кн.: 12 июля 1985 г. Кишинев, с.34-35.

1985

67 Арчвадзе Н.Н. Материалы третьей

всесоюзной конференции

«Диалог Человек-ЭВМ»,

Протвино, 5-7 июля 1983 г

Диалоговая система планирования действи.

-Серпухов, с.271.

1984


Пховелишвили М.Г. Материалы шестой

межреспубликанской

школы-семинара

«Интерактивные системы»

(Батуми, 28 мая-2 июня

1984 г.).

Использование системы планирования

действий для разработки Лисповских

программ над базами данных.

Книга II. -Тбилиси: Мецниереба, ,с.318-320.

1984

69 Арчвадзе Н.Н. Материалы шестой

межреспубликанской


«Интерактивные системы»

(Батуми, 28 мая-2 июня

1984 г.)

Решение задач радиационной химии в

диалоговой системе планирования действий.

Книга II. -Тбилиси: Мецниереба, с.123.

1984


სტატია

Планирование действий. Вычислительная

математика и программирование. АН ГССР,

Институт вычислительной математики им.

Н.И.Мусхелишвили, Труды XXIV:I. -

Тбилиси: Мецниереба, с.110-124.

1984


Арчвадзе Н.Н. Тезисы докладов

всесоюзной конференции

«Диалог Человек-ЭВМ»

Применение диалога в системе

планирования действи.

часть I.-Ленинград, с.270-272.

1982

72 Арчвадзе Н.Н. Интерактивные системы.

Тезисы докладов

четвертой школы-

семинара (Сухуми, 10-19

мая, 1982 г.).

Диалоговый планировщик действий.

Кн. I. -Тбилиси: Мецниереба, с.61-63.

1982


Пховелишвили М.Г. Интерактивные системы.

Тезисы докладов второй


(Боржоми, февраль, 1980

г.).

Решение задач планирования действий

в системе ТБИЛОС. Кн. I.-Тбилиси:

Мецниереба,

с.36-41.

1980

ნათელა არჩვაძე - TSU.ge

Documents

Transcript of ნათელა არჩვაძე - TSU.ge