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
Volume 59 (2026): Issue 1 (February 2026)
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
Volume 56 (2026): Issue s1 (February 2026)
Volume 106 (2026): Issue 2 (February 2026)
Editorial: Stablecoins, the GENIUS Act and Europe’s Monetary Dilemma
Barry Eichengreen
Molecular Markers of Periodontitis and Possible Clinical Implications
D. Nikolova
US leadership in trade statecraft: diminishing returns and a diminished role
Stephen Woolcock