Пошук академічних текстів

Керівник: Капітонова Ю.В.,Летичевський О.А.. Розробити систему дедуктивних та індуктивних доведень теорем у математичному інформаційному середовищі.. (Етап: ). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0207U008334

Керівник: Летичевський О.А.. Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем.. (Етап: Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем.). Інститут кібернетики ім. В.М.Глушкова НАН України. № 0307U007734

Керівник: Летичевський О.А., Перевозчикова О.Л.. Розробити методи інтелектуалізації інформаційних технологій для оптимізації паралельних обчислень і верифiкацiї дедуктивними методами паралельних програм, що масштабуються.. Інститут кібернетики імені В.М. Глушкова НАН України. № 0107U003570

Губарени Надежда Михайловна. Разработка вычислительных методов, алгоритмов и структур для решения задач малоракурсной компьютерной томографии : д.т.н. : спец.. 01.05.02 - Математичне моделювання та обчислювальні методи : дата захисту 1998-03-05; Статус: Захищена; Институт проблем моделирования в энергетике НАН Украины. – , 0598U000075.

Кривой С.Л.. Итеративные методы анализа процедурных программ : д.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 1997-12-26; Статус: Захищена; Институт программных систем НАН Украины. – , 0598U000009.

Суржко Сергей Васильевич. Интерпретационные методы в теории алгоритмических алгебр : д.арх. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 1997-12-12; Статус: Захищена; Институт программных систем НАН Украины. – , 0596U000113.

Донец Г.А.. Числовой подход к решению некоторых задач теории графов : д.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 1997-05-23; Статус: Захищена; Институт программных систем НАН Украины. – , 0597U000227.

Провотар А.И.. Категорные методы в теории метаматематических моделей рекурсии : д.ф.-м.н. : спец.. 01.05.01 - Теоретичні основи інформатики та кібернетики : дата захисту 1997-03-28; Статус: Захищена; Институт программных систем НАН Украины. – , 0597U000174.

Дорошенко А.Е.. Математические модели и методы организации параллельных макроконвейерных вычислений : д.ф.-м.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : дата захисту 1997-02-28; Статус: Захищена; Институт программных систем НАН Украины. – , 0597U000124.

Барашко Анатолий Сергеевич. Методы и средства случайного тестирования дикретных устройств : д.ф.-м.н. : спец.. 01.01.09 - Варіаційне числення та теорія оптимального керування : дата захисту 1994-10-14; Статус: Захищена; Институт программных систем НАН Украины. – , 0594U000278.