Структурні підрозділи

Кафедра: Інтелектуальних програмних систем


ID: 6738
Кількість показів: 3496
дата змінення: 05.11.2019 10:16:46
Ким змінено (ім'я): (KAM1987) Андрій Кушерський
Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
7-значні логіки та логіки загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2018
Штучний інтелект
c.110-121
2
Монографія
Algebra-Algorithmic Models and Methods of Parallel Programming


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Жереб Костянтин Анатолійович
Андон Пилип Іларіонович
Дорошенко Анатолій Юхимович
Яценко Олена Анатоліївна
2018
Видавничий Дім «Академперіодика»
3
Тези
Algebras of General Non-Deterministic Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.11-12
4
Праці конференції
Algorithms for Runtime Generation of Homogeneous Classes of Objects


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2018
Cyber Security and Computer Science: International Conference
c.160-164
5
Наукова стаття
Bregman Extragradient Method with Monotone Rule of Step Adjustment*


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Денисов Сергій Вікторович
Семенов Володимир Вікторович
Стецюк Петро Іванович
2019
Cybernetics and Systems Analysis
т.55 c.377-383
6
Наукова стаття
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Computer Science Journal of Moldova
т.27 c.162-187
7
Праці конференції
Completeness of the Logic of Partial Quasiary Predicates with the Complement Composition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Mathematical Foundations of Informatics (MFOI): Міжнародна конференція
c.187-202
8
Тези
First-order logics of partial predicates with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.77-78
9
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.285-288
10
Праці конференції
Program Logics of Renominative Level with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 c.603-616
11
Праці конференції
Run-time Class Generation: Algorithms for Intersection of Homogeneous and Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2019
Computer Science and Information Technologies (CSIT): International Scientific and Technical Conference
c.272-277
12
Матеріали конференції
Run-Time Class Generation: Algorithms for Union of Homogeneous and Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2019
Communications in Computer and Information Science
c.148-160
13
Тези
Sequent calculi for logics with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.67-69
14
Тези
The adaptive search algorithms on the example of search articles system


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Сівцова Дар'я Григорівна
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.95-96
15
Наукова стаття
The Domain-Specific Language Strumok for Describing Actor-Oriented Systems with Shared Memory


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Провотар Олександр Іванович
Бантиш Олег Віталійович
Ларін Владислав Олегович
2018
Cybernetics and Systems Analysis
т.54 c.833-841
16
Тези
Verification System of Task Solutions with Telegram API


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Дасюк Антон Максимович
2019
Інтелектуальний потенціал ХХІ ст.: Міжнародна науково-практична конференція
c.12
17
Наукова стаття
Алгоритм решения систем линейных уравнений в поле F_p^k


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Гогерчак Григорій Іванович
2019
Проблемы управления и информатики
c.5-24
18
Праці конференції
Алгоритм розв’язання систем лінійних рівнянь в полі F_p^k


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Гогерчак Григорій Іванович
2019
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.100-101
19
Наукова стаття
Брэгмановский экстраградиентный метод с монотонной регулировкой шага


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Денисов Сергій Вікторович
Семенов Володимир Вікторович
Стецюк Петро Іванович
2019
Кибернетика и системный анализ (КиСА)
т.55 c.37-44
20
Наукова стаття
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2019
Проблеми програмування
c.11-27
21
Матеріали конференції
Встановлення патології на МРТ знімках з використанням згорткових нейронних мереж.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Інформаційне суспільство: технологічні, економічні та технічні аспекти становлення: Міжнародна наукова інтернет-конференція
22
Наукова стаття
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2019
Проблеми програмування
c.14-26
23
Матеріали конференції
Згорткова нейронна мережа для визначення просторової автокореляції на томографічних та рентгенівських знімках


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Наука, технології, інновації: світові тенденції та регіональний аспект: Міжнародна науково-практична конференція
c.163-164
24
Наукова стаття
Згорткова нейронна мережа для класифікації томографічних і рентгенівських знімків в системі розпізнавання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Комп’ютерно-інтегровані технології: освіта, наука, виробництво
c.128-133
25
Наукова стаття
Згорткова нейронна мережа для сегментації томографічних і рентгенівських знімків


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
East European Scientific Journal
т.48 c.60-65
26
Навчальний посібник
Інформаційні системи та бази даних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Гогерчак Григорій Іванович
2019
Лікей
27
Праці конференції
Методи адаптації у процесах навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2018
Штучний інтелект та інтелектуальні системи: Міжнародна науково-технічна конференція (AIIS)
c.41-44
28
Наукова стаття
Можливості методів пошуку та локалізації аномалій у томографічних та рентгенівських знімках для підвищення точності встановлення діагнозу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2018
Наукові нотатки: Міжвузівський збірник наукових праць.
c.159-165
29
Тези
Набуття ІТ- компетентностей при роботі в інструментальних програмних середовищах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2019
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
c.87-88
30
Дисертаційна робота
Об'єктно-орієнтована динамічна модель подання знань в інтелектуальних програмних системах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2018
Київський національний університет імені Тараса Шевченка
31
Наукова стаття
Онтологоподібні системи аналізу природномовних текстів


Факультет комп'ютерних наук та кібернетики
Інститут філології

Української мови та прикладної лінгвістики
Інтелектуальних програмних систем
Дарчук Наталія Петрівна
Кривий Сергій Лук'янович
Провотар Олександр Іванович
2018
CEUR Workshop Proceedings
т.2139 c.132-139
32
Матеріали конференції
Пошук аномалій у томографічних та рентгенівських знімках для підвищення точності встановлення діагнозу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Інформаційні технології в моделюванні: Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених
c.87-88
33
Наукова стаття
Пошук контурів областей із певною патологічною структурою на МРТ знімках


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Комп’ютерно-інтегровані технології: освіта, наука, виробництво
c.96-106
34
Матеріали конференції
Пошук контурів патологічних областей на МРТ знімках із застосуванням просторової автокореляції


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Проблеми кібербезпеки інформаційно-телекомунікаційних систем: Науково-технічна конференція
35
Тези
Програмні системи підтримки процесів розвитку ІТ-компетенцій студентів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2019
Нові інформаційні технології управління бізнесом: Всеукраїнська науково-практична конференція
c.95-101
36
Наукова стаття
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
Мамедов Тогрул Алірзайович
2019
Проблеми програмування
c.3-13
37
Тези
Розробка веб-орієнтованої системи для організації навчального процесу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Галіцька Олена Анатоліївна
2018
Комп’ютерні технології: інновації, проблеми, рішення: Всеукраїнська науково-технічна конференція
c.203-204
38
Наукова стаття
Система верифікації рішень задач з використанням Telegram API


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Дасюк Антон Максимович
2019
Науковий погляд у майбутнє
т.1 c.41-46
39
Матеріали конференції
Система розпізнавання томографічних і рентгенівських знімків для пошуку і локалізації патологій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Проблеми розвитку науки в контексті трансформацій суспільства: Науково-практична конференція
c.83-86
40
Наукова стаття
Система розпізнавання томографічних і рентгенівських знімків для пошуку і локалізації патологій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Поляченко Артур Ігорович
2019
Innovative Solutions in Modern Science: Scientific journal
т.33 c.71-83
41
Матеріали конференції
Способи ефективної обробки відкритих даних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Шанаах Алі Махмуд
2019
Сучасні світові тенденції розвитку науки та інформаційних технологій: Міжнародна науково-практична конференція
c.222-225
42
Праці конференції
Чисті першопорядкові логіки квазіарних предикатів з композицією предикатного доповнення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.371-373
43
Праці конференції
2d-Ellipsoid of optimal volume and its applications


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2017
Constructive Nonsmooth Analysis and Related Topics: Міжнародна конференція
c.303–306
44
Матеріали конференції
A Formalized Approach to Verify GPGPU Applications. Part 1


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Погорілий Сергій Дем'янович
Кривий Сергій Лук'янович
Слинько Максим Сергійович
2018
Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
т.1 c.303-305
45
Матеріали конференції
A Formalized Approach to Verify GPGPU Applications. Part 2


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Погорілий Сергій Дем'янович
Кривий Сергій Лук'янович
Слинько Максим Сергійович
2018
Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
т.1 c.306-308
46
Тези
AMPL-реалізація двоетапної транспортної задачі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Мазютинець Габріела Василівна
Мілешовський Ботрис І.
2017
Математичне та програмне забез­печення інтелектуальних систем: Міжнародна науково-практична конференція
c.186–191
47
Наукова стаття
Composition-nominative logics as institutions


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
c.221-238
48
Тези
Creating an automated system for trading on the stock exchange using technical analysis


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Іляш Кароліна Андріївна
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.56-57
49
Наукова стаття
Credibility of Fuzzy Knowledge


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2018
Advances in Intelligent Systems and Computing
c.192-203
50
Матеріали конференції
Credibility of Knowledge in Fuzzy Inference Systems


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2018
Congressio-Mathematica: Conference on Mathematics and Informatics
c.118-120
51
Розділ монографії
Fuzzy Models in the Tasks of Pattern Recognition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2017
Optimization Methods and Applications
т.130 c.403-424
52
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.95-96
53
Тези
r-Алгоритмы Шора и Octave-функция ralgb5a


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Андреас Фішер
2017
Сучасна інформатика: проблеми, досягнення та перспективи розвитку: Міжнародна конференція
c.143–146
54
Тези
Simulation of fractional Brownian motion with given reliability and accuracy in the space C([0, T ])


Факультет комп'ютерних наук та кібернетики
Механіко-математичний факультет

НДЛ Диференціальних рівнянь та їх застосування у механіці
Теорії ймовірностей, статистики та актуарної математики
Інтелектуальних програмних систем
НДС Проблем програмування
Системного аналізу і теорії прийняття рішень
Теоретичної кібернетики
Василик Ольга Іванівна
Пашко Анатолій Олексійович
2018
Stochasic Equations, Limit Theorems and Statistics of Stochastic Processes: International Conference
c.71-72
55
Наукова стаття
Simulation of generalized fractional Brownian motion in C([0,T])


Факультет комп'ютерних наук та кібернетики
Механіко-математичний факультет

НДЛ Диференціальних рівнянь та їх застосування у механіці
Теорії ймовірностей, статистики та актуарної математики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Теоретичної кібернетики
Козаченко Юрій Васильович
Пашко Анатолій Олексійович
Василик Ольга Іванівна
2018
Monte Carlo Methods and Applications
т.24 c.179-192
56
Праці конференції
Using choreography of actors and rewriting rules to adapt legacy Fortran programs to cloud computing


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Жереб Костянтин Анатолійович
Дорошенко Анатолій Юхимович
Туліка Євгеній Мирославович
2017
Communications in Computer and Information Science
т.783 c.76–96
57
Праці конференції
Using spectral representation for simulation of fractional Brownian motion in C([0,1])


Факультет комп'ютерних наук та кібернетики
Механіко-математичний факультет

НДЛ Диференціальних рівнянь та їх застосування у механіці
Теорії ймовірностей, статистики та актуарної математики
Інтелектуальних програмних систем
НДС Проблем програмування
Системного аналізу і теорії прийняття рішень
Теоретичної кібернетики
Василик Ольга Іванівна
Пашко Анатолій Олексійович
2018
Ukrainian Conference on Applied Mathematics (UCAM): Міжнародна конференція
c.116-120
58
Матеріали конференції
Автономний прототип системи сканування приміщення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Самойленко Максим Юрійович
2017
Тенденції та перспективи розвитку науки і освіти в умовах глобалізації:Міжнародна науково-практична інтернет-конференція
c.439-441
59
Монографія
Алгебраїчні аспекти інформаційних технологій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Провотар Олександр Іванович
Сергієнко Іван Васильович
2018
Інтерсервіс
60
Наукова стаття
Алгебри загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
c.5-21
61
Наукова стаття
Алгоритм пошуку зв'язків і залежностей у даних веб-сторінок


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Петелько Юрій Юрійович
2018
Проблеми інформаційних технологій
т.23 c.241-247
62
Наукова стаття
Алгоритми розв’язання задачі сепарабельного квадартичного програмування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Фесюк Олександр Володимирович
Сидорук Володимир Антонович
2017
Збірник наукових праць "Комп'ютерна математика"
c.137–146
63
Наукова стаття
Видобування та аналіз інформації, що знаходиться у вільному доступі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Петелько Юрій Юрійович
2018
World Science
т.17 c.10-13
64
Наукова стаття
Використання r-алгоритму для розв’язання квадратичної ELD-задачі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Фесюк Олександр Володимирович
2018
Математичне та комп'ютерне моделювання. Серія: фізико-математичні науки
т.15 c.225-231
65
Матеріали конференції
Використання RDF та SPARQL для обробки інформаційних ресурсів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Самойленко Максим Юрійович
2018
Тенденції та перспективи розвитку науки і освіти в умовах глобалізації:Міжнародна науково-практична інтернет-конференція
66
Наукова стаття
Використання предметно–орієнтованої мови і візуальних підходів для проектування системи акторів (AKKA)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Верес Максим Миколайович
Бантиш Олег Віталійович
Ларін Владислав Олегович
2018
Проблеми інформаційних технологій
т.23 c.148-153
67
Наукова стаття
Використання системи MANEUVER-NEW для розв’язання задач оптимального завантаження енергоблоків теплових електростанцій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Фесюк Олександр Володимирович
Буткевич Олександр Федотович
2018
Технічна електродинаміка. Ін-т електродинаміки НАН України
c.94-97
68
Наукова стаття
Властивості квадратичної задачі для максимального k-плекса у неорієнтованому графі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Ляшко Володимир Іванович
Бардадим Тамара Олексіївна
2017
Наукові записки НаУКМА. Комп’ютерні науки
т.198 c.8–13
69
Навчальний посібник
Вступ до методів створення програмних продуктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2018
Видавничий дім «Києво-Могилянська академія»
70
Тези
Двоетапна транспортна задача з заданою кількістю gпроміжних пунктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Трегубенко Станіслав Семенович
2018
Інформаційно-компьютерні технології: Міжнародна науково-технічна конференція
c.99–100
71
Навчально-методичний комплекс
Дискретні структури: методичні вказівки до виконання контрольних робіт для студентів заочної форми навчання освітньо-кваліфікаційного рівня бакалавра галузі знань 12 Інформаційні технології спеціальності 122 Комп’ютерні науки та інформаційні технології


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2017
Київський національний університет технологій та дизайну
72
Навчально-методичний комплекс
Дискретні структури: методичні вказівки до виконання лабораторних робіт для студентів заочної форми навчання освітньо-кваліфікаційного рівня бакалавра галузі знань 12 Інформаційні технології спеціальності 122 Комп’ютерні науки та інформаційні технології


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2017
Київський національний університет технологій та дизайну
73
Навчально-методичний комплекс
Дискретні структури: методичні вказівки до виконання самостійної роботи для студентів заочної форми навчання освітньо-кваліфікаційного рівня бакалавра галузі знань 12 Інформаційні технології спеціальності 122 Комп’ютерні науки та інформаційні технології


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2017
Київський національний університет технологій та дизайну
74
Тези
Застосування функцiй Ляпунова до дослiдження практичної стiйкостi дискретних систем з неiн’єктивною правою частиною


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Моделювання складних систем
НДЛ Моделювання та оптимізації
Пічкур Володимир Володимирович
Ліндер Ярослав Миколайович
2018
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
c.36
75
Навчальний посібник
Збірник задач з дискретної математики


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2018
Букрек
76
Наукова стаття
Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
Андон Пилип Іларіонович
Сініцин Ігор Петрович
Ігнатенко Петро Петрович
2018
Проблеми програмування
c.31-45
77
Тези
Композиційний метод проектування ІТ-інфраструктур з використанням розмічених транзиційних систем


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Погорілий Сергій Дем'янович
Кривий Сергій Лук'янович
Опанасенко Володимир Миколайович
Теленик Сергій Федорович
2017
Сучасна інформатика: проблеми, досягнення та перспективи розвитку. Тези доповідей Міжнародної наукової конференції, присвяченої 60-річчю заснування Інституту кібернетики імені В.М. Глушкова НАН України. Україна, Київ, 13–15 грудня 2017 р.
т.1 c.211-213
78
Монографія
Конкретна алгоритміка


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2017
Наукова думка
79
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
c.31-45
80
Наукова стаття
Метод эллипсоидов для нахождения решения переопределенной СЛАУ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стовба Віктор Олександрович
Жмуд Олександр Олексійович
2018
Збірник наукових праць "Теорія оптимальних рішень"
c.115–123
81
Тези
Методологія проектування застосувань в технології GPGPU


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
2018
System Analysis and Information Technology: International Conference
c.11-12
82
Тези
О мультипликаторах Михалевича


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2017
Глушковські читання: Всеукраїнська науково-практична конференція
c.155–156
83
Наукова стаття
О поиске дефектов в регулярных 3D-структурах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2018
Проблемы управления и информатики
c.33–48
84
Автореферат
Об'єктно-орієнтована динамічна модель подання знань в інтелектуальних програмних системах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2018
Київський національний університет імені Тараса Шевченка
85
Наукова стаття
Обобщенный метод эллипсоидов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Хомяк Ольга Миколаївна
2018
Кибернетика и системный анализ (КиСА)
c.70–80
86
Тези
Обчислюваність на основі конкретизації тези Чьорча


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Моделювання та оптимізації
Провотар Олександр Іванович
Провотар Тетяна Михайлівна
2018
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
c.101-103
87
Наукова стаття
Онтологоподібні системи аналізу природномовних текстів


Факультет комп'ютерних наук та кібернетики
Інститут філології

Української мови та прикладної лінгвістики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Дарчук Наталія Петрівна
Провотар Олександр Іванович
2018
Проблеми програмування
c.132-139
88
Наукова стаття
Опуклі квадратичні ED-задачі: властивості та субградієнтні алгоритми розв’язання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Фесюк Олександр Володимирович
Буткевич Олександр Федотович
2018
Збірник наукових праць "Комп'ютерна математика"
c.133–141
89
Тези
Побудова скорингових моделей для прогнозування дохідності банківських продуктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Бідюк Петро Іванович
Демківська Тетяна Іванівна
2018
Мехатронні системи: інновації та інжиніринг: Міжнародна науково-практична конференція
c.50-51
90
Тези
Побудова функцiй Ляпунова для дискретних систем з неiн’єктивною правою частиною


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Моделювання складних систем
НДЛ Моделювання та оптимізації
Пічкур Володимир Володимирович
Ліндер Ярослав Миколайович
2018
Международная летняя математическая школа памяти В.А. Плотникова
c.70
91
Тези
Пошук зв’язків і залежностей у даних з веб-сторінок


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Петелько Юрій Юрійович
2018
Інформаційні технології в освіті, науці і техніці (ІТОНТ): Міжнародна науково-практична конференція
c.13-15
92
Наукова стаття
Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Провотар Олександр Іванович
Бантиш Олег Віталійович
Ларін Владислав Олегович
2018
Кибернетика и системный анализ (КиСА)
т.54 c.170-180
93
Матеріали конференції
Про двоетапну транспортну задачу з заданою кількістю gпроміжних пунктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Трегубенко Станіслав Семенович
2018
Міжнародний науково-практичний семінар -"Комбінаторні конфігурації та їх застосування"
c.128–132
94
Тези
Про досвід з реалі зації опорного конспекту курсу «Дискретна математика»


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2018
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
95
Наукова стаття
Прогнозування дохідності банківських продуктів з використанням скорингового підходу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Бідюк Петро Іванович
Пудло Ілля Віталійович
2018
Проблеми інформаційних технологій
c.54-60
96
Наукова стаття
Прогнозування хімічного синтезу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Демківський Євген Олександрович
Верес Катерина Олександрівна
2017
Вісник Київського національного університету імені Тараса Шевченка. Серія:фізико-математичні науки
c.36-39
97
Наукова стаття
Проектирование ИТ-инфраструктуры


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Погорілий Сергій Дем'янович
Бойко Юрій Володимирович
Кривий Сергій Лук'янович
Глибовец Н. Н.
Сидорова Ніка Миколаївна
2018
Кибернетика и системный анализ (КиСА)
т.54 c.141-158
98
Матеріали конференції
Процесс экспертно-аналитического оценивания затрат на программное обеспечение компьютерных систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
2018
Актуальные научные исследования в современном мире: Международная научная конференция
c.150–156
99
Наукова стаття
Разделение множества векторов с целыми неотрицательными координатами с использованием логических аппаратных средств


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Опанасенко Володимир Миколайович
2018
Кибернетика и системный анализ (КиСА)
т.54 c.150-159
100
Наукова стаття
Реализация алгоритма решения систем линейных уравнений над конечными кольцами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Антонюк Василь Тарасович
2017
Управляющие системы и машины (УСиМ)
c. 55-64
101
Матеріали конференції
Розробка освітнього пристрою інтернету речей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Самойленко Максим Юрійович
2018
Тенденції та перспективи розвитку науки і освіти в умовах глобалізації:Міжнародна науково-практична інтернет-конференція
c.157-160
102
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Штучний інтелект
c.111-121
103
Тези
Сучасні технології створення інформаційно-аналітичних систем для підготовки ІТ-спеціалістів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2018
Нові інформаційні технології управління бізнесом: Всеукраїнська науково-практична конференція
104
Наукова стаття
Тополого-комбінаторна модель побудови мереж для транспортних засобів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ходзінський Олександр Миколайович
Корольов В’ячеслав Юрійович
2018
Збірник наукових праць "Комп'ютерна математика"
c.61-67
105
Наукова стаття
Транспортна задача з обмеженнями на пропускні спроможності проміжних пунктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Фесюк Олександр Володимирович
Міца Олександр Володимирович
Стрелюк Олег Вікторович
2018
Збірник наукових праць "Питання прикладної математики і математичного моделювання"
т.17 c.207–219
106
Наукова стаття
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
2018
Проблеми програмування
c.65–76
107
Наукова стаття
Формалізований метод проектування застосувань в технології GPGPU


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
Слинько Максим
2018
Проблеми програмування
т.2 c.12-20
108
Наукова стаття
Формирование обучающих выборок для синтеза адаптивной логической сети типа "Трапецеидальная матрица"


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Опанасенко Володимир Миколайович
Зав'ялов Станіслав Борисович
2018
Information Technologies and Knowledge
т.12 c.56-71
109
Матеріали конференції
Экспертно-аналитический подход к оцениванию затрат на программное обеспечение компьютерных систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
Ігнатенко Петро Петрович
Сініцин Ігор Петрович
2018
Актуальные научные исследования в современном мире: Международная научная конференция
c.143–149
110
Матеріали конференції
Balance Layout Problems: Mathematical Modeling and Nonlinear Optimization


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стоян Юрій Григорович
Романова Тетяна Євгеніївна
Панкратов Олександр Вікторович
Коваленко Ганна Андріївна
2016
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
c.329-331
111
Наукова стаття
Balance Layout Problems: Mathematical Modeling and Nonlinear Optimization


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стоян Юрій Григорович
Романова Тетяна Євгеніївна
Панкратов Олександр Вікторович
Коваленко Ганна Андріївна
2016
Springer Optimization and Its Applications
c.369-400
112
Тези
Chemical synthesis forecasting algorithm


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Верес Максим Миколайович
Верес Катерина Олександрівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.125-126
113
Наукова стаття
Design Grid services for running virtual machines as computer task based on transition systems


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Бойко Юрій Володимирович
Погорілий Сергій Дем'янович
Борецький Олександр Францович
Глибовець Микола Миколайович
2017
Scientific Journal “Proceeding of İnstitute of Applied Mathematics"
т.6 c.54-73
114
Тези
Gerec: multipurpose gesture recognized based on accelerometer sensor


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
Головіна Олександра Леонідівна
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
115
Тези
Logics of partial non-deterministic predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.94-95
116
Наукова стаття
Models in the Tasks of Pattern Recognition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2017
Optimization Methods and Applications
117
Праці конференції
Object-Oriented Knowledge Extraction using Universal Exploiters


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2017
Computer Science and Information Technologies (CSIT): International Scientific and Technical Conference
c.257-266
118
Наукова стаття
Object-Oriented Knowledge Representation and Data Storage Using Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2017
Communications in Computer and Information Science
т.756 c.48-61
119
Матеріали конференції
Octave-програма dist2p для роздiлення двох полiедрiв


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стовба В.О.
Мартинюк І.С.
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.227-230
120
Тези
r-Алгоритмы Шора для сепарабельной задачи квадратичного программирования


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2017
Конструктивный негладкий анализ и смежные вопросы: Міжнародна конференція
c.95-99
121
Тези
Reliability in Fuzzy Models of Pattern Recognition


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2017
Congressio-Mathematica: Conference on Mathematics and Informatics
122
Наукова стаття
Resource and Energy Optimization Oriented Development of FPGA-Based Adaptive Logical Networks for Classification Problem


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Палагін Олександр Васильович
Опанасенко Володимир Миколайович
2017
Studies in Systems, Decision and Control
т.105 c.195-218
123
Тези
Some Practical Application of Fuzzy Set Theory


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2016
Congressio-Mathematica: Conference on Mathematics and Informatics
c.26-28
124
Праці конференції
The Institution-Theoretic Approach to Composition-Nominative Logics


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Ченцов Олексій Ілліч
Нікітченко Микола Степанович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.257-262
125
Тези
Алгоритм прогнозування хімічного синтезу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Верес Максим Миколайович
Омельченко Олексій Анатолійович
2017
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
c.71-73
126
Наукова стаття
Алгоритмы метода эллипсоидов для нахождения Lp-решения системы линейных уравнений


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стовба В.О.
Мартинюк І.С.
2017
Збірник наукових праць "Теорія оптимальних рішень"
c.139-146
127
Наукова стаття
Використання r-алгоритму для розв'язання квадратичної ELD-задачі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Фесюк Олександр Володимирович
2017
Математичне та комп'ютерне моделювання. Серія: фізико-математичні науки
c.225-231
128
Наукова стаття
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2017
Проблеми програмування
c.21-29
129
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.185
130
Наукова стаття
Вплив кредитного ризику на прибутковість кредитно-депозитного портфелю банку


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ліндер Ярослав Миколайович
Ліндер Євгенія Олександрівна
2017
Економічний простір: збірник наукових праць
c.153-162
131
Наукова стаття
Двоетапний метод для синтезу багатошарових оптичних систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Міца О.В
Пецко В.І.
2017
Збірник наукових праць "Комп'ютерна математика"
c.126-133
132
Навчальний посібник
Дискретна матема тика. Посібник першокурсника з українсько-англійським тематичним словником. Булеві функції. Теорія графів.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2017
ВПЦ "Київський університет"
133
Навчальний посібник
Дискретна матема тика. Посібник першокурсника з українсько-англійським тематичним словником. Множини.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2016
ВПЦ "Київський університет"
134
Навчальний посібник
Дискретна матема тика. Посібник першокурсника з українсько-англійським тематичним словником. Теорія автоматів. Теорія кодування.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2017
ВПЦ "Київський університет"
135
Підручник
Дискретна математика 2-ге видання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2017
Букрек
136
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Комбінаторика. Теорія алгоритмів.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2016
ВПЦ "Київський університет"
137
Наукова стаття
Достовірність в нечітких системах логічного виведення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Провотар Олександр Олександрович
2017
Кібернетика і системний аналіз
т.53 c.54-63
138
Праці конференції
Електронні бібліотеки в сучасній освіті


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович
2016
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.111-116
139
Навчальний посібник
Елементи теорії випадкових еволюцій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Самойленко Ігор Валерійович
2017
Електронні видання кафедри дослідження операцій
140
Матеріали конференції
Задача упаковки гомотетичных эллипсоидов


Факультет радіофізики, електроніки та комп'ютерних систем
Інтелектуальних програмних систем
Стецюк Петро Іванович
Хлуд Ольга Михайлівна
Романова Тетяна Євгеніївна
2016
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
c.373-377
141
Наукова стаття
Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
Андон Пилип Іларіонович
2017
Проблеми програмування
т.19 c.31-51
142
Навчально-методичний комплекс
Інтелектуальний аналіз даних: методичні вказівки до виконання контрольних робіт для студентів заочної форми навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2016
Київський національний університет технологій та дизайну
143
Матеріали конференції
Інформаційна технологія оцінювання ефективності системи керування Збройних Сил України


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
Сініцин Ігор Петрович
2017
Інформаційний вимір гібридної війни: досвід України: Міжнародна науково-практична конференція
c.80-84
144
Наукова стаття
Квадратична задача для максимального k-плекса в неорієнтованому графі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Бардадим Тамара Олексіївна
Ляшко Володимир Іванович
2017
Журнал обчислювальної та прикладної математики
т.124 c.71-78
145
Наукова стаття
Комплексний підхід до побудови системи кіберзахисту критичної інформаційної інфраструктури держави


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
Сініцин Ігор Петрович
Ігнатенко Петро Петрович
Артеменко Олександр Володимирович
2017
Проблеми програмування
т.19 c.128-148
146
Наукова стаття
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
Малютенко Людмила Миколаївна
2017
Проблеми програмування
c.24-39
147
Матеріали конференції
Максимальное сингулярное число для матрицы полных затрат


Факультет радіофізики, електроніки та комп'ютерних систем
Інтелектуальних програмних систем
Стецюк Петро Іванович
2016
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
c.327-336
148
Матеріали конференції
Математичне моделювання маршрутів рухомих дистанційно керованих систем та їх груп при обстеженні території


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ходзінський Олександр Миколайович
Корольов В’ячеслав Юрійович
Огурцов Максим Ігорович
2017
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
c.199-201
149
Праці конференції
Метод еліпсоїдів для лінійної регресії


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Стовба Віктор Олександрович
2017
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.314-315
150
Наукова стаття
Метод побудови паралельних систем нечіткого логічного виведення на основі графічних прискорювачів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Єршов Сергій Володимирович
Пономаренко Роман Миколайович
2017
Проблеми програмування
c.3-15
151
Тези
Метод подання відношень між словами та жестами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Крак Юрій Васильович
Вольчина Ірина Іванівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.161
152
Матеріали конференції
Метод эллипсоидов для нахождения Lp-решения системы линейных уравнений


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Біла Галина Дмитрівна
Стовба Віктор Олександрович
2017
Інформатика та системні науки: Всеукраїнська науково-практична конференція
c.258-264
153
Наукова стаття
Методика побудови регресійних моделей за часовими рядами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Бідюк Петро Іванович
Демківська Тетяна Іванівна
2017
Вісник Київського національного університету технологій та дизайну
c.18-25
154
Монографія
Методы алгебраического программирования. Формальные методы разработки паралелльных программ.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Жереб Костянтин Анатолійович
Андон Пилип Іларіонович
Дорошенко Анатолій Юхимович
Шевченко Руслан Сергійович
Яценко Олена Анатоліївна
2017
Наукова думка
155
Наукова стаття
Методы и средства представления знаний


Факультет комп'ютерних наук та кібернетики
Інститут філології

Української мови та прикладної лінгвістики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Дарчук Наталія Петрівна
Головіна Олександра Леонідівна
Соляр Ганна Сергіївна
Ясенова Ірина Сергіївна
2017
International journal “Information Content and Processing”
т.4 c.62-99
156
Тези
Множинна реставрація сигналів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Моделювання складних систем
Іванов Євгеній Олександрович
Матвієнко Володимир Тихонович
2017
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
157
Наукова стаття
Мобільне навчання: проблеми впровадження


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.67-71
158
Тези
Моделювання часових рядів за допомогою авторегресійних моделей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
2017
Мехатронні системи: інновації та інжиніринг: Міжнародна науково-практична конференція
c.40-41
159
Тези
Нариси з конкретної алгоритміки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Провотар Олександр Олександрович
2017
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
c.74-76
160
Тези
Оптимальный по объему 2d-эллипсоид и его приложения


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2017
Конструктивный негладкий анализ и смежные вопросы: Міжнародна конференція
c.173-176
161
Матеріали конференції
Оптимизационный сервис для выбора винных маршрутов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Лєфтеров О.В.
Лиховид Олексій Петрович
Федосєєв О.І
2016
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
c.337-344
162
Тези
Побудова секвенційних числень модальних логік немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2017
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
c.186
163
Наукова стаття
Повнота секвенційних числень модальних логік немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Шкільняк Оксана Степанівна
Малютенко Людмила Миколаївна
2016
Штучний інтелект
c.92-102
164
Праці конференції
Про задачу побудови маршрутів руху для групи рухомих дистанційно керованих систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ходзінський Олександр Миколайович
Корольов В’ячеслав Юрійович
Огурцов Максим Ігорович
2017
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.247-248
165
Навчально-методичний комплекс
Прогнозування процесів на основі комп'ютерного моделювання часових рядів: методичні вказівки до виконання контрольних робіт і самостійної роботи для студентів заочної форми навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2016
Київський національний університет технологій та дизайну
166
Навчальний посібник
Прогнозування процесів на основі моделювання часових рядів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Бідюк Петро Іванович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2017
Київський національний університет технологій та дизайну
167
Праці конференції
Программа ralgb5 для минимизации овражных выпуклых функций


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2016
Міжнародна науково-практична конференція «Математичне і програмне забезпечення інтелектуальних систем»
c.185-197
168
Навчальний посібник
Програмування на Java 8. Навчальний посібник.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
Шкільняк Оксана Степанівна
2017
Видавництво "Логос"
169
Наукова стаття
Проектування грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонування


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Кривий Сергій Лук'янович
Бойко Юрій Володимирович
Погорілий Сергій Дем'янович
Борецький Олександр Францович
Глибовець Микола Миколайович
2017
Кібернетика і системний аналіз
т.53 c.122-133
170
Навчально-методичний комплекс
Проектування інформаційних систем: методичні вказівки до виконання контрольних робіт і самостійної роботи для студентів заочної форми навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2016
Київський національний університет технологій та дизайну
171
Наукова стаття
Рамкова модель адаптивного композитного сервісу в семантичному Веб-середовищі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
2017
Проблеми програмування
c.51-65
172
Наукова стаття
Реалізація r-алгоритму на графічних процесорах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Хіміч Олександр Миколайович
Сидорук Володимир Антонович
2016
Збірник наукових праць "Комп'ютерна математика"
c.100-109
173
Наукова стаття
Секвенційні числення композиційно-номінативних модальних логік немонотонних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2016
Наукові записки НаУКМА. Комп’ютерні науки
т.190 c.23-29
174
Тези
Секвенційні числення транзиційних модальних логік немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.158-159
175
Наукова стаття
Синтез нейроподобных сетей на основе преобразований циклических кодов Хемминга


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Опанасенко Володимир Миколайович
2017
Кібернетика і системний аналіз
т.53 c.627-635
176
Тези
Система «1С:Підприємств-во» для підготовки ІТ-спеціалістів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
2017
Нові інформаційні технології в освіті (Технології "1С:Підприємства" у підготовці ефективних та потрібних для національної економіки кадрів): Всеукраїнська науково-практична конференція
177
Матеріали конференції
Система Маневр-New для розв’язання оптимізаційних задач завантаження енергоблоків ТЕС


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Лиховид Олексій Петрович
Фесюк Олександр Володимирович
2016
Глушковські читання: Всеукраїнська науково-практична конференція
c.174-176
178
Наукова стаття
Субградиентные методы ralgb5 и ralgb4 для минимизации овражных выпуклых функций


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2017
Вычислительные технологии
c.127-149
179
Наукова стаття
Теория и программные реализации r-алгоритмов Шора


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2017
Кібернетика і системний аналіз
т.53 c.43-57
180
Матеріали конференції
Узагальнення концепції неоднорідних класів нечітких об'єктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2017
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
c.308-310
181
Матеріали конференції
Узагальнення концепції неоднорідних класів об'єктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2017
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.148-149
182
Навчально-методичний комплекс
Управління ІТ проектами: методичні вказівки до виконання контрольних і самостійної роботи для студентів заочної форми навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2016
Київський національний університет технологій та дизайну
183
Навчально-методичний комплекс
Управління ІТ проектами: методичні вказівки до виконання лабораторних робіт і самостійної роботи для студентів денної та заочної форми


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович
Демківська Тетяна Іванівна
Щербань Володимир Юрійович
2016
Київський національний університет технологій та дизайну
184
Наукова стаття
Формализованные онтологические модели: представление и операции


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Головіна Олександра Леонідівна
Соляр Ганна Сергіївна
Ясенова Ірина Сергіївна
2016
Журнал "Інженерія програмного забезпечення"
т.25 c.5-16
185
Монографія
Формальные методы построения параллельных программ: научная монография


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Жереб Костянтин Анатолійович
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
Дорошенко Анатолій Юхимович
Яценко Олена Анатоліївна
2016
ФО-П Александрова М.В.
186
Праці конференції
Adaptation of Legacy Fortran Applications to Cloud Computing


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Дорошенко Анатолій Юхимович
Туліка Євгеній Мирославович
Жереб Костянтин Анатолійович
2016
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.119-126
187
Праці конференції
Algorithms Synthesis of the Adaptive Logical Network on Basis of Universal Logical Elements


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович
2016
13th International Conference Pattern Recognition and Information Processing
c.16-20
188
Тези
Analysis methods statistical simulation of atmospheric turbulence


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.129-130
189
Наукова стаття
Fuzzy Object-Oriented Dynamic Networks. II


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
Провотар Олександр Іванович
2016
Кібернетика і системний аналіз
т.52 c.38-45
190
Наукова стаття
Many-Sorted First-Order Composition-Nominative Logic as Institution


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2016
Computer Science Journal of Moldova
т.24 c.27-54
191
Наукова стаття
Method synthesis of the configurable logical blocks on basis of universal logical elements


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович
2016
Радіоелектронні і комп'ютерні системи
c.93-97
192
Тези
Modal transitional logics of partial quasiary predicates without monotonicity restriction


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.148-149
193
Наукова стаття
NLP-програми для ELD-задач завантаження енергосистеми


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Лиховид Олексій Петрович
Фесюк Олександр Володимирович
2016
Збірник наукових праць "Комп'ютерна математика"
194
Наукова стаття
On the global minimum in a balanced circular packing problem


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Романова Тетяна Євгеніївна

2016
Optimization Letters
т.10 c.1347-1360
195
Наукова стаття
Problem Statements for k-Node Shortest Path and k-Node Shortest Cycle in a Complete Graph*


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2016
Кібернетика і системний аналіз
т.52 c.71-75
196
Тези
Simulation of atmospheric turbulence


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.89-90
197
Тези
Simulation of the generalized Wiener process


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2016
Information technologies and management:International scientific conference
c.44-46
198
Тези
Systems of logical reasoning in logics of partial predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Теоретичної кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
Шкільняк Оксана Степанівна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.89
199
Тези
The use of piecewise linear regression in forecasting problems


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Верес Максим Миколайович
Поляченко Артур Ігорович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.27 c.135-136
200
Тези
Using simulation of random processes and fields in solving heat conduction problems


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович

2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.130-131
201
Наукова стаття
Алгоритмы решения систем линейных уравнений в кольце вычетов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2016
Кібернетика і системний аналіз
c.149-160
202
Наукова стаття
Відношення логічного наслідку в логіках квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2016
Проблеми програмування
т.1 c.29-43
203
Наукова стаття
Візуальне прототипування та програмування акторів на Akka


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович

Бантиш Олег Віталійович
Ларін Владислав Олегович
2015
Проблеми інформаційних технологій
c.133-138
204
Тези
Вычислительные аспекты задачи коммивояжера


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович

2016
Інформаційно-компьютерні технології: Міжнародна науково-технічна конференція
205
Тези
Деякі практичні застосування теорії нечітких множин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Моделювання та оптимізації
Провотар Олександр Іванович
Провотар Тетяна Михайлівна
2016
Теорія прийняття рішень: міжнародна школа-семінар
c.224-224
206
Наукова стаття
До питання про інтерпретацію можливості


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Провотар Олександр Олександрович
2016
Кібернетика і системний аналіз
т.52 c.3-10
207
Матеріали конференції
Експертна система прийняття рішень з нечіткою логікою для оцінки технічного стану об'єктів будівництва


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович


2016
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
c.213-215
208
Наукова стаття
Електронне навчання – програмно-технічні аспекти організації


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.77-81
209
Праці конференції
Задачи и методы координации организационных решений в критической ведомственной информационной инфраструктуре


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


Слабоспицька Ольга Олександрівна
2016
Математичне та імітаційне моделювання систем. МОДС 2016:Міжнародна науково практична конференція
c.159-164
210
Наукова стаття
Кліо і операційні системи Windows та Linux


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Протасова Ксенія Дмитрівна
Провотар Олександр Іванович
2015
Проблеми програмування
т.4 c.84-92
211
Наукова стаття
Конкретна алгоритміка


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Провотар Олександр Олександрович
2016
Збірник наукових праць «Комп’ютерна математика»
c.36-43
212
Тези
Конкретна алгоритміка


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Провотар Олександр Іванович
Провотар Олександр Олександрович
Протасова Ксенія Дмитрівна
2016
Математика. Інформаційні технології. Освіта: Міжнародна науково-практична конференція
т.1 c.103-105
213
Праці конференції
Кратчайший k-вершинный путь в ориентированном графе


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович

2016
Інформатика та системні науки: Всеукраїнська науково-практична конференція
c.293-299
214
Наукова стаття
Линейные ограничения и методы их решения


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2016
Information Theories & Applications
т.23 c.103-199
215
Наукова стаття
Максимальні незалежні множини вершин графа та їх використання в керуванні проектами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
Слабоспицька Ольга Олександрівна

2016
Збірник наукових праць "Питання прикладної математики і математичного моделювання"
т.7 c.151-162
216
Наукова стаття
Метод аналізу суперечливостей інформаційних станів у нечітких байєсівських мережах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Єршов Сергій Володимирович

2016
Збірник наукових праць "Комп'ютерна математика"
c.93-101
217
Наукова стаття
Метод Сааті для аналізу показників податкової трансформації


Факультет комп'ютерних наук та кібернетики
Світового господарства і міжнародних економічних відносин
Інтелектуальних програмних систем
Стецюк Петро Іванович
Андріяш Микола Михайлович
2016
Збірник наукових праць "Комп'ютерна математика"
c.37-45
218
Наукова стаття
Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі-Сугено


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Єршов Сергій Володимирович

2016
Проблеми програмування
c.141-149
219
Наукова стаття
Методичні основи оцінювання витрат на розроблення та супровід прикладного програмного забезпечення комп’ютерних систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Андон Пилип Іларіонович
Ігнатенко Петро Петрович

Слабоспицька Ольга Олександрівна
2016
Проблеми програмування
c.264-273
220
Наукова стаття
Модальні логіки немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.141-147
221
Матеріали конференції
Моделирование строго субгауссовского обобщенного винеровского процесса


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2014
Computing/Informatics, Education Sciences, Teacher Education: International Scientific Conference
c.131-134
222
Наукова стаття
Моделювання випадкових процесів та полів для розв'язування задачі теплопровідності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович


2016
Енергоефективність в будівництві та архітектурі: науково-технічний збірник
c.256-262
223
Тези
Моделювання випадкових процесів та полів для розв’язання задачі теплопровідності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович

2016
Міжнародна наукова конференція, присвячена 80-річчю з дня народження Михайла Павловича Ленюка
c.23-24
224
Тези
Моделювання екологічних факторів при оцінці технічного стану архітектурних конструкцій в інтелектуальних системах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович



2016
Математичне та імітаційне моделювання систем (МОДС): міжнародна науково-практична конференція
c.113-117
225
Наукова стаття
Нечіткі ймовірності та нечіткі події


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

Провотар Олександр Олександрович
2016
Проблеми програмування
c.170-178
226
Наукова стаття
О кратчайшем k-вершинном пути в ориентированном графе


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович


2016
Збірник наукових праць "Теорія оптимальних рішень"
c.95-102
227
Тези
Об r-алгоритмах Шора


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2016
Московская международная конференция по Исследованию Операций: Міжнародна конференція
c.60-62
228
Праці конференції
Обчислювальний експеримент в задачах прийняття рішень


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2016
Теорія прийняття рішень: міжнародна школа-семінар
c.205-206
229
Праці конференції
Обчислювальний експеримент для розв'язання крайових задач методами статистичного моделювання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович



2016
Проблеми інформатики та комп'ютерної техніки (ПІКТ): Міжнародна науково-практична конференція
c.171-173
230
Наукова стаття
Объектно-компонентная разработка изменяемых программных систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Слабоспицька Ольга Олександрівна


2016
Проблеми програмування
c.3-16
231
Тези
Оптимальный 2d-эллипсоид и растяжение пространства по разности нормированных субградиентов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2016
Теорія прийняття рішень: міжнародна школа-семінар
c.43-43
232
Тези
Оцінка точності статистичних моделей узагальненого вінерівського процесу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович

2016
Методика викладання та методи дослідження в математиці: міжнародна наукова конференція
c.37
233
Наукова стаття
Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Дорошенко Анатолій Юхимович

Туліка Євгеній Мирославович
Жереб Костянтин Анатолійович
2016
Проблеми програмування
c.133-140
234
Наукова стаття
Прикладне застосування нейронних мереж у медичній діагностиці


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна

2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.102-107.
235
Тези
Про один метод статистичного моделювання дробового броунівського руху


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2016
Сучасні проблеми прикладної математики та інформатики (APAMCS): Всеукраїнська наукова конференція
т.1 c.145-147
236
Тези
Про формалізацію задачі маршрутизації транспортних засобів при обстеженні території


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Ходзінський Олександр Миколайович
2016
Теорія прийняття рішень: міжнародна школа-семінар
c.198-199
237
Праці конференції
Разработка и исследование алгоритмов комбинаторной оптимизации для транспортной задачи повышенной сложности


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ходзінський Олександр Миколайович

2016
Математическое моделирование, оптимизация и информационные технологии: V Международная конференция
c.378-384
238
Наукова стаття
Розробка алгоритмів розв’язання задачі маршрутизації транспортних засобів з часовими вікнами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Ходзінський Олександр Миколайович
2016
Збірник наукових праць "Комп'ютерна математика"
c.134 – 142
239
Наукова стаття
Синтез многоуровневых структур со многими выходами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович
2016
Проблеми програмування
c.3-13
240
Наукова стаття
Суперпозиция метода балансировки и универсального градиентного метода для поиска энтропийно-регуляризованного барицентра Вассерштейна и равновесий в многостадийных моделях транспортных потоков


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем



Стецюк Петро Іванович

2016
Труды МФТИ
т.8 c.5–24
241
Наукова стаття
Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Єршов Сергій Володимирович

2016
Проблеми програмування
c.179-187
242
Монографія
Точність і надійність моделювання випадкових процесів та полів в рівномірній метриці


Факультет комп'ютерних наук та кібернетики
Механіко-математичний факультет

Теорії ймовірностей, статистики та актуарної математики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Козаченко Юрій Васильович
Пашко Анатолій Олексійович
2016
ТОВ "СІК ГРУП УКРАЇНА"
c.1-216
243
Наукова стаття
Точність моделювання субгауссових вінерівських процесів в рівномірній метриці


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС проблем системного аналізу
Пашко Анатолій Олексійович
2015
Журнал обчислювальної та прикладної математики
т.1 c.160-169
244
Наукова стаття
Формализованные онтологические модели в научных исследованиях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2016
Управляющие системы и машины (УСиМ)
c.3-16
245
Наукова стаття
Чисті першопорядкові логіки квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
2016
Проблеми програмування
c.73-86
246
Наукова стаття
Ярусно-паралельна модель обчислень для логічного виведення у нечітких багаторівневих системах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Єршов Сергій Володимирович

2016
Збірник наукових праць "Комп'ютерна математика"
c.28-36
247
Наукова стаття
К вопросу построения знание-ориентированных компьютерных систем для научных исследований


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2015
Управляющие системы и машины (УСиМ)
т.2 c.64-73
248
Наукова стаття
A note-question on partitions of semigroup


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інтелектуальних програмних систем
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2015
arXiv - Інтернет-видання: http://arxiv.org/
c.7133-7135
249
Наукова стаття
A note-question on partitions of semigroups


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2015
Математичні студії
т.44 c.104-106
250
Наукова стаття
Around p-small subsets of groups


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2014
Карпатські математичні публікації
т.6 c.337-341
251
Праці конференції
Automated Identification and Recognition of Right Whales


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2015
V Міжнародна наукова конференція студентів, аспірантів та молодих вчених "Теоретичні та прикладні аспекти кібернетики" (ТААС-2015)
c.59-69
252
Тези
Composition-Nominative Logics as Institutions


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
Нікітченко Микола Степанович
2015
Handbook of the 5th World Congress and School on Universal Logic (Istanbul, Turkey, June, 20–30, 2015). – Istanbul University, 2015
c.370-371
253
Праці конференції
Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge Representation


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2015
Concurrency, Specification & Programming: International Workshop
т.2 c.211-221
254
Наукова стаття
Fundamental theorems of extensional untyped λ-calculus revisited


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2015
Computer Science Journal of Moldova
т.23 c.153-168
255
Праці конференції
Fundamental theorems of extensional untyped λ-calculus revisited


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.168-179
256
Наукова стаття
Fuzzy Object-Oriented Dynamic Networks. I


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
Провотар Олександр Іванович
2015
Кібернетика і системний аналіз
т.51 c.34-40
257
Праці конференції
Fuzzy Systems of Logical Inference and Their Applications


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2015
Concurrency, Specification & Programming: International Workshop
т.24 c.111-119
258
Праці конференції
Inheritance in Object-Oriented Knowledge Representation


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2015
Communications in Computer and Information Science
т.538 c. 293-305
259
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
т.1 c.50-53
260
Праці конференції
Modal Logics of Partial Predicates without Monotonicity Restriction


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Foundations of Informatics (FOI): International workshop
т.1 c.198-211
261
Матеріали конференції
Modal Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Handbook of the World Congress and School on Universal Logic
т.5 c.271
262
Тези
QR коди і мобільні додатки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2015
ІІ Міжнародна науково-практична конференція «Інформаційні технології та взаємодії» (IT & I)
c.15-17
263
Праці конференції
Third decade developments of C++ programming language


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.244-245
264
Праці конференції
Алгоритм решения задачи маршрутизации транспортных средств при наличии временных окон


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2015
Праці міжнародної наукової школи-семінару „Питання оптимізації обчислень (ПОО-XLII)”, присвяченої 85-річчю від дня народження академіка В.C. Михалевича. Київ: Інститут кібернетики імені В.М. Глушкова НАН України, 2015
c.320-322
265
Навчальний посібник
Архітектура комп’ютерних систем і мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович



2014
К.: КНУТД
c.1-176
266
Наукова стаття
Дві проблеми про розфарбування


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інтелектуальних програмних систем
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2015
У світі математики
т.4 c.5-6
267
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським словником. Множини


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2015
ВПЦ "Київський університет"
c.1-68
268
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Булеві функції. Теорія графів.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
Іванов Євгеній Олександрович
2015
ВПЦ "Київський університет"
c.1-84
269
Навчальний посібник
Дискретна математика. Теорія автоматів. Теорія кодування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
Іванов Євгеній Олександрович
2015
Видавничо-поліграфічний центр "Київський університет"
c.1-56
270
Наукова стаття
Елементарне доведення теореми нормалізації для βη-редукції


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.158-160
271
Тези
Залежність від шляху: LINUX vs. WINDOWS


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
Григор'єва Наталія Михайлівна
2015
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
т.3 c.383-384
272
Наукова стаття
Застосування кусково-лінійних моделей в задачах прогнозування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Верес Максим Миколайович
Поляченко Артур Ігорович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.66-71
273
Матеріали конференції
Комбіновані модифікатори нечітких об’єктів та класів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2015
Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики»
т.2 c.89-92
274
Праці конференції
Композиційно-номінативні модальні логіки часткових предикатів без обмеження монотонності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.255-261
275
Монографія
Лінійні діофантові обмеження та їх застосування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2015
Букрек
c.1-222
276
Тези
Логіки квазіарних предикатів із узагальненими реномінаціями та предикатами-індикаторами наявності значення для змінних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.171
277
Тези
Методи обчислення умовної невизначенності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації


2015
XIІI міжнародна науково-практична конференція Математичне та програмне забезпечення інтелектуальних систем(MPZIS-2015), 18-20 листопада 2015 року
c.64-70
278
Наукова стаття
Методи побудови регресійних моделей на основі нечітких даних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Єршов Сергій Володимирович

2015
Компьютерная математика
т.1 c.43-49
279
Монографія
Методи та новітні підходи до проектування, управління і застосування високопродуктивних ІТ-інфраструктур


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Єршов Сергій Володимирович
Бойко Юрій Володимирович
Глибовець Микола Миколайович
Теленик Сергій Федорович
Волохов Віктор Миколайович


2015
ВПЦ "Київський університет"
c.1-376
280
Наукова стаття
Методы исследования свойств высокопроизводительных инфраструктур. Обзор


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Математичної інформатики
Теоретичної кібернетики
Ком'ютерної інженерії
Кривий Сергій Лук'янович
Бойко Юрій Володимирович
Глибовець Микола Миколайович
Єршов Сергій Володимирович
Погорілий Сергій Дем'янович

Теленик Сергій Федорович

Крак Юрій Васильович

2015
Управляющие системы и машины (УСиМ)
т.1 c.3-13
281
Тези
Модальні логіки квазіарних предикатів без обмеження монотонності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.25 c.144-145
282
Наукова стаття
Моделювання компонентів базового програмного забезпечення розподілених середовищ


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інтелектуальних програмних систем
Ком'ютерної інженерії
Кривий Сергій Лук'янович
Єршов Сергій Володимирович
Бойко Юрій Володимирович
Глибовець Микола Миколайович
Теленик Сергій Федорович
Волохов Віктор Миколайович


2015
Наукові праці: Науково-методичний журнал.Комп’ютерні технології. – Миколаїв : Вид-во ЧДУ ім. Петра Могили
т.250 c.6-14
283
Тези
Модифікатори нечітких об'єктів та класів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2015
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
т.3 c.111-112
284
Наукова стаття
О сходимости rµ(α) -алгоритма


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович


2015
Компьютерная математика
т.1 c.142-152
285
Праці конференції
Об одном обобщении классического метода эллипсоидов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2015
Інформатика та системні науки: Всеукраїнська науково-практична конференція
c.335-337
286
Тези
Общая схема метода эллипсоидов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2015
Информационный бюллетень Ассоциации математического
c.59-60
287
Тези
Онтологический поход к выполнению научных и прикладных исследований


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2015
Международный научно-практический форум «Наука и бизнес»
c.155-161
288
Праці конференції
Паралельний наближений алгоритм розв’язання задачі оптимізації маршрутів транспортних засобів з часовими вікнами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2015
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.113-114
289
Наукова стаття
Портфельная модель процесса принятия решений по управлению изменениями в организации


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
2015
Проблеми програмування
т.1 c.72-80
290
Праці конференції
Про формалізацію задачі маршрутизації транспортних засобів із часовими вікнами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2015
Сучасні проблеми прикладної математики та інформатики. Збірник наукових праць". – Львів: Львівський університет імені Івана Франка
c.320-322
291
Наукова стаття
Програмоване, дистанційне, мобільне…. Яке навчання далі?


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.75-81
292
Навчальний посібник
Програмування С++. Конспект лекцій.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Верес Максим Миколайович
2015
К.:МАУП (начальний посібник)
c.1-248
293
Наукова стаття
Разработка, исследование и представление функций и операций на онтологиях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2015
Information Theories & Applications
т.22 c.1030114
294
Наукова стаття
Семантичні аспекти модальних логік часткових немонотонних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.238–241
295
Наукова стаття
Синтез адаптивних логических сетей на основе полиномов Жегалкина


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2015
296
Тези
Синтез багатовимірних модальних регуляторів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Моделювання складних систем
Іванов Євгеній Олександрович
Матвієнко Володимир Тихонович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.113
297
Наукова стаття
Система прийняття рішень для ідентифікації користувачів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теоретичної кібернетики
Катеринич Лариса Олександрівна


2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.147-151
298
Праці конференції
Создание инженерии корпоративных решений как концепции комплексного управления организацией


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна


2015
Зб. праць десятої міжнар. наук.-практ. конф. “Математичне та імітаційне моделювання систем. МОДС ’2015” – Чернігів, 2015
c.248-262
299
Навчальний посібник
Теорія алгоритмів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2015
ВПЦ "Київський університет"
c.1-239
300
Тези
Технічна ефективність LINUX vs. WINDOWS


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2015
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
т.3 c.385-386
301
Наукова стаття
Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
2015
Проблеми програмування
т.2 c.52-62
302
Наукова стаття
Технологічна модель процесу побудови та використання адаптивної композиції Веб-сервісів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна
2015
Проблеми програмування
т.1 c.52-62
303
Наукова стаття
Транзиційні модальні логіки немонотонних квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
Компьютерная математика
т.2 c.99-110
304
Тези
Транзиційні модальні логіки немонотонних часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.17 c.176
305
Наукова стаття
Управління високопродуктивними ІТ інфраструктурами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
Єршов Сергій Володимирович
Бойко Юрій Володимирович
Глибовець Микола Миколайович
Теленик Сергій Федорович


Волохов Віктор Миколайович
2015
Вісник Національного технічного університету України “КПІ”. Серія “Інформатика, управління та обчислювальна техніка”
т.61 c.120-1
306
Тези
Формальні засоби вдосконалення процесу прийняття в організації рішень, керованих вигодами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Слабоспицька Ольга Олександрівна


2015
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.259-260
307
Праці конференції
Чисті першопорядкові логіки часткових та неоднозначних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.11 c.182-190
308
Тези
Элементарное доказательство теоремы о -нормальной форме


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2015
Тезисы докладов Международной конференции «Мальцевские чтения» .– Новосибирск, Россия, 10–14 ноября 2014 г.
c.127
309
Праці конференції
2D-эллипсоид и r-алгоритмы


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
т.2 c.466–471
310
Наукова стаття
Analysis and processing of the text information aimed at extracting basis knowledge



Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович

Шевченко Володимир Петрович
2014
International journal “Information Content and Processing”
т.1 c.28-36
311
Праці конференції
Automated Theorem Proving in Kyiv: a Logical Approach


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2014
International Algebraic Conference dedicated to 100-th anniversary of L.A.Kaluzhnin, July 7-12, 2014, Kyiv
c.1-58
312
Наукова стаття
Automorphisms of filters a selection of open problems


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2013
Математичний вісник НТШ
т.10 c.122-126
313
Тези
Circumscribed 2d-ellipsoid and Shor's r-algorithm


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Стецюк Петро Іванович
2014
Optimization and applications: міжнародна наукова конференція
т.5 c.183–184
314
Тези
Cистеми логічного виведення логік часткових предикатів із реномінаціями з невизначеним значенням змінних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.23 c.189-190
315
Тези
Elementary proof of beta nu-normal form theorem


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Лялецький Олександр Олександрович
2014
17 Международная Пущинская школа-конференцыя молодих вчених, 2013
c.57
316
Тези
Formation bioconjugate from silver nanoparticles and ascorbic acid


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович


2013
Proc. of the XIV International young scientists' conference on applied physics Taras Shevchenko National University of Kyiv Faculty of RadioPhysics 11 – 14 June Kyiv (Ukraine)
c.171-172
317
Наукова стаття
Fuzzy inference systems and their applications


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Провотар Олександр Іванович


2013
Кібернетика і системний аналіз
т.49 c.37-45
318
Наукова стаття
Kaleidoscopical Configurations


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2014
Journal of Mathematical Sciences
т.200 c.352-357
319
Розділ монографії
Logical and Semantic Investigations in Kyiv School of Automated Reasoning


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2014
Trends in ContemporaryComputer Science" (206 pages), Bialystok University of Technology Publishing Office, Poland
c.83-98
320
Наукова стаття
Mathematical Foundations for Designing and Development of Intelligent Systems of Information Analysis


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
Провотар Олександр Іванович
2014
Проблеми програмування
т.16 c.233-241
321
Наукова стаття
NLP-задача упаковки гомотетичних еліпсів в прямокутний контейнер


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович


2014
Збірник наукових праць "Теорія оптимальних рішень"
c.139–146
322
Наукова стаття
Object-Oriented Dynamic Networks


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Терлецький Дмитро Олександрович
Провотар Олександр Іванович
2014
Computational Models for Business and Engineering Domains
c.123-136
323
Тези
Octave-функция OrtPro: назначение и особенности использования


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович


2014
Системный анализ и информационные технологии: Міжнародна наукова конференція
c.156–157
324
Праці конференції
On Herbrand theorems for classical and non-classical logics


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2014
Joint Automated Reasoning Workshop and Deduktionstreffen
c.1-2
325
Праці конференції
On Logical and Semantic Investigations in Kyiv School of Automated Reasoning


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2014
6th Podlasie Conference on Mathematics
c.1-49
326
Тези
Optimal balanced circular packing problem


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович

Коваленко Андрій Віленович
2014
Optimization and applications: міжнародна наукова конференція
c.158–159
327
Наукова стаття
Optimal Balanced Packing Using Phi-Function Technique


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
Романова Віра Сергіївна

2014
Examining Robustness and Vulnerability of Networked Systems
c.251–271
328
Тези
Transitional modal logics of non-monotone partial predicates


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
XXIV Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Чеський Рудолец (Чеська республіка), 1-5 вересня 2014 р.
c.90
329
Наукова стаття
TuningGenie: Auto-Tuning Framework Based on Rewriting Rules


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Жереб Костянтин Анатолійович

Дорошенко Анатолій Юхимович
2014
Springer: ICT in Education, Research, and Industrial Applications
c.1-20
330
Наукова стаття
Universal and Determined Constructors of Multisets of Objects


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Терлецький Дмитро Олександрович
2014
Information Theories & Applications
т.21 c.339 - 361
331
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
332
Тези
Алгоритм описанных эллипсоидов для задачи о наилучшем линейном классификаторе


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Інформаційно-компьютерні технології: Міжнародна науково-технічна конференція
c.57–58
333
Наукова стаття
Алгоритмы построения линейных бинарных классификаторов при неточных измерениях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Компьютерная математика
т.2 c.133-138
334
Наукова стаття
Алгоритмы решения систем линейных диофантовых уравнений 2


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович
2014
Журнал "Інженерія програмного забезпечення"
т.2 c.1-14
335
Наукова стаття
Верификация программ: состояние, проблемы, экспериментальные результаты II


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
2014
Проблеми програмування
c.76-89
336
Наукова стаття
Використання технології доповненої реальності в дистанційному освітньому процесі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.215-218
337
Тези
Використання технології доповненої реальності в процесі дистанційної освіти


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2014
Сучасні інформаційні системи і технології: міжнародна науково-практична конференція
c.94-95
338
Тези
Гарантовані оцінки в просторі лінійних неперервних операторів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Верес Максим Миколайович
2014
XXIII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Мукачево, 12-16 травня 2014 р.
c.70-72
339
Наукова стаття
Гарантовані оцінки лінійних операторних рівнянь з випадковими параметрами в гільбертовому просторі. рівняння шредінгера


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Верес Максим Миколайович
2014
Науковий журнал "Сборник научных трудов SWorld"
c.1-5
340
Праці конференції
Две ЛП-задачи с булевыми переменными для отказоустойчивой сети


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
Сергієнко Іван Васильович
2014
Інформатика та системні науки: Всеукраїнська науково-практична конференція
c.284–287
341
Підручник
Дискретна математика


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
Букрек
c.1-568
342
Підручник
Дискретна математика


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович
2014
Букрек
c.1-568
343
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Булеві функції. Теорія графів.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Іванов Євгеній Олександрович
Ченцов Олексій Ілліч
Шевченко Володимир Петрович
2014
ВПЦ "Київський університет"
c.1-87
344
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Комбінаторика. Теорія алгоритмів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Ченцов Олексій Ілліч
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2013
Видавничо-поліграфічний центр "Київський університет"
c.1-36
345
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Множини.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Ченцов Олексій Ілліч
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2014
Видавничо-поліграфічний центр "Київський університет"
c.1-68
346
Навчальний посібник
Дискретна математика. Посібник першокурсника з українсько-англійським тематичним словником. Теорія автоматів. Теорія кодування.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Ченцов Олексій Ілліч
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2014
Видавничо-поліграфічний центр "Київський університет"
c.1-52
347
Наукова стаття
Елементарне доведення теореми нормалізації для бета ню - редукції


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Лялецький Олександр Олександрович
2014
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 c.158-160
348
Праці конференції
Задача упаковки гомотетичных эллипсов в прямоугольном контейнере минимальных размеров


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович


2014
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
т.2 c.396–405
349
Тези
Задачі системної адаптації у прикладному застосуванні


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Катеринич Лариса Олександрівна
2013
Міжнародна науково-практична конференція «Математичне і програмне забезпечення інтелектуальних систем»
c.99-100
350
Навчально-методичний комплекс
Інтелектуальний аналіз даних. Методичні вказівки до виконання лабораторних робіт і самостійної роботи для студентів усіх форм навчання напряму 050101 «Комп’ютерні науки»


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Демківський Євген Олександрович

2013
351
Праці конференції
Класові та об’єктні модифікатори


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
Провотар Олександр Іванович
2014
Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики»
c.85-87
352
Наукова стаття
Комбинаторный метод решения систем линейных ограничений


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович
2014
353
Праці конференції
Комбіновані модифікатори класів та об'єктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2014
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
c.337-339
354
Тези
Конструктивна модифікація семантичних мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Терлецький Дмитро Олександрович
2014
Наукова конференція магістрантів та аспірантів «Прикладна математика та комп’ютинг»
c.171-176
355
Наукова стаття
Конструктори множин та мультимножин об’єктiв


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2014
Проблеми програмування
т.16 c.18-30
356
Праці конференції
Литерные деревья и поиск опровержения резолюционного типа


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2014
Международная конференция "Мальцевские чтения"
c.1-128
357
Наукова стаття
Максимальное сингулярное число матрицы и его экономическая интерпретация


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
358
Наукова стаття
Мережеві алгоритми класифікації у задачах діагностики


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Катеринич Лариса Олександрівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
c.141-144
359
Навчальний посібник
Мережні інформаційні технології: методичні рекомендації до вивчення курсу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Науковий вісник Ужгородського університету. Серія: Історія. - Ужгород: Вид-во УжНУ «Говерла»
т.1 c.1-65
360
Наукова стаття
Метод синтеза структур для преобразований циклического кода на основе FPGA


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович


2014
Электронное моделирование
т.36 c.1-22
361
Навчальний посібник
Методи обробки даних. Методичні вказівки до виконання самостійної роботи для студентів усіх форм навчання напряму 050101 «Комп’ютерні науки»


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Демківський Євген Олександрович


2013
К.: КНУТД
c.1-36
362
Навчальний посібник
Методы эллипсоидов и эр-алгоритмы


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Кишинэу: Эврика
c.1-488
363
Праці конференції
Модальні логіки часткових немонотонних предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2014
364
Тези
Нечітку системи логічного виведення та їх застосування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Провотар Олександр Іванович
2014
Знання-Діалог-Рішення: Міжнародна конференція
c.1-2
365
Наукова стаття
Новые доказательства важных теорем бестипо- вого экзистенциального лямбда-исчисления


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Лялецький Олександр Олександрович
2014
366
Наукова стаття
О глобальном минимуме целевой функции в задаче равновесной упаковки кругов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Доповіді НАН України. Серія: Математика
т.6 c.53–57
367
Праці конференції
О поиске опровержения в исчислениях к-дизъюнктов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2014
Алгебра и математическая логика: теория и приложения
c.1-98
368
Праці конференції
О теоремах эрбрановского типа для классических и интуиционистских модальных логик с равенством


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2014
Международная конференция "Мальцевские чтения"
c.1-155
369
Наукова стаття
Оn the global minimum in a balanced circular packing problem


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович

2014
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
c.206-214
370
Праці конференції
Об использовании системы «1С: Предприятие» для обучения студентов IT-специальностей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Іванов Євгеній Олександрович
Шевченко Володимир Петрович
2014
Нові інформаційні технології в освіті (Технології "1С:Підприємства" у підготовці ефективних та потрібних для національної економіки кадрів): Всеукраїнська науково-практична конференція
c.73
371
Матеріали конференції
Общие свойства абстрактных понятий редукции и их применения


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2013
Сучасна інформатика: проблеми, досягнення та перспективи розвитку: Міжнародна конференція
c.57-59
372
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Проблеми програмування
т.2 c.17-28
373
Тези
Першопорядкові логіки, розширені реномінаціями з невизначеним значенням змінних та предикатами-індикаторами наявності значення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
XXII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2013), Ялта-Форос, 23-27 вересня 2013 р.
т.1 c.116–117
374
Праці конференції
Поиск нормальных решений СЛАУ методом внутренних точек


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович


