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
Volume 26 (2026): Issue 1 (February 2026)
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
Computational optimality of combined sweeping-jumping algorithm for connectivity-based node insertion in Wi-Fi sensor networks
Woo-Yong Choi
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)
Volume 63 (2026): Issue 1 (February 2026)
Development of a Methodology Based on Fuzzy Logic for Solving the Problem of Evaluating a Startup Team Under Uncertainty
Oleksandr Dorokhov, Kadri Ukrainski, Hanna Kanep, Liudmyla Dorokhova
Multiresolution analysis for estimating switching transient overvoltages in transmission lines
Predrag Petrović, Dimitrije Rozgić
Performance investigation of non-volatile memories for energy-efficient on-chip L2 caches
Inderjit Singh, Balwinder Raj, Mamta Khosla, Tajinder Kaur