Mathematical methods of planning in systems consisted of rational agents by Sinitsyn, I.P., Doroshenko, A.Yu., Pashko, S.V.

Get full text

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph by Nesterenko, K.P., Stetsenko, I.V.

Get full text

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph by Terentiev, R.V., Ivanenko, P.А.

Get full text

Formal verification of deep neural networks by Panchuk, B.O.

Get full text

Application of coevolution strategy to solve the problem of autonomous navigation trough the maze by Omelianenko, Ia.V., Doroshenko, A.Yu., Rodin, Ye.S.

Get full text

Neuro-symbolic approach for the biological systems and processes research by Letychevskyi, O.O., Tarasich, Yu.H.

Get full text

Neural network application to pseudorandom sequence generation simulation by Lesyk, V.O., Doroshenko, A.Yu.

Get full text

Method for political propaganda detection in internet content using neural network natural language processing tools by Krak, Iu.V., Didur, V.O., Molchanova, M.O., Mazurets, O.V., Sobko, O.V., Zalutska, O.O., Barmak, O.V.

Get full text

Human face recognition system in video stream by Popereshnyak, S.V., Skoryk, R.O., Kuptsov, D.V., Kravchenko, R.V.

Get full text

Models and tools for effective-ness increase of requirements traceability in agile-software development by Tkachuk, M.V., Gamzayev, R.O., Mayr, H.C., Bolshutkin, V.O.

Get full text

A model of centralized supply chains with independent behavior of separate nodes by Kuznetsov, V.O., Krak, Iu.V., Barmak, O.V., Kudin, H.I., Kulias, A.I., Trokhymchuk, R.M.

Get full text

Comparative analysis of height-based vegetation segmentation methods: evaluating efficiency and accuracy by Tsaryniuk, O.V., Glybovets, A.M.

Get full text

Formal verification of the properties of coreferent resolution model based on decision trees by Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.

Get full text

About one approach to automatic creation of formal queries to ontological knowledge bases by Palagin, O.V., Petrenko, M.G., Litvin, A.A., Boyko, M.O.

Get full text

Features of data processing and storage using the virtual file system by Popereshnyak, S.V., Panchenko, S.V., Fedorchenko, O.D., Ilyin, S.A.

Get full text

Routing technology based on virtualization software-defined networking concept by Kravchenko, Yu.V., Herasymenko, K.V., Starkova, O.V., Bulgakova, A.Y.

Get full text

Transforming governance: enabling scalable and adaptable decentralized networks on EVM-compatible blockchain by Katerynych, L.O., Veres, M.M., Riabov, K.S.

Get full text

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model by Kaverynskyi, V.V., Litvin, A.A., Palagin, O.V.

Get full text

Application of neural networks in OLAP-systems by Nabibayeva, G.Ch.

Get full text

Development of the intelligent control system of an unmanned car by Dakhno, N.B., Miroshnyk, A.P., Kravchenko, Yu.V., Leshchenko, O.O., Dudnik, A.S.

Get full text