2014
Математическое моделирование, оптимизация и информационные технологии (ММОИТ): Международная научная конференция
т.2 c.202–212
375
Праці конференції
Представлення знань за допомогою об’єктно-орієнтованих динамічних мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2014
Міжнародна наукова конференція ім. проф. Т.А. Таран «Інтелектуальний аналіз інформації»
c.207-213
376
Наукова стаття
Про інтелектуальні та інтерфейсні засоби систем автоматизації доведень теорем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович

2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.125-128
377
Наукова стаття
Про формальний математичний текст і логічну та онтологічну коректності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Лялецький Олександр Вадимович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.155-157
378
Наукова стаття
Прямая задача синтеза логических сетей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович

2014
Decision Making and Business Intelligence Strategies and Techniques. Supplement to International Journal "Information Technologies and Knowledge"
т.8 c.3-13
379
Наукова стаття
Разработка и обоснование алгоритмов на основе семантических свойств


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович

2014
Проблеми програмування
т.2 c.151-159
380
Тези
Розробка системи мобільного навчання для студентів природничих спеціальностей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2013
Матеріали ХІ Міжнародної наукової конференції студентів та молодих науковців «Шевченківська весна 2013: 21 березня 2013р. м. Київ ч.1. КНУ імені Тараса Шевченка Інститут міжнародних відносин
т.1 c.79-81
381
Наукова стаття
Секвенційні числення логік часткових предикатів з розширеними реномінаціями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.199–204
382
Наукова стаття
Система мобільного навчання фізичним дисциплінам (на прикладі лабораторного практикуму з Оптики)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.1-6
383
Навчальний посібник
Стислі нотатки з дискретної математики. Числа, множини, функції, відношення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Лялецький Олександр Олександрович
2014
Наукові записки НаУКМА. Комп’ютерні науки
c.1-56
384
Тези
Субградієнтний алгоритм з розтягом простору для задачі розділення двох поліедрів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Теорія прийняття рішень: міжнародна школа-семінар
c.244–245
385
Навчальний посібник
Теорія прийняття рішень (Частина 1). Методичні вказівки до виконання самостійної роботи для студентів усіх форм навчання напряму 050101 «Комп’ютерні науки»


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Демківський Євген Олександрович


