Browse Title Index


 
Issue Title
 
No 2-3 (2018) Equivalence of two parallel execution systems Abstract   PDF (Українська)
T.V. Panchenko, S. Fabunmi
 
No 1 (2012) Essential issues of modern floating point arithmetic Abstract   PDF (Русский)
R.A. Iushchenko
 
No 4 (2016) Evolutionary games in TCP networks with speed restriction policies Abstract   PDF (Русский)
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 (Українська)
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 (Українська)
A.V. Novitsky
 
No 2-3 (2018) Extension of the program synthesis system to analyze large data sets Abstract   PDF (Українська)
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 (2024) Features of data processing and storage using the virtual file system Abstract   PDF (Українська)
S.V. Popereshnyak, S.V. Panchenko, O.D. Fedorchenko, S.A. Ilyin
 
No 2-3 (2012) Features of implementation of simulation processes based on DATA FARMING methodologies Abstract   PDF (Українська)
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 (Українська)
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 (Русский)
E.N. Gajtan
 
No 3 (2019) First-order composition-nominative logics with predicates of weak equality and of strong equality Abstract   PDF (Українська)
S.S. Shkilniak
 
No 4 (2024) First-order logics with partial predicates for checking variable definedness Abstract   PDF (Українська)
S.S. Shkilniak
 
No 3-4 (2022) First-order sequent calculi of logics of quasiary predicates with extended renominations and equality Abstract   PDF (Українська)
О.S. Shkilniak, S.S. Shkilniak
 
No 3-4 (2022) Flow based bonet traffic detection using AI Abstract   PDF (Українська)
B.O. Panchuk
 
No 2-3 (2024) Forecasting electrical energy consumption for 24 hours ahead at country scale Abstract   PDF (Українська)
A.Yu. Doroshenko, D.V. Zhora, V.O. Haidukevych, Y.O. Haidukevych, O.A. Yatsenko
 
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 (Українська)
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
 
No 2-3 (2024) Formal verification of the properties of coreferent resolution model based on decision trees Abstract   PDF (Українська)
S.D. Pogorilyy, M. S. Slynko, P.V. Biletskyi
 
No 2-3 (2024) Formal verification of deep neural networks Abstract   PDF (Українська)
B.O. Panchuk
 
No 2-3 (2012) Formalization for sign units creation based on 3d human model for Ukrainian sign language Abstract   PDF (Українська)
Yu.G. Krivonos, Yu.V. Krak, O.V. Barmak, G.M. EfImov
 
226 - 250 of 590 Items << < 5 6 7 8 9 10 11 12 13 14 > >>