This paper summarizes results from two educational research Ph.D. theses carried out in recent years at the "Laboratoire de Robotique Pédagogique" of the Université de...
We envision that in some wireless sensor network applications, such as environmental monitoring, assisted living, and industrial control, handheld devices will be used from time t...
In this demonstration, we are going to illustrate how to give a presentation using multiple displays connected to the Internet. Categories and Subject Descriptors H.4.3 [Communica...
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...