2013
К.: КНУТД
c.1-64
386
Тези
Транзиційні композиційно-номінативні модальні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.37–39
387
Наукова стаття
Транзиційні композиційно-номінативні модальні логіки та їх числення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.48–54
388
Праці конференції
Analysis and processing of the text information aimed at extracting basis knowledge. Inern. conf. “Natural Infiormation Technologies (NIT)”. – Spain. - Madrid. – 2013.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2013
Current problems in information and computational technologies
c.1.0000
389
Наукова стаття
Basics of Intensionalized Data: Presets, Sets, and Nominats


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2012
Current problems in information and computational technologies
т.20 c.334.0000
390
Наукова стаття
Component modeling: on connections of detailed Petri model and component model of parallel distributed system


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Information Models and Analyses
т.2 c.15.0000
391
Наукова стаття
Diagnosis with fuzzy inference systems


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Международная научно-практическая конференция, посвященная проблемам общественных наук
т.1 c.215.0000
392
Праці конференції
Finitely-Generated Algebras and Constructors of Multisets of Objects


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
International Scientific Conference of Students and Young Scientists "Theoretical and Applied Aspects of Cybernetics"
c.48-63
393
Праці конференції
Formation bioconjugate from silver nanoparticles and ascorbic acid, Proceedings of the XIIIth International Young Scientists Conference on Applied Physics (12-15 June, 2013, Kyiv, Ukraine) - p. 171-172.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шабелюк Олександр Володимирович

