Maintaining a constant temperature of the brain is a critical issue as slight variations in cerebral temperature may cause irreversible neural damage or even cause death of the individual. From an ...

Abstract: This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, denoting ...

Abstract: Efficient data-structure selection plays a pivotal role in optimizing computational resources, particularly in constrained IoT-edge environments. This study presents a comparative ...