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

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

natural language processing 12
large language models 8
УДК 004.8 8
великі мовні моделі 7
обробка природної мови 7
UDC 004.8 6
мови програмування 5
семантичний аналіз 5
ontology 4
semantic analysis 4
дерева рішень 4
онтологія 4
IPCL 3
UDC 004.424 3
artificial intelligence 3
composition-nominative languages 3
concurrent program 3
decision trees 3
formal verification 3
interleaving 3
knowledge base 3
language network 3
large language model 3
machine learning 3
neural network 3
programming languages 3
УДК 004.424 3
база знань 3
композиционно-номинативные языки 3
композиційно-номінативні мови 3

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

Jupyter Notebook: a system for interactive scientific computing за авторством Yakimchik, A. I.

Algebras of generalized tree languages with fixed variables за авторством Phuapong, S., Chansuriya, N., Kumduang, T.

Basics of programming in the context of software engineering за авторством Sydorov, М.О.

Modern AI methods for detecting propaganda in text за авторством Бойко , О.А.

Formalization for sign units creation based on 3d human model for Ukrainian sign language за авторством Krivonos, Yu.G., Krak, Yu.V., Barmak, O.V., EfImov, G.M.

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model за авторством Kaverynskyi, V.V., Litvin, A.A., Palagin, O.V.

The modification of the meta-language of normal forms of knowledge за авторством Kurgaev, A.F.

TermWare3 – term rewriting system, based on context-term calculus за авторством Shevchenko, R.S., Doroshenko, A.Yu.

System of classification for personnel selection based upon Ukrainian language ana-lyze за авторством Zhezherun, O.P., Ryepkin, M.S.

A dialogue system based on ontology automatically built through a natural language text analysis за авторством Litvin, A.A., Velychko, V.Yu., Kaverynskyi, V.V.

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.

About one approach to automatic creation of formal queries to ontological knowledge bases за авторством Palagin, O.V., Petrenko, M.G., Litvin, A.A., Boyko, M.O.

An approach of intelligent searching of information in texts за авторством Chebanuyk, O.V.

The translator of Petri-object model visual programming language за авторством Dyfuchyn, А.Yu.

Semantics and pragmatics of programming language ASAMPL за авторством Sulema, Y.S., Glinskii, V.V.

Directional counting for regular languages за авторством Grigorchuk, Rostislav, Quint, Jean-François

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

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

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

Jupyter Notebook: a system for interactive scientific computing за авторством Yakimchik, A. I.

Algebras of generalized tree languages with fixed variables за авторством Phuapong, S., Chansuriya, N., Kumduang, T.

Basics of programming in the context of software engineering за авторством Sydorov, М.О.

Modern AI methods for detecting propaganda in text за авторством Бойко , О.А.

Formalization for sign units creation based on 3d human model for Ukrainian sign language за авторством Krivonos, Yu.G., Krak, Yu.V., Barmak, O.V., EfImov, G.M.

Context term calculus for rewriting systems за авторством Shevchenko, R.S.

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model за авторством Kaverynskyi, V.V., Litvin, A.A., Palagin, O.V.

The modification of the meta-language of normal forms of knowledge за авторством Kurgaev, A.F.

TermWare3 – term rewriting system, based on context-term calculus за авторством Shevchenko, R.S., Doroshenko, A.Yu.

System of classification for personnel selection based upon Ukrainian language ana-lyze за авторством Zhezherun, O.P., Ryepkin, M.S.

A dialogue system based on ontology automatically built through a natural language text analysis за авторством Litvin, A.A., Velychko, V.Yu., Kaverynskyi, V.V.

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.

About one approach to automatic creation of formal queries to ontological knowledge bases за авторством Palagin, O.V., Petrenko, M.G., Litvin, A.A., Boyko, M.O.

An approach of intelligent searching of information in texts за авторством Chebanuyk, O.V.

The translator of Petri-object model visual programming language за авторством Dyfuchyn, А.Yu.

Semantics and pragmatics of programming language ASAMPL за авторством Sulema, Y.S., Glinskii, V.V.

Directional counting for regular languages за авторством Grigorchuk, Rostislav, Quint, Jean-François

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

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

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

Репозитарії

Формат

Автор

Мова

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