2013
Current problems in information and computational technologies
т.1 c.171.0000
394
Тези
Kомпозиційно-номінативні логіки з розширеними реномінаціями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.407
395
Праці конференції
Kомпозиційно-номінативні логіки з розширеними реномінаціями. Dynamical systems modelling and stability investigation: intern. conf.: thesis of conf. report. – К., 2013


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Current problems in information and computational technologies
c.407.0000
396
Тези
Kомпозиційно-номінативні модальні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
TAAPSD 2012
c.289-294
397
Наукова стаття
Mодальные логики частичных предикатов и секвенциальные системы логического вывода в этих логик


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Information Theories & Applications
т.20 c.367.0000
398
Наукова стаття
Mодальные логики частичных предикатов и секвенциальные системы логического вывода в этих логиках


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
Information Theories & Applications
т.20 c.367-378
399
Наукова стаття
Prethick subsets and partitions of metric spaces


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
2012
Математичні студії
т.38 c.115-117
400
Праці конференції
Process of the Homogeneous Multisets Creation


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
c.37-39
401
Program Invariants Generation over Polynomial Ring using Iterative Methods.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович
2013
International Journal Information Theories and Applications 2013
т.20 c.113.0000
402
Наукова стаття
Rainbow Graphs and Semigroups


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2012
Доповіді НАН України. Серія: Математика
т.7 c.43 - 47
403
Праці конференції
The System of Set Theory for Operating with Essences in the Objects Intellectual Environment


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
International Conference «Advanced Computer Systems and Networks: Design and Application»
c.226-229
404
Наукова стаття
Vector lattices form cartesian closed category


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2012
Теоретичні та прикладні аспекти кібернетики: міжнародна конференція студентів та молодих вчених
т.2 c.75-76
405
Наукова стаття
Адаптація системи керування нейронною мережею


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
c.172.0000
406
Наукова стаття
Алгоритм Очевидности Глушкова


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович

