Browse Title Index

Issue Title
No 2-3 (2012) Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras Abstract   PDF (Українська)
O.M. Maksymets
No 2 (2021) Security basic model for applied tasks of the distributed information system Abstract   PDF
Y.S. Rodin, I.P. Sinitsyn
No 3-4 (2022) Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures Abstract   PDF
E.A. Manziuk, O.V. Barmak, Iu.V. Krak, O.A. Pasichnyk, P.M. Radiuk, O.V. Mazurets
No 4 (2015) Semantic annotation of Web-services Abstract   PDF (Українська)
O.V. Zakharova
No 1 (2018) Semantic properties of five-valued logics Abstract   PDF (Русский)
M.S. Nikitchenko, E.V. Shyshatska
No 2-3 (2016) Semantic Wiki-resources and their use for the construction of personalized ontologies Abstract   PDF (Русский)
J.V. Rogushina
No 1 (2020) Semantics and pragmatics of programming language ASAMPL Abstract   PDF
Y.S. Sulema, V.V. Glinskii
No 1 (2012) Sequent calculi for first-order logics of single-valued quasi-ary predicates Abstract   PDF (Українська)
S.S. Shkilniak
No 2-3 (2020) Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement Abstract   PDF (Українська)
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak
No 3 (2023) Simulating of human physiological supersystems: interactions of cardiovascular, thermoregulatory and respiratory systems Abstract   PDF
R.D. Grygoryan, A.G. Degoda, T.V. Lyudovyk, O.I. Yurchak
No 4 (2023) Simulating of human physiological supersystems: modeling of kidney and bladder functions Abstract   PDF
R.D. Grygoryan, A.G. Degoda, T.V. Lyudovyk, O.I. Yurchak
No 2-3 (2018) Simulation and genetic optimization of control systems by LabVIEW programming Abstract   PDF (Українська)
V.A. Zherebko, O.A. Pisarenko, V.P. Drabynko
No 3-4 (2022) Simulation of optimal pursuit strategies with simple motion Abstract   PDF (Українська)
S.V. Pashko
No 4 (2023) Simulation of the autonomous maze navigation using the NEAT algorithm Abstract   PDF (Українська)
Ia.V. Omelianenko
No 1 (2023) Simulations of human hemodynamic responses to blood temperature and volume changes Abstract   PDF
R.D. Grygoryan, A.G. Degoda, T.V. Lyudovyk, O.I. Yurchak
No 2-3 (2016) Simulations of hypertrophied heart’s hemodynamics Abstract   PDF (Русский)
R.D. Grygoryan, T.V. Aksenova
No 3-4 (2022) Software engineering and big data software Abstract   PDF
N.O. Sydorov, N.M. Sydorova
No 1 (2018) Software engineering ontologies categorization Abstract   PDF
N.A. Sydorov, N.N. Sydorova, I.B. Mendzebrovsky
No 2-3 (2018) Software means of modeling of the vector type of reactive engine control system Abstract   PDF (Українська)
А.Yu. Doroshenko, V.M. Shymkovych, V.O. Fedorenko
No 4 (2023) Software package for adaptive training of robot controllers based on neural networks Abstract   PDF (Українська)
A.Y. Vitiuk, A.Yu. Doroshenko
No 3-4 (2022) Software package for estimation of the stereo camera calibration error in the computer vision system Abstract   PDF (Українська)
A.Ye. Vitiuk, A.Yu. Doroshenko
No 4 (2016) Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation Abstract   PDF (Українська)
A.P. Feseniuk
No 3 (2019) Software system for analyzing cloudiness based on satellite observations Abstract   PDF (Українська)
А.Yu. Doroshenko, V.M. Shpyg, O.M. Ovdii
No 2 (2023) Software system for laser targeting dropped ammunition Abstract   PDF
S.O. Bezpalko, V.M. Shymkovysh, P.I. Kravets, A.O. Novatskyi, L.L. Shymkovysh, А.Yu. Doroshenko
No 1 (2012) Software technology for conducting simulation experiments with mathematical models of physiological systems Abstract   PDF (Українська)
T.V. Aksnova
426 - 450 of 555 Items << < 13 14 15 16 17 18 19 20 21 22 > >>