Browse Title Index

Issue Title
No 4 (2014) Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері Abstract   PDF (Ukrainian)
А.Yu. Doroshenko, O.G. Beketov, O.A. Yatsenko, I.A. Vitriak, T.O. Pavlyuchin
V.Yu. Vinnik
No 2-3 (2020) Efficient increasing of the mutation score during model-based test suite generation Abstract   PDF
A. Kolchin, S. Potiyenko, T. Weigert
No 2-3 (2020) Electronic demography decision making system Abstract   PDF (Russian)
G.Ch. Nabibekova
No 2-3 (2020) Elements of concrete algorithmics: computability and solvability Abstract   PDF (Ukrainian)
O.I. Provotar, O.O. Provotar
No 2-3 (2020) Encryption system based on abelian groups and rings Abstract   PDF (Ukrainian)
S.L. Kryvyi
No 2-3 (2018) Equivalence of two parallel execution systems Abstract   PDF (Ukrainian)
T. V. Panchenko, S. Fabunmi
No 1 (2012) Essential issues of modern floating point arithmetic Abstract   PDF (Russian)
R.A. Iushchenko
No 4 (2016) Evolutionary games in TCP networks with speed restriction policies Abstract   PDF (Russian)
O.P. Ignatenko, O.A. Molchanov
No 2-3 (2020) Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal) Abstract   PDF (Ukrainian)
P.I. Andon, J.V. Rogushina, I.Yu. Grishanova, V.A. Reznichenko, A.M. Kyridon, A.V. Aristova, A.O. Tishchenko
No 2 (2021) Extended performance accounting using Valgrind tool Abstract   PDF
D.V. Rahozin, A.Yu. Doroshenko
No 2-3 (2016) Extending UML specification for semantic modeling objects Abstract   PDF (Ukrainian)
A.V. Novitsky
No 2-3 (2018) Extension of the program synthesis system to analyze large data sets Abstract   PDF (Ukrainian)
O.M. Ovdii
No 3-4 (2022) Extracting structure from text documents based on machine learning Abstract   PDF
K.A. Kudim, G.Yu. Proskudina
No 3-4 (2022) Features of building recommendation systems based on neural network technology using multithreading Abstract   PDF
N.O. Komleva, S.L. Zinovatna, V. V. Liubchenko, O.M. Komlevoi
No 2-3 (2012) Features of implementation of simulation processes based on DATA FARMING methodologies Abstract   PDF (Ukrainian)
E.A. Krikovlyuk, V.A. Pepelyaev, M.A. Sahnyuk
No 1 (2012) Features of knowledge representation of an estimation of situations during situational management of protection of zones of the responsibility Abstract   PDF (Ukrainian)
A.L. Yalovets, V.A. Alekseev, V.S. Tereshchenko
No 2 (2015) Features of the modern automation systems of education quality control. Comparative analysis Abstract   PDF (Russian)
E.N. Gajtan
No 3 (2019) First-order composition-nominative logics with predicates of weak equality and of strong equality Abstract   PDF (Ukrainian)
S.S. Shkilniak
No 3-4 (2022) First-order sequent calculi of logics of quasiary predicates with extended renominations and equality Abstract   PDF (Ukrainian)
О.S. Shkilniak, S.S. Shkilniak
No 3-4 (2022) Flow based bonet traffic detection using AI Abstract   PDF (Ukrainian)
B.O. Panchuk
No 3 (2017) Formal and adaptive methods and software tools of parallel programming Abstract   PDF
А.Yu. Doroshenko, O.G. Beketov, K.A. Zhereb, P.A. Ivanenko, О.М. Ovdii, R.S. Shevchenko, O.A. Yatsenko
No 2-3 (2018) Formal foundations for software model to model transformation operation Abstract   PDF
O.V. Chebanyuk
No 2-3 (2012) Formal model of scientific publication Abstract   PDF (Ukrainian)
V.A. Reznichenko, G.Yu. Proskudina, O.M. Ovdii
No 3-4 (2022) Formal semantics and analysis of tokenomics properties Abstract   PDF
O. O. Letychevskyi, V. S. Peschanenko, M. Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk
201 - 225 of 500 Items << < 4 5 6 7 8 9 10 11 12 13 > >>