Learn More
The Aspergillus genus belongs to a filamentous fungal group characterized by wide dispersion in the environment. Some species are associated with diseases, especially in immunocompromised patients, while others are of economical importance due to aflatoxin production or biotechnological applications. Its species identification is nowadays performed by(More)
In this paper we propose techniques for the calibration of the iCub's stereo head using vision and inertial measurements. Given that wear and tear can change the geometrical relationship between the different elements in the kinematic chain, new calibrations must be performed periodically. We propose methods that allow automatic calibration without the need(More)
We propose and prove sound a novel, purely dynamic, flow-sensitive monitor for securing information flow in an imperative language extended with DOM-like tree operations, that we call Core DOM. In Core DOM, as in the DOM API, tree nodes are treated as first-class values. We take advantage of this feature in order to implement an information flow control(More)
We investigated the impact of obesity on the abnormalities of systolic and diastolic regional left ventricular (LV) function in patients with or without hypertension or hypertrophy, and without heart failure. We studied 120 individuals divided into 6 groups of 20 patients (42 ± 6 years, 60 females) using standard and pulsed-wave tissue Doppler imaging (TDI)(More)
Specification of information flow policies is classically based on a security labeling and a lattice of security levels that establishes how information can flow between security levels. We present a type and effect system for determining the least permissive relaxation of a given confidentiality policy that allows to type a program, given a fixed security(More)
BACKGROUND Pain is a stressful experience that can have a negative impact on child development. The aim of this crossover study was to examine the efficacy of audiovisual distraction for acute pain relief in paediatric inpatients. METHOD The sample comprised 40 inpatients (6-11 years) who underwent painful puncture procedures. The participants were(More)
As JavaScript is highly dynamic by nature, static information flow analyses are often too coarse to deal with the dynamic constructs of the language. To cope with this challenge, we present and prove the soundness of a new hybrid typing analysis for securing information flow in a JavaScript-like language. Our analysis combines static and dynamic typing in(More)