Контакти Карта сайту

Бібліотека основних публікацій / Відділ високопродуктивних комп'ютерних систем

 

Коваль В.Н., Кук Ю.В. Discovery of new knowledge in structural predicate models of knowledge Proc. XI-th Inter. Conf. “Knowledge-Dialogue-Solution”– Varna, 2005. – FOI-COMMERCE SОFIA, 2005, Р.104-112


Коваль В.Н., Кук Ю.В. Discovery of new knowledge in structural predicate models of knowledge International Journal “Information Theories & Applications” 2005, FOI-COMMERCE-Sofia


Коваль В.Н., Кук Ю.В. Получение новых знаний в семантических сетях «объект-предикат» Материалы Международной научно-технической конференции Интеллектуальные многопроцессорные системы (ИМС-2005), Таганрог-Донецк-Минск, Т.1, С.89-93


V.Koval, S. Rybchun, V. Savyak, I. Sergienko, A. Yakuba SCIT-Ukrainian Supercomputer Project Proc. XI-th Inter. Conf. “Knowledge-Dialogue-Solution”– Varna, 2005. – FOI-COMMERCE SОFIA, 2005, Р.98-104


Коваль В.Н., Рябчун С.Г., Якуба А.О. Суперкомпьютерный проект Института кибернетики НАН Украины Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 3’2005, Донецк, С.37-42


Коваль В.Н., Рябчун С.Г, Савьяк В.В., Якуба А.А. Cluster management processes organization and handling Proc. XI-th Intern.Conf. “Knowledge-Dialogue-Solution”- Varna, 2005, FOI-COMMERCE SOFIA, 2005, P. 112-118


Коваль В.Н., Рябчун С.Г., Савьяк В.В., Сергиенко И.В., Якуба А.О. Кластерный суперкомпьютерный комплекс — организация работы пользователей Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 4’2005, Донецк, - С.689-698


Коваль В.Н., Кук Ю.В. Методика приобретения новых знаний в семантических сетях «объект-предикат» Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 3’2005, Донецк, - С. 25-36


Чеботарев А.Н., Крывый С.Л.  Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I. Кибернетика и системный анализ. 2005, №4. С. 22 – 28


Чеботарев А.Н., Крывый С.Л.   Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. II. Кибернетика и системный анализ. 2005, №6., C. 11 – 19


Дидук Н.Н. Прообразы пространств неопределенности. Простые подпространства Системні дослідження та інформаційні технології. 2005, № 1 — С. 127–142.


В.П. Гладун, В. Ю. Величко. Конспектирование естественно-языковых текстов Proc. XI-th Int. Conf. “Knowledge – Dialogue – Solution” (KDS–2005), V. 2., FOI-Commerce, Sofia, 2005.– P. 344 – 347.


V. J. Velichko, V. P. Gladun, G. S. Gladun at all Logical Models of Composite Dynamic Objects Control Proc. XI-th Int. Conf. “Knowledge – Dialogue – Solution” (KDS–2005), V. 2, FOI-COMMERCE, Sofia, 2005.– P. 395 – 399.


З.Л. Рабинович Концептуальное представление об опознании образов и решении проблем в памяти человека и возможностях его использования в искусственном интеллекте Proc. XI-th Int. Conf. “Knowledge – Dialogue – Solution” (KDS–2005), V. 1., FOI-COMMERCE, Sofia, 2005.– P. 1–8.


Zinoviy Rabinovich. Conceptual Idea of Identification of Patterns and Problem Solving in the Human’s Memory and the Possibilities to Use it in Artificial Intelligence International Journal “ Information Theories & Applications”, 2005, vol. 12, No 1, pp. 41–48.


Коваль В.Н., Рябчун С.Г., Сергиенко И.В. Суперкомпьютерные кластерные системы – организация вычислительного процесса журн. “Проблемы программировання”, НАНУ, Ин-т программных систем, №2-3, 2006, Киев, С.197-210


Коваль В.Н., Комухаев Э.И., Савьяк В.В., Якуба А.А. Развитие Центров компетенции журн. “Математичні машини і системи”, НАНУ, №2, 2006, Київ, стор.71-79


