Abstract. In this paper, we want to farther advance the parallelism between models of the brain and computing machines. We want to apply the same idea underlying neuroimaging techn...
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as...
Mark A. Neerincx, Stefan Kennedie, Marc Grootjen, ...