Table of Contents

• First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and EqualityStepan S. Shkilniak, Oksana Shkilniak. 3-18 [doi]
• Computation Method of Quasi-Optimal Related Resources Distribution Between Automated Workstations in Local Corporative NetworksOleg Pursky, Valery Kozlov, Tetyana Tomashevska, Volodymyr Dyvak, Nataliia Hordiiko, Mykola Sinitsky. 19-28 [doi]
• Data Stochastic Preprocessing for Sorting AlgorithmsViktor Shynkarenko, Anatoliy Doroshenko, Olena Yatsenko, Valentyn Raznosilin, Kostiantyn Halanin. 29-38 [doi]
• Generation of Multipurpose Formal Models from Legacy CodeStepan Potiyenko, Alexander Kolchin. 39-48 [doi]
• Massively Parallel Program Analysis Using Simulation of Graphics Processing UnitDmytro Rahozin. 49-59 [doi]
• Automated Design of a Parallel Program for Modeling Intraparticle Diffusion and Adsorption in Heterogeneous Nanoporous MediaAnatoliy Doroshenko, Mykhaylo Petryk, Dmytro Mykhalyk, Pavlo A. Ivanenko, Olena Yatsenko. 60-69 [doi]
• Software Engineering and Big Data SoftwareNykolay Sydorov, Nika Sydorova. 70-80 [doi]
• Coreference Resolution Algorithm for Ukrainian-Language Texts Using Decision TreesSergiy Pogorily, Pavlo Biletskyi. 81-90 [doi]
• Software Engineering EcosystemsNykolay Sydorov. 91-100 [doi]
• Computing Education & Technological Trends: a Systematic Review StudyOleksandr Nesterenko. 101-112 [doi]
• Conceptual Knowledge Extraction and Retrieval Within Decomposition of Classes and ObjectsDmytro Terletskyi, Sergey Yershov. 113-139 [doi]
• Hospital Information Smart-System for Hybrid E-RehabilitationOleksandr Palagin, Kyrylo Malakhov, Vitalii Velychko, Tetiana Semykopna, Oleksandr Shchurov. 140-157 [doi]
• Semantic Information Resources with a Complex Structure: Knowledge Representation, Scaling and Search ProblemsJulia Rogushina, Irina Grishanova. 158-171 [doi]
• A New Approach to Automatic Ontology Generation from the Natural Language Texts with Complex Inflection Structures in the Dialogue Systems DevelopmentAnna Litvin, Vitalii Velychko, Vladislav Kaverinskiy. 172-185 [doi]
• Applying Description Logics with Concrete Domains to Solve the Problem of Semantic Web Services Discovery and CompositionOlha Zakharova. 186-195 [doi]
• ALCValeriy Reznichenko, Inna Chystiakova. 196-211 [doi]
• Effective Use of Sparse Matrices in Problems of Mathematical ModelingOlexandr Khimich, Aleksandr Popov, Oleksii Chystiakov. 212-221 [doi]
• Use of Ontological Knowledge for Multi-Criteria Comparison of Complex Information ObjectsJulia V. Rogushina, Anatoly Y. Gladun. 222-231 [doi]
• The Concept and Evaluating of Big Data Quality in the Semantic EnvironmentOleksandr Novytskyi. 232-245 [doi]
• Identification of the Native Language of a PersonYana Lazorenko, Viktor Shevchenko, Igor Sinitsyn. 246-255 [doi]
• Multilingual Question-Driven Approach and Software System to Obtaining Information From TextsOlena Chebanyuk. 256-265 [doi]
• Engineering of Software Recommender Systems Based on a Neural Network with MultithreadingNataliia O. Komleva, Svitlana Zinovatna, Vira Liubchenko, Oleksandr Komlevoi. 266-278 [doi]
• Ontology-related Complex for Semantic Processing of Scientific DataOleksandr Palagin, Mykola Petrenko, Mykola Boyko. 279-290 [doi]
• Study on Approaches of Building an Interactive Map in Web ApplicationLarysa Katerynych, Nikita Sazonov. 291-301 [doi]
• Models, Methods and Technological Usage of Expert Knowledge Formalization for Strategic Decision Making under Deep UncertaintyOlena Ilina, Igor Sinitsyn, Olga Slabospitska. 302-314 [doi]
• Flow-based Botnet Detection with AI ModelsBohdan Panchuk. 315-328 [doi]
• Improved Friend-or-Foe Recognition Algorithm DevelopmentMaksym Ogurtsov. 329-341 [doi]
• Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching MethodViktor Horbatiuk, Serhii Horbatiuk. 342-353 [doi]
• Development of OLAP Based Decision Support System for Information Security Monitoring at National, Regional and Corporate LevelsKonul Dashdamirova. 354-363 [doi]
• Secure Authentication Model for Public ClientsBohdan Bodak, Anatoliy Doroshenko. 364-374 [doi]
• Improving Methods for Generating Encryption Keys Using Strange AttractorsVolodymyr Shevchenko, Igor Sinitsyn, Viktor Shevchenko. 375-384 [doi]
• Creation of Applied Software and Methodical Support of a Wireless Sensor Network for AgricultureVolodymyr Romanov, Hanna Antonova, Igor Galelyuka, Volodymyr Hrusha, Anna Kedych, Oleksandr Voronenko. 385-401 [doi]
• Software Package for Evaluation the Stereo Camera Calibration for 3D Reconstruction in Robotics Grasping SystemAlona Vitiuk, Anatoliy Doroshenko. 402-411 [doi]
• Cloud Service for Electrocardiogram Registration for Using in AuthenticationYurii Luhovskyi. 412-421 [doi]
• Information Intermediaries for Digital PlatformsVasyl Gorbachuk, Serge Gavrylenko, Gennadii Golotsukov, Mykhailo Pustovoit. 422-432 [doi]