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
 
No 1 (2003) УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ Abstract   PDF (Ukrainian)
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 > >>