Tasks for information security risks management in making-decision process за авторством Ye. S. Rodin

Отримати повний текст

A simulator of a pulsatile heart за авторством R. D. Grigorjan, A. G. Degoda, E. A. Dzhurinskij, V. S. Kharsun

Отримати повний текст

The usage of computer vision in the system of digital cutting of materials за авторством V. V. Tumanov, Yu. Doroshenko

Отримати повний текст

Outer Set Operations of Table Algebra of Infinite Tables за авторством I. M. Glushko

Отримати повний текст

A method for business logic extraction from legacy COBOL code of industrial systems за авторством A. A. Guba, A. V. Kolchin, S. V. Potienko

Отримати повний текст

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages за авторством A. K. Novokshonov

Отримати повний текст

Synthesis multilevel structure with multiple output за авторством V. N. Opanasenko, S. L. Kryvyj

Отримати повний текст

Integration of the family of extended description logic languages with relational data model за авторством V. A. Reznichenko, I. S. Chistjakova

Отримати повний текст

Composition-nominative logics of free-quantifier levels за авторством S. S. Shkilniak, D. B. Volkovytskyi

Отримати повний текст

Constructive-synthesizing model of text graph representation за авторством V. I. Shinkarenko, E. S. Kuropjatnik

Отримати повний текст

Pure first-order logics of quasiary predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Macro-operations extraction out of computation process array sorting data за авторством O. N. Paulin, N. O. Komlevaja, Ju. Marulin

Отримати повний текст

Automated development of a parallel distributed system for streaming data processing за авторством D. S. Titov, Yu. Doroshenko, O. A. Yatsenko

Отримати повний текст

Research and development of Johnson's algorithm parallel schemes in GPGPU technology за авторством S. D. Pohorilyi, M. S. Slynko

Отримати повний текст

Peterson's Algorithm total correctness proof in IPCL за авторством A. A. Zhygallo

Отримати повний текст

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov

Отримати повний текст

Transformation of the legacy code on Fortran for scalability and cloud computing за авторством Yu. Doroshenko, V. D. Khavriuchenko, Ye. M. Tulika, K. A. Zhereb

Отримати повний текст

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems за авторством C. V. Yershov, R. M. Ponomarenko

Отримати повний текст

Machine-learning methods for text named entity recognition за авторством O. O. Marchenko

Отримати повний текст

Method of forming multi-leveled sequential patterns за авторством A. V. Moldavskaja

Отримати повний текст