Assessment and forecast for the creation of photochemical smog over transport overpasses in Kyiv von R. Sipakov, V. Trofimovich, O. Voloshkina, Y. Bereznitskaya

Volltext

Evaluation of the influence of climatic and geomorphological factors on landslides development von O. Kovrov, V. Kolesnik, Yu. Buchavyi

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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... von T. O. Herasymova, A. N. Nesterenko

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext