Formal validation for microgrid reliability based on TLA+
Muhammad Nasar, János Csatár
Volume 59 (2026): Issue 1 (February 2026)
Volume 77 (2026): Issue 1 (February 2026)
Volume 63 (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
A Computer Vision Approach to Evaluating Crosswalk Safety for Vulnerable Road Users
Apostolos Anagnostopoulos, Leonidas Bakouros, Fotini Kehagia
Momentum Builds for Strong and Deep European Safe Assets
Kalin Anev Janse, Roel Beetsma
Volume 14 (2026): Issue 1 (February 2026)
Collaborative Multi-Hop Cyclic Redundancy Check and Reputation Approach Against Black Hole Attacks to Enhance Security in Mobile Adhoc Networks
Shaik Mazhar Hussain, Imran Mohd Ibrahim, Md Masood Ahmad, Md. Ejaz Ahamed
Integrated Modeling and Validation of HHO-Based Nox Reduction in Spark-Ignition Engines
Toncho Ivanov Boyukov
ÖPNV: Endlich dynamische Preise!
Mark Andor, Sven Hansteen
Protect Imports, Rebalance Exports: The Future of Extra-EU Trade
Maria Demertzis, Alejandro Fiorito