Browse Title Index


 
Issue Title
 
No 2-3 (2012) Special attention is given to the project of the Informational System "Planned for Science in the NAPN of Ukraine" Abstract   PDF (Українська)
N.T. Zadorozhna, V.A. Petrushko, S.M. Tukalo
 
No 4 (2011) Special relations of logical consequence in logics of quasi-ary predicates Abstract   PDF (Українська)
S.S. Shkilniak
 
No 2-3 (2018) Specialised computer simulator "SimEnPhysiol" Abstract   PDF (Русский)
R.D. Grygoryan, T.V. Aksonova, A.G. Degoda
 
No 2-3 (2014) Specialized search engine system of scientific materials in Ukrainian language with social aspects Abstract   PDF (Українська)
A.M. Glybovets
 
No 1 (2022) Specialized software for simulating dynamic virtual machine consolidation Abstract   PDF (Українська)
E.V. Zharikov, S.F. Telenyk
 
No 2 (2021) Specialized software for simulating the multiple control and modulations of human hemodynamics Abstract   PDF
R.D. Grygoryan, O.I. Yurchak, A.G. Degoda, T.V. Lyudovyk
 
No 2 (2021) Specific features of the use of artificial intelligence in the development of the architecture of intelligent fault-tolerant radar systems Abstract   PDF
M. Коsovets, L. Tovstenko
 
No 2-3 (2018) Specification of the process of the semantic annotation the web services Abstract   PDF (Українська)
O.V. Zakharova
 
No 3 (2013) Spectrum of sequential number pershopordinal compositional-nominative logics Abstract   PDF (Українська)
S.S. Shkilnyak
 
No 4 (2013) Spellchecker based on distributed representations Abstract   PDF (Русский)
P.S. Omelchenko
 
No 1 (2018) Statement of problem of unknown environment recognizing, navigating and path planning by agent Abstract   PDF (Українська)
A.L. Yalovets
 
No 2-3 (2020) Static analysis of .NET programs using rewriting rules Abstract   PDF (Українська)
T.A. Mamedov, А.Yu. Doroshenko, R.S. Shevchenko
 
No 2-3 (2014) Static method of consistency and completeness checking in formal model of distributed software systems Abstract   PDF (Русский)
A.V. Kolchin, O.O. Letichevsky, S.V. Potiyenko
 
No 2-3 (2012) Statistical data analysis for budget planning in the provision of medical and social rehabilitation injured persons Abstract   PDF (Українська)
S.M. Fedorenko, A.V. Chadyuk
 
No 2-3 (2020) Storage systems for IT infrastructure Abstract   PDF (Українська)
S.Yu. Punda
 
No 2-3 (2024) Structure of the algorithm for modeling optimal movement of a compound dynamic system Abstract   PDF (Українська)
O.I. Lysenko, V.L. Shevchenko, O.M. Tachynina, S.O. Ponomarenko, O.H. Guida
 
No 4 (2021) Study of principles, models and methods of FAIR paradigm of scientific data management for analysis for BIG data metadata Abstract   PDF (Українська)
J.V. Rogushina, I.J. Grishanova
 
No 4 (2023) Study of the efficiency of some deterministic preprocessing methods for sorting algorithms Abstract   PDF (Українська)
V.I. Shynkarenko, O.V. Makarov
 
No 2-3 (2012) Support for the management of variability in the family of software systems Abstract   PDF (Українська)
A.L. Kolesnik
 
No 4 (2012) Survey on modern tools and methods of formal models verification Abstract   PDF (Русский)
A.V. Kolchin, A.A. Letichevsky, S.V. Potiyenko, V.S. Peschanenko
 
No 4 (2003) Symbolic computation system for dynamical application programming Abstract   PDF (Українська)
A.Yu. Doroshenko, R.S. Shevchenko
 
No 2-3 (2016) Synthesis multilevel structure with multiple output Abstract   PDF (Русский)
V.M. Opanasenko, S.L. Kryvyi
 
No 2 (2003) Synthesis of an automaton specified by the set of clauses Abstract   PDF (Українська)
A.N. Chebotarev
 
No 3 (2025) Synthesis of evolutionary mechanisms in the development of an adaptive optimization algorithm Abstract   PDF (Українська)
Y.V. Ivanchuk, O.O. Borysuk
 
No 2-3 (2018) System aspects of design guaranteased cloud calculations Abstract   PDF (Русский)
N.A. Kosovets, I.E. Shchetynin, L.N. Tovstenko
 
626 - 650 of 761 Items << < 21 22 23 24 25 26 27 28 29 30 > >>