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

Кафедра: НДЛ Високопродуктивних систем обробки інформації


ID: 6726
Кількість показів: 2083
дата змінення: 27.11.2014 12:10:14
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
1
Матеріали конференції
AN APPROACH TO DETECT THE SIMILAR COMPLEXES IN IRREGULAR TEXTURE


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Терещенко Ярослав Васильович
2017
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.207-209
2
Наукова стаття
Block-Diagonal Approach to Non-Negative Factorization of Sparse Linguistic Matrices and Tensors of Extra-Large Dimension Using the Latent Dirichlet Distribution


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Насіров Еміл Мехдієвич
2018
Cybernetics and Systems Analysis
т.54 c.853-859
3
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Coleção CLE
c.203-251
4
Наукова стаття
Composition-nominative logics as institutions


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
c.221-238
5
Наукова стаття
Constructing an Automation System to Implement Intelligence-Led Policing Into the National Police of Ukraine


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Тарануха Володимир Юрійович
Мовчан А.В.
2018
Cybernetics and Systems Analysis
т.54 c.643-649
6
Матеріали конференції
Content based video retrieval


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Орлов Євгеній Андрійович
2017
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.72-77
7
Наукова стаття
Encoding Trees by Linear Recurrence Sequences


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
2017
Cybernetics and Systems Analysis
т.53 c.835-846
8
Наукова стаття
English text parsing by means of error correcting automaton


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
Мельников Єгор
2018
Lecture Notes in Computer Science
т.10859 c.281-289
9
Наукова стаття
Extended Classical Logics with Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.538-539
10
Наукова стаття
Formalization of the Nominative Algorithmic Algebra in Mizar


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2018
Advances in Intelligent Systems and Computing
c.176-186
11
Наукова стаття
Logic and Computer Programming


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.68-70
12
Наукова стаття
Methodological Principles for Program Logic Construction


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.511-512
13
Тези
Modernized dijkstra’s algorithm and mathematical model for geographic information system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Скуратовський Руслан В.
2017
Conference on Applied and Industrial Mathematics (CAIM )
c.86-87
14
Тези
Modernized dijkstra’s algorithm and mathematical model for geographic information system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Скуратовський Руслан В.
2018
Вимірювальна та обчислювальна техніка в технологічних процесах
c.207-208
15
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.95-96
16
Праці конференції
Satisfiability Problems in Quasiary Program Logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Тимофєєв Валентин Георгійович
2018
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.175-178
17
Праці конференції
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Conference on mathematical on Foundations of Informatics: Proceedings MFOI
c.180-189
18
Наукова стаття
Trusted Computing with Addition Machines. II


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Новокшонов Андрій Костянтинович
2018
Cybernetics and Systems Analysis
т.54 c.1-10
19
Тези
Автоматичне виведення залежностей системи складання з вихідного коду програми


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Сакевич Руслан Дмитрович
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.44
20
Наукова стаття
Алгебри загальних недетермінованих предикатів


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Коцур Дмитро Вікторович
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.54-58
22
Тези
Аналіз деяких сучасних методів захисту інформації


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Прокопенко В.О.
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.41
23
Наукова стаття
Аналіз проблем доповненої реальності та шляхи їх вирішення


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Лаба Дмитро Мирославович
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.35-36
25
Наукова стаття
Деление точки скрученной кривой Эдвардса на два и его применение в криптографии


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Скуратовський Руслан В.
Квашук Д.М.
2017
Вестник НТУ «ХПИ»
c.90-96
26
Наукова стаття
Застосування інформаційно-комунікаційних технологій навчання в процесі підготовки майбутніх фахівців інформаційних технологій


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Русіна Наталія Геннадіївна
2018
Вісник Черкаського національного університету ім. Б.Хмельницького, серія прикладна математика, інформатика
c.96-103
27
Матеріали конференції
ЗАСТОСУВАННЯ ПАРКС ДЛЯ МОДЕЛЮВАННЯ ПАРАЛЕЛЬНО-РЕКУРСИВНИХ ПРОЦЕСІВ


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2017
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.215-218
28
Матеріали конференції
ЗАСТОСУВАННЯ ЧИСЛОВИХ ЗАКОНОМІРНОСТЕЙ В ТАЙМЕРНИХ КОДАХ


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
Скуратовський Руслан В.
Тішков Б.О.
2017
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.144-149
29
Підручник
Інформатика 10


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Шаля К.В.
2018
Електронне видання http://itknyga.com.ua
т.1 c.1-120
30
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Стецик Олексій Андрійович
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.45-46
32
Наукова стаття
Оптимізація розташування електричних зарядних станцій на певній території


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Побоченко Владислав Юрійович
Аткаєв Сайд-Абдулла
2017
Вісник Київського національного університету імені Тараса Шевченка Серія фіз.-мат. науки
c.131-136
33
Наукова стаття
Особливості регуляції серцевого ритму та активності головного мозку при здійсненні реаукції вибору у бійців з черепно-мозковими травмами


