| Issue | Title | |
| 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 1 (2025) | Flow constructing and optimizing method for composite web service based on Q-learning | Abstract PDF (Українська) |
| I.Yu. Grishanova, J.V. Rogushina | ||
| No 1 (2010) | Fluid models of dynamic scheduling in computer networks | Abstract PDF (Українська) |
| O.P. Іgnatenko | ||
| 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 (2011) | Formal description of the types and - data structures mixed programmes | Abstract PDF (Українська) |
| A.Yu. Stenyashin | ||
| 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 3 (2013) | Formalized design and synthesis of parallel programs for videographic shortcuts | Abstract PDF (Українська) |
| A.Yu. Doroshenko, O.G. Beketov, K.A. Zhereb, О.A. Yatsenko | ||
| 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 | ||
| No 2-3 (2012) | Formation of the readiness of future bachelors of software engineering for professional communication | Abstract PDF |
| N.M. Sidorova | ||
| 301 - 325 of 770 Items | << < 8 9 10 11 12 13 14 15 16 17 > >> | |
ISSN 1727-4907 (Print)
EDITORIAL BOARD
» Editor-in-Chief:
Dr. Sci. (Engin.), Corr. Memb. of the NASU Igor Sinitsyn (ISS NASU, Ukraine)
» Senior Editor:
Dr. Sci. (Engin.), Prof. Viktor Shevchenko (ISS NASU, Ukraine)
» Editorial Board Members:
Dr. Sci. (Phys. & Math.), Academician of NASU Philip Andon (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.) Anatoly Anisimov (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Researcher Yevgeny Borschagivskyy (Chemnitz University of Technology, Germany)
Dr. Sci. (Engin.), Prof. Andrii Hlybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Hlybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Anatoliy Doroshenko (NTUU "KPI", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Oleksiy Ignatenko (Ukrainian Catholic University, Ukraine)
Dr. Sci. (Engin.), Prof. Nataliia Kussul (University of Maryland, USA)
PhD in Computer Science, Prof. Rodrigo Martinez Bejar (University of Murcia, Spain)
Dr. Sci. (Engin.), Prof. Viktoriya Onishchenko (University of Warmia and Mazury, Poland)
Dr. Sci. (Engin.), Prof. Volodymyr Pasichnyk (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Engin.), Prof. Serhii Pogorilyy (Taras Shevchenko National University, Ukraine)
PhD in Computer Science, Prof. Igor Potapov (University of Liverpool, UK)
Dr. Sci. (Phys. & Math.), Prof. Alexander Provotar (Taras Shevchenko National University, Ukraine)
PhD in Computer Science, Prof. Mohamed Salem Abdel-Badikh (Ain Shams University, Egypt)
Dr. Sci. (Phys. & Math.), Academician of NASU, Prof. Ivan Sergienko (Glushkov Institute of Cybernetics NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Mykola 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)
» Secretary of the editorial board:
PhD (econ), associate professor Valentyn Yegorov (ISS NASU, Ukraine)
Language
User
Information
Keywords
ALC
Big Data
Semantic Web
artificial intelligence
cloud computing
deep learning
description logic
genetic algorithm
logic
logical consequence
machine learning
mathematical model
meteorological forecasting
model
natural language processing
network
neural network
ontology
predicate
semantic search
software engineering