No 2-3 (2020)

DOI: https://doi.org/10.15407/pp2020.02-03

Special issue. Proceeding of  the UkrProg'2020

Full Issue

View or download the full issue PDF (Українська)

Table of Contents

Information systems

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
S.M. Pryima, О.V. Strokan', D.V. Lubko, Yu.O. Lytvyn, N.І. Bilyk
PDF (Українська)
11-21
WEB-system for the level of regional development evaluation
O.I. Pursky, T.M. Melnyk, O.A. Kharchenko, V.F. Gamaliy
PDF (Українська)
22-30
Model of information object for digital library and its verification
A.V. Novitsky, V.A. Reznichenko
PDF (Українська)
31-38
Context WEB-services matching as a means of search query. Ontological approaches
O.V. Zakharova
PDF (Українська)
39-49
Methods and tools for developing an information system for validation of non-formal learning outcomes
S.M. Pryima, О.V. Strokan', J.V. Rogushina, A.Y. Gladun, A.A. Mozhovenko
PDF (Українська)
50-60

Educational and training problems of programming

Ontological methods and tools for semantic extension of the media WIKI technology
J.V. Rogushina, I.J. Grishanova
PDF
61-73
Description model of programming style ecosystem
N.A. Sydorov, N.N. Sydorova, E.N. Sydorov
PDF (Русский)
74-81
Storage systems for IT infrastructure
S.Yu. Punda
PDF (Українська)
82-93
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
V.V. Dyvak, Yu.Yu. Yurchenko, P.G. Demidov
PDF (Українська)
94-102

Parallel programming. Distributed Systems and Networks

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
А.Yu. Doroshenko, O.G. Beketov, M.M. Bondarenko, О.А. Yatsenko
PDF (Українська)
103-114
Improving performance of Python code using rewriting rules technique
K.A. Zhereb
PDF (Українська)
115-125
Parallel algorithms optimization using Actor Model
А.Yu. Doroshenko, E.M. Tulika
PDF (Українська)
126-137

Applied Software

About using special data structures in coverage algorithms
O.N. Paulin, N.O. Komleva
PDF (Русский)
138-148
Models of concurrent program running in resource constrained environment
D.V. Rahozin
PDF
149-156
Static analysis of .NET programs using rewriting rules
T.A. Mamedov, А.Yu. Doroshenko, R.S. Shevchenko
PDF (Українська)
157-163
Domain engineering approach of software requirements analysis
O.V. Chebanyuk, O.V. Palahin, K.K. Markov
PDF
164-172
Recognition of emotional expressions using the grouping crowdings of characteristic mimic states
O.V. Barmak, E.A. Manziuk, O.D. Kalyta, Iu. Krak, V.O. Kuznetsov, A.I. Kulias
PDF (Українська)
173-181

Theory and Methodology of Programming

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak
PDF (Українська)
182-197
Elements of concrete algorithmics: computability and solvability
O.I. Provotar, O.O. Provotar
PDF (Українська)
198-207
Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix
O.M. Khimich, V.A. Sydoruk, A.N. Nesterenko
PDF (Українська)
208-217

Еxpert and intelligent information systems

Decision support system for quality management in study process
N.O. Komleva, V.V. Liubchenko, S.L. Zinovatna
PDF (Українська)
218-227
Electronic demography decision making system
G.Ch. Nabibekova
PDF (Русский)
228-236
The impact of cloud services pricing on provider profit, consumer surplus, and social welfare
V.M. Gorbachuk, S.O. Gavrylenko
PDF (Українська)
237-245

Models and facilities for data and knowledge bases

Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal)
P.I. Andon, J.V. Rogushina, I.Yu. Grishanova, V.A. Reznichenko, A.M. Kyridon, A.V. Aristova, A.O. Tishchenko
PDF (Українська)
246-258
Knowledge bases and description logics applications to natural language texts analysis
H.I. Hoherchak
PDF (Українська)
259-269

Information protection

Encryption system based on abelian groups and rings
S.L. Kryvyi
PDF (Українська)
270-277
Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects
A.I. Semenchenko, V.L. Pleskach, O.A. Zaiarnyi, M.V. Pleskach
PDF (Українська)
278-286

Methods and facilities of software engineering

About an optimal control for a "predator-prey" system
S.V. Pashko
PDF (Українська)
287-294

Machine learning methods

Automated methods of coherence evaluation of Ukrainian texts using machine learning techniques
A.A. Kramov, S.D. Pogorilyy
PDF (Українська)
295-303
The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar
M.A. Kosovets, L.M. Tovstenko
PDF
304-312
Neural networks’ learning process acceleration
L. Katerynych, M. Veres, E. Safarov
PDF
313-321
Method of information obtaining from ontology on the basis of a natural language phrase analysis
A.A. Litvin, V.Yu. Velychko, V.V. Kaverynskyi
PDF (Русский)
322-330
Efficient increasing of the mutation score during model-based test suite generation
A. Kolchin, S. Potiyenko, T. Weigert
PDF
331-340
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
O.V. Palagin, V.Yu. Velychko, K.S. Malakhov, O.S. Shchurov
PDF
341-351
Developing a semantic image model using machine learning based on convolutional neural networks
P.I. Andon, A.M. Glybovets, V.V. Kuryliak
PDF (Українська)
352-361
About the influence of features of fitness-functions on the convergence of the genetic algorithm
I.O. Lukianov, F.A. Lytvynenko
PDF (Русский)
362-367
Validation of correctness of autotuning code transformations with rewriting rules technique
P.A. Ivanenko
PDF (Українська)
368-374
Application of machine learning to improving numerical weather prediction
А.Yu. Doroshenko, V.M. Shpyg, R.V. Kushnirenko
PDF (Українська)
375-383
Construction of diagnostic expert-medical system using neural networks
M.M. Glybovets, K.V. Salata, N.A. Tkach
PDF (Українська)
384-391
Causal inference from data. On some inadequacy problems of structures with hidden causes
O.S. Balabanov
PDF (Українська)
392-406
Application of deep learning technology for creating intellectual autonomous machines
O.S. Bilokon
PDF (Українська)
407-418