|
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 > >> |