Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
— A salient feature of upcoming communication networks is unprecedented dynamicity, which can only be handled in a large scale by introducing self-configuration and self-maintena...
Cornelia Kappler, Kostas Pentikousis, Carlos Pinho
In this paper, we describe assessment in seminars where high student activity is encouraged. The aim of our work has been to design assessment events that result in deep learning ...
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...
Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...