Результати пошуку - "formalization" :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

formal verification 5
формальна верифікація 5
IPCL 3
UDC 004.415.52 3
composition-nominative languages 3
concurrent program 3
interleaving 3
УДК 004.415.52 3
композиционно-номинативные языки 3
композиційно-номінативні мови 3
параллельная программа 3
формальная верификация 3
004.89 2
159.95 2
UDC 519.85 2
behavior algebra 2
commutative semi-group 2
dialogue support 2
formal model 2
formal theory 2
formalization 2
image construction 2
insertion modeling 2
large language models 2
linguistic image 2
safety property proof 2
software correctness 2
УДК 004.93 2
УДК 519.85 2
великі мовні моделі 2

A method of formalizing the making decision process based on the theory of threshold elements за авторством Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

The software tool of constructive-synthesizing modeling за авторством Shynkarenko, V.I., Chyhir, R.R.

Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Economic and Mathematical Model of Formally Formed Prices for Power Sector за авторством Dobrovolsky V.K.

ANTHILL: a progressive formalization language for agent-supported software projects за авторством Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

Formal functional calculus for copolynomials over a commutative ring за авторством Gefter, Sergiy L., Piven', Aleksey L.

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment за авторством Zubok, V. Yu.

A resource limited parallel program model за авторством Rahozin, D.V.

FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES за авторством Lazorenko, O. V., Chernogor, L. F.

General formal local cohomology modules за авторством Rezaei, Sh.

Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

Semantic approach to automated formation of information security systems documentation за авторством Bova, Yu.V., Yatsenko, O.A.

Algebraic modeling in international and local service logistical systems за авторством Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

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

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

An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). за авторством Poliagushko, L. G.

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

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

The definition of formal languages in the meta language of normal forms of knowledge за авторством Kurgaev, A.F., Grygoryev, S.M.

Methods and software for significant indicators determination of the natural language texts author profile за авторством Shynkarenko, V.I., Demydovych, I.M.

Результати пошуку - "formalization"

A method of formalizing the making decision process based on the theory of threshold elements за авторством Azarova, A. O., Roik, A. M., Poplavskiy, A. V., Pavlovskiy, P. V., Tkachuk, A. P.

The software tool of constructive-synthesizing modeling за авторством Shynkarenko, V.I., Chyhir, R.R.

Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.

Economic and Mathematical Model of Formally Formed Prices for Power Sector за авторством Dobrovolsky V.K.

ANTHILL: a progressive formalization language for agent-supported software projects за авторством Shevchenko, R.S., Doroshenko, A.Yu., Yatsenko, O.A.

Formal functional calculus for copolynomials over a commutative ring за авторством Gefter, Sergiy L., Piven', Aleksey L.

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment за авторством Zubok, V. Yu.

A resource limited parallel program model за авторством Rahozin, D.V.

FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES за авторством Lazorenko, O. V., Chernogor, L. F.

General formal local cohomology modules за авторством Rezaei, Sh.

Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.

Semantic approach to automated formation of information security systems documentation за авторством Bova, Yu.V., Yatsenko, O.A.

Algebraic modeling in international and local service logistical systems за авторством Letychevskyi, O.O., Gorbatuk, S.O., Gorbatuk, V.A.

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

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

An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). за авторством Poliagushko, L. G.

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

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

The definition of formal languages in the meta language of normal forms of knowledge за авторством Kurgaev, A.F., Grygoryev, S.M.

Methods and software for significant indicators determination of the natural language texts author profile за авторством Shynkarenko, V.I., Demydovych, I.M.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації