Abstract is missing.
- Outer Set Operations of Table Algebra of Infinite TablesIrina Glushko. 11-16 [doi]
- A method for business logic extraction from legacy COBOL code of industrial systemsAnton Guba, Olexander Kolchin, Stepan Potiyenko. 17-25 [doi]
- Performance analysis of arithmetic algorithms implemented in C++ and Python programming languagesAndrey Novokshonov. 26-31 [doi]
- Synthesis of multilevel structures with multiple outputsVladimir Opanasenko, Sergyi Kryvyi. 32-37 [doi]
- Integration of the family of extended description logics with relational data modelValeryi Reznichenko, Inna Chistyakova. 38-47 [doi]
- Composition-nominative logics of free-quantifier levelsStepan S. Shkilniak, Dmytro Volkovytskyi. 48-62 [doi]
- Constructive-synthesizing model of text graph representationViktor Shynkarenko, Olena Kuropiatnyk. 63-72 [doi]
- Pure first-order logics of quasiary predicatesMykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. 73-86 [doi]
- Macro-operations extraction out of computation process array sorting dataOleg Paulin, Natalia Komlevaya, Stanislav Marulin. 87-95 [doi]
- Automated development of a parallel system for distributed streaming data processingDmytro Titov, Anatoliy Doroshenko, Olena Yatsenko. 96-104 [doi]
- Research and development of Johnson's algorithm parallel schemes in GPGPU technologySergiy Pogorilyy, Maxim Slynko. 105-112 [doi]
- Peterson's algorithm total correctness proof in IPCLAndrey Zhygallo. 113-118 [doi]
- Correctness Property Proof for the Banking System for Money Transfer PaymentsYulia Ostapovska, Taras Panchenko, Nataliya Polishchuk, Mykita Kartavov. 119-132 [doi]
- Transformation of the legacy code on Fortran for scalability and cloud computingAnatoliy Doroshenko, Volodymir Khavryuchenko, Evgeni Tulika, Kostiantyn Zhereb. 133-140 [doi]
- Methods of parallel computing for multilevel fuzzy Takagi-Sugeno systemsSergyi Yershov, Roman Ponomarenko. 141-149 [doi]
- Machine-learning methods for text named entity recognitionOlexander Marchenko. 150-157 [doi]
- Method of forming multi-leveled sequential patternsOlexandra Moldavskaya. 158-163 [doi]
- Application of deep learning and computer vision frameworks for solving video context prediction problemDmytro Voloshyn. 164-169 [doi]
- Fuzzy probability and fuzzy eventsOlexander I. Provotar, Olexiy Vasylenko, Olexander O. Provotar. 170-178 [doi]
- Modeling technology based on fuzzy object-oriented Bayesian belief networksSergey Yershov, Felix Kostukevich. 179-187 [doi]
- Semantic Wiki resources and their use for the construction of personalized ontologiesJulia Rogushina. 188-195 [doi]
- Usage of AI-planning techniques to solve problems of Web-services compositionOlga Zakharova. 196-203 [doi]
- Processing of activity of Wiki resources users for development of their ontological modelJulia Rogushina, Irina Grishanova. 204-210 [doi]
- Extension of the UML specifications for modeling of the semantic objectsOlexander Novitckiy. 211-219 [doi]
- Problem of data analysis and forecasting using decision trees methodTetiana Lytvynenko. 220-226 [doi]
- Contact center load forecasting and operator schedule planningKateryna Chernichenko, Anastasya Kapkanets, Taras Panchenko. 227-236 [doi]
- The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materialsIurii Krak, Olexander Barmak, Olexander Mazurets. 237-245 [doi]
- Development of meteorological forecasting web portal on multiprocessor platformOlexiy Beketov, Evgeniy Vitriak, Igor Myronenko, Olga Ovdii. 246-253 [doi]
- Simulations of hypertrophied heart's hemodynamicsTetiana Aksenova. 254-263 [doi]