2013
407
Наукова стаття
Аналіз властивостей мереж Петрі.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.121.0000
408
Наукова стаття
Аналіз систем нечіткої логіки для апроксимації нечітких функцій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

2012
Проблеми програмування
c.43.0000
409
Праці конференції
Аппаратная реализация преобразований циклического кола Хэмминга на базе FPGA.Труды 15-й Всерос-сийской научно-тех-нической конф. «Нейроинформатика-2013».-Москва


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович

2013
Current problems in information and computational technologies
т.3 c.203.0000
410
Наукова стаття
Апроксимація рядів динаміки за допомогою нейронних мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.99-102
411
Наукова стаття
Архитектурно-структурные особенности средств автоматизации процесса извлечения знаний из естественно-языковых текстов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2013
Intern. Journal “Information Technologies & Knowledge”
т.7 c.261.0000
412
Наукова стаття
Верификация программ: состояние, проблемы, результаты II


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович
2014
413
Тези
Гарантовані оцінки лінійних операторних рівнянь з випадковими параметрами. рівняння Шредінгера.PDMU 2013, September 23-27, 2013 Yalta-Foros


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
2013
Current problems in information and computational technologies
c.52.0000
414
Праці конференції
Декомпозиційна генерація мультимножин об’єктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
Міжнародна науково-практична конференція «Математичне і програмне забезпечення інтелектуальних систем»
c.238-239
415
Наукова стаття
Деякі підходи до можливості застосування адаптивнаих алгоритмів у нейронних мережах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.120.0000
416
Наукова стаття
Динамічна зміна якості відео в залежності від ширини Інтернет-каналу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2012
Компьютерная математика
т.2 c.70-75
417
Праці конференції
Дослідження процесу утворення неоднорідних мультимножин та їх класифікація


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
Провотар Олександр Іванович
2013
Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики»
c.76-77
418
Праці конференції
Дослідження процесу утворення однорідних множин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
Інформатика та системні науки: Всеукраїнська науково-практична конференція
c.278-281
419
Праці конференції
Дослідження процесу утворення та класифікації неоднорідних множин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
c.503-505
420
Наукова стаття
Застосування теорії мультимножин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Гришко Юлія Олександрівна
Буй Дмитро Борисович
2013
Радіоелектронні і комп'ютерні системи
c.204.0000
421
Праці конференції
Інтелектуальний інтерфейс і Алгоритм Очевидності


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович

