A method of formalizing the making decision process based on the theory of threshold elements von Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

Volltext

The software tool of constructive-synthesizing modeling von Shynkarenko, V.I., Chyhir, R.R.

Volltext

Algebraic approach to the analysis of legal documents von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Volltext

Economic and Mathematical Model of Formally Formed Prices for Power Sector von Dobrovolsky V.K.

Volltext

ANTHILL: a progressive formalization language for agent-supported software projects von Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

Volltext

Formal functional calculus for copolynomials over a commutative ring von Gefter, Sergiy L., Piven', Aleksey L.

Volltext

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment von Zubok, V. Yu.

Volltext

A resource limited parallel program model von Rahozin, D.V.

Volltext

FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES von Lazorenko, O. V., Chernogor, L. F.

Volltext

General formal local cohomology modules von Rezaei, Sh.

Volltext

Formal semantics and analysis of tokenomics properties von Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

Volltext

Semantic approach to automated formation of information security systems documentation von Bova, Yu.V., Yatsenko, O.A.

Volltext

Algebraic modeling in international and local service logistical systems von Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

Volltext

Formal theory model in the form of commutative semigroup of image constructions von Бисикало, Олег Владимирович, Кравчук, Ирина Анатольевна, Кириленко, Анна Александровна

Volltext

Formal theory model in the form of commutative semigroup of image constructions von Бисикало, Олег Владимирович, Кравчук, Ирина Анатольевна, Кириленко, Анна Александровна

Volltext

An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). von Poliagushko, L. G.

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

Equivalence of two parallel execution systems von Panchenko, T.V., Fabunmi, S.

Volltext

The definition of formal languages in the meta language of normal forms of knowledge von Kurgaev, A.F., Grygoryev, S.M.

Volltext

Methods and software for significant indicators determination of the natural language texts author profile von Shynkarenko, V.I., Demydovych, I.M.

Volltext