Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...
Adriana J. Berlanga, Marco Kalz, Slavi Stoyanov, P...
This paper advocates the use of 3D integration technology to stack a DRAM on top of an FPGA. The DRAM will store future FPGA contexts. A configuration is read from the DRAM into a...
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
We report on an examination of work practice in a knowledge-based, document-intensive organisation and describe the role of paper in that work. We show how such an examination can...
We describe the application of plan recognition techniques to support human intelligence analysts in processing national security alert sets by automatically identifying the hosti...