Resource Control for Synchronous Cooperative Threads

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose execution proceeds in synchronous rounds called instants. Our contribution is a system of compositional static analyses to guarantee that each instant terminates and to bound the size of the values computed by the system as a function of the size of its parameters at the beginning of the instant. Our method generalises an approach designed for first-order functional languages that relies on a combination of standard termination techniques for term rewriting systems and an analysis of the size of the computed values based on the notion of quasi-interpretation. We show that these two methods can be combined to obtain an explicit polynomial bound on the resources needed for the execution of the system during an instant. As a second contribution, we introduce a virtual machine and a related bytecode thus producing a precise description of the resources needed for the execution of a system. In this context, we present a suitable control flow analysis that allows to formulte the static analyses for resource control at byte code level

Prevalence of Mycobacterium avium subsp. paratuberculosis in milk and dairy cattle in Southern Italy; preliminary results

Paratuberculosis affects all ruminants worldwide. Mycobacterium avium subsp. paratuberculosis could have a role in human diseases like Crohn\u2019s. Some extra EU countries request importation of MAP-free products. Italy has not yet actualized a control program and the diffusion of the infection is still unknown in Southern Italy. The aim of this study was to evaluate the prevalence of the infection in five regions of Southern Italy. Bulk tank milk and in-line milk filters were sampled in 780 dairy cattle herds and respectively analyzed by ELISA and real time PCR. One hundred and fifty-five out of 780 herds (19.9%) were found positive by ELISA and/or real time PCR. Individual milk samples were then collected from all the producing animals of positive herds and from a selection of negative herds. The estimated prevalence varies from region to region between 2.8% and 5.5%. Our results indicate that the disease is widespread in the five regions. The observed prevalence could be underestimated

Residual stress estimated by nanoindentation in pontics and abutments of veneered zirconia fixed dental prostheses

Glass ceramics’ fractures in zirconia fixed dental prosthesis (FDP) remains a clinical challenge since it has higher fracture rates than the gold standard, metal ceramic FDP. Nanoindentation has been shown a reliable tool to determine residual stress of ceramic systems, which can ultimately correlate to failure-proneness. Objectives: To assess residual tensile stress using nanoindentation in veneered three-unit zirconia FDPs at different surfaces of pontics and abutments. Methodology: Three composite resin replicas of the maxillary first premolar and crown-prepared abutment first molar were made to obtain three-unit FDPs. The FDPs were veneered with glass ceramic containing fluorapatite crystals and resin cemented on the replicas, embedded in epoxy resin, sectioned, and polished. Each specimen was subjected to nanoindentation in the following regions of interest: 1) Mesial premolar abutment (MPMa); 2) Distal premolar abutment (DPMa); 3) Buccal premolar abutment (BPMa); 4) Lingual premolar abutment (LPMa); 5) Mesial premolar pontic (MPMp); 6) Distal premolar pontic (DPMp); 7) Buccal premolar pontic (BPMp); 8) Lingual premolar pontic (LPMp); 9) Mesial molar abutment (MMa); 10) Distal molar abutment (DMa); 11) Buccal molar abutment (BMa); and 12) Lingual molar abutment (LMa). Data were assessed using Linear Mixed Model and Least Significant Difference (95%) tests. Results: Pontics had significantly higher hardness values than premolar (p=0.001) and molar (p=0.007) abutments, suggesting lower residual stress levels. Marginal ridges yielded higher hardness values for connectors (DPMa, MMa, MPMp and DPMp) than for outer proximal surfaces of abutments (MPMa and DMa). The mesial marginal ridge of the premolar abutment (MPMa) had the lowest hardness values, suggesting higher residual stress concentration. Conclusions: Residual stress in three-unit FDPs was lower in pontics than in abutments. The outer proximal surfaces of the abutments had the highest residual stress concentration

Volumetric and anatomical MRI for hypoxic-ischemic encephalopathy: relationship to hypothermia therapy and neurosensory impairments.

OBJECTIVE: To relate volumetric magnetic resonance imaging (MRI) findings to hypothermia therapy and neurosensory impairments. STUDY DESIGN: Newborns \u3e or =36 weeks\u27 gestation with hypoxic-ischemic encephalopathy who participated in the National Institute of Child Health and Human Development hypothermia randomized trial at our center were eligible. We determined the relationship between hypothermia treatment and usual care (control) to absolute and relative cerebral tissue volumes. Furthermore, we correlated brain volumes with death or neurosensory impairments at 18 to 22 months. RESULT: Both treatment groups were comparable before randomization. Total brain tissue volumes did not differ in relation to treatment assignment. However, relative volumes of subcortical white matter were significantly larger in hypothermia-treated than control infants. Furthermore, relative total brain volumes correlated significantly with death or neurosensory impairments. Relative volumes of the cortical gray and subcortical white matter also correlated significantly with Bayley Scales psychomotor development index. CONCLUSION: Selected volumetric MRI findings correlated with hypothermia therapy and neurosensory impairments. Larger studies using MRI brain volumes as a secondary outcome measure are needed

