Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
Peter J. Schaafsma, Sander Schutte, Huib J. Simons...
—This paper proposes a feature extraction method for motor imagery brain–computer interface (BCI) using electroencephalogram. We consider the primary neurophysiologic phenomeno...
Haihong Zhang, Zhang Yang Chin, Kai Keng Ang, Cunt...
MOS (mean opinion score) subjective quality studies are used to evaluate many signal processing methods. Since laboratory quality studies are time consuming and expensive, researc...
Abstract. This paper describes aspects of a training environment for crisis decision makers who, notoriously, operate in highly stressful and unpredictable situations. Training suc...
Gabriella Cortellessa, Rita D'Amico, Marco Pagani,...