Formal validation for microgrid reliability based on TLA+
Muhammad Nasar, János Csatár
BPG bits per pixel prediction via linear mapping from JPEG compression
Boban P. Bondžulić, Vladimir V. Lukin, Nenad M. Stojanović, Andrii S. Adamovych
Analysis of Key Impact Factors in New Methods Implementation in Organisations: A Change Management Perspective
Dušan Gošnik, Mateja Jerman
Planar circularly polarized antennas fed by substrate integrated waveguide with asymmetric feeding and modal perturbation
Yu-Jen Chi, Yu-Ting Kao, Muddineni Raveendra
Adaptive model-free sliding mode control for boost converter with flexibility to varying operating conditions
Abbes Kihal, Chems Eddine Boudjedir, Billel Talbi, Abdeslem Sahli, Abdelbasset Krama
Development and Evaluation of a Yolo Algorithm-Based Robotic Sprayer for Real-Time Weed Detection
Ameer H. Al-Ahmadi, Alaa Subr, Stanisław Parafiniuk, Marek Milanowski
Volume 30 (2026): Issue 1 (February 2026)
Design and Performance Evaluation of a Four-Row Vacuum Seeder Powered by a Walking Tractor for Precision Soybean Planting
Wawan Hermawan, Radite Praeko Agus Setiawan, Diang Sagita, Unggul Teguh Prasetyo, Reka Ardi Prayoga, Adhiasta Faris Setiabudi
Modeling the Efficiency of SaaS Solutions in Transport Logistics Infrastructure Recovery
Taras Mukha, Nadiia Popova
Study of the Behaviour of Alternative Fuel Injection Stratification Through Numerical Analysis
Gerson Irán Maturano-Dávalos, Adham Ahmed Awad Elsayed Elmenshawy, Cesar Eduardo Cea-Montufar, Luis Héctor Hernández-Gómez, Samuel Moveh, Emmanuel A. Merchán-Cruz
Integrated Modeling and Validation of HHO-Based Nox Reduction in Spark-Ignition Engines
Toncho Ivanov Boyukov
Analysis of World Experience and Experimental Implementation of Unmanned Radio Intelligence Systems
Gulnaz Yermoldina, Zharas Ainakulov, Zhanna Suimenbayeva, Andrey Bebenin