UkrPROG’2020
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