Browse Title Index


 
Issue Title
 
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 (2014) Formal semantics of aggregate operations of multiset table algebra Abstract   PDF (Українська)
I.M. Glushko
 
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
 
No 3 (2013) Formalized design and synthesis of parallel programs for videographic shortcuts Abstract   PDF (Українська)
A.Yu. Doroshenko, O.G. Beketov, K.A. Zhereb, О.A. Yatsenko
 
No 2-3 (2014) Formalized designing and generation of parallel program for numerical weather forecasting task Abstract   PDF (Українська)
A.Yu. Doroshenko, O.G. Beketov, V.A. Prusov, Yu.M. Turchak, E.A. Yatsenko
 
No 2-3 (2012) Formation of the readiness of future bachelors of software engineering for professional communication Abstract   PDF
N.M. Sidorova
 
No 3-4 (2022) Friend-or-Foe Recognition Algorithm Development for the Corresponding Software Building Abstract   PDF
M.I. Ogurtsov
 
No 3-4 (2022) From temporal data to dynamic causal models Abstract   PDF (Українська)
O.S. Balabanov
 
No 4 (2024) Functional stability of intelligent systems in decision-making Abstract   PDF (Українська)
G.V. Shuklin, O.V. Barabash, A.B. Grebennikov
 
No 3 (2017) Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine Abstract   PDF (Русский)
F.I. Andon, K.A. Kudim, K.G. Matuhina, A.V. Novitsky, G.Yu. Proskudina, V.A. Reznichenko
 
No 2-3 (2016) Fundamentals for Cost Estimating of Applied Software Development and Modification Abstract   PDF (Українська)
Ph.I. Andon, P.P. Ignatenko, I.P. Sinitsyn, O.A. Slabospitskaya
 
No 2 (2023) Fuzzy data in semantic Wiki-resources: models, sources and processing methods Abstract   PDF (Українська)
J.V. Rogushina
 
No 2-3 (2016) Fuzzy probability and fuzzy events Abstract   PDF (Українська)
O.I. Provotar, O.V. Vasylenko, O.O. Provotar
 
No 3 (2015) Game model of user interaction in heterogeneous distributed environments Abstract   PDF (Українська)
O.P. Ignatenko, P.A. Ivanenko, O.B. Sinetskyi, O.V. Nikolenko
 
No 1 (2016) Game theoretic modeling of AIMD network equilibrium Abstract   PDF
O.P. Ignatenko
 
No 3 (2017) Game-theoretic approach to the network security problem Abstract   PDF (Українська)
O.P. Ignatenko
 
No 2-3 (2018) Game-theory analysis of multi-processor schedulers. Simulation model Abstract   PDF (Українська)
O.P. Ignatenko, V.I. Odobesku
 
No 3-4 (2022) Generation of multipurpose formal models from legacy code Abstract   PDF (Українська)
S.V. Potiyenko, A.V. Kolchin
 
No 2-3 (2024) Genetic algorithm for structural adaptation of sorting algorithms Abstract   PDF (Українська)
V.I. Shinkarenko, O.V. Makarov
 
276 - 300 of 674 Items << < 7 8 9 10 11 12 13 14 15 16 > >>