In this paper, an evaluation is presented of a framework that supports flexible content repurposing. Unlike the usual practice where content components, such as slides, images, def...
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
This submission will provide interested parties with the opportunity to learn more about the FP7 PERIMETER project. Details of the testing and experimental methodologies and the ro...