Кук Ю.В., Лаврикова Е.И. Система получения новых знаний на основе структурно – предикатной модели знаний. Ж. „Комп’ютерні засоби, мережі та системи”. 2006, №6.


Кук Ю.В., Лаврикова Е.И. Интеллектуальные системы распознавания свойств и состояний динамических объектов  Материалы Междунар. научно-технической конференции Интеллектуальные многопроцессорные системы ИМС-2006, Таганрог-Донецк


Кук Ю.В., Лаврикова Е.И. Интеллектуальные системы распознавания состояний динамических объектов с нестационарными характеристиками Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 4’2006, Донецк, - C. 763-773.


Кук Ю.В., Лаврикова Е.И. Принятие решений в условиях неопределенности состояния динамической системы Материалы Международной научной конференции «Problems of Decision Making Under Uncertainties” PDMU-2006, Алушта, 18-23 вересня, 2006


Чеботарев А.Н., Крывый С.Л.,  Усовершенствованный метод проверки выполнимости множества дизъюнктов в языке L. Таврический вестник информатики и математики, 2006, №1. C. 7 – 13


Чеботарев А.Н., Крывый С.Л. . Усовершенствованный метод проверки выполнимости множества дизъюнктов. (тези). Междун. научн. конф. «Интеллектуализация обработки информации» Крымский научный центр НАН Украины, Симферополь, 2006. 123 – 125


A. Chebotarev, S. Krivoi Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. Preliminary Proceedings of conf. “Perspectives of System Informatics” June 27 – 30, Novosibirsk, 2006. С. 264 – 267


Головинский А.Л., Рябчун С.Г., Якуба А.А. Средства построения гетерогенного кластерного комплекса Известия Таганрогского государственного радиотехнического университета. 2006. Т. 71. № 16.


Головинский А.Л., Рябчун С.Г., Якуба А.А Cluster supercomputer architecture Proc. XII-th Intern. Conf. “Knowledge-Dialogue-Solution”- Varna, 2006, FOI-COMMERCE SOFIA, 2006, P. 112-118


Головинский А.Л., Рябчун С.Г., Якуба А.А. Гетерогенный кластерный комплекс Института кибернетики НАН Украины: средства построения Научно-теор. журн. “Искусственный интеллект”, НАНУ, Ин-т проблем искусств.интеллекта 3’2006, Донецк


Кук Ю.В., Лаврикова Е.И. Интеллектуальные системы распознавания состояний динамических объектов с нестационарными характеристиками Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 4’2006, Донецк, - C. 763-773.


Дидук Н.Н. Решение задачи ограничения пространств неопределенности Системні дослідження та інформаційні технології. 2006, № 1 — С. 106–118.


Алекандр Андреев, Виталий Величко, Виктор Гладун и др. Проблемы атрибутивного анализа динамических объектов, представленных временными рядами Proc. XII-th Int. Conf. “Knowledge – Dialogue – Solution” (KDS–2006), V.2., FOI-COMMERCE, Sofia, 2006.– P. 33 – 39.


З. Рабинович, Ю. Белов Сознание, подсознание и эмоции, душа и KDS Proc. XII-th Int. Conf. “Knowledge – Dialogue – Solution” (KDS–2006), V.1., FOI-COMMERCE, Sofia, 2006.– P. 11 – 18


Фесенко Н.Б. Технологии компрессии графической информации Proc. XII-th Int. Conf. “Knowledge – Dialogue – Solution” (KDS–2006), V.1., FOI-COMMERCE, Sofia, 2006.– P. 46-54


Фесенко Н.Б. Формы представления информации для систем принятия решений. Праці ІІІ-ї міжнародної школи-семінару “ Теорія прийняття рішень”, Ужгород, УжНУ, 2006,- С. 89-91.


З. Л. Рабинович Аспекты нейролингвистики в свете концептуального представления о структуре памяти и процессах мышления и их бионическое использование Труды конференции «Горизонты прикладной лингвистики» – Симферополь, 2006. – TIP, 2006.


