Sergey Krivoi
Sergey Krivoi
Verified email at univ.kiev.ua - Homepage
Title
Cited by
Cited by
Year
Онтологические методы и средства обработки предметных знаний
ОВ Палагін, МГ Петренко, СЛ Кривий
972012
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
АВ Палагин, СЛ Кривой, НГ Петренко
Управляющие системы и машины, 2009
342009
Лекции по дискретной математике
ЮВ Капитонова, СЛ Кривой, АА Летичевский, ГМ Луцкий
БВХ-Петербург, 2004
342004
О некоторых методах решения и критериях совместности систем линейных диофантовых уравнений в области натуральных чисел
СЛ Крывый
Кибернетика и системный анализ, 12-36, 1999
331999
Green IT engineering: components, networks and systems implementation
V Kharchenko, Y Kondratenko, J Kacprzyk
Springer International Publishing, 2017
302017
Iterative methods of program analysis
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 25 (2), 139-152, 1989
291989
The structure of FPGA-based cyclic-code converters
A Palagin, V Opanasenko, S Krivoi
Optical Memory and Neural Networks 22 (4), 207-216, 2013
232013
Algorithms for solution of systems of linear Diophantine equations in residue fields
SL Kryvyi
Cybernetics and Systems Analysis 43 (2), 171, 2007
202007
Synthesis of adaptive logical networks on the basis of Zhegalkin polynomials
VN Opanasenko, SL Kryvyi
Cybernetics and Systems Analysis 51 (6), 969-977, 2015
192015
Partitioning the full range of boolean functions based on the threshold and threshold relation
VN Opanasenko, SL Kryvyi
Cybernetics and Systems Analysis 48 (3), 459-468, 2012
192012
Algorithms for solving systems of linear Diophantine equations in integer domains
SL Kryvyi
Cybernetics and Systems Analysis 42 (2), 163-175, 2006
182006
Synthesis multilevel structure with multiple output
VM Opanasenko, SL Kryvyi
PROBLEMS IN PROGRAMMING, 48-62, 2018
162018
Methods of solution and criteria of consistency of systems of linear diophantine equations over the set of natural numbers1
SL Kryvyi
Cybernetics and Systems Analysis 35 (4), 516-538, 1999
161999
Criteria of satisfiability for homogeneous systems of linear diophantine constraints
S Krivoi
International Conference on Parallel Processing and Applied Mathematics, 264-271, 2001
152001
Resource and energy optimization oriented development of FPGA-based adaptive logical networks for classification problem
AV Palagin, VM Opanasenko, SL Kryvyi
Green IT Engineering: Components, Networks and Systems Implementation, 195-218, 2017
112017
Концептуальные графы и семантические сети в системах обработки естественно-языковой информации
АВ Палагин, СЛ Кривой, НГ Петренко
Математические машины и системы 1 (3), 2009
112009
Формальные методы анализа свойств систем
СЛ Крывый, ЛЕ Матвеева
Кибернетика и системный анализ 39, 15-36, 2003
102003
The implementation of extended arithmetics on FPGA-based structures
A Palagin, V Opanasenko
2017 9th IEEE International Conference on Intelligent Data Acquisition and …, 2017
92017
Алгоритмы решения систем линейных диофантовых уравнений в контексте проблемы выполнимости ограничений. ЧI
СЛ Крывый
Інженерія програмного забезпечення, 6-19, 2014
92014
Formal methods of analysis of system properties
SL Kryvyi, LY Matveyeva
Cybernetics and Systems Analysis 39 (2), 174-191, 2003
92003
The system can't perform the operation now. Try again later.
Articles 1–20