We report on a study of graduate students conducting research in libraries, focusing on how they extract and record information as they read. By examining their information record...
Kenton O'Hara, Fiona Smith, William M. Newman, Abi...
In this paper we study the area and depth trade-off in LUT based FPGA technology mapping. Starting from a depth-optimal mapping solution, we perform a number of depth relaxation o...
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 are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
This paper describes the design and implementation of an interactive walk-through of a reconstructed German stronghold, the Dillenburg. The application is currently in use at the ...
Tim Horz, Albert Pritzkau, Christof Rezk-Salama, S...