PROBLEMS IN PROGRAMMING

About the Journal: Problems in programming

ISSN: 1727-4907
 
Journal DOI:  https://doi.org/10.15407/pp
 

Founder: National Academy of Sciences of Ukraine, Institute of Software Systems of NAS Ukraine

Publisher: Publishing house "Academperiodika"

Certificate of state registration of print media: КВ № 7490 from 01.07.2003

Type of publication: scientific journal

Topics: the publication extensively covers the activities of NAS of Ukraine, the main problems of organizing and coordinating basic and applied research, current issues of science and innovation activities, the current state and prospects of the most important research areas of natural, technical and social sciences both in Ukraine and in the world, reports on the achievements of research teams and individual researchers

Periodicity: 4 times a year

 
 

No 2-3 (2020)

Special issue. Proceeding of  the UkrProg'2020

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 (Ukrainian)
11-21
WEB-system for the level of regional development evaluation
O.I. Pursky, T.M. Melnyk, O.A. Kharchenko, V.F. Gamaliy
PDF (Ukrainian)
22-30
Model of information object for digital library and its verification
A.V. Novitsky, V.A. Reznichenko
PDF (Ukrainian)
31-38
Context WEB-services matching as a means of search query. Ontological approaches
O.V. Zakharova
PDF (Ukrainian)
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 (Ukrainian)
50-60

Educational and training aspects 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 (Russian)
74-81
Storage systems for IT infrastructure
S.Yu. Punda
PDF (Ukrainian)
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 (Ukrainian)
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 (Ukrainian)
103-114
Improving performance of Python code using rewriting rules technique
K.A. Zhereb
PDF (Ukrainian)
115-125
Parallel algorithms optimization using Actor Model
А.Yu. Doroshenko, E.M. Tulika
PDF (Ukrainian)
126-137

Applied Software

About using special data structures in coverage algorithms
O.N. Paulin, N.O. Komleva
PDF (Russian)
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 (Ukrainian)
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 (Ukrainian)
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 (Ukrainian)
182-197
Elements of concrete algorithmics: computability and solvability
O.I. Provotar, O.O. Provotar
PDF (Ukrainian)
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 (Ukrainian)
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 (Ukrainian)
218-227
Electronic demography decision making system
G.Ch. Nabibekova
PDF (Russian)
228-236
The impact of cloud services pricing on provider profit, consumer surplus, and social welfare
V.M. Gorbachuk, S.O. Gavrylenko
PDF (Ukrainian)
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 (Ukrainian)
246-258
Knowledge bases and description logics applications to natural language texts analysis
H.I. Hoherchak
PDF (Ukrainian)
259-269

Information protection

Encryption system based on abelian groups and rings
S.L. Kryvyi
PDF (Ukrainian)
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 (Ukrainian)
278-286

Methods and facilities of software engineering

About an optimal control for a "predator-prey" system
S.V. Pashko
PDF (Ukrainian)
287-294

Machine learning methods

Automated methods of coherence evaluation of Ukrainian texts using machine learning techniques
A.A. Kramov, S.D. Pogorilyy
PDF (Ukrainian)
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 (Russian)
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 (Ukrainian)
352-361
About the influence of features of fitness-functions on the convergence of the genetic algorithm
I.O. Lukianov, F.A. Lytvynenko
PDF (Russian)
362-367
Validation of correctness of autotuning code transformations with rewriting rules technique
P.A. Ivanenko
PDF (Ukrainian)
368-374
Application of machine learning to improving numerical weather prediction
А.Yu. Doroshenko, V.M. Shpyg, R.V. Kushnirenko
PDF (Ukrainian)
375-383
Construction of diagnostic expert-medical system using neural networks
M.M. Glybovets, K.V. Salata, N.A. Tkach
PDF (Ukrainian)
384-391
Causal inference from data. On some inadequacy problems of structures with hidden causes
O.S. Balabanov
PDF (Ukrainian)
392-406
Application of deep learning technology for creating intellectual autonomous machines
O.S. Bilokon
PDF (Ukrainian)
407-418