Tasks for information security risks management in making-decision process by Ye. S. Rodin

Get full text

A simulator of a pulsatile heart by R. D. Grigorjan, A. G. Degoda, E. A. Dzhurinskij, V. S. Kharsun

Get full text

The usage of computer vision in the system of digital cutting of materials by V. V. Tumanov, Yu. Doroshenko

Get full text

Outer Set Operations of Table Algebra of Infinite Tables by I. M. Glushko

Get full text

A method for business logic extraction from legacy COBOL code of industrial systems by A. A. Guba, A. V. Kolchin, S. V. Potienko

Get full text

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages by A. K. Novokshonov

Get full text

Synthesis multilevel structure with multiple output by V. N. Opanasenko, S. L. Kryvyj

Get full text

Integration of the family of extended description logic languages with relational data model by V. A. Reznichenko, I. S. Chistjakova

Get full text

Composition-nominative logics of free-quantifier levels by S. S. Shkilniak, D. B. Volkovytskyi

Get full text

Constructive-synthesizing model of text graph representation by V. I. Shinkarenko, E. S. Kuropjatnik

Get full text

Pure first-order logics of quasiary predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Get full text

Macro-operations extraction out of computation process array sorting data by O. N. Paulin, N. O. Komlevaja, Ju. Marulin

Get full text

Automated development of a parallel distributed system for streaming data processing by D. S. Titov, Yu. Doroshenko, O. A. Yatsenko

Get full text

Research and development of Johnson's algorithm parallel schemes in GPGPU technology by S. D. Pohorilyi, M. S. Slynko

Get full text

Peterson's Algorithm total correctness proof in IPCL by A. A. Zhygallo

Get full text

Correctness Property Proof for the Banking System for Money Transfer Payments by Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov

Get full text

Transformation of the legacy code on Fortran for scalability and cloud computing by Yu. Doroshenko, V. D. Khavriuchenko, Ye. M. Tulika, K. A. Zhereb

Get full text

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems by C. V. Yershov, R. M. Ponomarenko

Get full text

Machine-learning methods for text named entity recognition by O. O. Marchenko

Get full text

Method of forming multi-leveled sequential patterns by A. V. Moldavskaja

Get full text