| Issue | Title | |
| No 4 (2013) | The formal basic developing and testing the distributed program systems | Abstract PDF (Українська) |
| K.M. Lavrischeva, A.Yu. Stenyashin | ||
| No 2 (2003) | The Formal method of Component Basic Programming | Abstract Без заголовку (Русский) |
| V.N. Grischenko | ||
| No 1 (2009) | The Functions and the Methods for the modern paradigms of the Delphi method support | Abstract PDF (Русский) |
| E.P. Ilyina | ||
| No 4 (2021) | The grammar of Petri-object model visual programming language | Abstract PDF (Українська) |
| А.J. Dyfuchyn, I.V. Stetsenko, E.V. Zharikov | ||
| No 2-3 (2020) | The impact of cloud services pricing on provider profit, consumer surplus, and social welfare | Abstract PDF (Українська) |
| V.M. Gorbachuk, S.O. Gavrylenko | ||
| No 2-3 (2012) | The implementation of legal electronic documents | Abstract PDF (Українська) |
| A.O. Melaschenko, О.С. Скарлат | ||
| No 2-3 (2010) | The integrated approach to the solution of the task of irregular shape objects on plane packing | Abstract PDF (Українська) |
| V.I. Chuprynka, O.O. Khomenko, L.T. Svistunova | ||
| No 1 (2012) | The main functional blocks of the test bench for the archival electronic documents validation | Abstract PDF (Українська) |
| A.O. Melaschenko, O.L. Perevozchikova, O.S. Skarlat | ||
| No 4 (2010) | The means of the apache hadoop for parallel and distributed programs | Abstract PDF (Русский) |
| K.A. Rukhlis, A.Yu. Doroshenko | ||
| No 3-4 (2022) | The method for assessing the connectivity of nodes of wireless episodic networks under the condition of using unmanned aeral vehicles | Abstract PDF (Українська) |
| S.V. Valuiskyi, O.I. Lysenko, S.M. Chumachenko, O.G. Guida, O.V. Furtat, I.O. Sushyn | ||
| No 4 (2008) | The method for forming a fuzzy logical conclusion with the involvement of an expert committee | Abstract PDF (Українська) |
| S.F. Telenik, P.I. Bidyuk, L.O. Korshevnyuk, V.S. Khmelyuk | ||
| No 2-3 (2024) | The method of requirements prioritization in software engineering | Abstract PDF (Українська) |
| O.V. Nesterenko | ||
| No 2-3 (2010) | The method of software building the thickest grid packing | Abstract PDF (Українська) |
| V.I. Chuprynka, O.V. Chebanyuk | ||
| No 2-3 (2010) | The Models of DBMS benchmark | Abstract PDF (Русский) |
| A.A. Blazhko, A.Yu. Levchenko, A.S. Prigozhev | ||
| No 4 (2008) | The models of the quality expert analysis for the decisions made under target programming | Abstract PDF (Русский) |
| E.P. Ilyina | ||
| No 3 (2019) | The modification of the meta-language of normal forms of knowledge | Abstract PDF (Русский) |
| A.F. Kurgaev | ||
| No 1 (2014) | The operating model of communicative informations systems | Abstract PDF (Українська) |
| V.V. Zubenko | ||
| No 2-3 (2010) | The origin and interpretation of Kleene three-valued logics | Abstract PDF (Українська) |
| O.V. Shishatska | ||
| No 2-3 (2010) | The practical approach for realization Semantic Web applications | Abstract PDF (Русский) |
| V.A. Deretskiy, M.M. Bogdanova, S.I. Goroshansky | ||
| No 2-3 (2020) | The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar | Abstract PDF |
| M.A. Kosovets, L.M. Tovstenko | ||
| No 2-3 (2018) | The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials | Abstract PDF (Українська) |
| Yu.V. Krak, O.V. Barmak, O.V. Mazurets | ||
| No 2-3 (2016) | The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials | Abstract PDF (Українська) |
| Yu.V. Krak, O.V. Barmak, O.V. Mazurets | ||
| No 3 (2023) | The problem of automating the planning of forces, means and resources for management of counteraction of emergency situations | Abstract PDF (Українська) |
| A.L. Yalovets | ||
| No 1 (2022) | The problem of developing the architecture of modern cognitive radar system | Abstract PDF |
| M. Коsovets, L. Tovstenko | ||
| No 2-3 (2024) | The problem of distribution and merging of discrete correspondence flows in individual zones of a hierarchical communication network | Abstract PDF (Українська) |
| V.O. Vasyanin | ||
| 826 - 850 of 943 Items | << < 29 30 31 32 33 34 35 36 37 38 > >> | |
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