In the realm of product design, communication between designer, client, design team and future users is of great importance. Throughout the design process, ideas and concepts are g...
Haptic interfaces enable person-machine communication through touch, and most commonly, in response to user movements. We comment on a distinct property of haptic interfaces, that...
In this note, authors reply the comments on our previous work [Chen and Jiao, `finite-time stability theorem of stochastic nonlinear systems', Automatica, 46(2010), 2105-2108...
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
We present a preliminary study the aim of which is to provide a high level model for the evaluation of the trustworthiness of recommender systems as e-commerce services. We identif...
Gabriele Lenzini, Ynze van Houten, Wolf Huijsen, M...