The way people use computers has changed in recent years, from desktop single-machine settings to many computers and personal assistants in widely different contexts. Personal Docu...
From 1999 to 2009, the SeaWinds scatterometer has been used to detect and track large Antarctic icebergs on a daily basis. Here, we develop an automated estimation algorithm to su...
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, E...