Browse Title Index


 
Issue Title
 
No 4 (2025) Semantic approach to automated formation of information security systems documentation Abstract   PDF (Українська)
Yu.V. Bova, O.A. Yatsenko
 
No 4 (2009) Semantic properties of composition nominative modal logics Abstract   PDF (Українська)
O.S. Shkilnyak
 
No 1 (2018) Semantic properties of five-valued logics Abstract   PDF (Русский)
M.S. Nikitchenko, E.V. Shyshatska
 
No 2-3 (2024) Semantic technologies as a tool of information support for professionalization of andragogues Abstract   PDF (Українська)
J.V. Rogushina, A.Y. Gladun, O.V. Anishchenko, S.M. Pryima
 
No 1 (2013) Semantic web and Wiki-systems Abstract   PDF (Русский)
A.M. Glibovets, M.M. Glibovets, D.E. Pokopcev, M.O. Sydorenko
 
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 2-3 (2010) Semantics role in integration of applications on the basis of Web services Abstract   PDF (Русский)
P.I. Andon, V.A. Deretskiy
 
No 2-3 (2024) Semantization of WIKI resources: tools, advantages and implementation specifics Abstract   PDF (Українська)
J.V. Rogushina
 
No 1 (2012) Sequent calculi for first-order logics of single-valued quasi-ary predicates Abstract   PDF (Українська)
S.S. Shkilniak
 
No 1 (2011) Sequent calculi of composition nominative modal logics of functional-equational level Abstract   PDF (Українська)
O.S. Shkilnyak
 
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 2 (2013) Service-oriented, distributed real-time systems in digital libraries Abstract   PDF (Українська)
O.V. Novitsky
 
No 2-3 (2010) Simple non-deterministic rewriting in verification Abstract   PDF
A.A. Letichevsky, V.S. Peschanenko
 
No 4 (2024) Simulating of human physiological supersystems: integrative function of organs supporting cell life Abstract   PDF
R.D. Grygoryan, A.B. Degoda, T.V. Lyudovyk, O.I. Yurchak
 
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 2-3 (2024) Software framework for satellite spatial resolution enhancement Abstract   PDF
S.A. Stankevich, S.V. Shklyar, A.R. Lysenko
 
No 2-3 (2014) Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data Abstract   PDF (Українська)
N.M. Kussul, R.M. Besarab, O.M. Kravchenko, M.C. Lavrenuk, B.M. Krugin, K.V. Reva
 
No 2-3 (2014) Software architectural design for the interactive learning of sign language Abstract   PDF (Українська)
Yu.G. Kryvonos, Yu.V. Krak, A.S. Ternov, M.P. Lisnyak
 
701 - 725 of 912 Items << < 24 25 26 27 28 29 30 31 32 33 > >>