2013
ХII Международная конференция "Интеллектуальный анализ информации"
c.118-126
422
Тези
К вопросу проектирования знание-ориентированной информационной системы (онтологический аспект). Межд. Конф. «Современ. информ. и электрон. технол. (СИЭТ -2013)», Одесса, 2013 (май 27-31)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2013
Current problems in information and computational technologies
c.87.0000
423
Праці конференції
Комбинаторный метод решения систем линейных ограничений в дискретных и непрерывных областях. Труды межд. конф. «Соврем. информатика: проблемы, достижения и перспект. развития». Киев. – ИК НАНУ.- 2013


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2013
Current problems in information and computational technologies
c.31.0000
424
Праці конференції
Композиционно-номинативные модальные логики частичных предикатов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
425
Праці конференції
Композиционно-номинативные модальные логики частичных предикатов. Интегрированные модели и мягкие вычисления в искусственном интеллекте: VII Межд. научно-практ. конф.: сб. научных трудов. – Коломна, 2013.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Current problems in information and computational technologies
т.1 c.370.0000
426
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
427
Матеріали конференції
Логіки часткових предикатів із розширеними реномінаціями та предикатами-індикаторами наявності значення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
Глушковські читання: Всеукраїнська науково-практична конференція
c.169-171
428
Наукова стаття
Множини як сукупність сутностей-об’єктів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
Збірник наукових праць "Комп'ютерна математика"
c.64-71
429
Тези
Моделі невизначеностей та їх застосування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

2012
Матеріали міжнародної наукової конференції
т.1 c.124.0000
430
Наукова стаття
Нейронні мережі в економічному моделюванні


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2013
Компьютерная математика
т.1 c.69-74
431
Наукова стаття
Нечеткие системы логического вывода и их применение


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Провотар Олександр Олександрович
2013
Кібернетика і системний аналіз
т.49 c.37-45
432
Тези
Новое доказательство теоремы нормалимзации для бестипового экстенсионального лямбда- исчисления


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2012
Международная конференция "Мальцевские чтения"
c.67.0000
433
Наукова стаття
О гомоморфизме компонентной сети Петри


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2014
434
Тези
О необходимости введения временной характеристики в компонентную сеть Петри


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Міжнародна математична школа "Питання оптимізації обчислень ПОО-XL"
c.0.0000
435
Тези
О связи компонентной модели и детальной модели Петри параллельной распределённой системы


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Материали Муждународной научно-практической конференции Мониторинг окружающей среды
c.25.0000
436
Наукова стаття
О связи языка CN-модели с компонентами-местами и языка детальной модели Петри параллельной распределённой системы


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Дифференциальные уравнения, теория функций, нелинейный анализ и оптимизация.
т.1 c.33.0000
437
Наукова стаття
О способах построения и использования компонентной сети Петри с ингибиторными дугами для анализа её исходной детальной модели Петри


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
Таврический Вестник Информатики и Математики
т.1 c.45.0000
438
Праці конференції
Обратный метод Маслова и метод входной клаш-резолюции


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2013
Международная конференция "Мальцевские чтения"
c.54-56
439
Тези
Общие свойства абстрактных понятий редукции и их применения. Тези доповідей Міжнародної конференції "Сучасна інформатика: проблеми, досягнення та перспективи розвитку", Київ, Україна, 12-13 вересня 2013 р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2013
Current problems in information and computational technologies
c.57.0000
440
Праці конференції
Операції над сутностями в інтелектуальному об'єктному середовищі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2013
Міжнародна науково-практична конференція «Теоретичні і прикладні аспекти побудови програмних систем»
c.181-186
441
Наукова стаття
Оптимальні оцінки імпульсної дії в задачі практичної стійкості диференціальних включень з імпульсним впливом


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ліндер Ярослав Миколайович
Пічкур Володимир Володимирович
2013
Системні дослідження та інформаційні технології
c.69.0000
442
Наукова стаття
Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Лялецький Олександр Вадимович
2013
Наукові записки НаУКМА. Комп’ютерні науки
c.21-28
443
Наукова стаття
Побудова експертних систем з використанням нейронних мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2013
Вісник Київського національного університету технологій та дизайну
т.1 c.23-28
444
Наукова стаття
Побудова секвенційних числень мультимодальних композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
Проблеми програмування
c.0.0000
445
Наукова стаття
Поліморфізм та класи в мові Haskell


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.125-130
446
Наукова стаття
Пошук програмних інваріантів у вигляді поліномів.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Доповіді Національної академії наук України
т.9 c.44.0000
447
Наукова стаття
Про бісимуляційну еквівалентність детальної моделі Петрі та її CN-моделі досліджуваної паралельної розподіленої системи


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
448
Праці конференції
Про евіденціальну парадигму та її сучасний стан


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович

2013
Обчислювальний інтелект (результати, проблеми, перспективи) (ComInt): Міжнародна науково-практична конференція
c.386
449
Наукова стаття
Про нові методи опису невизначених величин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

2012
Проблеми програмування
c.35.0000
450
Наукова стаття
Про оцінювання обчислених невизначеностей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
451
Наукова стаття
Реалізація концепції адаптивного мовлення та системи автоматичної підготовки контенту


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Провотар Олександр Іванович
Галкін Олександр Володимирович
Верес Максим Миколайович
Заміховський А. А.
2013
Проблеми програмування
т.1 c.78.0000
452
Наукова стаття
Розробка експертних систем заснованих на знаннях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2013
453
Праці конференції
Розробка системи мобільного навчання для студентів природничих спеціальностей, Матеріали ХІ міжнародної наукової міждисциплінарної конференції студентів, аспірантів та молодих вчених Шевченківська весна Київ 18-22 березня 2013 року 79-81с.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
Current problems in information and computational technologies
т.1 c.79.0000
454
Праці конференції
Розробка системи мобыльного навчання для студентів природничих спеціальностей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2013
455
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
456
Тези
Розширення логік часткових предикатів реномінаціями з невизначеним значенням імен


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2013
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.21 c.179-180
457
Праці конференції
Секвенциальный формализм и поиск логического вывода в стиле Алгоритма Очевидности


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2013
Міжнародна конференція присвячена 90-річчу від дня народження академіка В.М. Глушкова “Сучасна інформатика: проблеми, досягнення та перспективи розвитку”
c.1-10
458
Наукова стаття
Секвенційні числення темпоральних і мультимодальних логік часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
Штучний інтелект
c.245.0000
459
Наукова стаття
Секвенційні числення транзиційних композиційно-номінативних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.225.0000
460
Наукова стаття
Семантичні аспекти транзиційних композиційно-номінативних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.281.0000
461
Наукова стаття
Семантичні моделі та секвенційні числення транзиційних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
Компьютерная математика
т.1 c.141-150
462
Наукова стаття
Системная адаптация нейронных сетей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2013
Проблемы информационных технологий
c.59.0000
463
Тези
Транзиційні модальні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.413
464
Тези
Транзиційні модальні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2013
Dynamical System Modeling and Stability Investigation: International Conference
c.413
465
Формальные методы верфикикации на основе сетей Петри.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Кривий Сергій Лук'янович
2013
TAAPSD 2012
т.1 c.75.0000
466
Праці конференції
Composition-nominative transition and temporal logics of functional-equation level


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2011
INFORMATICS - International Conference
т.11 c.254-266
467
Праці конференції
Evidential paradigm and its implementation: a short description


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Лялецький Олександр Вадимович
2012
ХII Международная конференция "Интеллектуальный анализ информации"
c.96-101
468
Праці конференції
Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2012
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.290-295
469
Розділ монографії
Kyiv School of Automated Theorem Proving: a Historical Chronicle


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Лялецький Олександр Вадимович
2012
University Press of America, USA
c.431-471
470
Наукова стаття
Kомпозиційно-номінативні логіки епістемічного типу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.4-7
471
Наукова стаття
Kомпозиційно-номінативні мультимодальні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Штучний інтелект
т.4 c.126-133
472
Тези
Logical means of dynamic and information systems description taking into consideration uncertainty and incompleteness


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
XX Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2012)
c.116-117
473
Тези
Logical means of dynamic and information systems description taking into consideration uncertainty and incompleteness, Тези XX Міжнародної конференції Problems of Decision Making under Uncertainties (PDMU-2012), September 17-21, 2012, Brno, Chech Republic


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
474
Монографія
On Combination of Deduction and Analytical Transformations in E-Learning Testing


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Нікітченко Микола Степанович
Лялецький Олександр Вадимович
2012
Artificial Intelligence: Methods and Techniques for Business and Engineering Applications, Sofia, Болгарія
т.1 c.177-190
475
Наукова стаття
Rainbow Graphs and Semigroups


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2012
Доповіді НАН України. Серія: Математика
c.43.0000
476
Тези
Rainbow semigroups, Міжнародна математична конференція до 70-ти річчя проф. В.В. Кириченка, - м. Миколаїв, 13 -19 червня 2012р


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Тетяна Михайлівна
Протасова Ксенія Дмитрівна
2012
477
Праці конференції
Автоматизация рассуждений в Украине: основные этапы


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.157-163
478
Наукова стаття
Аналіз даних з використанням байєсівських моделей


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Демківський Євген Олександрович


2012
Наукові вісті НТУУ КПІ
c.40.0000
479
Наукова стаття
Аналіз систем нечіткої логіки для опроксімації нечітких функцій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович


2012
Проблеми програмування
c.35.0000
480
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.179-180
481
Тези
Багатозначні логіки та двозначні композиційно-номінативні логіки часткових предикатів, Тези XIX Міжнародної конференції "Problems of Decision Making under Uncertainties" (PDMU-2012), Мукачево, 23-27 квітня 2012 р


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Степан Степанович
Нікітченко Микола Степанович
2012
482
Наукова стаття
Гарантовані оцінки розв’язків лінійних рівнянь в гільбер-товому просторі з випадковими параметрами.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Наконечний Олександр Григорович

2011
Журнал обчислювальної та прикладної математики
c.85.0000
483
Наукова стаття
Двозначні та багатозначні композиційно-номінативні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.199-206
484
Наукова стаття
Декартові властивості категорії умовно повних векторних решіток


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.3 c.109.0000
485
Наукова стаття
Деякі підходи до побудови систем заснованих на знаннях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
2012
Компьютерная математика
т.1 c.111-118
486
Наукова стаття
Експертна система Н-Гомеопат


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.163.0000
487
Наукова стаття
Итеративный подход к анализу естественно-языковых текстов: логический аспект


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2012
Проблеми програмування
c.0.0000
488
Наукова стаття
Композиційно-номінативні логіки з непрямим іменуванням


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Оксана Степанівна
Россада Тетяна Володимирівна
2012
Проблеми програмування
т.2 c.44-49
489
Тези
Композиційно-номінативні модальні логіки епістемічного типу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.19 c.234-235
490
Тези
Композиційно-номінативні модальні логіки епістемічного типу, Тези XIX Міжнародної конференції "Problems of Decision Making under Uncertainties" (PDMU-2012), Мукачево, 23-27 квітня 2012 р


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
491
Наукова стаття
Концепція адаптивного мовлення та системи автоматичної підготовки контенту


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Провотар Олександр Іванович
Верес Максим Миколайович
Катеринич Лариса Олександрівна
Заміховський А. А.
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.111-116
492
Наукова стаття
Масово розподілений пошуковий робот


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Демківський Євген Олександрович

2011
Проблемы информационных технологий
c.147.0000
493
Навчальний посібник
Мова UML і проектування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Галкін Олександр Володимирович
Шкільняк Оксана Степанівна
2012
Логос (навчальний посібник)
c.1-122
494
Праці конференції
О дедуктивном и аналитическом методах тестирования и их интеграции в е-обучении


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Вадимович
2012
Міжнародна конференція "Нові інформаційні технології в освіті для всіх:моделі та інфраструктури"
c.108-110
495
Наукова стаття
Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.204-211
496
Навчальний посібник
Приклади й задачі з теорії алгоритмів і математичної логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Шкільняк Оксана Степанівна
2012
ВПЦ "Київський університет"
c.1-167
497
Наукова стаття
Про зв’язок мови CN-моделі з компонентами-переходам і мови детальної моделі Петрі паралельної розподіленої системи


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.145.0000
498
Наукова стаття
Про часову складність алгоритму розкладання графів на різних структурах даних


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Провотар Олександр Олександрович
2012
Збірник наукових праць "Комп'ютерна математика"
c.60-68
499
Тези
Проблемы подготовки специалистов в области IT и компьютерных наук, Меж. науч.-техн. Конф. «Компьютерные науки: образование, наука, практика», г. Николаев14–16 июня. –2012.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2012
500
Тези
Радужные графы, Третя міжнародна науково-практична конференція «Інформаційні технології та комп’ютерна інженерія», – м. Вінниця. 29-31 травня 2012р


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2012
501
Наукова стаття
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2012
502
Наукова стаття
Розробка експертних систем заснованих на нейронних мережах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
2011
Проблемы информационных технологий
503
Матеріали конференції
Секвенційні системи логічного виведення композиційно-номінативних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
KDS + MeL: Міжнародні конференції
c.30-31
504
Праці конференції
Секвенційні системи логічного виведення композиційно-номінативних модальних логік, Міжнародні конференції "KDS плюс MeL": KDS 2012, MeL 2012: праці конференцій. – K., 2012


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2012
505
Наукова стаття
Секвенційні числення мультимодальних композиційно-номінативних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.12 c.55-59
506
Наукова стаття
Система автоматизованого генерування патернів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович


