Browse Title Index


 
Issue Title
 
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 1 (2025) Flow constructing and optimizing method for composite web service based on Q-learning Abstract   PDF (Українська)
I.Yu. Grishanova, J.V. Rogushina
 
No 1 (2010) Fluid models of dynamic scheduling in computer networks Abstract   PDF (Українська)
O.P. Іgnatenko
 
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 (2011) Formal description of the types and - data structures mixed programmes Abstract   PDF (Українська)
A.Yu. Stenyashin
 
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
 
301 - 325 of 754 Items << < 8 9 10 11 12 13 14 15 16 17 > >>