Browse Title Index

Issue Title
No 2-3 (2012) Применение статистических моделей в инженерии качества процессов производства программных систем Abstract   PDF (Українська)
L.Е. Matveeva, T.N. Gorislavets
No 4 (2014) Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері Abstract   PDF (Українська)
А.Yu. Doroshenko, O.G. Beketov, O.A. Yatsenko, I.A. Vitriak, T.O. Pavlyuchin
V.Yu. Vinnik
No 2-3 (2020) Efficient increasing of the mutation score during model-based test suite generation Abstract   PDF
A. Kolchin, S. Potiyenko, T. Weigert
No 2-3 (2020) Electronic demography decision making system Abstract   PDF (Русский)
G.Ch. Nabibekova
No 2-3 (2020) Elements of concrete algorithmics: computability and solvability Abstract   PDF (Українська)
O.I. Provotar, O.O. Provotar
No 2-3 (2020) Encryption system based on abelian groups and rings Abstract   PDF (Українська)
S.L. Kryvyi
No 2-3 (2018) Equivalence of two parallel execution systems Abstract   PDF (Українська)
T. V. Panchenko, S. Fabunmi
No 1 (2012) Essential issues of modern floating point arithmetic Abstract   PDF (Русский)
R.A. Iushchenko
No 4 (2016) Evolutionary games in TCP networks with speed restriction policies Abstract   PDF (Русский)
O.P. Ignatenko, O.A. Molchanov
No 2-3 (2020) Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal) Abstract   PDF (Українська)
P.I. Andon, J.V. Rogushina, I.Yu. Grishanova, V.A. Reznichenko, A.M. Kyridon, A.V. Aristova, A.O. Tishchenko
No 2 (2021) Extended performance accounting using Valgrind tool Abstract   PDF
D.V. Rahozin, A.Yu. Doroshenko
No 2-3 (2016) Extending UML specification for semantic modeling objects Abstract   PDF (Українська)
A.V. Novitsky
No 2-3 (2018) Extension of the program synthesis system to analyze large data sets Abstract   PDF (Українська)
O.M. Ovdii
No 3-4 (2022) Extracting structure from text documents based on machine learning Abstract   PDF
K.A. Kudim, G.Yu. Proskudina
No 3-4 (2022) Features of building recommendation systems based on neural network technology using multithreading Abstract   PDF
N.O. Komleva, S.L. Zinovatna, V. V. Liubchenko, O.M. Komlevoi
No 2-3 (2012) Features of implementation of simulation processes based on DATA FARMING methodologies Abstract   PDF (Українська)
E.A. Krikovlyuk, V.A. Pepelyaev, M.A. Sahnyuk
No 1 (2012) Features of knowledge representation of an estimation of situations during situational management of protection of zones of the responsibility Abstract   PDF (Українська)
A.L. Yalovets, V.A. Alekseev, V.S. Tereshchenko
No 2 (2015) Features of the modern automation systems of education quality control. Comparative analysis Abstract   PDF (Русский)
E.N. Gajtan
No 3 (2019) First-order composition-nominative logics with predicates of weak equality and of strong equality 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 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
201 - 225 of 508 Items << < 4 5 6 7 8 9 10 11 12 13 > >>