АЛГОРИТМИ АЛГЕБРАЇЧНОГО СИНТЕЗУ МІКРОПРОГРАМНОГО АВТОМАТА НА ОСНОВІ ПІДБОРУ КОДІВ СТАНІВ. (Ukrainian)

Alternate Title: ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE BASED ON STATE CODE SELECTION. (English)

Συγγραφείς: БАБАКОВ, Р. М., БАРКАЛОВ, О. О.

Πηγή: Cybernetics & Systems Analysis / Kibernetyka ta Systemnyi Analiz; 2026, Issue 5, p3-13, 11p

Θεματικοί όροι: Finite state machines, Logic circuit design, Mathematical optimization, Computer software execution

Experimental Evaluation of Spatio-Temporal Data Utilization on Floating Cyber-Physical System Platform.

Συγγραφείς: Nobayashi, Daiki, Tanaka, Meiya, Tanaka, Naoki, Nakamura, Riku, Tsukamoto, Kazuya, Ikenaga, Takeshi, Sekigawa, Shu, Lee, Myung

Πηγή: Computers, Materials & Continua; 2026, Vol. 87 Issue 3, p1-16, 16p

Θεματικοί όροι: Cyber physical systems, Computer software execution, Spatiotemporal processes, Environmental databases, Data management

Awareness, use, attitudes, and implementation challenges of Bayesian dose prediction software in clinical practice: a multi-organizational survey.

Συγγραφείς: Alghanem, Sarah S., Downes, Kevin J., Desai, Amit, Avedissian, Sean N., Awad, Abdelmoneim

Πηγή: Frontiers in Pharmacology; 2026, p1-11, 11p

Θεματικοί όροι: Vancomycin, Aminoglycosides, Computer software execution, Medical practice, Drug monitoring, Pharmacists

Narratives of Performance Assessment-Based Competency Testing for Measuring Students' Programming Competencies.

Συγγραφείς: Simanungkalit, Erwinsyah, Taringan, Jenny Sari, Husna, Mardhiatul, Siahaan, Djames

Πηγή: International Journal of Educational Narratives; 2026, Vol. 4 Issue 3, p988-1000, 13p

Θεματικοί όροι: Competency tests (Education), Computer programming education, Program transformation, Authentic assessment, Debugging, Algorithms, Educational evaluation, Computer software execution

Bridging the Semantic Gap in 5G: A Hybrid RAG Framework for Dual-Domain Understanding of O-RAN Standards and srsRAN Implementation.

Συγγραφείς: Nurakhov, Yedil, Kassymbek, Nurislam, Marlambekov, Duman, Mukhanbet, Aksultan, Imankulov, Timur

Πηγή: Applied Sciences (2076-3417); Apr2026, Vol. 16 Issue 7, p3275, 20p

Θεματικοί όροι: Radio access networks, Computer software execution, Language models, Information retrieval, 5G networks, Open source software, Telecommunication

MDCompress: better, faster compression of molecular dynamics simulation trajectories.

Συγγραφείς: Kokot, Marek, Roy, Amitava, Wheeler, Travis J, Deorowicz, Sebastian

Πηγή: Bioinformatics; Apr2026, Vol. 42 Issue 4, p1-11, 11p

Θεματικοί όροι: Molecular dynamics, Data compression, Simultaneous multithreading processors, Trajectories (Mechanics), Computer software execution

An Experimental Study of the Choquet Integral based on Conditional Aggregation Operators.

Συγγραφείς: Basarik, Stanislav

Πηγή: Experimental Mathematics; 2026, Vol. 35 Issue 2, p302-324, 23p

Θεματικοί όροι: Aggregation operators, Decision making, Image processing, Fuzzy integrals, Fuzzy measure theory, Computer software execution, Empirical research

A MULTI-LAYERED ANALYTICAL FRAMEWORK FOR MANAGING THE SOFTWARE FUNCTIONAL STATE IN THE SDLC PROCESS.

Alternate Title: БАГАТОРІВНЕВИЙ АНАЛІТИЧНИЙ ФРЕЙМВОРК ДЛЯ КЕРУВАННЯ ФУНКЦІОНАЛЬНИМ СТАНОМ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ В ПРОЦЕСІ SDLC (Ukrainian)

Συγγραφείς: Lyashkevych, M. Y., Shuvar, R. Y.

Πηγή: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì; 2026, Vol. 16 Issue 2, p228-236, 9p

Θεματικοί όροι: Risk assessment, Prediction models, Computer software development, Code generators, Software measurement, Computer software execution, Project management

Fake product detection using QRCode blockchain domain.

Συγγραφείς: Subashree, M., Charulatha, C., Divya, T., Divyadharshini, M., Keshini, S., Keerthana, S.

Πηγή: AIP Conference Proceedings; 2026, Vol. 3345 Issue 1, p1-5, 5p

Θεματικοί όροι: Blockchains, Product counterfeiting, Two-dimensional bar codes, Consumers, Computer software execution, Disclosure

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.

