Adaptive Intelligent Tutoring Systems (ITS) aim at helping students going through the resolution of a given problem in a principled way according to the desired outcomes, the intrinsic capabilities of the student, and the particular context in which the exercise takes place. These systems should be capable of acting according to mistakes, boredness, distractions, etc. Several works propose diff...

We present a new approach to digital forensic evidence acquisition and disk imaging called sifting collectors that images only those regions of a disk with expected forensic value. Sifting collectors produce a sector-by-sector, bit-identical AFF v3 image of selected disk regions that can be mounted and is fully compatible with existing forensic tools and methods. In our test cases, they have ac...

We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated predicate/argument semantics and ad hoc engineering solutions based on flat feature/value lists; the central idea is to tag each semantic element with the functional marking which most closely surrounds it. We argue that ...

The Registro Informatizado de Enfermedad TromboEmbólica (RIETE Registry) is an ongoing, international, prospective registry of consecutive patients with acute venous thromboembolism (VTE) designed to gather and analyze data on treatment patterns and outcomes in patients with acute VTE. It started in Spain in 2001, and 6 years later the database was translated into English with the aim to expand...

BACKGROUND Efforts to improve quality of care for patients with acute myocardial infarction (AMI) are a national priority. To date, there have been few studies that have prospectively evaluated hospital quality improvement (QI) interventions. METHODS AND RESULTS Using hospitals in the National Cardiovascular Data Registry (NCDR) ACTION Registry-GWTG, a cluster randomized trial of the effectiv...

This paper describes the Advanced Forensic Format (AFF), which is designed as an alternative to current proprietary disk image formats. AFF offers two significant benefits. First, it is more flexible because it allows extensive metadata to be stored with images. Second, AFF images consume less disk space than images in other formats (e.g., EnCase images). This paper also describes the Advanced ...

We study the existential closures of several propositional languages L considered recently as target languages for knowledge compilation (KC), namely the incomplete fragments KROM-C, HORN-C, K/H-C, renH-C, AFF, and the corresponding disjunction closures KROM-C[∨], HORN-C[∨], K/H-C[∨], renH-C[∨], and AFF[∨]. We analyze the queries, transformations, expressiveness and succinctness of the resultin...

This paper discusses the results of the analysis of the relationship between dose and solid cancer incidence among nuclear workers (males) who worked as liquidators after the Chernobyl accident. Information on this cohort of individuals is available at the regional center of Russian National Medical and Dosimetric Registry operating at the RF State Research Centre-Institute of Biophysics. Medic...

These days randomized-based population optimization algorithms are in wide use in different branches of science such as bioinformatics, chemical physics andpower engineering. An important group of these algorithms is inspired by physical processes or entities’ behavior. A new approach of applying optimization-based social relationships among the members of a community is investigated in this pa...