We describe a new approach to the behaviour of 3D environments that supports the definition of physical processes and interactive phenomena. The work takes as a starting point the ...
Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Paol...
Two efficient and complementary sampling algorithms are presented to explore the space of closed clash-free conformations of a flexible protein loop. The "seed sampling" ...
Peggy Yao, Ankur Dhanik, Nathan Marz, Ryan Propper...
Scientific bibliographies in online databases provide a rich source of information for scientists in support of their research. In this paper, we propose a new method to predict po...
Abstract. This paper presents a new computer supported remote learning and gaming method using Tele-Face Mouse system. The Tele-Face Mouse system is being developed as a teleconfer...
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...