Συγγραφείς: Gou, Naixiang¹ (AUTHOR), Zhao, Xiangfu¹ (AUTHOR) xiangfuzhao@gmail.com, Wang, Shiji¹ (AUTHOR), Zhang, Hanfeng¹ (AUTHOR), Yang, Jiahui¹ (AUTHOR)

Πηγή: Security & Privacy. Mar/Apr2025, Vol. 8 Issue 2, p1-18. 18p.

Θεματικοί όροι: *Real contracts (Civil law), *Computer software execution, *Virtual machine systems, *Source code, *Blockchains

Security Interface for Execution Control from a Tightly Coupled Security Core.

Συγγραφείς: Stoyanov, Stefan Ivanov, Marinova, Maria Plamenova, Kakanakov, Nikolay Rumenov

Πηγή: Applied Sciences (2076-3417); Mar2026, Vol. 16 Issue 5, p2387, 16p

Θεματικοί όροι: Security systems, Management of computer software execution, Information technology security, Security management

Tableaux for metainferential logics.

Συγγραφείς: Bavosa Castro, A., Borzi, A., Da Ré, B., Roffé, A. J., Toranzo Calderón, J. S.

Πηγή: Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p

Θεματικοί όροι: Inference (Logic), Nonclassical mathematical logic, Education software, Computer software execution

Inverse Operator over Index Matrices.

Συγγραφείς: Bureva, Veselina, Atanassov, Krassimir, Atanassova, Vassia, Umlenski, Ivo

Πηγή: Mathematics (2227-7390); Feb2026, Vol. 14 Issue 4, p615, 21p

Θεματικοί όροι: Matrices (Mathematics), Operator equations, Computer software execution, Classification

A Method for Analyzing the Programming Process with a Tangible Tool Focusing on Co-Occurrence Patterns of Operations.

Συγγραφείς: Motoyoshi, Tatsuo, Takida, Issei, Sawai, Kei, Masuta, Hirouki, Myagmardulam, Bilguunmaa, Fuse, Yotaro, Takano, Hironobu, Takagi, Noboru

Πηγή: Journal of Robotics & Mechatronics; Feb2026, Vol. 38 Issue 1, p252-265, 14p

Θεματικοί όροι: Educational technology, Visual programming languages (Computer science), Pattern perception, Computer software execution, Vision disorders

Development of an ORMAWA Work Program Management Information System Using a User-Centered Design Approach.

Συγγραφείς: Helmi, Muhammad, Faisal, Mohammad Reza, Abadi, Friska, Nugrahadi, Dodon Turianto, Saputro, Setyo Wahyu, Sutaji, Deni

Πηγή: Applied Information System & Management (AISM); 2026, Vol. 9 Issue 1, p23-30, 8p

Θεματικοί όροι: User-centered system design, Student organizations, Information storage & retrieval systems, Computer software execution, University & college administration, Web-based user interfaces

АЛГОРИТМ АЛГЕБРАЇЧНОГО СИНТЕЗУ МІКРОПРОГРАМНОГОАВТОМАТА НА ОСНОВІ ПЕРЕБОРУ ОПЕРАЦІЙ. (Ukrainian)

Alternate Title: ALGORITHM FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE BASED ON OPERATIONS ENUMERATION. (English)

Συγγραφείς: БАБАКОВ, Р. М., БАРКАЛОВ, О. О.

Πηγή: Cybernetics & Systems Analysis / Kibernetyka ta Systemnyi Analiz; 2026, Issue 1, p16-25, 10p

Θεματικοί όροι: Finite state machines, Algorithms, Computer software execution, Boolean expressions

An Algorithm for Algebraic Synthesis of a Finite-State Machine Based on Operation Enumeration.

Συγγραφείς: Babakov, R. M., Barkalov, A. A.

Πηγή: Cybernetics & Systems Analysis; Jan2026, Vol. 62 Issue 1, p11-19, 9p

Θεματικοί όροι: Finite state machines, Encoding, Logic design, Applied sciences, Computer software execution, Algorithms

Securing AI Agents on Linux: Understanding Nvidia OpenShell: Nvidia OpenShell is an Apache 2.0-licensed open source runtime designed to provide security, privacy, and operational guardrails for AI workloads.

Συγγραφείς: Dhaneshwar, Anil

Πηγή: Open Source For You; Jul2026, Vol. 14 Issue 9, p89-91, 3p

Θεματικοί όροι: Computer operating system security measures, Computer access control software, Access control, Management of computer software execution, Intelligent agents

On the Study of One Way to Detect Anomalous Program Execution.

Συγγραφείς: Kosolapov, Y. V., Pavlova, T. A.

Πηγή: Automatic Control & Computer Sciences; Dec2025, Vol. 59 Issue 7, p885-894, 10p

Θεματικοί όροι: Anomaly detection (Computer security), Computer software execution, Internet security, Error rates, Malware

Einzel‐ und Streifenfundamente auf Rüttelstopfsäulen – Setzungsberechnung. (English)

Συγγραφείς: Klobe, Berthold, Chen, Chien‐Hsun

Πηγή: Geotechnik; Dec2025, Vol. 48 Issue 4, p272-276, 5p

Θεματικοί όροι: Geotechnical engineering, Stone columns, Building foundations, Computer software execution