Кук Ю.В., Лаврикова Е.И. Оптимизация процедуры распознавания состояний динамических систем. (тези) Праці міжнародного симпозіуму «Питання оптимізації обчислень» (ПОО- ХХХІІІ), 23–28 вересня 2007, НАН України, Київ, С. 160–161.


Кук Ю.В., Лаврикова Е.И. Prediction of properties and states of dynamic objects through analogical inference. Proceedings XIII-th Inter. Conf. “Knowledge-Dialogue-Solution”,Varna, 2007. – FOI-COMMERCE, Sofia, 2007, P. 331-337.


Кук Ю.В., Лаврикова Е.И. Применение моделирования знаний в семантических сетях «объект — свойство» для проектирования новых химических соединений с заданными свойствами. ISSN 0204-3572 журнал «Электронное моделирование», 2007. Т29. №25, Киев.


A. Chebotarev, S. Krivoi Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. Proc. conf PSI’06, LNCS, vol. 4378, Springer, Berlin, 2007. P. 438 – 442


ЧеботаревА.Н., Куривчак О.И. Верификация спецификаций реактивных алгоритмов путем проверки непротиворечивости формул языка L.. 4th Int. Conf “Theoretical and Applied Aspects of Program Systems Developments’, Киев: Университ. изд-во ПУЛЬСАРЫ, 2007. С. 198 – 203


ЧеботаревА.Н., Куривчак О.И. Аппроксимация множеств сверхслов формулами языка L. Кибернетика и системный анализ. 2007, №6. С. 18 – 26


Кук Ю.В., Лаврикова Е.И. Обучение роботов максимально правильному распознаванию образов. Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 4’2007, Донецк, - C. 297-308.


Кук Ю.В., Лаврикова Е.И. Спектральный метод распознавания состояний динамических систем. Журнал “Комп’ютерні засоби, мережі та системи”, № 6, 2007р., Київ, C. 1-8.


Дидук Н.Н. Информационные каналы как развитие представлений о каналах связи Системні дослідження та інформаційні технології. 2007, № 1 — С. 129–141.


Fesenko N.B Compression technologies of graphic information Int. Jornal “Information Theories & Application” Vol.14, N.3, 2007, P. 243-251.


Victor Gladun, Vitaly Velichko, Yurii Ivaskiv Selfstructurized Systems Proceedings XIII-th Inter. Conf. “Knowledge-Dialogue-Solution”,Varna, 2007, V.1. – FOI-COMMERCE, Sofia, 2007, P. 13-22.


Zinoviy Rabinovich, Yuriy Belov. Consciousness, Sub-consciousness and Emotions, Soul and KDS Int. Journal “Information Technologies and Knowledge”, V. 1, 2007, N 2, – P. 152–158.


Кук Ю.В., Лаврикова Е.И Моделирование ситуаций с целью получения управляющей информации для интеллектуальных роботов Труды конф. «Моделирование – 2008», Институт проблем моделирования в энергетике им. Г.Е. Пухова, НАН Украины, 14 – 16 мая 2008 г., т. 1, Киев, C. 108 – 113.


Кук Ю.В., Лаврикова Е.И. Моделирование ситуаций с целью получения управляющей информации для интеллектуальных роботов Сборник трудов конференции «Моделирование – 2008», Институт проблем моделирования в энергетике им. Г.Е. Пухова, НАН Украины, 14 – 16 мая 2008 г., т. 1, Киев, C. 108 – 113.


Кук Ю.В., Лаврикова Е.И. Синтез уравнений управления для интеллектуальных роботов International Book Series, Number 1, “Algorithmic and Mathematical Foundations of the Artificial Intelligence”, Supplement to International Journal “Information Technologies and Knowledge”, Volume 2/2008, ITHEA, Sofia, P. 194-200


Кук Ю.В., Лаврикова Е.И. Управление интеллектуальным роботом в условиях помех. Научно-теоретический журнал «Искусственный интеллект», НАНУ, Институт проблем искусственного интеллекта, 3’2008, Донецк, - C. 441-450


