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

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


ID: 6726
Кількість показів: 1335
дата змінення: 27.11.2014 12:10:14
Ким змінено (ім'я): (kya) Юлія Костюченко

Публікації:

A Family of Exact Pattern Matching Algorithms with Multiple Adjacent Search Windows
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  5
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  152-166
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Математичної інформатики / НДЛ Високопродуктивних систем обробки інформації
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Завадський Ігор Олександрович

Active contour models for cytoskeletal structures tracking
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  6
Рік видання:  2016
Звітний рік:  2017
Том:  1
Номери сторінок:  183-188
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Математичної інформатики / НДЛ Високопродуктивних систем обробки інформації
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Терещенко Василь Миколайович

Algebras and logics of partial quasiary predicates
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  16
Рік видання:  2017
Звітний рік:  2017
Том:  23
Номери сторінок:  263-278
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович

An Approach To Formalization of an Extension of Floyd-Hoare Logic
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  20
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  504-523
Галузь науки:  Інформатика
Посилання на статтю (посилання на рецензію в журналі (для монографій):  http://ceur-ws.org/Vol-1844/10000504.pdf
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Нікітченко Микола Степанович / Криволап Андрій Володимирович

Authorship attribution system
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  5
Рік видання:  2017
Звітний рік:  2017
Том:  10260
Номери сторінок:  227-231
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Математичної інформатики / НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Марченко Олександр Олександрович / Анісімов Анатолій Васильович / Никоненко Андрій Олександрович


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

Вгору