The current trend in debugging and testing is to cross-check information collected during several executions. Jones et al., for example, propose to use the instruction coverage of passing and failing runs in order to visualize suspicious statements. This seems promising but lacks a formal justification. In this paper, we show that the method of Jones et al. can be re-interpreted as a data minin...

In this paper we investigate the contextualized representation of events. In particular, we re-interpret the formalization of events and situations adopted in the NewsReader Event and Situation Ontology (ESO) according to the notions of context and module proposed in the Contextualized Knowledge Repositories (CKR) framework. This contextualized formalization sets the basis for exploiting logica...

In an introductory biology course, we implemented a learner-centered, model-based pedagogy that frequently engaged students in building conceptual models to explain how genes determine phenotypes. Model-building tasks were incorporated within case studies and aimed at eliciting students' understanding of 1) the origin of variation in a population and 2) how genes/alleles determine phenotypes. G...

OBJECTIVES There is renewed attention on national standardization of formal driver education (DE) instruction and momentum toward realigning DE with its original goal of producing safer teen drivers. However, teen DE participation rates and how they differ among sociodemographic groups and in states with and without DE requirements remain largely unknown. Thus, our objective was to estimate nat...

ROSA is a Learning Object (LO) repository system with semantic access, which enables the management of LOs. LO is a collection of reusable material used to support learning, characterized by a set of metadata descriptors. LOs are accessed in a contextualized way, determined by semantic associations between them. This paper presents ROSA+, a system extension that aims at deducing additional sema...

A Simulator for SMT Architectures: Evaluating Instruction Cache Topologies Ronaldo Gonçalves, Eduard Ayguadé, Mateo Valero, Philippe Navaux 1 Departamento de Informática, Universidade Estadual de Maringá Avenida Colombo 5790, Maringá, Brazil {[email protected]} 2 Departament d’Arquitectura de Computadors, Universitat Politècnica de Catalunya Jordi Girona 1-3, Barcelona, Spain {eduard, mateo@ac...