Pure first-order logics of quasiary predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Macro-operations extraction out of computation process array sorting data von O. N. Paulin, N. O. Komlevaja, Ju. Marulin

Volltext

Automated development of a parallel distributed system for streaming data processing von D. S. Titov, Yu. Doroshenko, O. A. Yatsenko

Volltext

Research and development of Johnson's algorithm parallel schemes in GPGPU technology von S. D. Pohorilyi, M. S. Slynko

Volltext

Peterson's Algorithm total correctness proof in IPCL von A. A. Zhygallo

Volltext

Correctness Property Proof for the Banking System for Money Transfer Payments von Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov

Volltext

Transformation of the legacy code on Fortran for scalability and cloud computing von Yu. Doroshenko, V. D. Khavriuchenko, Ye. M. Tulika, K. A. Zhereb

Volltext

On the problem of stability of a motion of essentially nonlinear systems von A. A. Martyniuk, V. O. Cherniienko

Volltext

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems von C. V. Yershov, R. M. Ponomarenko

Volltext

Machine-learning methods for text named entity recognition von O. O. Marchenko

Volltext

Method of forming multi-leveled sequential patterns von A. V. Moldavskaja

Volltext

Application of deep learning and computer vision frameworks for solving video context prediction problem von D. Voloshyn

Volltext

Fuzzy probability and fuzzy events von O. I. Provotar, O. V. Vasylenko, O. O. Provotar

Volltext

Modeling technology based on fuzzy object-oriented Bayesian belief networks von S. V. Yershov, F. V. Kostukevych

Volltext

Semantic Wiki-resources and their use for the construction of personalized ontologies von Ju. V. Rogushina

Volltext

Usage of AI-planning techniques to solve problems of Web-services composition von O. V. Zakharova

Volltext

Utilization of open Wiki resource user activity for ontological model development von Yu. V. Rohushyna, Yu. Hryshanova

Volltext

Extension the UML specification for modeling semantic objects von O. V. Novytskyi

Volltext

On the influence of finite initial deformations on the surface instability of incompressible elastic layer interacting with the halfspace of a viscous compressible fluid von O. M. Bahno

Volltext

Problem of data analysis and forecasting using decision trees method von T. I. Lytvynenko

Volltext