Use of ontologies for personalized search of knowledge for natural language texts за авторством Rogushina, J.V.

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

Compositional logics of nominative data за авторством Nikitchenko, M.S., Shkilniak, S.S.

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

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part I. Decisions Knowledge Models за авторством Ilina, E.P.

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

Automated program design for solution of weather forecasting problem за авторством Doroshenko, A.Yu., Ivanenko, P.A., Ovdiy, O.M., Yatsenko, O.A.

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

Game theoretic modeling of AIMD network equilibrium за авторством Ignatenko, O.P.

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

Multiagent modeling of sequential multiunit japanese auctions за авторством Yalovets, A.L.

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

Outer Set Operations of Table Algebra of Infinite Tables за авторством Glushko, I.N.

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

A method for business logic extraction from legacy COBOL code of industrial systems за авторством Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

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

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages за авторством Novokshonov, A.K.

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

Synthesis multilevel structure with multiple output за авторством Opanasenko, V.M., Kryvyi, S.L.

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

Integration of the family of extended description logic languages with relational data model за авторством Reznichenko, V.A., Chystiakova, I.S.

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

On incompatibility of a nonlinear equations over set of natural numbers за авторством Krivoi, S.L., Nevmerzhitskiy, A.V.

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

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

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

Constructive-synthesizing model of text graph representation за авторством Shynkarenko, V.I., Kuropiatnyk, O.S.

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

Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

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

Macro-operations extraction out of computation process array sorting data за авторством Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

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

Automated development of a parallel distributed system for streaming data processing за авторством Titov, D.S., Doroshenko, A.Yu., Yatsenko, O.A.

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

Research and development of Johnson's algorithm parallel schemes in GPGPU technology за авторством Pogorilyy, S.D., Slynko, M.S.

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

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

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

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

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