| Issue | Title | |
| 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 (2026) | Formal model for verification of personalized educational trajectories based on ALLOY | Abstract PDF (Українська) |
| M.Yu. Poltoratskyi, A.S. Volianiuk | ||
| 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 (2010) | Formalized design and synthesis of a parallel program for constructing Voronoi diagrams | Abstract PDF (Українська) |
| K.A. Berezovsky, A.Yu. Doroshenko, О.A. Yatsenko | ||
| 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 (2010) | Formal-logical approach to building analysis systems of knowledge in different domains | Abstract PDF (Українська) |
| O.V. Palagin, S.L. Kryvyi, D.S. Bibikov, V.Yu. Velychko, K. Markov, K. Ivanova, I. Mitov | ||
| No 2 (2011) | Formal description of the types and - data structures mixed programmes | Abstract PDF (Українська) |
| A.Yu. Stenyashin | ||
| No 2 (2026) | Formation of recommendations for critical infrastructure objects based on streaming data, machine learning and artificial intelligence approaches | Abstract PDF (Українська) |
| V.G. Huskova, V.I. Shkolnikov, B.S. Lysov, A.A. Khalygov | ||
| No 2-3 (2012) | Formation of the readiness of future bachelors of software engineering for professional communication | Abstract PDF |
| N.M. Sidorova | ||
| No 3-4 (2022) | Friend-or-Foe Recognition Algorithm Development for the Corresponding Software Building | Abstract PDF |
| M.I. Ogurtsov | ||
| 351 - 375 of 931 Items | << < 10 11 12 13 14 15 16 17 18 19 > >> | |
ISSN 1727-4907 (Print)
EDITORIAL BOARD
» Editor-in-Chief:
Dr. Sci. (Engin.), Corr. Memb. of the NASU Igor Sinitsyn (ISS NASU, Ukraine)
» Editorial Board Members:
Dr. Sci. (Engin.), Prof. Viktor Shevchenko (ISS NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Andrii Hlybovets (National University of Kyiv-Mohyla Academy, Ukraine)
PhD, Research Fellow, da Costa Avelar Pedro Henrique (School of Computing, Visualisation and Data Science, University of Manchester, UK)
Dr. Sci. (Phys. & Math.), Prof. Anatoliy Doroshenko (NTUU "KPI", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Oleksiy Ignatenko (Ukrainian Catholic University, Ukraine)
PhD in Computer Science, Prof. Rodrigo Martinez Bejar (University of Murcia, Spain)
PhD (Phys.& Math.), Associate Professor Svitlana Popereshnyak (NTUU "KPI", Ukraine).
Dr. Sci. (Engin.), Prof. Serhii Pogorilyy (Taras Shevchenko National University, Ukraine)
PhD in Computer Science, Prof. Igor Potapov (University of Liverpool, UK)
PhD (Phys.& Math.), Julia Rogushina (ISS NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Mykola Sydorov (Interregional Academy of Personnel Management, Ukraine)
Dr. Sci. (Engin.), Prof. Sergii Telenyk (NTUU "KPI", Ukraine)
» Secretary of the editorial board:
PhD (econ), associate professor Valentyn Yegorov (ISS NASU, Ukraine)
Language
User
Information
Keywords
ALC
Semantic Web
algorithm
artificial intelligence
cloud computing
deep learning
description logic
genetic algorithm
information technology
logic
logical consequence
machine learning
mathematical model
model
natural language processing
neural network
ontology
parallel computing
predicate
semantic search
software engineering