Факультет комп'ютерних наук та кібернетики
ННЦ "Інститут біології та медицини"

Фізіології людини і тварин
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Горбунов Олег Андрійович
Філімонова Наталя Борисівна
Макарчук Микола Юхимович
Зима Ігор Григорович
Вознюк В.
Кальніш В.
2018
Вісник Київського національного університету імені Тараса Шевченка. Проблеми регуляції фізіологічних функцій
т.24 c.11-22
34
Наукова стаття
П’ятизначні логіки: побудова та інтерпретація


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.147-151
35
Наукова стаття
Підвищення достовірності оцінок значущості критеріїв при визначенні ринкової вартості об’єктів нерухомості


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Красовська Катерина Костянтинівна
Ізмайлова О.В.
Мельник І.
Пила С.
2017
Управління розвитком складних систем – Київ: Київський національний університет будівництва і архітектури
c.123-131
36
Тези
Процедура порівняння алгоритмів штучного інтелекту на прикладі гри m,n,k-game


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Деревянченко Олександр Валерійович
Ніколаєв Андрій Дмитрович
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.30-31
37
Тези
Розпізнавання і пошук багатокутників у базі даних


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Опрішко Іраїда Костянтинівна
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.40-41
38
Наукова стаття
Семантичні властивості логік загальних недетермінованих предикатів


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


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Проблеми програмування
т.1 c.22-35
40
Матеріали конференції
ТРАНСФОРМЕРНА ТЕХНОЛОГІЯ КОДУВАННЯ ІНФОРМАЦІЇ В КОМП’ЮТЕРІ ФОН-НЕЙМАНІВСЬКОЇ АРХІТЕКТУРИ


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
Терещенко Василь Миколайович
2017
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.210-214
41
Наукова стаття
Трансформерная технология таймерного кодирования и сжатие информации


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
Скуратовський Руслан В.
Осадчий Олександр Євгенович
2018
Science and Education a New Dimension. Natural and Technical Sciences
т.157 c.61-64
42
Матеріали конференції
Трансформерні технології перетворення інформації


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2017
Кібербезпека в Україні: правові та організаційні питання: Всеукраїнська науково-практична конференція
c.121-122
43
Наукова стаття
Числові закономірності та таймерне кодування інформації


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
Скуратовський Руслан В.
2017
Штучний інтелект
c.1-22
44
Праці конференції
A Family of Exact Pattern Matching Algorithms with Multiple Adjacent Search Windows


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
2017
Prague Stringology Conference
c.152-166
45
Наукова стаття
Active contour models for cytoskeletal structures tracking


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Коцур Дмитро Вікторович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.183-188
46
Наукова стаття
Algebras and logics of partial quasiary predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Algebra and Discrete Mathematics
т.23 c.263-278
47
Праці конференції
An Approach To Formalization of an Extension of Floyd-Hoare Logic


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2017
International Conference ICTERI
c.504-523
48
Наукова стаття
Authorship attribution system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10260 c.227-231
49
Тези
Building of system for finding algorithm with adaptation rules


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Боровик Станіслав Олександрович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.22-23
50
Праці конференції
Formalization of the Nominative Algorithmic Algebra in Mizar


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
J. Świątek
2017
Information Systems Architecture and Technology: Proceedings of thу International Conference on Information Systems Architecture and Technology
c.237-244
51
Тези
Logics of partial non-deterministic predicates


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.94-95
52
Наукова стаття
Machine learning method for paraphrase identification


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Анісімов Анатолій Васильович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10333 c.164-173
53
Праці конференції
Modernized Dijkstra’s Algorithm and mathematical model for geographic information system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Скуратовський Руслан В.
2017
Conference on Applied and Industrial Mathematics (CAIM )
c.86-87
54
Тези
Multy-relational algebras as semantics of quasiary logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
The 11th International Algebraic Conference in Ukraine dedicated to the 75th anniversary of V. V. Kirichenko
c.90
55
Наукова стаття
Nominative data with ordered set of names