Studio trasversale sulle variabili di stress lavoro-correlato nei medici in formazione specialistica del maggiore Policlinico Universitario della Sicilia

Introduzione: Il rischio stress lavoro-correlato è uno degli obiettivi della valutazione e prevenzione dei rischi occupazionali negli operatori sanitari (O.S.). I medici in formazione specialistica (MIFS) rappresentano una tipologia di OS sovrapponibile ai dirigenti medici in termini di esposizione lavorativa e quindi di insorgenza di sindromi da stress lavoro-correlato. Obiettivi: Obiettivo dello studio è valutare un set di fattori di rischio stress lavoro-correlato nei MIFS del principale Policlinico Universitario della Sicilia, sottoposti a sorveglianza sanitaria. Materiali e Metodi: Studio trasversale condotto mediante questionario anonimo ed autosomministrato. Risultati: Il 45% dei MIFS di area clinica ed il 37% di area chirurgica usufruiscono del giorno di riposo compensativo a fronte del 92% dell’area dei servizi (p<0,001). Il sistema di rendicontazione delle presenze/monte orario è presente nell’80% delle scuole dell’area dei servizi, nel 60% di quelle di area medica e nel 50% di quelle di area chirurgica (p<0,001). I MIFS delle scuole dell’area chirurgica dichiarano di usufruire delle pause lavorative (41%) con frequenza minore rispetto ai MIFS dell’area medica (60%) e dell’area dei servizi (74%) (p<0,001). I MIFS sia di area medica (47%) che di area chirurgica (47%) risultano essere più esposti a stress lavoro-correlato (p<0,001) rispetto ai MIFS dell’area dei servizi (29%). Conclusioni: Il lavoro documenta un maggiore rischio di stress lavoro-correlato nei MIFS di area chirurgica rispetto alle altre aree professionali indagate. Appare necessario strutturare degli specifici programmi formativi finalizzati alla gestione dell’esposizione al rischio di stress lavoro-correlato per i MIFS, incentrandoli sia sulla persona che sull’ambiente di lavoro.Background: Among health care workers (HCWs), assessment and prevention of work-related stress in the workplace is one of the main goal. Post-graduate medical residents (MRs) are a group of HCWs comparable to medical doctors in terms of occupational exposure and of work-related stress syndromes occurrence. Objectives: To assess the risk of the exposition to work-related stress among MRs attending the major University Hospital of Sicily. Methods: Cross-sectional survey through an anonymous and self-administered questionnaire. Results: 45% of clinical MRs and 37% of surgical MRs have access to compensatory rest days against 92% of MRs of the services area (p <0.001). A work attendance detection system for MRs is available in 80% of the postgraduate medical schools of the services area, in 60% of the clinical postgraduate schools and in 50% of the surgical postgraduate schools (p <0.001). MRs of postgraduate surgical schools declare to have access to work breaks (41%) with less frequency compared to clinical (60%) and services MRs (74%) (p <0.001). Both clinical (47%) and surgical MRs (47%) result to be more exposed to work-related stress than MRs of the services area (27%) (p <0.001). Conclusions: The survey documents an exposure excess of work-related stress for all the considered variables in MRs of surgical area. It is strongly suggested to provide for specific training programs aimed to manage the MRs risk exposure to work-related stress, focusing both on the workers and the work environment

The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

Tomato RNA-seq Data Mining Reveals the Taxonomic and Functional Diversity of Root-Associated Microbiota

Next-generation approaches have enabled researchers to deeply study the plant microbiota and to reveal how microbiota associated with plant roots has key effects on plant nutrition, disease resistance, and plant development. Although early &ldquo;omics&rdquo; experiments focused mainly on the species composition of microbial communities, new &ldquo;meta-omics&rdquo; approaches such as meta-transcriptomics provide hints about the functions of the microbes when interacting with their plant host. Here, we used an RNA-seq dataset previously generated for tomato (Solanum lycopersicum) plants growing on different native soils to test the hypothesis that host-targeted transcriptomics can detect the taxonomic and functional diversity of root microbiota. Even though the sequencing throughput for the microbial populations was limited, we were able to reconstruct the microbial communities and obtain an overview of their functional diversity. Comparisons of the host transcriptome and the meta-transcriptome suggested that the composition and the metabolic activities of the microbiota shape plant responses at the molecular level. Despite the limitations, mining available next-generation sequencing datasets can provide unexpected results and potential benefits for microbiota research