2011
507
Наукова стаття
Теоретико-аплікаційні властивості векторних решіток


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2012
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.4 c.102.0000
508
Наукова стаття
Формализация проблемы извлечения знаний из естественно-языковых текстов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович



2012
Невідоме
т.6 c.203.0000
509
Наукова стаття
ФОРМАЛИЗАЦИЯ ПРОБЛЕМЫ ИЗВЛЕЧЕНИЯ ЗНАНИЙ ИЗ ЕСТЕСТВЕННО-ЯЗЫКОВЫХ ТЕКСТОВ,Міжнародна конференція «Information-Interaction-Intellect», Варна, Болгарія


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2012
Information Models & Analyses
т.1 c.0.0000
510
Наукова стаття
Формалізація функціональних мов програмування на основі лямбда числення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2012
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.123-128
511
Наукова стаття
Функціональні особливості реалізації нечіткої специфікації логічного виведення в експертній системі Н-Гомеопат


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Катеринич Лариса Олександрівна
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.145-150
512
Тези
Algebraic characterization of Kaleidoscopical graphs , -th International Algebraic Conference in Ukraine, - м. Луганськ. 5-12 липня 2011р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Тетяна Михайлівна
Протасова Ксенія Дмитрівна
2011
513
Тези
Implementing categories with generic programming techniques, -а Міжнародна алгебраїчна конференція в Україні (ЛНУ ім. Т. Шевченка, 5-12 липня 2011). – Луганськ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2011
514
Наукова стаття
Independent sets and partitions of graphs


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2010
Математичні студії
т.33 c.3-10
515
Наукова стаття
Kaleidoscopical graphs and semigroups


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
2011
Mathematical Studies
т.36 c.3.0000
516
Наукова стаття
Абстрактні типи даних як многоосновні алгебраїчні системи


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2010
517
Наукова стаття
Абстрактні типи даних як многоосновні алгебраїчні системи I


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2010
518
Тези
Взаємозв’язки між різними видами обмежень кардинальності в моделі «сутність-зв’язок»


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Сільвейструк Людмила Миколаївна
2011
МИССУ-2011 XIV международная научно-техническая конференция МОДЕЛИРОВАНИЕ, ИДЕНТИФИКАЦИЯ, СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ 2011
т.1 c.157.0000
519
Наукова стаття
Врівноважені два-розбиття графів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Тетяна Михайлівна
Протасова Ксенія Дмитрівна
2011
Компьютерная математика
c.150.0000
520
Тези
Динамічна зміна якості відео в залежності від ширини Інтернет-каналу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.87-90
521
Автореферат
Дослідження композиційнo-номінативних модальних та темпоральних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2011
Логос
c.1-19
522
Наукова стаття
Ефективність паралельних алгоритмів обчислення матричного добутку


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Демківський Євген Олександрович

2010
523
Наукова стаття
К вопросу о квазифрантальных образованиях воды и их роли в информационных взаимодействиях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Ляшко Володимир Іванович
2011
Компьютерная математика
c.21.0000
524
Тези
Композиційно-номінативні модальні логіки часткових предикатів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2011
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.17 c.184-185
525
Тези
Композиційно-номінативні мультимодальні логіки та їх числення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2011
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.18 c.161-162
526
Наукова стаття
Многоосновные алгебры, абстрактные типы данных и трансфинитная рекурсия


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2011
527
Тези
Об абстрактных операциях над нечеткими данными, Міжнародна конференція TAAPSD’2011, Ялта, вересень 2011


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2011
528
Тези
Основні характеристики систем високочастотної торгівлі цінними паперами , ІІ Всеукраїнська науково-практична конференція «Системний аналіз. Інформатика. Управління» 10-11 березня 2011. Запоріжжя


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
2011
529
Тези
Побудова логік мультимодального та епістемічного типу на основі композиційно-номінативного підходу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.8 c.129-139
530
Наукова стаття
Програмна реалізація теорії категорій


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.220.0000
531
Наукова стаття
Розбиття графів методом незалежних підмножин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2010
Доповіді НАН України. Серія: Математика
т.10 c.41- 43
532
Наукова стаття
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2011
Проблеми програмування
c.17-28
533
Тези
Семантичні моделі композиційно-номінативних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2011
Dynamical System Modeling and Stability Investigation: International Conference
т.15 c.406
534
Тези
Теоретико-порядковая характеризация (theta)-непрерывных функций и их свойства, Международная конференция "Мальцевские чтения", посвященной 60-летию со дня рождения чл.-кор. РАН С. С.Гончарова, Новосибирск, 2011 г.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Лялецький Олександр Олександрович
2011
535
Наукова стаття
Теория автоматов в информационных технологиях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2011
536
Наукова стаття
Функціональне програмування. Лямбда числення в мовах FP та F#


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Верес Максим Миколайович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.103-107
537
Праці конференції
Composition nominative modal and temporal logics - 10th International Conference Informatics’2009. – Herl’any, Slovakia, 2009


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2009
538
Наукова стаття
Constructing normal spanning trees - Сьома літня школа «Алгебра, Топологія, Аналіз та застосування», – м. Івано-Франківськ. 5-16 липня 2010р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
2010
539
Наукова стаття
Homeopath: Diagnostic information system


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

Катеринич Лариса Олександрівна
2010
540
Наукова стаття
Independent sets and partitions of graphs


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасов Ігор Володимирович
Протасова Ксенія Дмитрівна
2010
Математичні студії
т.33 c.3.0000
541
Тези
Switching element - VIII Міжнародна міждисциплінарна науково-практична конференція молодих вчених «Шевченківська весна», м. Київ, 22-26 березня 2010р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2010
542
Праці конференції
Алгебро-логічний підхід до аналізу та обробки текстової інформації - Тр. 7-й межд.конф. «УКРПРОГ-2010», 2010, Киев, 25-27 мая


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович



2010
Проблеми програмування
c.318.0000
543
Тези
Композиційно-номінативні модальні логіки функціо­нально-екваційного рівня - Міжнародна конференція "Problems of decision making under uncertainties (PDMU-2010)". – Львів, 2010


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2010
544
Праці конференції
Композиційно-номінативні модальні логіки функціонально-екваційного рівня - Тр. 7-й межд.конф. «УКРПРОГ-2010», 2010, Киев, 25-27


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2010
Проблеми програмування
c.42.0000
545
Праці конференції
Нейронечеткие модели диагностики в системе Н-Гомеопат - Тр. 7-й межд.конф. «УКРПРОГ-2010», 2010, Киев,25-27 мая


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Катеринич Лариса Олександрівна
2010
Проблеми програмування
c.636.0000
546
Праці конференції
О некоторых подходах к вычислению неопределенностей - Тр. 7-й межд.конф. «УКРПРОГ-2010», 2010, Киев,25-27 мая


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

2010
Проблеми програмування
c.22.0000
547
Наукова стаття
О некоторых формальних моделях разработки нейросетевых алгоритмов в системе Гомеопат


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2010
Компьютерная математика
c.102.0000
548
Наукова стаття
Розбиття графів методом незалежних підмножин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2010
Доповіді Національної академії наук України
c.22.0000
549
Наукова стаття
Розробка методів та засобів онтолого-лінгвістичного аналізу природомовних об’єктів - Препринт 2009-2, НАН України, Інститут кібе-рнетики ім.. В.М. Глу-шкова. Київ. -2009.-36с.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


Величко Віталій Юрійович
2009
550
Наукова стаття
Секвенційні числення композиційно-номінативних модальних і темпоральних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2009
Наукові записки НаУКМА. Комп’ютерні науки
т.99 c.37.0000
551
Наукова стаття
Семантичні властивості композиційно-номінативних модальних логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2009
Проблеми програмування
c.0.0000
552
Тези
Free category generated by a partial semigroup. - Proc. of the 7th International algebraic conference in Ukraine (Karazin National University of Kharkiv, 18-23 august 2009). – Кyiv, 2009


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2009
553
Тези
Independent sets and partitions of infinite graphs - Український математичний конгресс, Київ, інститут математики НАНУ, 2009, 27-29 серпня


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
2009
554
Тези
Interaction of a two level atom with electromagnetic field in isotropic three-dimension Jaynes-Cummings model. - Proceedings of Institute of Mathematics of NAS of Ukraine(Conference Symmetry in nonlinear physics, Kyiv 2009)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2009
555
Тези
On composition nominative modal and temporal logics. - International conference "Problems of decision making under uncertainties". Abstracts. – Skhidnytsia, Ukraine, 2009


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2009
556
Наукова стаття
Алгоритм построения базиса множеств решений системы линейных диофантовых уравнений в кольце целых чисел


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2009
557
Наукова стаття
Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2009
Известия РАН. Серия: Математика
т.2 c.82.0000
558
Наукова стаття
Аналіз алгоритмів функціонування систем автоматизації навчального процесу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Шевченко Володимир Петрович
2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.184.0000
559
Тези
Аналіз паралельних методів сортування на прикладі алгоритмів Шелла та швидкого сортування Хоара - Міжнародна конференція «Теоретичні та прикладні аспекти побудови програмних систем», 8-10 грудня 2009, Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
2009
560
Праці конференції
Архітектура та керування нейронною мережею з комутаційним елементом. - Международная научно-практическая конференція «Современные проблемы и пути их решения науке, транспорте и образовании 2008»


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2008
561
Тези
Багато поточні обчислення в Virtual Java Machine і в Windows - Міжнародна конференція «Теоретичні та прикладні аспекти побудови програмних систем», 8-10 грудня 2009, Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
Верес Максим Миколайович
2009
562
Наукова стаття
Використання паралельних обчислень для дослідження фізичних властивостей наноструктур


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович

2008
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.195.0000
563
Наукова стаття
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2009
Управляющие системы и машины (УСиМ)
c.42.0000
564
Наукова стаття
Исследование свойств документов MSC при помощи преобразования их в сети Петри


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2009
565
Наукова стаття
К анализу естественно-языковых объектов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


Величко Віталій Юрійович
2009
Information Science & Computing. Intern. Book Series. – Intelligent Processing. – ITHEA
c.36.0000
566
Наукова стаття
Керування синтезом нейронних мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2009
Проблеми програмування
c.53.0000
567
Наукова стаття
Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні числення


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
Наукові записки НаУКМА. Комп’ютерні науки
т.86 c.25.0000
568
Тези
Композиційно-номінативні молдальні та темпоральні логіки номінативних рівнів - Міжнародна конференція «Теоретичні та прикладні аспекти побудови програмних систем», 8-10 грудня 2009, Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2009
569
Наукова стаття
Концептуальные графы и семантические сети в системах обработки естественно-языковой информации


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

Величко Віталій Юрійович

2009
Математические машины и системы
c.67.0000
570
Праці конференції
Необходимые условия существования решений уравнения в множестве натуральных чисел . - Праці угаїнк. Симпозіуму «Питання оптим. Oбч. (ПОО-ХХХV)», Україна, Крим, Велика Ялта, смт. Кацивелі. 24-29 вересня 2009 р., С. 287-293


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2009
571
Наукова стаття
Обработка предложений естественного языка с использованием словарей и частоты появления слов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2009
Information Science & Computing. Intern. Book Series. – Intelligent Processing. – ITHEA
c.44.0000
572
Тези
Параметризованное программирование: современное состояние и перспективы - Міжнародна конференція «Теоретичні та прикладні аспекти побудови програмних систем», 8-10 грудня 2009, Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2009
573
Тези
Побудова секвенційних числень композиційно-номінативних модальних і темпоральних логік. - Dynamical systems modelling and stability investigation. Thesis of conf. report. – Київ, 2009


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2009
574
Тези
Построение объединенных нейронных сетей с использованием коммутационных елементов. - X Міжнародна науково-технічна конференція «Системній аналіз та інформаційні технологіїї», Інститут прикладного системного аналізу, 20-24 травня 2008р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2008
575
Праці конференції
Проверка совместности систем линейных неоднородных диофантовых уравнений в множестве натуральных чисел. - Праці Міжн. Сим поз. «Питання оптим. Oбч. (ПОО-ХХХV)», Україна, Крим, Велика Ялта, смт. Кацивелі. 24-29 вересня 2009 р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2009
576
Наукова стаття
Специализированные информационные технологии для лиц с физическими ограничениями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович

2008
Управляющие системы и машины (УСиМ)
c.62.0000
577
Тези
Спеціалізовані експертні системи - Міжнародна конференція «Теоретичні та прикладні аспекти побудови програмних систем», 8-10 грудня 2009, Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2009
578
Праці конференції
Converting of MSC documents to Petri Nets - Proceedings of the “Concurency, Specification and Programming CS&P’2008”.Berlin. Humbold’s University.-2008


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2008
579
Праці конференції
Extended Algorithm for Translation of MSC-Diagram into Petri Nets


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
c.68.0000
580
Праці конференції
Extended of Algorithm of translation of MSC-specified System into Petri Net - Slovakia, Koshice,Technical university of Koshice.-2008


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2008
581
Тези
Homeopathia: diagnostic information system. Abstrect - XIV –th International Conference on Mathematics, Informatics and Related Filds. November 7-11, 2008, Poland


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2008
582
Тези
Kaleidoscopical and Hamming Graphs, International Conference “Analysis and Topology”, Lviv, June 2-7


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
2008
583
Наукова стаття
Kaleidoscopical graphs and Hamming codes - 5th Annual International Symposium on Voronoi Diagrams, September 22-28, 2008 Drahomanov National Pedagogical University Kyiv Ukraine


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасов Ігор Володимирович
Протасова Ксенія Дмитрівна
2008
584
Праці конференції
Neural networks diagnostics in Homeopath system


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Катеринич Лариса Олександрівна
2008
Information Theories & Applications
т.15 c.89.0000
585
Тези
New aspect of Galilean parasuperalgebra - Symmetry in nonlinear physics, Kiev, 20-27 серпня, 2007 р.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2007
586
Тези
On closed ideals of beta G, Semigroup Forum 75


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасов Ігор Володимирович
Протасова Ксенія Дмитрівна
2007
587
Праці конференції
Ontology View on Automata Theory


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович



