We would like to introduce the web tutor ORGANON, which aims to support basic logic courses at the University of West Bohemia in Pilsen (Czech Republic). The application was desig...
In this paper we introduce the design and development of the Learning Cube as a novel tangible learning appliance. Using the common shape of a cube we implemented a general learnin...
Lucia Terrenghi, Matthias Kranz, Paul Holleis, Alb...
ion." These images do not foster collaboration with other fields and do not excite the curiosity of young people. In this session, Astrachan and Denning will discuss what they...
We consider the round robin (RR) scheduling policy where the server processes each job in its buffer for at most a fixed quantum, q, in a round-robin fashion. The processor sharin...
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...