Факультет інформаційних технологій
Програмних систем і технологій
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2017
Computer Science Journal of Moldova
т.25 c.195-216
56
Тези
Non-classical properties of program-oriented logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2017
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.129-130
57
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2017
CEUR Workshop Proceedings
58
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
НДС Проблем програмування
Нікітченко Микола Степанович
2017
Communications in Computer and Information Science
59
Праці конференції
Program-oriented logics of non-determonistic quasiary predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Наукові записки НаУКМА. Комп’ютерні науки
c.137-140
60
Наукова стаття
Programming System PARCS


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Кулябко Петро Петрович
Деревянченко Олександр Валерійович
2017
Journal of Computer and Communications
т.5 c.129-139
61
Наукова стаття
Properties of quasiary specification algebras


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.132-140
62
Наукова стаття
Proving Properties of Programs on Hierarchical Nominative Data


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Скобелєв Володимир Геннадійович
2016
Штучний інтелект
т.3 c.371-398
63
Наукова стаття
Simple named-complex valued nominative data -- definition and basic operations


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2017
FORMALIZED MATHEMATICS
c.online
64
Наукова стаття
Towards the Creation of a Competitive, Diversified Energy Portfolio for Electricity Generating Companies in EU Energy Market Conditions


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Заславський Володимир Анатолійович
Красовська Катерина Костянтинівна
Пасічна Майа Володимирівна
2017
European Data Quarterly
т.1 c.3-20
65
Наукова стаття
Transformer platform for business process management automation


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Осадчий Олександр Євгенович
2017
International Journal of Latest Research in Engineering and Technology
т.3 c.48-52
66
Наукова стаття
Trusted Computing with Addition Machines. I


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Новокшонов Андрій Костянтинович
2017
Cybernetics and Systems Analysis
т.53 c.659-668
67
Наукова стаття
Variable-Length Prefix Codes With Multiple Delimiters


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2017
IEEE Transactions on Information Theory
т.63 c.2885 - 2895
68
Наукова стаття
Аналіз та метод обробки великих масивів медико-статистичних даних невизначеної структури


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.81-88
69
Наукова стаття
Архітектура системи моделей глибоких нейронних мереж


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Глибовець Микола Миколайович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.108-113
70
Тези
Відношення логічного наслідку в логіках монотонних та немонотонних часткових предикатів


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Новокшонов Андрій Костянтинович
2017
Сучасні інформаційні технології у сфері безпеки та оборони
c.43-44
72
Наукова стаття
Ефективне декодування мультироздільникового коду С235


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.95-100
73
Наукова стаття
Застосування методу аналізу ієрархій при вирішенні проблеми диверсифікації складу портфеля джерел генерації електроенергії


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Заславський Володимир Анатолійович
Красовська Катерина Костянтинівна
Пасічна Майа Володимирівна
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.82-89
74
Наукова стаття
Застосування моделей активних контурів у задачах трекінгу структур цитоскелету


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Коцур Дмитро Вікторович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.74-77
75
Навчальний посібник
Зошит-конспект з інформатики. 6 клас


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Коршунова О.
2017
Видавничий дім "Освіта"
т.1 c.1-112
76
Підручник
Інформатика 6


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Казанцева О.П.
2017
Електронне видання http://itknyga.com.ua
т.1 c.1-115
77
Підручник
Інформатика 9


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Казанцева О.П.
2017
Електронне видання http://itknyga.com.ua
т.1 c.1-120
78
Наукова стаття
Контурний дескриптор для швидкого алгоритму класифікації простих об'єктів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Корюкалов Олександр Володимирович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.143-147
79
Наукова стаття
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Колянова Тетяна Володимирівна
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.101-104
81
Тези
Метод чисельного моделювання еволюційних процесів на багатопроцесорних комплексах


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДЛ Обчислювальних методів в механіці суцільних середовищ
Обчислювальної математики
Марцафей Анна Сергіївна
Оноцький В'ячеслав Валерійович
2017
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.164
82
Праці конференції
Оптимізація Пошукового Алгоритму Боєра-Мура-Хорспула для Бінарних Даних


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Остапчук Василь Миколайович
2017
Міжнародна науково-практична конференція "Інформаційні технології та комп’ютерне моделювання"
c.157-160
83
Наукова стаття
Оптимізований алгоритм пошуку в бінарному тексті


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Остапчук Василь Миколайович
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.201-208
84
Наукова стаття
Паралельне програмування в мережах на осові ПАРКС-технології (базова мова Python)


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Кулябко Петро Петрович
Годованюк М.І.
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.57-60
85
Наукова стаття
Першопорядкові логіки із квазіарними та n-арними предикатами


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Новокшонов Андрій Костянтинович
2016
Штучний інтелект
т.1 c.16-20
87
Тези
Підхід до створення біомеханічних програмованих пристроїв класу «EXOSKELETON»


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2016
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
т.1 c.105-107
88
Тези
Побудова експертної системи з адаптаційними правилами


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Боровик Станіслав Олександрович
2016
Міжнародна науково-практична конференція «Математика в сучасному технічному університеті»
т.1 c.27
89
Матеріали конференції
Порівняння швидкодії деяких криптографічних протоколів ідентифікації з нулевим розголошенням


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Новокшонов Андрій Костянтинович
2017
Сучасні комп’ютерні інформаційні технології: Матеріали Всеукраїнської конференції з міжнародною участю АСІТ
c.204
90
Матеріали конференції
Порівняння швидкодії деяких криптографічних протоколів ідентифікації з нулевим розголошенням


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
2017
ICACIT: Міжнародна конференція з автоматичного управління та інформаційних технологій
c.204
91
Наукова стаття
Розпізнавання та побудова контуру об’єкта на зображенні за допомогою діаграми Вороного


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Танчук Володимир Вячеславович
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.74-77
92
Наукова стаття
Система визначення авторства тексту


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2016
Штучний інтелект
т.1 c.77-85
93
Наукова стаття
Система криптографического преобразования чисел линейными рекуррентными формами


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
2016
Кибернетика и вычислительная техника. Медицинская и биологическая кибернетика
т.1 c.5-14
94
Наукова стаття
Сімейство швидких алгоритмів пошуку рядка в тексті


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2017
Сучасні технології в реабілітації та лікуванні нейром’язовоскелетних розладів: Науково-практична конференція з міжнародною участю
c.24-25
96
Наукова стаття
Чисті першопорядкові квазіaрні логіки з предикатами рівності


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Проблеми програмування
c.263-278
97
Праці конференції
A Family of Data Compression Codes with Multiple Delimiters. A Family


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Анісімов Анатолій Васильович
2016
Prague Stringology Conference
т.1 c.71-84
98
Наукова стаття
A Method for Automatic Construction of Ontological Knowledge Bases. Automatic Generation of Taxonomy as the Basis for Ontology


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2016
Cybernetics and Systems Analysis
т.1 c.365-370
99
Наукова стаття
A Method for Automatic Construction of Ontological Knowledge Bases. Automatic Identification of Semantic Relations in Ontological Networks


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2016
Cybernetics and Systems Analysis
т.1 c.199-205
100
Наукова стаття
A Method for Automatic Construction of Ontological Knowledge Bases. Development of a Semantic-Syntactic Model of Natural Language


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2016
Cybernetics and Systems Analysis
т.1 c.20-29
101
Тези
Consistency of depth functions in the space of classification functions


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.62
102
Тези
Construction of adaptive growing crops agrotechnologies


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Вергунова Ірина Миколаївна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.167-168
103
Наукова стаття
Contour feature for simple objects classification real-time algorithm


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Корюкалов Олександр Володимирович
Терещенко Василь Миколайович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.143-146
104
Праці конференції
Contour smoothing algorithm based on contour extremes (S041)


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Корюкалов Олександр Володимирович
2016
International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing
т.1 c.184-190
105
Тези
Half-space depth function for classification problems


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Nonlinear Analysis and Applications
т.1 c.15
106
Наукова стаття
Mathematical Foundations of Multiple Inheritance: Reflexive-transitive Closure of the Binary Relations


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Шишацька Олена Володимирівна
Буй Дмитро Борисович
2016
Perspective technologies and methods in mems design: International conference
т.1
107
Тези
Multigrids method for numerical solution of equation of mass transfer in the system of hydrotechnical ramparts-terraces


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Вергунова Ірина Миколаївна
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.121-122
108
Праці конференції
Point Triangulation using Graham’s Scan


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Терещенко Ярослав Васильович
Коцур Дмитро Вікторович
2015
InTech
т.1 c.148-151
109
Наукова стаття
Properties of Nominative Programs Specified byEffective Definitional Schemes


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Скобелєв Володимир Геннадійович
Нікітченко Микола Степанович
2016
Conference on mathematical on Foundations of Informatics: Proceedings MFOI
c.222-240
110
Матеріали конференції
Prototyping of intellectual decision support system for organizational and technological trainings in construction


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Красовська Катерина Костянтинівна
Ізмайлова О.В.
2016
Areas of scientific thought
т.16 c.101-105
111
Тези
Quasi-linear fuzzy system for traffic control car


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Боровик Станіслав Олександрович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.14-15
112
Тези
Research of optimal functioning of medical workers based on prior knowledge about functioning sectors


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.49
113
Наукова стаття
Semantic-Syntactic Word Valence Vectors for Building a Taxonomy


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2016
Lecture Notes in Computer Science
т.9612 c.213-220
114
Тези
Transfonnermetical technology of time coding of information


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
Осадчий Олександр Євгенович
2016
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.87
115
Наукова стаття
Windows 10 для С# розробників


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Остапчук Маргарита Валеріївна
2016
IT-книга
т.2 c.1-30
116
Наукова стаття
Windows 10 для С# розробників


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Остапчук Маргарита Валеріївна
2016
IT-книга
т.1 c.1-20
117
Праці конференції
Адаптовані різницеві сітки для апроксимації моделі масопереносу в системі гідротехнічних валів-терас


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Вергунова Ірина Миколаївна
2016
Міжнародна наукова конференція імені академіка М. Кравчука
т.1 c.58-61
118
Наукова стаття
Алгоритми побудови опуклої оболонки для кільцевх перехресть міста


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


