default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUkrPROG 2022: Kyiv, Ukraine
- Igor Sinitsyn, Philip Andon:
Proceedings of the 13th International Scientific and Practical Programming Conference, UkrPROG 2022, Kyiv, Ukraine, October 11-12, 2022. CEUR Workshop Proceedings 3501, CEUR-WS.org 2023
Theory and Methodology of Programming
- Stepan S. Shkilniak, Oksana Shkilniak:
First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality. 3-18 - Oleg Pursky, Valery Kozlov, Tetyana Tomashevska, Volodymyr Dyvak, Nataliia Hordiiko, Mykola Sinitsky:
Computation Method of Quasi-Optimal Related Resources Distribution Between Automated Workstations in Local Corporative Networks. 19-28 - Viktor Shynkarenko, Anatoliy Doroshenko, Olena Yatsenko, Valentyn Raznosilin, Kostiantyn Halanin:
Data Stochastic Preprocessing for Sorting Algorithms. 29-38 - Stepan Potiyenko, Alexander Kolchin:
Generation of Multipurpose Formal Models from Legacy Code. 39-48
Parallel Programming. Distributed Systems and Networks
- Dmytro Rahozin:
Massively Parallel Program Analysis Using Simulation of Graphics Processing Unit. 49-59 - Anatoliy Doroshenko, Mykhaylo Petryk, Dmytro Mykhalyk, Pavlo A. Ivanenko, Olena Yatsenko:
Automated Design of a Parallel Program for Modeling Intraparticle Diffusion and Adsorption in Heterogeneous Nanoporous Media. 60-69
Methods and Means of Software Engineering
- Nykolay Sydorov, Nika Sydorova:
Software Engineering and Big Data Software. 70-80 - Sergiy Pogorilyy, Pavlo Biletskyi:
Coreference Resolution Algorithm for Ukrainian-Language Texts Using Decision Trees. 81-90 - Nykolay Sydorov:
Software Engineering Ecosystems. 91-100 - Oleksandr Nesterenko:
Computing Education & Technological Trends: a Systematic Review Study. 101-112
Models and Facilities for Data and Knowledge Bases
- Dmytro Terletskyi, Sergey Yershov:
Conceptual Knowledge Extraction and Retrieval Within Decomposition of Classes and Objects. 113-139 - Oleksandr V. Palagin, Kyrylo Malakhov, Vitalii Velychko, Tetiana Semykopna, Oleksandr Shchurov:
Hospital Information Smart-System for Hybrid E-Rehabilitation. 140-157 - Julia Rogushina, Irina Grishanova:
Semantic Information Resources with a Complex Structure: Knowledge Representation, Scaling and Search Problems. 158-171 - Anna Litvin, Vitalii Velychko, Vladislav Kaverinskiy:
A New Approach to Automatic Ontology Generation from the Natural Language Texts with Complex Inflection Structures in the Dialogue Systems Development. 172-185 - Olga Zakharova:
Applying Description Logics with Concrete Domains to Solve the Problem of Semantic Web Services Discovery and Composition. 186-195 - Valeriy Reznichenko, Inna Chystiakova:
Tabular Interpretation of the Temporal Description Logic LTLALC. 196-211
Tools for Modeling Processes and Objects
- Olexandr Khimich, Aleksandr Popov, Oleksii Chystiakov:
Effective Use of Sparse Matrices in Problems of Mathematical Modeling. 212-221
Data Analytics Software
- Julia V. Rogushina, Anatoly Y. Gladun:
Use of Ontological Knowledge for Multi-Criteria Comparison of Complex Information Objects. 222-231 - Oleksandr Novytskyi:
The Concept and Evaluating of Big Data Quality in the Semantic Environment. 232-245 - Yana Lazorenko, Viktor Shevchenko, Igor Sinitsyn:
Identification of the Native Language of a Person. 246-255
Artificial Intelligence Software
- Olena Chebanyuk:
Multilingual Question-Driven Approach and Software System to Obtaining Information From Texts. 256-265 - Nataliia O. Komleva, Svitlana Zinovatna, Vira Liubchenko, Oleksandr Komlevoi:
Engineering of Software Recommender Systems Based on a Neural Network with Multithreading. 266-278 - Oleksandr V. Palagin, Mykola Petrenko, Mykola Boyko:
Ontology-related Complex for Semantic Processing of Scientific Data. 279-290
Information Systems
- Larysa Katerynych, Nikita Sazonov:
Study on Approaches of Building an Interactive Map in Web Application. 291-301 - Olena Ilina, Igor Sinitsyn, Olga Slabospitska:
Models, Methods and Technological Usage of Expert Knowledge Formalization for Strategic Decision Making under Deep Uncertainty. 302-314
Information Protection
- Bohdan Panchuk:
Flow-based Botnet Detection with AI Models. 315-328 - Maksym Ogurtsov:
Improved Friend-or-Foe Recognition Algorithm Development. 329-341 - Viktor Horbatiuk, Serhii Horbatiuk:
Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching Method. 342-353 - Konul Dashdamirova:
Development of OLAP Based Decision Support System for Information Security Monitoring at National, Regional and Corporate Levels. 354-363 - Bohdan Bodak, Anatoliy Doroshenko:
Secure Authentication Model for Public Clients. 364-374 - Volodymyr Shevchenko, Igor Sinitsyn, Viktor Shevchenko:
Improving Methods for Generating Encryption Keys Using Strange Attractors. 375-384
Application Software
- Volodymyr Romanov, Hanna Antonova, Igor Galelyuka, Volodymyr Hrusha, Anna Kedych, Oleksandr Voronenko:
Creation of Applied Software and Methodical Support of a Wireless Sensor Network for Agriculture. 385-401 - Alona Vitiuk, Anatoliy Doroshenko:
Software Package for Evaluation the Stereo Camera Calibration for 3D Reconstruction in Robotics Grasping System. 402-411 - Yurii Luhovskyi:
Cloud Service for Electrocardiogram Registration for Using in Authentication. 412-421 - Vasyl Gorbachuk, Serge Gavrylenko, Gennadii Golotsukov, Mykhailo Pustovoit:
Information Intermediaries for Digital Platforms. 422-432
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
