Identification of defects of the piles with reflected waves by O. Lebid, I. Kaliukh, Y. Berchun, D. Chernyshev

Get full text

Fundamental ecology in the context change of scientific paradigm by I. Simonov, V. Trofimovich

Get full text

Mathematical model of extensive green roof with a steep type of biocenosis by T. Tkachenko

Get full text

Transition systems as method of designing applications in GPGPU technology by S. L. Kryvyi, S. D. Pohorilyi, M. S. Slynko

Get full text

Context term calculus for rewriting systems by P. C. Shevchenko

Get full text

Logics of general non-deterministic predicates: semantic aspects by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Get full text

Parallel software auto-tuning using statistical modeling and machine learning by Yu. Doroshenko, P. A. Ivanenko, O. C. Novak, O. A. Yatsenko

Get full text

Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Int... by T. O. Herasymova, A. N. Nesterenko

Get full text

Temperature field of metal structures of transport facilities with a thin protective coating by B. Gera, V. Kovalchuk, V. Dmytruk

Get full text

System aspects of design guaranteased cloud calculations by N. A. Kosovets, I. E. Shchetinin, L. N. Tovstenko

Get full text

Extension of the program synthesis system to analyze large data sets by O. M. Ovdii

Get full text

Game-theory analysis of multi-processor schedulers. Simulation model by O. P. Ihnatenko, Ya. Odobesku

Get full text

Multi-level model of parallel computing for linear algebra problems by O. V. Popov, O. V. Rudych, O. V. Chystiakov

Get full text

Equivalence of two parallel execution systems by T. V. Panchenko, S. Fabunmi

Get full text

Architecture of software system for hierarhical fuzzy inference by C. V. Yershov, R. M. Ponomarenko

Get full text

Use of metods of algebraic programming for the formal verification of legal acts by V. Peschanenko, M. Poltorackiy

Get full text

Interactive method for cumulative analysis of software formal models behavior by A. Kolchin

Get full text

Formal foundations for software model to model transformation operation by O. V. Chebanyuk

Get full text

Ontological similar systems for analysis of texts of natural language by S. L. Kryvyi, N. P. Darchuk, O. I. Provotar

Get full text

Minimax filtering of sequences with periodically stationary increments by M. M. Luz, M. P. Mokliachuk

Get full text