2015
Містобудування та територіальне планування
c.290-295
119
Наукова стаття
Аналіз ефективності «машин, що складають»


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Новокшонов Андрій Костянтинович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.168-171
120
Наукова стаття
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Новокшонов Андрій Костянтинович
Новокшонов Андрій Костянтинович
2016
Проблеми програмування
т.1 c.26-31
121
Праці конференції
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Новокшонов Андрій Костянтинович
2016
Міжнародна науково-практична конференція УкрПРОГ
т.1 c.26-31
122
Матеріали конференції
Апроксимація відносної глибини даних та зваженого середнього значення для багатовимірної класифікацїї


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Всеукраїнська науково-практична конференція: Теоретичні і прикладні проблеми фізики, математики та інформатики
т.1 c.26-27
123
Наукова стаття
Асимптотичні властивості сігма-класифікатора для багатокласових задач розпізнавання з нееліптичним розподілом даних


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Доповіді НАН України
т.1 c.25-30
124
Наукова стаття
Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
125
Наукова стаття
Афінно-інваріантні глибинні класифікатори на основі методу k - найближчих сусідів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Доповіді НАН України
т.1 c.25-30
126
Тези
Використання двозонної математичної моделі пожежі в будівлі


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Математичне та імітаційне моделювання систем (МОДС): міжнародна науково-практична конференція
т.1 c.187-188
127
Матеріали конференції
Властивості згладженої n-грамної моделі для слов’янських мов, заснованої на класах


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Тарануха Володимир Юрійович
2016
Теоретичні та прикладні аспекти використання математичних методів та інформаційних технологій у науці, освіті, економіці та у виробництві: Всеукраїнська науково-практична Інтернет-конференція
c.132-135
128
Наукова стаття
Властивості згладженої n-грамної моделі для слов’янських мов, заснованої на класах


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Тарануха Володимир Юрійович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.202-205
129
Наукова стаття
Гібридна система машинного перекладу технічних текстів на флективні мови


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




