Автори, співробітники Університету

Анісімов Анатолій Васильович
Anisimov A.V.

Ідентифікатор автора: 28428
Author Identifier Number Scopus: 9536987000 →
Кількість пошукових запитів автора: 1031

Підрозділ: Факультет комп'ютерних наук та кібернетики
Кафедра/Відділ: Математичної інформатики
Посада: декан

Науковий ступінь: доктор
Наукове звання: професор

Публікаційна активність


Всього публікацій у базі - 86, з них наукових статей (наукові публікації) - 59, монографій - 1, підручників - 1, навчальних посібників - 1, тез (наукові публікації) - 8, матеріалів конференцій (наукові публікації)- 1

Всього публікацій у Scopus (affiliation - Taras Shevchenko National University of Kyiv) - 48

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Trusted Computing with Addition Machines. II
Анісімов Анатолій Васильович
Новокшонов Андрій Костянтинович
2018
Cybernetics and Systems Analysis
т.54 в.1 c.1-10
2
Наукова стаття
Encoding Trees by Linear Recurrence Sequences
Анісімов Анатолій Васильович
2017
Cybernetics and Systems Analysis
т.53 в.6 c.835-846
3
Наукова стаття
English text parsing by means of error correcting automaton
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
Марченко Олександр Олександрович
2018
Lecture Notes in Computer Science
т.10859 в.1 c.281-289
4
Наукова стаття
Блочно-диагональный подход к неотрицательной факторизации разреженных лингвистических матриц и тензоров сверхбольшой размерности с использованием латентного распределения Дирихле
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2018
Кибернетика и системный анализ (КиСА)
в.6 c.3-10
5
Матеріали конференції
Порівняння швидкодії деяких криптографічних протоколів ідентифікації з нулевим розголошенням
Анісімов Анатолій Васильович
2017
ICACIT: Міжнародна конференція з автоматичного управління та інформаційних технологій
c.204
6
Наукова стаття
Variable-Length Prefix Codes With Multiple Delimiters
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2017
IEEE Transactions on Information Theory
т.63 в.5 c.2885 - 2895
7
Наукова стаття
Authorship attribution system
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10260 в.1 c.227-231
8
Наукова стаття
Machine learning method for paraphrase identification
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2017
Lecture Notes in Computer Science
т.10333 в.1 c.164-173
9
Наукова стаття
Programming System PARCS
Анісімов Анатолій Васильович
Деревянченко Олександр Валерійович
Кулябко Петро Петрович
2017
Journal of Computer and Communications
т.5 в.9 c.129-139
10
Наукова стаття
Паралельне програмування в мережах на осові ПАРКС-технології (базова мова Python)
Анісімов Анатолій Васильович
Кулябко Петро Петрович
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 в.3 c.57-60
11
Наукова стаття
Trusted Computing with Addition Machines. I
Анісімов Анатолій Васильович
Новокшонов Андрій Костянтинович
2017
Cybernetics and Systems Analysis
т.53 в.5 c.659-668
12
Наукова стаття
Система криптографического преобразования чисел линейными рекуррентными формами
Анісімов Анатолій Васильович
2016
Кибернетика и вычислительная техника. Медицинская и биологическая кибернетика
т.1 в.186 c.5-14
13
Праці конференції
Machine Learning Method for Paraphrase Identification
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2017
Flexible Query Answering Systems. Proceedings of International Conference,
т.2017 c.164-173
14
Праці конференції
Authorship Attribution System
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2017
International Conference on Applications of Natural Language to Information Systems
c.227-234
15
Матеріали енциклопедій, підручників, посібників
Екзоскелетон хребта та трансформерні технології з забезпечення його життєвого циклу
Анісімов Анатолій Васильович
Горбунов Олег Андрійович
Осадчий Євген Олександрович
2016
Послуги університету: Київський національний університет імені Тараса Шевченка
т.1 в.1 c.39-40
16
Праці конференції
A Family of Data Compression Codes with Multiple Delimiters. A Family
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2016
Prague Stringology Conference
т.1 в.1 c.71-84
17
Монографія
Пошук інформації
Анісімов Анатолій Васильович
Глибовець Микола Миколайович
2015
НаУКМА
т.1 c.1-210
18
Наукова стаття
Побудова класифікаторів на основі ядерних оцінок щільності з використанням апостеріорних ймовірностей конкуруючих множин
Анісімов Анатолій Васильович
Галкін Олександр Анатолійович
2015
Доповіді Національної академії наук України
т.9 c.25–32
19
Наукова стаття
Исследование асимптотических свойств непараметрических классификаторов на основе функций глубины
Анісімов Анатолій Васильович
Галкін Олександр Анатолійович
2015
Проблемы управления и информатики
т.4 c.147-155
20
Наукова стаття
Інтелектуальна технологія обробки текстової інформації
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2015
Розробки Київського національного університету імені Тараса Шевченка, що мають комерційний потенціал
т.1 c.161-162
21
Наукова стаття
Екзоскелетон хребта та трансформерні технології з забезпечення його життєвого циклу
Анісімов Анатолій Васильович
Горбунов Олег Андрійович
Осадчий Євген Олександрович
2015
Розробки Київського національного університету імені Тараса Шевченка, що мають комерційний потенціал
т.1 c.39-40
22
Підручник
Програмування числових методів мовою PYTHON
Анісімов Анатолій Васильович
Погорілий Сергій Дем'янович
2015
ВПЦ "Київський університет"
c.1-640
23
Праці конференції
Variable length prefix (delta; k)-codes
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2015
IEEE International Black Sea Conference on Communications and Networking
т.1 c.43-47
24
Наукова стаття
Определение семантических валентностей концептов онтологий с помощью неотрицательной факторизации тензоров больших текстовых корпусов
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2014
25
Наукова стаття
Помехоустойчивое префиксное кодирование на основе нижнего (2,3)-представления чисел
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2014
26
Наукова стаття
A Method for Parallel Non-negative Sparse Large Matrix Factorization
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2014
Lecture Notes in Computer Science
т.8655 c.344-352
27
Наукова стаття
Semantic and Syntactic Model of Natural Language Based on Tensor Factorization
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Тарануха Володимир Юрійович
2014
Lecture Notes in Computer Science
т.8455 c.51-54
28
Наукова стаття
Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Тарануха Володимир Юрійович
2014
Lecture Notes in Computer Science
т.8655 c.324-335
29
Наукова стаття
Semantic and Syntactic Model of Natural Language Based on Non-negative Matrix and Tensor Factorization
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Тарануха Володимир Юрійович
2014
Lecture Notes in Computer Science
т.8686 c.177-184
30
Наукова стаття
A Parallel Non-Negative Sparse Large Matrix Factorization
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2014
Lecture Notes in Computer Science
т.8686 c.136-143
31
Навчальний посібник
Паралельне програмування із застосуванням технології ПАРКС-JAVA
Анісімов Анатолій Васильович
Деревянченко Олександр Валерійович
2013
Видавничо-поліграфічний центр "Київський університет"
т.1 c.0.0000
32
Наукова стаття
Ukrainian WordNet: Creation and Filling. Flexible Query Answering Systems Lecture Notes in Computer Science Volume 8132, 2013, pp 649-660
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
Тарануха Володимир Юрійович
2013
Lecture Notes in Computer Science
т.8132 c.649.0000
33
Наукова стаття
Патент України № 102530 МКИ6 A61 H 3/00, A 62 D 7/00 Xодунок. Опубл.25.07.13.- Бюл. №.- 5с.
Анісімов Анатолій Васильович
Горбунов Олег Андрійович
Осадчий Євген Олександрович
2013
34
Наукова стаття
Представление чисел в двухбазисных системах счисления
Анісімов Анатолій Васильович
2013
35
Наукова стаття
Prefix Encoding by Means of the (2,3)-Representation of Numbers
Анісімов Анатолій Васильович
2013
IEEE Transactions on Information Theory
т.59 c.2359-2374
36
Наукова стаття
About the issue of algorithms formalized design for parallel computer architectures. Appl. Comput. Math., V.12, №2, 2013, pp. 140-151
Анісімов Анатолій Васильович
Погорілий Сергій Дем'янович
2013
Applied and Computational Mathematics
т.12 c.140-151
37
Праці конференції
Великому українському вченому 90 років // Глушковські читання: Матеріали конференції до 90-річчя з дня народження академіка В.М. Глушкова (10-11 вересня 2013 р., м. Київ). – К.: НТУУ «КПІ». – 2013
Анісімов Анатолій Васильович
Бичков Олексій Сергійович
Закусило Олег Каленикович
2013
38
Наукова стаття
Системы Theorema и САД: сравнительный анализ
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2011
Управляющие системы и машины (УСиМ)
c.59.0000
39
Наукова стаття
Моделі оцінювання схожості природно-мовних текстів з використанням онтологічної бази знань WordNet
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2011
Штучний інтелект
т.4 c.74-79
40
Наукова стаття
GPU-Accelerated Non-negative Matrix Factorization for Text Mining
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2012
Lecture Notes in Computer Science
т.7337 c.158 - 163
41
Наукова стаття
UWN: універсальна онтологічна база знань української мови. Матеріали конференції УкрПРОГ 2012. Журнал Проблеми програмування, 2012, №2
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2012
Проблеми програмування
т.2 c.348.0000
42
Тези
Комплекс «Екзоскелетон» Тези допов. в матеріалах міжнародного науково-практичного форуму «Наука і бізнес – основа розвитку економіки», м. Дніпропетровсь
Анісімов Анатолій Васильович
Осадчий Євген Олександрович
2012
43
Тези
Інтегровані інтелектуальні робото-технічні комплекси. Тези допов. в матеріалах V міжнародної науково-практичної конференції НАУ (ІІРТК-2012), м.КиЇв, 15-16 травня 2012
Анісімов Анатолій Васильович
Горбунов Олег Андрійович
Осадчий Євген Олександрович
2012
44
Метод вычисления семантической близости-связности между словами естественного языка.
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2011
45
Наукова стаття
Метод обчислення семантичної близькості для слів природної мови
Анісімов Анатолій Васильович
Глибовець Микола Миколайович
Марченко Олександр Олександрович
2011
Наукові записки НаУКМА
т.125 c.0.0000
46
Праці конференції
Принципы организации обработки знаний в системах Theorema и САД // Праці П’ятої Міжнародної конференції "Нові інформаційні технології в освіті для всіх: інноваційні методи та моделі", Київ, 23-25 листопада 2010
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2010
47
Тези
Проекты “Алгоритм Очевидности” и “Theorema”: их особенности и реализация на современном этапе // Тези VII Міжнародної конференції “Теоретичні та Прикладні Аспекти Побудови Програмних Систем” «TAAPSD’2010», 4-8 жовтня, Київ
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2010
48
Наукова стаття
Мовні засоби для опису об’єктно-орієнтованих атрибутних граматик
Анісімов Анатолій Васильович
2009
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.75.0000
49
Наукова стаття
Комплекс «Екзоскелетон» Наукові розробки Київського національного університету імені Тараса Шевченка: У2 ч.-Ч.1. Природничі науки/ упорядники: С.Г.Неділько, В.В.Гостєв, Л.В. Гуюбернюк, М.Я. Недбаєв, Л.П. Самойленко, Д.С. Бірюков; за заг.ред. В.І.Григорука
Анісімов Анатолій Васильович
Осадчий Євген Олександрович
2009
50
Наукова стаття
Представление чисел в смешанном базисе (2,3)
Анісімов Анатолій Васильович
2009
51
Наукова стаття
Реализация инжиниринга программных legacy-систем
Анісімов Анатолій Васильович
2009
Управляющие системы и машины (УСиМ)
c.40.0000
52
Наукова стаття
Автоматизация построения бизнес-правил в процессе реинжиринга legacy-систем на этапе анализа их функциональных структур
Анісімов Анатолій Васильович
2009
Управляющие системы и машины (УСиМ)
c.56.0000
53
Наукова стаття
Построение бизнес-правил для SQO-вложений и JCL-заданий
Анісімов Анатолій Васильович
2009
Управляющие системы и машины (УСиМ)
c.26.0000
54
Наукова стаття
Анализ программных legacy-систем на предмет рапределения объектов-кандидатов в бизнес-термины
Анісімов Анатолій Васильович
2009
Управляющие системы и машины (УСиМ)
c.69.0000
55
Наукова стаття
Общая теория построения бизнес-правил при реинжиниринге программных legacy-систем
Анісімов Анатолій Васильович
2009
Управляющие системы и машины (УСиМ)
c.3.0000
56
Праці конференції
On analytical transformations and deductive reasoning in intelligent testing in electronic learning // Proceedings of Artificial Intelligence Studies (Proceedings on XI International Conference on Artificial Intelligence - AI-24'2009, Poland, June 2009)
Анісімов Анатолій Васильович
Бичков Олексій Сергійович
Лялецький Олександр Вадимович
2009
57
Наукова стаття
Оптимизация архитектуры цифрового оптического умножителя.
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2007
58
Наукова стаття
Інформаційна безпека та організація технічного захисту інформації у контексті євроатлантичної інтеграції
Анісімов Анатолій Васильович
Заславський Володимир Анатолійович
2007
Журнал: Україна-НАТО
c.20.0000
59
Наукова стаття
Information security and Organization of Technical Protection of Information in the Context of Euro-Atlantic Integration
Анісімов Анатолій Васильович
Заславський Володимир Анатолійович
2007
Scientific Magazine
c.20.0000
60
Наукова стаття
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2008
Lecture Notes in Computer Science
т.5144 c.583.0000
61
Наукова стаття
Алгоритмічна модель асоціативно-семантичного аналізу природномовних текстів
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2008
Проблеми програмування
c.379.0000
62
Наукова стаття
Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
Анісімов Анатолій Васильович
2008
63
Наукова стаття
Параллельные алгоритмы выполнения массовых вычислений в нейронных сетях
Анісімов Анатолій Васильович
2008
Проблеми програмування
c.17.0000
64
Праці конференції
Об автоматизации дедукции в среде естественного формального языка // Труды 3-ей Международной конференции "Новые информационные технологии в образовании для всех: система электронного образования", Киев, октябрь 2008
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2008
65
Праці конференції
Алгоритмічна модель асоціативно-семантичного контекстного аналізу текстів природною мовою - Матеріали міжнародної наукової конференції УкрПРОГ-2008
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
Никоненко Андрій Олександрович
2008
66
Наукова стаття
Подходы к защите програмного обеспечения от атак злонамеренного хоста
Анісімов Анатолій Васильович
2006
Проблеми програмування
c.41.0000
67
Наукова стаття
Алгоритм формирования параметрического вектора для решения задач классификации нейронной сетью прямого распространения
Анісімов Анатолій Васильович
Тарануха Володимир Юрійович
2007
68
Наукова стаття
Метод ассоциативного реферирования естественно-языковых текстов
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2007
Известия ТРТУ
c.0.0000
69
Наукова стаття
Оптимизация архитектуры цифрового оптического умножителя
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2007
70
Праці конференції
Reasoning inside a formula and ontological correctness of a formal mathematical text
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2007
Calculemus\MKM 2007-Work in progress. Hagenberg, Austria
c.77.0000
71
Праці конференції
Is a mathematical text correct? From a logical and practical point of view
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2007
The 9th International Symposium on Symbolic and Numeric Algorithm for Scientific Computing (SYNASC 2007), Timisoara, Romania
c.290.0000
72
Тези
Система автоматизации дедукции (САД) как средство обработки формальных компьютерных заданий
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.0.0000
73
Тези
Алгоритмы ассоциативно-семантического анализа на основе онтологий Матеріали міжнародної конференції "Megaling’2007
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2007
74
Наукова стаття
Алгоритмы ассоциативного реферирования естественно-языковых текстов
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2006
Штучний інтелект
75
Наукова стаття
Синхронные оптические умножители
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
2006
76
Наукова стаття
Алгоритмы, рекурсия и литература
Анісімов Анатолій Васильович
2006
Русский язык, литература, культура в школе и вузе. Киев
77
Тези
Исследование эффективности использования оптической элементной базы в синхронной арифметике. Управляющие систе¬мы и машины, 2006, Вып.1
Анісімов Анатолій Васильович
Завадський Ігор Олександрович
Марченко Олександр Олександрович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
78
Тези
Ассоциативное реферирование естественно-языковых текстов. Матер. міжнар.конф. “Искусственный интеллект. Интеллектуальные и многопроцессорные системы ИИ-ИМС 2006”, т.3, Кацевели, 2006, с. 323-327
Анісімов Анатолій Васильович
Марченко Олександр Олександрович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
79
Тези
The SAD System in Three Dimensions. Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara (SYNASC 2006), Romania, September 26 - 29, 2006 (In Press)
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
80
Довідник
Довідник для вступників до Київського національного університету імені Тараса Шевченка
Анісімов Анатолій Васильович
Закусило Олег Каленикович
Парасюк Ігор Остапович
Перестюк Микола Олексійович
Трохимчук Ростислав Миколайович
2005
81
Наукова стаття
Construction of Prefix Codes of Natural Numbers Using Linear Forms of Numerical Sequences
Анісімов Анатолій Васильович
2005
82
Наукова стаття
Construction of Prefix Codes Using Linear Forms of Numerical Sequences
Анісімов Анатолій Васильович
2005
83
Наукова стаття
Архитектура системы для параллельных вычислений ПАРУС-JAVA
Анісімов Анатолій Васильович
2005
84
Наукова стаття
Атрибуция анонимных текстов
Анісімов Анатолій Васильович
2005
85
Наукова стаття
Динамические коалиции – новая парадигма в области распределенных компьютерно-коммуникационных систем. Ч.2. Обзор и сравнительная характеристика практических методов построения динамических коалиционных сред
Анісімов Анатолій Васильович
Зубенко Віталій Володимирович
2005
86
Наукова стаття
Моделирование движения совокупности твердых тел с учетом столкновений и сочленений
Анісімов Анатолій Васильович
2005

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

Вгору