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

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


ID: 6726
Кількість показів: 2701
дата змінення: 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

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

Вгору