Проблеми програмування. 2014 (2-3) ARCHIVE (All issues) 
 | Problems in programming
2014. Issue 2-3 |
- Титул, зміст.
- Шинкаренко В. И., Ильман В. М., Забула Г. В. Конструкционно-продукционная модель структур данных на логическом уровне.
- Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями.
- Акуловский В. Г., Дорошенко А. Е. Согласованное описание алгоритмов в рамках алгебраического аппарата.
- Панченко Т. В. Швидка або якісна розробка?.
- Пашко С. В. NP-трудность задач оптимизации коллективного преследования.
- Погорілий С. Д., Верещинський О. А. Дослідження шаблонів синхронізації та їх використання в технології GPGPU.
- Погорілий С. Д., Вітель Д. Ю. Принципи проектування GPGPU-застосувань на основі мереж Петрі.
- Насиров Е. М. Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності.
- Дорошенко А. Ю., Бекетов О. Г., Прусов В. А., Тирчак Ю. М., Яценко О. А. Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди.
- Назаренко А. М., Панченко Б. Е., Пилипенко С. А. Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде.
- Панченко Б. Е., Сайко И. Н. Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения.
- Лукьянова Е. А. Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем.
- Попов О. В., Рудич О. В. Блочний алгоритм перетворень Хаусхолдера для комп’ютерів гібридної архітектури.
- Traversal of arbitrary sequences of UCM symbolic transitions for test generation.
- Чебанюк О. В. Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування.
- Лаврищева Е. М. Парадигмы программирования сборочного типа в программной инженерии.
- Мороз Г. Б., Плис А. В. Регрессивное тестирование: методы и будущие направления исследований.
- Колчин А. В., Летичевский А. А., Потиенко С. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем.
- Крывый С. Л., Максимец А. Н. Разработка и обоснование алгоритмов на основе семантических свойств.
- Марулин С. Ю. Генерация SQL-запросов в задаче согласования данных электронного документа и таблиц базы данных.
- Глушко І. М. Формальна семантика агрегатних операцій мультимножинної табличної алгебри.
- Лихацкий И. А. Сравнительна характеристика методик объектно-реляцонного преобразования.
- Шабінський А. С. Змішана тематично-сутнісна онтологія у покращеній тематичній векторній моделі.
- Чистякова И. С. Онтолого-ориентированная интеграция данных в Семантическом Вебе.
- Григорян Р. Д., Дериев И. И., Аксенова Т. В., Лиссов А. Н. Медико-физиологические программные симуляторы: необходимость и проблемы.
- Завадський І. О. Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення.
- Яловец А. Л. Методы моделирования поведения агентов в мультиагентной системе "Навигация".
- Палагин А. В., Петренко Н. Г., Величко В. Ю., Малахов К. С. Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”.
- Mathematical foundations for designing and development of intelligent systems of information analysis.
- Парасюк И. Н., Ершов С. В. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа.
- Комлевая Н. О., Комлевой А. Н., Чернега К. С. Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования.
- Марченко О. О. Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід’ємної тензорної і матричної факторизації.
- Вознюк Т. Г. Алгоритм побудови шестивимірного тензора для задачі пошуку прихованих семантичних зв’язків в корпусах природномовних текстів.
- Тарануха В. Ю. Евристичний алгоритм морфолексичного аналізу для невідомих слів.
- Крак Ю. В., Бармак О. В., Романишин С. О., Ізотов А. В. Автоматизований переклад з української мови на українську жестову мову: алгоритмічна реалізація.
- Кривонос Ю. Г., Крак Ю. В., Тернов А. С., Лісняк М. П. Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові.
- Куссуль Н. М., Басараб Р. М., Кравченко О. М., Лавренюк М. С., Кригін В. М., Рева К. В. Програмно-технічний комплекс автоматичної географічної прив’язки супутникових даних КС ДЗЗ "Січ-2".
- Глибовець А. М. Пошукова система наукових матеріалів українською мовою із соціальною складовою.
|
|
