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

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

Volltext

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

Volltext

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

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

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

Volltext

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

Volltext

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

Volltext

Implementation of hot reloading in compiled programming languages von Shcherbak, D.V., Zhereb, K.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

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

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

Representation of monadic effects in the non-monadic form von Shevchenko, R.S.

Volltext

Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora von Lande, D. V., Snarskii, A. A., Putyatin, V. G.

Volltext

Людиноподібні діалогові агенти von Chmir, Igor Alexeevich

Volltext

Application of small language models for semantic analysis of Web interface accessibility von Kuzikov, B.O., Shovkoplias, O.A., Tytov, P.O., Shovkoplias, S.R.

Volltext