| Issue | Title | |
| 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 (2024) | Features of data processing and storage using the virtual file system | Abstract PDF (Українська) |
| S.V. Popereshnyak, S.V. Panchenko, O.D. Fedorchenko, S.A. Ilyin | ||
| 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 2-3 (2014) | First-order composition-nominative logics with generalized renominations | Abstract PDF (Українська) |
| M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak | ||
| No 3 (2019) | First-order composition-nominative logics with predicates of weak equality and of strong equality | Abstract PDF (Українська) |
| S.S. Shkilniak | ||
| 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 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-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 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 | ||
| 251 - 275 of 649 Items | << < 6 7 8 9 10 11 12 13 14 15 > >> | |
ISSN 1727-4907 (Print)
EDITORIAL TEAM
» Editor-in-Chief:
Dr. Sci. (Engin.), Senior Research Scientist Igor Sinitsyn (ISS NASU, Ukraine)
» Senior Editor:
Shevchenko V.L. (ISS NASU, Ukraine)
» Editorial Board Members:
Dr. Sci. (Phys. & Math.), Academician of NASU Philip Andon (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksiy Ignatenko (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.) Anatoly Anisimov (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksandr Balabanov (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Engin.), Assoc. Prof. Andrii Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Anatoliy Doroshenko (NTUU "KPI", Ukraine)
Dr. Sci. (Engin.), Prof. Nataliia Kussul (Space Research Institute NASU, Ukraine)
PhD in Computer Science, Assoc. Prof. Artur Korniłowlcz (Institute of Informatics, University of Bialystok, Poland)
Dr. Sci. (Engin.), Assoc. Prof. Nadezhda Nedashkovskaya (Institute for Applied System Analysis of NTUU "KPI", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Nikitchenko (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Serhii Pashko (ISS NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Andrii Peleshchyshyn (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Engin.), Prof. Serhii Pogorilyy (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Engin.), Prof. Volodymyr Pasichnyk (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Alexander Provotar (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Academician of NASU, Prof. Ivan Sergienko (Glushkov Institute of Cybernetics NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Nikolay Sydorov (Interregional Academy of Personnel Management, Ukraine)
Dr. Sci. (Engin.), Prof. Sergii Telenyk (NTUU "KPI", Ukraine)
PhD in Computer Science, Assoc. Prof. Ladislav Hluchy (Institute of Informatics SAS, Slovakia)