— The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is s...
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
A novel interactive virtual needle insertion simulation is presented. Simulation models are based upon planar tissue deformations and forces measured during needle insertion exper...
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
Mobile workers need seamless access to communication and information services on portable devices. However current solutions overwhelm users with intrusive and ambiguous notificat...