Кук Ю.В., Лаврикова Е.И. Принцип управления интеллектуальным роботом Материалы Международной научно-технической конференции Искусственный интеллект, интеллектуальные системы, ИИ-2008, Таганрог-Донецк-Минск, Т.2, с.170-175


Головинский А.Л., Бандура А.Ю., Рябчун С.Г. Высокопроизводительная дисковая подсистема для суперкомпьютеров кластерной архитектуры Научно-теор. журн. “Искусственный интеллект”, НАНУ, Ин-т проблем искусств.интеллекта 3’2008,Донецк


Головинский А.Л., Горенко С. А., Рябчун С.Г. Построение суперкомпьютера кластерной архитектуры без использования сети Ethernet Научно-теор. журн. “Искусственный интеллект”, НАНУ, Ин-т проблем искусств. интеллекта 4’2008, Донецк


Чеботарев А.Н., Головинский А.Л.  Доказательное проектирование алгоритмов функционирования реактивных систем. (стаття). Журн. «Искусственный интеллект» 3’2008. С. 771 – 780 http://www.nbuv.gov.ua/portal/II/2008_3/JournalAI_2008/


Дидук Н.Н. Сигнальные пары и их применение Системні дослідження та інформаційні технології. 2008, № 2 — С. 128–143.


A. Palagin, V. Gladun, N. Petrenko at all. Informational Model of Natural Language Processing Int. Jo Int. Journal “Information Technologies & Knowledge”, V. 2 , 2008, N 1, ITHEA, Bulgaria. – P. 5 – 6


Victor Gladun, Vitalii Velichko, Leonid Svyatogor. Hierarchical Three-level Ontology for Text Processing Int. Book Series “Information Science and Computing”, N. 7. Supplement to the Int. Journal “Information Technologies and Knowledge”, V. 2, 2008 . – ITHEA, Sofia, Bulgaria, P. 11 – 18.


Виктор Гладун, Виталий Величко, Леонид Святогор. Структурирование онтологии ассоциаций для конспектирования естественно-языковых текстов Int. Book Series “Information Science & Computing, N. 2. Supplement to the Int. Journal “Information Technologies and Knowledge”, V. 2, 2008. – ITHEA, Sofia, Bulgaria – P. 153 – 159.


Рабинович З.Л. Об интеллектуализации ЭВМ (история и перспективы) Праці конф. “50 років Інституту кібернетики імені В.М. Глушкова НАН України”., Київ, 24–26 грудня 2007 р. Київ, 2008. С. 174–176.


Головинский А.Л., Якуба А.А., Бандура А.Ю. Аналіз статистики використання суперкомп'ютера СКІТ інститута кібернетики Тези доповідей міжнородної конференції "Теоретичні та прикладні аспекти побудови програмних систем" - TAAPSD'2009


Головинский А.Л., Якуба А.А., Бандура А.Ю., Горенко С.А., Ефременюк Д.А. Портал кластерных вычислений для управления вычислительными процессами на суперкомпьютерном комплексе Кибернетика и системный анализ, 2009, № 6


Кук Ю.В., Лаврикова О.І Процедура обчислення оптимального керування інтелектуальним роботом. Праці міжнародного симпозіуму «Питання оптимізації обчислень» (ПОО – XXXV), Т. 1, Київ, Інститут кібернетики імені В.М.Глушкова НАНУ, 2009, с. 416 – 421.


Чеботарьов А.М., Ку рівчак О.І. Регулярна форма специфікації мовою L детермінованих автоматів. (стаття). Журн. «Наукоємні технології», 2009, №1. С. 28 – 33


Чеботарев А.Н. Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке. Кибернетика и системный анализ. 2009, №5. С. 3 – 12


Чеботарев А.Н. О классе формул языка L, специфицирующих автоматы с конечной памятью. Кибернетика и системный анализ. 2010, №1. С. 3 – 9


Пошук
 
Пошта

 
 3d принтери та станки з ЧПУ в Україні