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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Parallel Computations with Large-scale Air Pollution Models von Dimov, I., Farago, I., Zlatev, Z.

Volltext

Machine-learning methods for text named entity recognition von Marchenko, O.O.

Volltext

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

Volltext

Semantic Wiki-resources and their use for the construction of personalized ontologies von Rogushina, J.V.

Volltext

Usage of AI-planning techniques to solve problems of Web-services composition von Zakharova, O.V.

Volltext

Utilization of open Wiki resource user activity for ontological model development von Rogushina, J.V., Grishanova, I.J.

Volltext

Extending UML specification for semantic modeling objects von Novitsky, A.V.

Volltext

Problem of data analysis and forecasting using decision trees method von Lytvynenko, T.I.

Volltext

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits von Bača, J., Korečko, Š., Porubän, J., Václavík, P.

Volltext

Contact Center Load Forecasting and Operator Schedule Planning von Chernichenko, K.O., Kapkanets, A.M., Panchenko, T.V.

Volltext

The completeness of the algorithm algebra with data von Akulovskiy, V.G., Doroshenko, А.Yu., Yatsenko, O.A.

Volltext

Problems and tools of designing and estimation of viable program system von Ignatenko, P.P., Byistrov, V.M., Ignatenko, O.P., Tkachenko, V.M.

Volltext