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

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

On the problem of stability of a motion of essentially nonlinear systems за авторством A. A. Martyniuk, V. O. Cherniienko

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

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

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

Application of deep learning and computer vision frameworks for solving video context prediction problem за авторством D. Voloshyn

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

Fuzzy probability and fuzzy events за авторством O. I. Provotar, O. V. Vasylenko, O. O. Provotar

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

Modeling technology based on fuzzy object-oriented Bayesian belief networks за авторством S. V. Yershov, F. V. Kostukevych

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

Semantic Wiki-resources and their use for the construction of personalized ontologies за авторством Ju. V. Rogushina

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

Usage of AI-planning techniques to solve problems of Web-services composition за авторством O. V. Zakharova

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

Utilization of open Wiki resource user activity for ontological model development за авторством Yu. V. Rohushyna, Yu. Hryshanova

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

Extension the UML specification for modeling semantic objects за авторством O. V. Novytskyi

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

On the influence of finite initial deformations on the surface instability of incompressible elastic layer interacting with the halfspace of a viscous compressible fluid за авторством O. M. Bahno

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

Problem of data analysis and forecasting using decision trees method за авторством T. I. Lytvynenko

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

Contact Center Load Forecasting and Operator Schedule Planning за авторством K. O. Chernichenko, A. M. Kapkanets, T. V. Panchenko

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

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials за авторством Yu. V. Krak, O. V. Barmak, O. V. Mazurets

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

Development of Meteorological forecasting web portal on multiprocessor platform за авторством O. H. Beketov, Ye. A. Vitriak, I. O. Myronenko, O. M. Ovdii

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

Simulations of hypertrophied heart's hemodynamics за авторством R. D. Grigorjan, T. V. Aksenova

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