Skip to Content

Home / UkrPROG’2020-1



Information Systems

Pryima S., Strokan’ О., Lubko D, Lytvyn Yu., Bilyk N. Development of the information system for semantic identification and documentation of the results of non-formal and informal education

Pursky O., Melnyk T., Kharchenko O., Gamaliy V. WEB-system for the level of regional development evaluation

Novitskyi O., Reznichenko V. Model of information object for digital library and its verification

Zakharova O. Context VEB-services matching as a means of search query. Ontological approaches

Pryima S., Strokan’ О, Rogushina Ju., Gladun A., Mozhovenko A. Methods and tools for developing an information system for validation of non-formal learning outcomes

Educational and Training Aspects of Programming

Rogushina J., Grishanova I. Ontological methods and tools for semantic extension of the media WIKI technology

Sydorov N., Sydorova N., Sydorov E. Description model of programming style ecosystem

Dyvak V., Yurchenko Yu., Demidov P. Scientific substantiation and practical testing of the use of information and communication technologies in the development of economic competence of heads of secondary education institutions

Parallel Programming. Distributed Systems and Networks

Doroshenko A., Beketov O., Bondarenko M., Yatsenko O. Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools

Zhereb K. Improving performance of Python code using rewriting rules technique

Doroshenko A., Tulika E. Parallel algorithms optimization using Actor Model

Applied Software

Paulin O., Komleva N. About using special data structures in coverage algorithms

Rahozin Dm. Models of concurrent program running in resource constrained environment

Mamedov T., Doroshenko A., Shevchenko R. Static analysis of .NET programs using rewriting rules

Chebanyuk O., Palahin O., Markov K. Domain engineering approach of software requirements analysis

Barmak O., Manziuk E., Kalyta O., Krak Iu., Kuznetsov V., Kulias A. Recognition of emotional expressions using the grouping crowdings of characteristic mimic states

Theory and Methodology of Programming

Nikitchenko M., Shkilniak О., Shkilniak S. Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement

Provotar Oleksandr, Provotar Olga. Elements of concrete algorithmics: computability and solvability

Khimich A., Sydoruk V., Nesterenko A. Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix

Expert and Intelligent Information Systems

Komleva N., Liubchenko V., Zinovatna S. Decision support system for quality management in study process

Nabibekova G. Electronic demography decision making system

Gorbachuk V., Gavrylenko S. The impact of cloud services pricing on provider profit, consumer surplus, and social welfare

Models and Facilities for Data and Knowledge Bases

Andon P., Rogushina J., Grishanova I., Reznichenko V., Kyridon A., Aristova A., Tishchenko A. Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal)

Hoherchak H. Knowledge bases and description logics applications to natural language texts analysis

Information Protection

Kryvyi S. Encryption system based on abelian groups and rings

Semenchenko A., Pleskach V., Zaiarnyi O., Pleskach M. Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects

Methods and Means of Computer Modelling

Pashko S. About an optimal control for a “predator-prey” system

Machine Learning Methods

Kramov A., Pogorilyy S. Automated methods of coherence evaluation of Ukrainian texts using machine learning techniques

Kosovets M., Tovstenko L. The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar

Katerynych L., Veres M., Safarov E. Neural networks’ learning process acceleration

Litvin A., Velychko V., Kaverynskyi V. Method of information obtaining from ontology on the basis of a natural language phrase analysis

Kolchin A., Potienko S., Weigert T. Efficient increasing of the mutation score during model-based test suite generation

Palagin O., Velychko V., Malakhov K., Shchurov O. Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology- related approach

  Andon P., Glybovets A., Kuryliak V. Developing a semantic image model using machine learning based on convolutional neural networks

  Lukianov I., Lytvynenko F. About the influence of features of fitness-functions on the convergence of the genetic   algorithm

  Ivanenko P. Validation of correctness of autotuning code transformations with rewriting rules technique

 Doroshenko A., Shpyg V., Kushnirenko R. Application of machine learning to improving numerical weather prediction

 Glybovets M., Salata K., Tkach N. Construction of diagnostic expert-medical system using neural networks

 Balabanov O. Causal inference from data. On some inadequacy problems of structures with hidden causes

 Bilokon O. Aplication of deep learning technology for creating intellectual autonomous machines