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

Volltext

Jupyter Notebook: a system for interactive scientific computing von Yakimchik, A. I.

Volltext

Algebras of generalized tree languages with fixed variables von Phuapong, S., Chansuriya, N., Kumduang, T.

Volltext

Basics of programming in the context of software engineering von Sydorov, М.О.

Volltext

Modern AI methods for detecting propaganda in text von Бойко , О.А.

Volltext

Formalization for sign units creation based on 3d human model for Ukrainian sign language von Krivonos, Yu.G., Krak, Yu.V., Barmak, O.V., EfImov, G.M.

Volltext

Context term calculus for rewriting systems von Shevchenko, R.S.

Volltext

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model von Kaverynskyi, V.V., Litvin, A.A., Palagin, O.V.

Volltext

The modification of the meta-language of normal forms of knowledge von Kurgaev, A.F.

Volltext

TermWare3 – term rewriting system, based on context-term calculus von Shevchenko, R.S., Doroshenko, A.Yu.

Volltext

System of classification for personnel selection based upon Ukrainian language ana-lyze von Zhezherun, O.P., Ryepkin, M.S.

Volltext

A dialogue system based on ontology automatically built through a natural language text analysis von Litvin, A.A., Velychko, V.Yu., Kaverynskyi, V.V.

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

About one approach to automatic creation of formal queries to ontological knowledge bases von Palagin, O.V., Petrenko, M.G., Litvin, A.A., Boyko, M.O.

Volltext

An approach of intelligent searching of information in texts von Chebanuyk, O.V.

Volltext

The translator of Petri-object model visual programming language von Dyfuchyn, А.Yu.

Volltext

Semantics and pragmatics of programming language ASAMPL von Sulema, Y.S., Glinskii, V.V.

Volltext

Directional counting for regular languages von Grigorchuk, Rostislav, Quint, Jean-François

Volltext

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

Volltext