Formal validation for microgrid reliability based on TLA+
Muhammad Nasar, János Csatár
Analysis of Key Impact Factors in New Methods Implementation in Organisations: A Change Management Perspective
Dušan Gošnik, Mateja Jerman
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 59 (2026): Issue 1 (February 2026)
Identifying Marketing Tools to Promote the Development of the Knowledge Economy: The Case of Lithuania
Agne Sneideriene, Marius Zamkauskas
Computational optimality of combined sweeping-jumping algorithm for connectivity-based node insertion in Wi-Fi sensor networks
Woo-Yong Choi
Volume 77 (2026): Issue 1 (February 2026)
Design and stochastic performance analysis of non-ideal ultra-lift Luo converter: A Monte Carlo approach
Sezai Alper Tekin, Ahmet Gani
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
