First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

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

Information resources distribution between automated workstations in local corporative networks за авторством Pursky, O.I., Kozlov, V. V., Tomashevska, T.V., Dyvak, V.V., Hordiiko, N. O., Sinitsky, M.Y.

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

Bicomponent sorting algorithms за авторством Shynkarenko, V. I., Doroshenko, A. Yu., Yatsenko, O. A., Raznosilin, V. V., Halanin, K. K.

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

Generation of multipurpose formal models from legacy code за авторством Potiyenko, S.V., Kolchin, A.V.

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

Performance analysis of massively parallel programs for graphics processing units за авторством Rahozin, D.V.

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

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.

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

Software engineering and big data software за авторством Sydorov, N.O., Sydorova, N.M.

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

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

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

Композиційно-номінативні логіки з непрямим іменуванням за авторством Rossada, T.V., Shkilniak, О.С.

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

Coreference resolution algorithm for Ukrainian-language texts using decision trees за авторством Pogorilyy, S.D., Biletskyi, P. V.

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

Toward software engineering ecosystems definition за авторством Sydorov, M.O.

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

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

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

Technological trends & software engineering education: a systematic review study за авторством Nesterenko, O.V.

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

Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

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

Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

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

Decompositional Extraction and Retrieval of Conceptual Knowledge за авторством Terletskyi, D.O., Yershov, S.V.

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

Extracting structure from text documents based on machine learning за авторством Kudim, K.A., Proskudina, G.Yu.

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

Ontological system processing of databases of scientific publications за авторством Palagin, O.V., Petrenko, N.G., Boyko, M.O.

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

Problems of scaling semantic information resources with a complex structure за авторством Rogushina, J.V., Grishanova, I. Yu.

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

Базові основи індустрії програм,обчислень і даних за авторством Lavrischeva, E.M.

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