Pure first-order logics of quasiary predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

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

Macro-operations extraction out of computation process array sorting data за авторством O. N. Paulin, N. O. Komlevaja, Ju. Marulin

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

Automated development of a parallel distributed system for streaming data processing за авторством D. S. Titov, Yu. Doroshenko, O. A. Yatsenko

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

Research and development of Johnson's algorithm parallel schemes in GPGPU technology за авторством S. D. Pohorilyi, M. S. Slynko

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

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

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