Relational systems are extended in several ways. We consider extensions with rules and integrity constraints to so-called deductive databases. There are several problems in handling these rules and constraints. One problem is to check, in an efficient way, the integrity of a deductive database when an insertion or deletion is made. There exist several integrity maintenance methods. All these me...

We give a stripped-down, self-contained exposition of selected results in additive combinatorics over the vector space F2, leading to the result by Samorodnitsky (STOC 2007) stating that linear transformations are efficiently testable. In particular, we prove the theorems known as the Balog-Szemerédi-Gowers theorem (Combinatorica 1994 and GAFA 1998) and the Freiman-Ruzsa theorem (AMS 1973 and A...

Parasites are highly prevalent in livestock worldwide and infect over one fourth of the human population also. Parasites are successful in evading host immune responses, and vaccination can prove to be an effective way to control them. However, currently very few vaccines are available against parasitic infection. Two important limitations in the emergence of effective parasitic vaccines are in...

We introduce our research on smart environments, in particular research on smart meeting rooms and investigate how research approaches here can be used in the context of smart museum environments. We distinguish the identification of domain knowledge, its use in sensory perception, its use in interpretation and modeling of events and acts in smart environments and we have some observations on o...