default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUkrPROG 2016: Kyiv, Ukraine
- Ivan Sergienko, Philip Andon:
Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, Ukraine, May 24-25, 2016. CEUR Workshop Proceedings 1631, CEUR-WS.org 2016
Session 1: Theory and Methodology of Programming
- Irina Glushko:
Outer Set Operations of Table Algebra of Infinite Tables. 11-16 - Anton Guba, Olexander Kolchin, Stepan Potiyenko:
A method for business logic extraction from legacy COBOL code of industrial systems. 17-25 - Andrey Novokshonov:
Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages. 26-31 - Volodymyr Mykolaevich Opanasenko, Sergyi L. Kryvyi:
Synthesis of multilevel structures with multiple outputs. 32-37 - Valeriy Reznichenko, Inna Chistyakova:
Integration of the family of extended description logics with relational data model. 38-47 - Stepan S. Shkilniak, Dmytro Volkovytskyi:
Composition-nominative logics of free-quantifier levels. 48-62 - Viktor Shynkarenko, Olena Kuropiatnyk:
Constructive-synthesizing model of text graph representation. 63-72 - Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Pure first-order logics of quasiary predicates. 73-86 - Oleg Paulin, Natalia Komlevaya, Stanislav Marulin:
Macro-operations extraction out of computation process array sorting data. 87-95
Session 2: Parallel Programming. Distributed Systems and Networks
- Dmytro Titov, Anatoliy Doroshenko, Olena Yatsenko:
Automated development of a parallel system for distributed streaming data processing. 96-104 - Sergiy Pogorilyy, Maxim Slynko:
Research and development of Johnson's algorithm parallel schemes in GPGPU technology. 105-112 - Andrey Zhygallo:
Peterson's algorithm total correctness proof in IPCL. 113-118 - Yulia Ostapovska, Taras Panchenko
, Nataliya Polishchuk, Mykita Kartavov:
Correctness Property Proof for the Banking System for Money Transfer Payments. 119-132 - Anatoliy Doroshenko, Volodymir Khavryuchenko, Evgeni Tulika, Kostiantyn Zhereb:
Transformation of the legacy code on Fortran for scalability and cloud computing. 133-140 - Sergyi Yershov, Roman Ponomarenko:
Methods of parallel computing for multilevel fuzzy Takagi-Sugeno systems. 141-149
Session 3: Intelligent Information Technology
- Olexander Marchenko:
Machine-learning methods for text named entity recognition. 150-157 - Olexandra Moldavskaya:
Method of forming multi-leveled sequential patterns. 158-163 - Dmytro Voloshyn:
Application of deep learning and computer vision frameworks for solving video context prediction problem. 164-169 - Olexander I. Provotar, Olexiy Vasylenko, Olexander O. Provotar:
Fuzzy probability and fuzzy events. 170-178 - Sergey Yershov, Felix Kostukevich:
Modeling technology based on fuzzy object-oriented Bayesian belief networks. 179-187 - Julia Rogushina:
Semantic Wiki resources and their use for the construction of personalized ontologies. 188-195 - Olga Zakharova:
Usage of AI-planning techniques to solve problems of Web-services composition. 196-203 - Julia Rogushina, Irina Grishanova:
Processing of activity of Wiki resources users for development of their ontological model. 204-210 - Olexander Novitckiy:
Extension of the UML specifications for modeling of the semantic objects. 211-219
Session 4: Applied Software
- Tetiana Lytvynenko:
Problem of data analysis and forecasting using decision trees method. 220-226 - Kateryna Chernichenko, Anastasya Kapkanets, Taras Panchenko:
Contact center load forecasting and operator schedule planning. 227-236 - Iurii Krak, Olexander Barmak, Olexander Mazurets:
The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials. 237-245 - Olexiy Beketov, Evgeniy Vitriak, Igor Myronenko, Olga Ovdii:
Development of meteorological forecasting web portal on multiprocessor platform. 246-253 - Tetiana Aksenova:
Simulations of hypertrophied heart's hemodynamics. 254-263
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-12-12 22:51 CET 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:
