Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Volltext

Equivalence of two parallel execution systems von Panchenko, T.V., Fabunmi, S.

Volltext

Algebraic patterns of binary code vulnerabilities von Yakovlev, V.M.

Volltext

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series von Shynkarenko, V.I., Zhadan, A.A.

Volltext

Development of software for automated generation of geospatial GeoTIFF data of hydroacoustic echograms for the module of the oceanographic data bank of the National Academy of Scie... von Shundel, Oleksiy, Fedoseienkov, Serhii, Nevierova, Svitlana, Speranska, Nataliia

Volltext

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media von Doroshenko, A.Yu., Petryk, M. R., Mykhalyk, D. M., Ivanenko, P. A., Yatsenko, O.A.

Volltext

Maximum independent sets of graph vertices searching for software projects improvement von Slabospitska, O.O., Stetsyuk, P.I., Khomiak, O.M.

Volltext

Peterson’s algorithm Total correctness proof in IPCL von Zhygallo, A.A.

Volltext

Software system architecture for anthropocentric scheduling of educational workload in higher education institutions von Sytnik, O.O.

Volltext

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

Volltext

Development a method for ensuring the quality of comments in version control systems based on transformer models von Семьонов, Б. О., Погорілий, С. Д.

Volltext

Агентний підхід до впровадження штучного інтелекту (AI) в межах сервіс-орієнтованої архітектури (SOA)... von Petrenko, Anatolii

Volltext