2008
Information Theories & Applications
т.15 c.337.0000
588
Тези
Partial Binary Reengineering of Software Systems // Тези доп. міжн. конф. “Теоретичні та прикладні аспекти побудови програмних систем”. – Київ: КНУ, 2008


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2008
589
Праці конференції
Автоматное представление онтологий и операции на онтологиях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2008
Intern. Book Series "Algorithmic and Mathematical Foundation of the Artificial Intelligence"
c.173.0000
590
Наукова стаття
Алгоритм криптографічного стиснення інформації за допомогою дерева Штерна-Броко


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
Проблеми програмування
c.575.0000
591
Праці конференції
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2008
Проблеми програмування
c.25.0000
592
Праці конференції
Алгоритмы решения систем линейных диофантовых уравнений в дискретных областях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович
2008
Intern. Book Series "Artificial Intelligence and Decision Making"
c.173.0000
593
Наукова стаття
Архітектура програмної моделі системи автоматизації навчального процесу


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович

2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.202.0000
594
Наукова стаття
Деякі питання серверної підтримки інформаційних систем, здатних до навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.123.0000
595
Тези
Електронне навчання. Що попереду?, Тези доп. міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем», 22-26 вересня 2008, Чернігів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович
2008
596
Тези
Елементи криптографічного стиснення в алгоритмі Хаффмена - IІ Міжнародна науково-практична конференція студентів та аспірантів “Волинь очима молодих науковців: минуле, сучасне, майбутнє ”. – 2008


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
597
Тези
Использование системы «1С: Предприятие» для обучения прикладному программированию учетно-аналитических задач - Научно-практическая конференция «Информационные технологии в образовании» 28 ноября 2007 г.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Іванов Євгеній Олександрович
2007
598
Наукова стаття
К вопросу об алгоритмизации процесса диагностирования в системе Гомеопат


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2008
Компьютерная математика
c.152.0000
599
Тези
Кіберакмеологічна АРМ лікаря у медико-біологічних ІС - Сб. научн. тр. междунар. научно-практ. конф. «Современные напр. теорем. и прикл. Исслед. 2008». -15 - 25 марта.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
600
Тези
Кіберакмеологічні основи викладання математики на основі акме-АРМ - 12 міжн. наук. конф. ім. акад. М.Кравчука. – 15-17 травня 2008. – Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2008
601
Тези
Кіберакмеологія у методиці навчання математики - 12 міжн. наук. конф. ім. акад. М.Кравчука. – 15-17 травня 2008. – Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
602
Тези
Композиційно-номінативні модальні та темпоральні логіки специфікації програм - International workshop "Problems of decision making under uncertainties". Abstracts. – Crimea (Novy Svit), 2008


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
603
Тези
Композиційно-номінативні модальні та темпоральні логіки: семантичні та синтаксичні аспекти. – Міжнародна конференція "Теоретичні та прикладні аспекти побудови програмних систем" – TAAPSD'2008. Тези доповідей. – Київ–Чернігів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
604
Наукова стаття
Концепція та принципи кіберакмеології – новий підхід до проектування людино-комп’ютерних комплексів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Проблеми програмування
c.60.0000
605
Тези
Криптографічне стиснення в експертних системах дистанційної діагностики - І Міжнародна науково-практична конференція аспірантів і студентів “Волинь очима молодих науковців: минуле, сучасне, майбутнє ”


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
606
Тези
Медико-біологічні синергетичні когнітологічні акме-АРМ - Матер. Х міжн. Науково-техн. конф. «Системний аналіз та ІТ». – 20-24 травня 2008. – Київ. – САІТ.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2008
607
Праці конференції
Модель системи аналізу та обробки текстової інфор-мації силогістичного харак-теру, Теорія прийняття рі-шень. 4 Міжн. школа-семінар. Ужгород, (29.09-04.10). 2008.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович


2008
608
Тези
Моделювання дистанційних освітніх кіберакмеологічних АРМ для викладача математики - 12 міжн. наук. конф. ім. акад. М.Кравчука . – 15-17 травня 2008. – Київ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2008
609
Праці конференції
О алгоритме перевода документов MSC в сети Петри


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Кривий Сергій Лук'янович

2008
Проблеми програмування
c.587.0000
610
Наукова стаття
О паралогичности некоторых логических построений


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем

Провотар Олександр Іванович
2008
611
Тези
Планування навантаження в паралельному програмуванні - Тези доп. міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем», 22-26 вересня 2008, Чернігів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
2008
612
Праці конференції
Поиск общих принципов формализации в теоретических и прикладных исследованиях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2008
Information Theories & Applications
т.16 c.196.0000
613
Тези
Про метод інваріантів ітеративних морфізмів // Тези доп. всеукр. наук. конф. “Сучасні проблеми прикладної математики та інформатики”. – Львів: ЛНУ, 2008


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2008
614
Тези
Синтез нейронных сетей на основе информационных гранул - Тез. докл. Междун. конфер. KDS08. (2008, июнь, София, Болгария)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
Катеринич Лариса Олександрівна
2008
615
Тези
Формализация: алгоритмический поход - Тез. докл. Междун. конфер. Укр. Прог. (2008, май, Киев)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2008
616
Тези
A new series of kaleidoscopical grafhs


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасов Ігор Володимирович
Протасова Ксенія Дмитрівна
2007
Шоста міжнародна алгебраїчна конференція в Україні, - Кам’янець-Подільськ
c.160.0000
617
Наукова стаття
Automorphisms of kaleidoscopical graphs


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасов Ігор Володимирович
Протасова Ксенія Дмитрівна
2007
Algebra and Discrete Mathematics
c.56.0000
618
Праці конференції
Neural Networks in Homeopath System


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Провотар Олександр Іванович
2007
Narzedzia technologii informacyjnych
c.44.0000
619
Наукова стаття
Physical models invariant under Galilean group


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2007
Open System and Information Dynamics
т.14 c.380.0000
620
Праці конференції
Генетичні кіберакмеологічні АРМ особистості.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2007
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
т.2 c.59.0000
621
Тези
Диагностирование на нейронных сетях в системе ГОМЕОПАТ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Провотар Олександр Іванович
2007
Knowledge - Dialogue - Solution (KDS): International Conference
т.1 c.64.0000
622
Монографія
Інтелектуально-математичний менеджмент: кіберакмеологічна концепція


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
623
Тези
Квазімінімаксна оцінка розв'язків диференціальних рівнянь із параметром


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
2007
International Conference Problems of Decision Making Under Uncertainties (PDMU-2007), Чернівці
c.62.0000
624
Праці конференції
Кіберакмеологія: концепція та принципи


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2007
Перспективы инновации в науке, производстве и транспорте -2007. Сборник научных трудов по материалам международной научно-практической конференции. Одесса
c.3.0000
625
Тези
Криптографічне стиснення з використанням дерева Штерна-Броко в експертних системах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.148.0000
626
Тези
Методи та алгоритми персоналізації інформаційних систем


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.250.0000
627
Монографія
Мінімаксні методи оцінювання в лінійних задачах із параметром


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Верес Максим Миколайович
Наконечний Олександр Григорович
2007
628
Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2007
629
Тези
Повышение эффективности распределенного механизма маршрутизации в мобтльных эпизодических сетях


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.144.0000
630
Наукова стаття
Про підвищення ефективності мобільних епізодисних мереж


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2007
631
Тези
Програмні засоби забезпечення обчислювальних потреб комп'ютерної мережі факультету


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.300.0000
632
Тези
Програмні моделі систем автоматизації навчальних процесів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Володимир Петрович

2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.118.0000
633
Тези
Проектування синергетично-когнітологічних акме-АРМ


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2007
СППР. Теорія і практика: Збірник доповідей науково-практичної конференції з міжнародною участю. – Київ: ІПММС НАНУ
c.127.0000
634
Тези
СППР в кіберакмеології


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2007
СППР. Теорія і практика: Збірник доповідей науково-практичної конференції з міжнародною участю. – Київ: ІПММС НАНУ
c.112.0000
635
Наукова стаття
Тривимірна двобазонна модель Джеймса-Куммінга для збуджених іонів


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2007
Journal Of Physics A: Mathematical And Theoretical
т.40 c.533.0000
636
Тези
Representations of the Galilean group and physical models. Bulgarian journal of physics, vol. 33(S2), 2006, с.301-309


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
637
Тези
Symmetries of the Jemes-Cumming modelJournal of Physics A:Math. And Gen., vol. 39, 2006, 8 стор.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
638
Тези
Акмеологічні автоматизовані робочі місця (АРМ). Наук.-практ. конф. “Современные направления теор. и прикл. исслед.”, т. 2. техн. науки. – Одесса: Черноморье. – 2006, с.3-4


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
639
Тези
Використання агентної технології пошуку інформації для систем прийняття рішень. Праці ІІІ-ї міжнародної школи-семінару «Теорія прийняття рішень», Ужгород, УжНУ, 2006, с.54-55.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Олексій Володимирович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
640
Тези
Використання програмних засобів компанії Microsoft для розробки методик електронного навчання. 11 – а міжнародна наук.конф. ім. Ак. Кравчука. – Київ – 2006, с.943


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
641
Тези
Впровадження архітектури електронного навчання набазі системи Microsoft Class Server 4.0. Міжнародна конференція „Новітні технології 2006”, Київ, с.335-341


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
642
Тези
Діагностування на нейронних мережах у системі ГОМЕОПАТ. 3 Міжнар. конф. ”Теор. та прикл. аспекти побудови програмних ситем”, Києво-Могилянська академія, грудень 2006


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
643
Наукова стаття
К проблеме неполниты теоретических построений (на примере формализации некоторых задач естествознания)


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович

2006
644
Тези
Кіберакмеологічна концепція культури здоров”я та творчих акме-потенційних можливостей людини (на основі поліакмової моделі). Форум з міжнародною участю “Інформаційні технології в охороні здоров”я та практичній медицині”. – Київ. – 2006, с. 21-22.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
645
Тези
Кіберакмеологічний електронний підручник для вивчення математики (синергетична методологія). 11 –а міжнародна наук.конф. ім. ак. Кравчука. – Київ – 2006, с.768


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Вестник ДНУ. Днепропетровск
646
Тези
Кіберакмеологічні дистанційні автоматизовані робочі місця у медицині. Форум з міжнародною участю “Інформаційні технології в охороні здоров”я та практичній медицині”. – Київ. – 2006, с.20-21


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
647
Тези
Кіберакмеологічні ІС. Междунар. наук.-практ. конф. “Научн. исслед. и их практическое прим. Современное состояние и пути развития 2006”, т. 2. Техн. науки. – Одесса: Черноморье. – 2006, с.26-28


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
648
Тези
Кіберакмеологічні проблеми викладання математикм: концепція та принципи. 11 –а міжнародна наук.конф. ім. ак. Кравчука. – Київ – 2006, с.770


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
649
Наукова стаття
Методи розробки додаткових модулів тестування для системи Microsoft Class Server


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
650
Тези
Основи побудови Акме-АРМ з математики на основі синергетичного принципу – рівні реалізації. 11 – а міжнародна наук.конф. ім. Ак. Кравчука. – Київ – 2006, с.771


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем


2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
651
Тези
Перенесення та модифікація програмної системи з частково закритим кодом. 3 Міжнар. конф. ”Теор. та прикл. аспекти побудови програмних ситем”, Києво-Могилянська академія, грудень 2006


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Ченцов Олексій Ілліч
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
652
Наукова стаття
Побудова сервісно-орієнтованої системи електронного навчання


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
653
Наукова стаття
Розробка програмного прототипу інформаційного інтелектуального пошукового агента


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шевченко Олексій Володимирович
2006
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
654
Тези
Технологія використання нейро-лінгвістичного програмування для реалізації здорового образу життя людини. Форум з міжнародною участю “Інформаційні технології в охороні здоров”я та практичній медицині”. – Київ. – 2006, с. 23-24


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
655
Наукова стаття
Уравновешенные разбиения графов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Протасова Ксенія Дмитрівна
2006
Матзаметки
656
Тези
Физические модели инвариантные относительны супералгебры Галилия. Міжнар.конф. „5 Школа по матфизике”, Белград, Сербия, 2006, 4 стор.


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
657
Наукова стаття
АРМ викладача-студента арабської мови та літератури


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2005
658
Наукова стаття
АСУ і АРМ: технологічні особливості проектування


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2005
659
Наукова стаття
Дистанційні автоматизовані робочі місця


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2005
660
Наукова стаття
Електронне навчання: запити і перспективи


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2005
661
Наукова стаття
Еффективные методы разработки систем дистанционного обучения


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
Провотар Олександр Іванович
2005
662
Наукова стаття
Застосування технологій мультимедіа в навчальному процесі


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Катеринич Лариса Олександрівна
2005
663
Наукова стаття
Інтелектуальна власність і комп’ютерне авторське право


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
2005
664
Наукова стаття
Неприводимые представления супералгебры Галилея в 1+3-пространстве


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Галкін Олександр Володимирович
2005
665
Наукова стаття
Обобщение линейных морфизмов на N в топосах


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Провотар Олександр Іванович
2005
666
Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation//Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Worksho


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
667
Investigation of interaction between silver nanoparticles and ascorbic acid by method of elastic light scattering, XIth International young scientists conference on applied physics, June 15-18, 2011 Taras Shevchenko National University of Kyiv, Conf. proc


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Current problems in information and computational technologies
668
Влада, як компонента дистанційної кіберакмеологічної медико-біологічної інформаційної системи (КАМБІС). - Сб. научн. тр. междунар. научно-практ. конф. «Перспективные инновации в науке, образовании, производстве и транспорте 2008». -20 - 30 июня 2008, Одес


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
669
Дистанційне навчання в кіберакмеологічних медико-біологічних інформаційних системах - Сб. научн. тр. междунар. научно-практ. конф. «Перспективные инновации в науке, образовании, производстве и транспорте 2008». -20 - 30 июня 2008 - т. 4 – Технические наук


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
670
Использование системы «1С: Предприятие» для обучения прикладному программированию учетно-аналитических задач -Новые информационные технологии в образовании: Доклады и выступления участников восьмой Международной научно-практической конференции «Использов


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
671
Использование системы «1С:Предприятия» для обучения разработке учетно-аналитических информационных систем , Новые информационные технологии в образовании: Сборник научных трудов одиннадцатой Международной научно-практической конференции "Развитие инноваци


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
672
Кіберакмеологія і захист інтелектуальної власності та комп’ютерного авторського права.Междунар. наук.-практ. конф. “Научн. исслед. и их практическое прим. Современное состояние и пути развития 2006”, т. 2. Техн. науки. – Одесса: Черноморье. – 2006, с.24


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
673
Створення електронного підручника викладача/студента з навчального курсу “Культурне членування пізнього палеоліту східної Европи та Сибіру” для дистанційної освіти. Наук.-практ. конф. “Современные направления теор. и прикл. исслед.”, т. 2 техн. науки. – О


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"

Повернення до списку

Вгору