Detector properties of Cd0,9Zn0,1Te:Al under the influence of low doze gamma irradiation by A. I. Kondrik

Get full text

Thermal management system for electronic devices by I. V. Tsevukh, V. V. Spivak, A. I. Maljuta, T. N. Shuba

Get full text

Intensification of heat transfer in liquid heat exchangers with dimple-pin finning by V. E. Trofimov, A. L. Pavlov

Get full text

The linear correlation research in paired small volume samples by V. S. Popukajlo

Get full text

The algorithm for selection of interval of parameters recalculation of control and management objects in automatic control systems of process engineering by A. N. Tynynyka

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

Features of the structural organization of a single-layer diamond-galvanic coating for the ruling tool by V. I. Lavrinenko, A. H. Lubnin, V. M. Tkach, I. P. Fesenko, V. V. Smokvyna

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