Object-component development of changeable software systems by Lavrischeva, E.M., Slabospitskaya, O.A., Stenyashin, A.Yu., Kolesnyk, A.L.

Get full text

Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.

Get full text

Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

Get full text

Algorithms of relationships and dependencies search in Web-pages by Glybovets, A.M.

Get full text

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

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

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

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

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

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

Transformation of the legacy code on Fortran for scalability and cloud computing by Doroshenko, A.Yu., Khavryuchenko, V.D., Tulika, E.M., Zhereb, K.A.

Get full text

Method of forming multi-leveled sequential patterns by Moldavskaya, A.V.

Get full text

Application of deep learning and computer vision frameworks for solving video context prediction problem by Voloshyn, D.

Get full text

Fuzzy probability and fuzzy events by Provotar, O.I., Vasylenko, O.V., Provotar, O.O.

Get full text