The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional ar...
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
This research explores the utility of a multimodal surface computer for supporting medical communication between older adults and health care providers. Research involves a field ...
: Ground target surveillance is getting a more and more important task, for civil as for military applications. Ground targets may be bound to infrastructural constraints, like veh...
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...