Resource-Bound Quantification for Graph Transformation

Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO) diagram in the category of graphs. We show how intuitionistic linear logic can be extended with resource-bound quantification, allowing for an implicit handling of the DPO conditions, and how resource logic can be used to reason about graph transformation systems

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified linear logic, leading to a Curry-Howard style isomorphism between graphs and transformations on one hand, formulas and proof terms on the other. With linear implication representing rules and reachability of graphs, and the tensor modelling parallel composition of graphs and transformations, we obtain a language able to encode graph transformation systems and their computations as well as reason about their properties

Evaluation of indigenous entomopathogenic nematodes as potential biocontrol agents against popillia japonica (Coleoptera: Scarabaeidae) in Northern Italy

The natural presence of entomopathogenic nematodes (EPNs) has been investigated in the Piedmont region (Northern Italy) in areas infested by the Japanese beetle Popillia japonica. Thirty-nine out of 155 soil samples (25.2%) were positive for EPNs. Most of the samples contained only steinermatids (92.3%), 5.1% contained heterorhabditids, and one sample (2.6%) contained both genera. All the recovered isolates were identified at species level both morphologically and molecularly. Steinernema carpocapsae was the most abundant and it was mainly distributed in open habitats, such as perennial meadows, uncultivated soils, and cropland, characterized by sandy loam soil texture and acidic pH. Steinernema feltiae has been found associated mainly with closed habitats such as coniferous and deciduous woodland, characterized by sandy loam-texture and extremely acidic soil. The three isolates of Heterorhabditis bacteriophora were collected only in open habitats (perennial meadows and uncultivated fields) characterized by strongly acidic soils with sandy loam texture. The virulence of all EPN natural strains was evaluated by laboratory assays against P. japonica third-instar larvae collected during two different periods of the year (spring, autumn). The results showed that larval mortality was higher for pre-wintering larvae than post-wintering ones. The five more promising EPN isolates were tested in the semi-field assay in which H. bacteriophora natural strains have been shown to be more efficient in controlling P. japonica grubs. All of these results are finally discussed considering the use of these natural EPNs as biological control agents against P. japonica, within an eco-friendly perspective of management

"Delirium Day": A nationwide point prevalence study of delirium in older hospitalized patients using an easy standardized diagnostic tool

Background: To date, delirium prevalence in adult acute hospital populations has been estimated generally from pooled findings of single-center studies and/or among specific patient populations. Furthermore, the number of participants in these studies has not exceeded a few hundred. To overcome these limitations, we have determined, in a multicenter study, the prevalence of delirium over a single day among a large population of patients admitted to acute and rehabilitation hospital wards in Italy. Methods: This is a point prevalence study (called "Delirium Day") including 1867 older patients (aged 65 years or more) across 108 acute and 12 rehabilitation wards in Italian hospitals. Delirium was assessed on the same day in all patients using the 4AT, a validated and briefly administered tool which does not require training. We also collected data regarding motoric subtypes of delirium, functional and nutritional status, dementia, comorbidity, medications, feeding tubes, peripheral venous and urinary catheters, and physical restraints. Results: The mean sample age was 82.0 \ub1 7.5 years (58 % female). Overall, 429 patients (22.9 %) had delirium. Hypoactive was the commonest subtype (132/344 patients, 38.5 %), followed by mixed, hyperactive, and nonmotoric delirium. The prevalence was highest in Neurology (28.5 %) and Geriatrics (24.7 %), lowest in Rehabilitation (14.0 %), and intermediate in Orthopedic (20.6 %) and Internal Medicine wards (21.4 %). In a multivariable logistic regression, age (odds ratio [OR] 1.03, 95 % confidence interval [CI] 1.01-1.05), Activities of Daily Living dependence (OR 1.19, 95 % CI 1.12-1.27), dementia (OR 3.25, 95 % CI 2.41-4.38), malnutrition (OR 2.01, 95 % CI 1.29-3.14), and use of antipsychotics (OR 2.03, 95 % CI 1.45-2.82), feeding tubes (OR 2.51, 95 % CI 1.11-5.66), peripheral venous catheters (OR 1.41, 95 % CI 1.06-1.87), urinary catheters (OR 1.73, 95 % CI 1.30-2.29), and physical restraints (OR 1.84, 95 % CI 1.40-2.40) were associated with delirium. Admission to Neurology wards was also associated with delirium (OR 2.00, 95 % CI 1.29-3.14), while admission to other settings was not. Conclusions: Delirium occurred in more than one out of five patients in acute and rehabilitation hospital wards. Prevalence was highest in Neurology and lowest in Rehabilitation divisions. The "Delirium Day" project might become a useful method to assess delirium across hospital settings and a benchmarking platform for future surveys

Nurses' perceptions of aids and obstacles to the provision of optimal end of life care in ICU

Contains fulltext : 172380.pdf (publisher's version ) (Open Access