2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.139-144
130
Наукова стаття
Глубинно-зависимый подход к выбору оптимальной гипотезы в задачах классификации


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Проблемы управления и информатики
т.1 c.136-146
131
Наукова стаття
Глубинный метод классификации на основе масштабируемого расстояния Махаланобиса для множеств с неравными априорными вероятностями


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Проблемы управления и информатики
т.1 c.139–147
132
Праці конференції
Дослідження властивостей згладженої n-грамної моделі для слов’янських мов, заснованої на класах


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Тарануха Володимир Юрійович
2016
Проблеми інформатики та комп'ютерної техніки (ПІКТ): Міжнародна науково-практична конференція
т.1 c.47-48
133
Наукова стаття
Дослідження властивостей функцій екстраполяційної глибини з використанням ядерних оцінок щільності


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Доповіді НАН України
т.1 c.27-32
134
Праці конференції
Дослідження ймовірнісних мір у виборі оптимальної гіпотези для задач класифікації даних


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Проблеми інформатики та комп'ютерної техніки (ПІКТ): Міжнародна науково-практична конференція
т.1 c.142-144
135
Наукова стаття
Дослідження непараметричних класифікаторів даних на основі концепції глибинних околів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.102-106
136
Тези
Дослідження структури сігма–класифікатора на основі ймовірнісної геометрії даних


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Математичне та програмне забезпечення інтелектуальних систем: міжнародна науково-практична конференція
т.1 c.40-41
137
Матеріали енциклопедій, підручників, посібників
Екзоскелетон хребта та трансформерні технології з забезпечення його життєвого циклу


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
Анісімов Анатолій Васильович
2016
Послуги університету: Київський національний університет імені Тараса Шевченка
т.1 c.39-40
138
Матеріали конференції
Застосування глибинно-еліпсоїдних околів для побудови афінно-інваріантних класифікаторів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
ICACIT: Міжнародна конференція з автоматичного управління та інформаційних технологій
т.1 c.76-79
139
Наукова стаття
Застосування електронних інструментів для підвищення академічної мобільності у вищих навчальних закладах


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Науковий вісник Мукачівського державного університету. Серія: Економіка
т.1 c.394-400
140
Наукова стаття
Застосування показників центральності в мережі університетів-партнерів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Економічні студії
т.1 c.57-63
141
Тези
Застосування просторових квантилів в класифікаторах максимальної глибини


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.67
142
Наукова стаття
Застосування системи ПАРКС.ХЕТ та Атагоп ЕС2 для хмарних обчислень


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

