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

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


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Терещенко Василь Миколайович
Терещенко Ярослав Васильович
2017
Міжнародна науково-технічна конференція Штучний інтелект та інтелектуальні системи
c.207-209
2
Наукова стаття
Completeness Theorems for Program-oriented Logics of Partial Quasiary Predicates


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


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


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


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


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


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


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


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


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

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

Вгору