Use of ontologies for personalized search of knowledge for natural language texts by Rogushina, J.V.

Get full text

Compositional logics of nominative data by Nikitchenko, M.S., Shkilniak, S.S.

Get full text

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part I. Decisions Knowledge Models by Ilina, E.P.

Get full text

Automated program design for solution of weather forecasting problem by Doroshenko, A.Yu., Ivanenko, P.A., Ovdiy, O.M., Yatsenko, O.A.

Get full text

Game theoretic modeling of AIMD network equilibrium by Ignatenko, O.P.

Get full text

Multiagent modeling of sequential multiunit japanese auctions by Yalovets, A.L.

Get full text

Outer Set Operations of Table Algebra of Infinite Tables by Glushko, I.N.

Get full text

A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

Get full text

Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages by Novokshonov, A.K.

Get full text

Synthesis multilevel structure with multiple output by Opanasenko, V.M., Kryvyi, S.L.

Get full text

Integration of the family of extended description logic languages with relational data model by Reznichenko, V.A., Chystiakova, I.S.

Get full text

On incompatibility of a nonlinear equations over set of natural numbers by Krivoi, S.L., Nevmerzhitskiy, A.V.

Get full text

Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

Get full text

Constructive-synthesizing model of text graph representation by Shynkarenko, V.I., Kuropiatnyk, O.S.

Get full text

Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Get full text

Macro-operations extraction out of computation process array sorting data by Paulin, O.N., Komlevaya, N.O., Marulin, S.U.

Get full text

Automated development of a parallel distributed system for streaming data processing by Titov, D.S., Doroshenko, A.Yu., Yatsenko, O.A.

Get full text

Research and development of Johnson's algorithm parallel schemes in GPGPU technology by Pogorilyy, S.D., Slynko, M.S.

Get full text

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

Get full text

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

Get full text