2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.111-118
143
Матеріали конференції
Застосування функцій згладжування для апроксимації оцінок непараметричних класифікаторів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
т.1 c.266-267
144
Навчальний посібник
Зошит-конспект з інформатики. 5 клас


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Коршунова О.
2016
Видавничий дім "Освіта"
т.1 c.1-112
145
Підручник
Інформатика 5


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
Коршунова О.
2016
Електронне видання http://itknyga.com.ua
т.1 c.1-30
146
Підручник
Інформатика 8


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

2016
Електронне видання http://itknyga.com.ua
т.1 c.1-30
147
Матеріали конференції
Класифікатор екстраполяційної глибини на основі еліптичної симетрії розподілу


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Глушковські читання: Всеукраїнська науково-практична конференція
т.1 c.33-34
148
Тези
Класифікація асиметричних даних на основі одновимірної міри віддаленості


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Математичне та імітаційне моделювання систем (МОДС): міжнародна науково-практична конференція
т.1 c.293-297
149
Тези
Комп’ютерне моделювання найкоротшого шляху серед статичних перешкод на площині


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Математичне та імітаційне моделювання систем (МОДС): міжнародна науково-практична конференція
т.1 c.339-341
150
Тези
Корегування агротехнологічних схем для оперативного рівню керування


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Вергунова Ірина Миколаївна
2016
Proceedings of the Third international Conference on "Informatics and computer technics problems"
т.1 c.107-108
151
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Штучний інтелект
c.43-47
152
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Міжнародний науково-практичний семінар -"Комбінаторні конфігурації та їх застосування"
153
Наукова стаття
Математические основания множественного наследования: рефлексивно-транзитивное замыкание


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Буй Дмитро Борисович
Шишацька Олена Володимирівна
2016
Вісник Харківського національного університету ім. В.Н. Каразіна
т.28
154
Наукова стаття
Машинно-навчальні методи розпізнавання іменованих сутностей тексту


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2016
Проблеми програмування
т.1 c.150-157
155
Наукова стаття
Метод ефективної невід’ємної факторизації лінгвістичних тензорів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.113-118
156
Наукова стаття
Методи невід’ємної тензорної та матричної факторизації в задачах комп’ютерної лінгвістики


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Марченко Олександр Олександрович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.156-161
157
Матеріали конференції
Методи та засоби таймерного захисту інформації


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2016
Kiбербезпека в Україні: npaвові та організаційні питання. Науково-практична конференція
т.1 c.136-138
158
Наукова стаття
Методика теоретичного вивчення електростатики в класах природничо-математичного профілю


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

2016
Вісник Чернігівського національного педагогічного університету імені Т.Г. Шевченка
c.122-129
159
Тези
Механізм протидії шумам з використанням функцій глибини


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
«Обчислювальний інтелект (результати, проблеми, перспективи)» (ComInt): Міжнародна науково-практична конференція
т.1 c.61
160
Наукова стаття
Модифікована математична модель, що описує взаємодію антигенів та антитіл в організмі людини


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Колянова Тетяна Володимирівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.90-93
161
Наукова стаття
Мультироздільникові коди


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
2015
Наукові записки НаУКМА
т.177 c.69–75
162
Тези
Оптико-електронний вимірювач початкової швидкості балістичних тіл


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

Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Астрономії та фізики космосу
НДЛ Фізики космосу
Лапчук Віктор Петрович
Кравченко Володимир Олексійович
Івченко Василь Миколайович
Горбунов Олег Андрійович
2016
Перспективи розвитку озброєння та військової техніки сухопутних військ: Міжнародна науково-технічна конференція
c.141
163
Тези
Оптимізація надійності паралельно-послідовної системи


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.91-93
164
Праці конференції
Органайзер мобільності – e-інструмент для організації та розвитку інтернаціоналізації освіти і науки


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2015
Міжнародна наукова-практична конференція “Інноваційні комп'ютерні технології у вищій школі”
т.1 c.65-70
165
Матеріали конференції
Оцінка обмежень зваженого середнього значення розподілу та відносної глибини для задач класифікації даних


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Інтелектуальні системи прийняття рішень та проблеми обчислювального інтелекту (ISDMCI): Міжнародна наукова конференція
т.1 c.266-267
166
Наукова стаття
Побудова графічних залежностей біологічних показників при фізичному навантаженні


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Колянова Тетяна Володимирівна
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.145-147
167
Матеріали конференції
Побудова оцінок функцій глибини на основі усереднених ядерних відображень розподілу


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Інформаційні управляючі системи та технології: Науково-практична конференція
т.1 c.244-246
168
Наукова стаття
Пошук найкоротшого шляху на множині геометричних об’єктів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Корюкалов Олександр Володимирович
Терещенко Василь Миколайович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.131-140
169
Матеріали конференції
Проблеми захисту інформації в умовах масової безперервної освіти для всіх


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2015
Международная конференция "СТРАТЕГИЯ КАЧЕСТВА В ПРОМЫШЛЕННОСТИ И ОБРАЗОВАНИИ"
т.2 c.492-494
170
Тези
Прогнозування характеристик ультрадисперсних сумішей за допомогою комп’ютерного моделювання


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Математичне та імітаційне моделювання систем (МОДС): міжнародна науково-практична конференція
т.1 c.63-64
171
Наукова стаття
Програмний комплекс системи пошуку партнерів на прикладі індустріального віртуального підприємства


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


