Sergey Krivoi
Sergey Krivoi
Verified email at univ.kiev.ua - Homepage
Title
Cited by
Cited by
Year
Онтологические методы и средства обработки предметных знаний
ОВ Палагін, МГ Петренко, СЛ Кривий
1042012
Лекции по дискретной математике
ЮВ Капитонова, СЛ Кривой, АА Летичевский, ГМ Луцкий
БВХ-Петербург, 2004
392004
Знание-ориентированные информационные системы с обработкой естественно-языковых объектов: основы методологии и архитектурно-структурная организация
АВ Палагин, СЛ Кривой, НГ Петренко
Управляющие системы и машины, 2009
352009
О некоторых методах решения и критериях совместности систем линейных диофантовых уравнений в области натуральных чисел
СЛ Крывый
Кибернетика и системный анализ, 12-36, 1999
331999
Green IT engineering: components, networks and systems implementation
V Kharchenko, Y Kondratenko, J Kacprzyk
Springer International Publishing, 2017
312017
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
242013
Algorithms for solution of systems of linear Diophantine equations in residue fields
SL Kryvyi
Cybernetics and Systems Analysis 43 (2), 171-178, 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
192006
Synthesis multilevel structure with multiple output
VM Opanasenko, SL Kryvyi
PROBLEMS IN PROGRAMMING, 48-62, 2018
182018
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
The implementation of extended arithmetics on FPGA-based structures
A Palagin, V Opanasenko
2017 9th IEEE International Conference on Intelligent Data Acquisition and …, 2017
152017
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
152017
Criteria of satisfiability for homogeneous systems of linear diophantine constraints
S Krivoi
International Conference on Parallel Processing and Applied Mathematics, 264-271, 2001
152001
Концептуальные графы и семантические сети в системах обработки естественно-языковой информации
АВ Палагин, СЛ Кривой, НГ Петренко
Математические машины и системы 1 (3), 2009
112009
Алгоритмы решения систем линейных диофантовых уравнений в контексте проблемы выполнимости ограничений. ЧI
СЛ Крывый
Інженерія програмного забезпечення, 6-19, 2014
102014
Формальные методы анализа свойств систем
СЛ Крывый, ЛЕ Матвеева
Кибернетика и системный анализ 39, 15-36, 2003
102003
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