In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Abstract— In the recent past, many researchers have developed control algorithms for visual servo applications. In this paper, we introduce a new hybrid switched system approach,...
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
Spinal cord injury patients are under daily risk for developing deep tissue injury which is a severe pressure ulcer that initiates in soft tissues at the bones’ proximity. We aim...
Sigal Portnoy, Nicolas Vuillerme, Yohan Payan, Ami...