2015
Теорія та практика досліджень створення розумних підприємств
т.1 c.204-2012
172
Наукова стаття
Процес розпізнавання на основі ядерних оцінок щільності з використанням множини оптимальних мір згладжування


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2015
Збірник наукових праць "Питання прикладної математики і математичного моделювання"
т.1 c.22-33
173
Праці конференції
Реалізація інтегрованої інформаційної системи для підтримки міжнародних зв’язків університетів-партнерів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2016
Міжнародна наукова-практична конференція “Cоціально-економічний розвиток”
т.1 c.10-14
174
Наукова стаття
Рефлексивно-транзитивные замыкания бинарных отношений


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Шишацька Олена Володимирівна
Буй Дмитро Борисович
2016
Электротехнические и компьютерные системы
175
Матеріали енциклопедій, підручників, посібників
Різьбове з’єднання з гайкою-трансформером


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
2016
Послуги університету: Київський національний університет імені Тараса Шевченка
т.1 c.199-200
176
Наукова стаття
Симметризация функций глубины для построения аффинно-инвариантных классификаторов на основе глубинно-эллипсоидных окрестностей


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Галкін Олександр Анатолійович
2016
Проблемы управления и информатики
т.1 c.171-178
177
Матеріали конференції
Системи ПАРКС як засіб реалізації хмарних обчислень


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
2015
Інформаційні технології та взаємодії (IT&I): Міжнародна науково-практична конференція
т.2 c.115-116
178
Навчальний посібник
Теоретико-множинні основи табличних баз даних


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

2016
К.: Видавничо-поліграфічний центр «Київський університет» (навчальний посібник)
c.1-135
179
Матеріали енциклопедій, підручників, посібників
Трансформерна інформаційна технологія вдосконалення рухової активності в нормі та патології – комплекс ПТАР


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2016
Послуги університету: Київський національний університет імені Тараса Шевченка
т.1 c.177-178
180
Наукова стаття
Формалізація системи міського транспорту В-методом на прикладі підсистеми «Автобус»


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


2016
Містобудування та територіальне планування
c.322-328
181
Наукова стаття
Швидкий табличний метод декодування мультироздільникових кодів


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.125-130
182
Наукова стаття
Around p-small subsets of groups


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2014
Карпатські математичні публікації
т.6 c.337-341
183
Тези
Half-space depth function for classification problems


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2015
Nonlinear Analysis and Applications
т.1 c.15
184
Праці конференції
Variable length prefix (delta; k)-codes


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2015
IEEE International Black Sea Conference on Communications and Networking
т.1 c.43-47
185
Тези
Біомеханічний роботизований «Екзоскелетон» багатоцільового застосування


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
2015
Перспективи науково-технологічного забезпечення оборонно-промислового комплексу України: інформаційно-комунікативний захід
т.1 c.110-111
186
Наукова стаття
Вибір смуги пропускання на основі ядерної оцінки щільності розподілу


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.96-101
187
Наукова стаття
Вплив варіацій смуги пропускання на поведінку показника помилкової класифікації ядерного класифікатора


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.4 c.125-130
188
Тези
Дослідження асимптотичної поведінки класифікаторів на основі функцій глибини


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.1 c.80-81
189
Наукова стаття
Дослідження процедур розпізнавання на основі розподільного розташування багатовимірних даних та функцій глибини


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.117-122
190
Наукова стаття
Екзоскелетон хребта та трансформерні технології з забезпечення його життєвого циклу


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2015
Розробки Київського національного університету імені Тараса Шевченка, що мають комерційний потенціал
т.1 c.39-40
191
Тези
Застосування просторових квантилів в класифікаторах максимальної глибини


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.67
192
Наукова стаття
Інтелектуальна технологія обробки текстової інформації


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2015
Розробки Київського національного університету імені Тараса Шевченка, що мають комерційний потенціал
т.1 c.161-162
193
Підручник
ІНФОРМАТИКА. 7 КЛАС


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Завадський Ігор Олександрович
2015
Електронне видання http://itknyga.com.ua
т.1 c.1-130
194
Наукова стаття
Когнитивная семиотика: гештальты и метафоры


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Валькман Юрій Роландович
2015
Интегрированные модели и мягкие вычисления в искусственном интеллекте: международный научно-практический семинар
т.1 c.112 - 125
195
Наукова стаття
Когнитивная семиотика: истоки и перспективы


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Валькман Юрій Роландович
2015
Семиотическое моделирование в гуманитарной сфере. Сборник трудов
т.1 c.206-222
196
Тези
Методи обчислення умовної невизначенності


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


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Галкін Олександр Анатолійович
2015
Dynamical Systems Modelling And Stability Investigation (DSMSI): Міжнародна конференція
т.1 c.148
198
Наукова стаття
Різьбове з’єднання з гайкою-трансформером


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
2015
Розробки Київського національного університету імені Тараса Шевченка, що мають комерційний потенціал
т.1 c.199-200
199
Тези
Трансформери для підвищення боєздатності військової техніки


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
2015
Перспективи науково-технологічного забезпечення оборонно-промислового комплексу України: інформаційно-комунікативний захід
т.1 c.73-74
200
Наукова стаття
Трансформерна інформаційна технологія вдосконалення рухової активності в нормі та патології – комплекс ПТАР


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2015
Розробки Київського національного університету імені Тараса Шевченка, що мають комерційний потенціал
т.1 c.177-178
201
Тези
Трансформерна інформаційна технологія у вдосконаленні рухової активності військових в нормі та патології


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Горбунов Олег Андрійович
2015
Перспективи науково-технологічного забезпечення оборонно-промислового комплексу України: інформаційно-комунікативний захід
т.1 c.123-124
202
Праці конференції
2D-эллипсоид и r-алгоритмы


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



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

