Information systems of observation of marine waters and adjacent areas using remotely piloted aircraft за авторством Trysnyuk, Taras V., Mosiichuk, Dmytro I.

Отримати повний текст

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

Отримати повний текст

Constructive-synthesizing modeling of the genetic algorithm chromosomes with encoded sorting algorithms за авторством Shinkarenko, V.I., Makarov, O.V.

Отримати повний текст

Unified process for adaptive Semantic Web service composition за авторством Slabospitskaya, О.A.

Отримати повний текст

Parallel software auto-tuning using statistical modeling and machine learning за авторством Doroshenko, А.Yu., Ivanenko, P.A., Novak, O.S., Yatsenko, O.A.

Отримати повний текст

TermWare3 – term rewriting system, based on context-term calculus за авторством Shevchenko, R.S., Doroshenko, A.Yu.

Отримати повний текст

Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation за авторством Andon, P.I., Sinitsyn, I.P., Ignatenko, P.P., Slabospitskaya, О.А.

Отримати повний текст

Domain engineering approach of software requirements analysis за авторством Chebanyuk, O.V., Palahin, O.V., Markov, K.K.

Отримати повний текст

Designing RESTful API for the e-procurement system in private sector за авторством Doroshenko, А.Yu., Bodak, B.V.

Отримати повний текст

Some aspects of software engineering for AI-based systems за авторством Liubchenko, V.V.

Отримати повний текст

Creation and test of applied software of network of wireless sensors for agriculture за авторством Romanov, V.O., Antonova, H.V., Galelyuka, I.B., Hrusha, V.M., Kedych, A.V., Voronenko, O.V.

Отримати повний текст

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Отримати повний текст

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Отримати повний текст

Algebraic patterns of binary code vulnerabilities за авторством Yakovlev, V.M.

Отримати повний текст

Implementation of the reconstruction process for constructive-synthesizing models of fractal time series за авторством Shynkarenko, V.I., Zhadan, A.A.

Отримати повний текст

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... за авторством Shundel, Oleksiy, Fedoseienkov, Serhii, Nevierova, Svitlana, Speranska, Nataliia

Отримати повний текст

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media за авторством Doroshenko, A.Yu., Petryk, M. R., Mykhalyk, D. M., Ivanenko, P. A., Yatsenko, O.A.

Отримати повний текст

Maximum independent sets of graph vertices searching for software projects improvement за авторством Slabospitska, O.O., Stetsyuk, P.I., Khomiak, O.M.

Отримати повний текст

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

Отримати повний текст

Human face recognition system in video stream за авторством Popereshnyak, S.V., Skoryk, R.O., Kuptsov, D.V., Kravchenko, R.V.

Отримати повний текст