Шевченко Володимир Петрович
2014
International journal “Information Content and Processing”
т.1 c.28-36
204
Наукова стаття
Automorphisms of filters a selection of open problems


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2013
Математичний вісник НТШ
т.10 c.122-126
205
Наукова стаття
Development of Mobile Learning System Based on Augmented Reality


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2014
Теоретичні та прикладні аспекти кібернетики: міжнародна конференція студентів та молодих вчених
c.321-329
206
Тези
Elementary proof of beta nu-normal form theorem


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Лялецький Олександр Олександрович
2014
17 Международная Пущинская школа-конференцыя молодих вчених, 2013
c.57
207
Тези
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
208
Наукова стаття
Fuzzy inference systems and their applications


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


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


Факультет комп'ютерних наук та кібернетики
Дослідження операцій
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
НДЛ "Імовірнісно-статистичних методів"
Протасова Ксенія Дмитрівна
Протасов Ігор Володимирович
2014
Journal of Mathematical Sciences
т.200 c.352-357
210
Наукова стаття
NLP-задача упаковки гомотетичних еліпсів в прямокутний контейнер


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


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


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


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


2014
Системный анализ и информационные технологии: Міжнародна наукова конференція
c.156–157
213
Тези
Optimal balanced circular packing problem


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

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


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

2014
Examining Robustness and Vulnerability of Networked Systems
c.251–271
215
Наукова стаття
TuningGenie: Auto-Tuning Framework Based on Rewriting Rules


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


2014
Springer: ICT in Education, Research, and Industrial Applications
c.1-20
216
Наукова стаття
Universal and Determined Constructors of Multisets of Objects


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


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


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


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


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


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


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


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


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


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

2014
Інформатика та системні науки: Всеукраїнська науково-практична конференція
c.284–287
226
Підручник
Дискретна математика


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


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


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


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


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


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


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


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


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


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


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

2013
236
Наукова стаття
Комбинаторный метод решения систем линейных ограничений


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


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


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


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


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


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


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


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


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


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


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


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Доповіді НАН України. Серія: Математика
т.6 c.53–57
246
Наукова стаття
Оn the global minimum in a balanced circular packing problem


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

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


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


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


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


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
2013
Міжнародна науково-практична конференція «Дистанційна освіта України -2013»
т.1 c.98-103
250
Наукова стаття
Прямая задача синтеза логических сетей


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

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


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

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


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


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


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


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

2014
Наукові записки НаУКМА
c.1-56
256
Тези
Субградієнтний алгоритм з розтягом простору для задачі розділення двох поліедрів


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


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


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


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


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.48–54
260
Наукова стаття
Prethick subsets and partitions of metric spaces


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
2012
Математичні студії
т.38 c.115-117
261
Наукова стаття
Rainbow Graphs and Semigroups


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
Провотар Тетяна Михайлівна
2012
Доповіді НАН України. Серія: Математика
т.7 c.43 - 47
262
Наукова стаття
Independent sets and partitions of graphs


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


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

Повернення до списку

Вгору