A Syntactic Model of Mutation and Aliasing

Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory. We present an alternative "syntactic" model where memory is encoded as part of the program rather than as a separate resource. This means that execution can be modelled by just rewriting source code terms, as in semantic models for functional programs. Formally, this is achieved by the block construct, introducing local variable declarations, which play the role of memory when their initializing expressions have been evaluated. In this way, we obtain a language semantics which directly represents at the syntactic level constraints on aliasing, allowing simpler reasoning about related properties. To illustrate this advantage, we consider the issue, widely studied in the literature, of characterizing an isolated portion of memory, which cannot be reached through external references. In the syntactic model, closed block values, called "capsules", provide a simple representation of isolated portions of memory, and capsules can be safely moved to another location in the memory, without introducing sharing, by means of "affine' variables. We prove that the syntactic model can be encoded in the conventional one, hence efficiently implemented.Comment: In Proceedings DCM 2018 and ITRS 2018 , arXiv:1904.0956

Investigation of adaptive optics imaging biomarkers for detecting pathological changes of the cone mosaic in patients with type 1 diabetes mellitus

Purpose To investigate a set of adaptive optics (AO) imaging biomarkers for the assessment of changes of the cone mosaic spatial arrangement in patients with type 1 diabetes mellitus (DM1). Methods 16 patients with 20/20 visual acuity and a diagnosis of DM1 in the past 8 years to 37 years and 20 age-matched healthy volunteers were recruited in this study. Cone density, cone spacing and Voronoi diagrams were calculated on 160x160 μm images of the cone mosaic acquired with an AO flood illumination retinal camera at 1.5 degrees eccentricity from the fovea along all retinal meridians. From the cone spacing measures and Voronoi diagrams, the linear dispersion index (LDi) and the heterogeneity packing index (HPi) were computed respectively. Logistic regression analysis was conducted to discriminate DM1 patients without diabetic retinopathy from controls using the cone metrics as predictors. Results Of the 16 DM1 patients, eight had no signs of diabetic retinopathy (noDR) and eight had mild nonproliferative diabetic retinopathy (NPDR) on fundoscopy. On average, cone density, LDi and HPi values were significantly different (P<0.05) between noDR or NPDR eyes and controls, with these differences increasing with duration of diabetes. However, each cone metric alone was not sufficiently sensitive to discriminate entirely between membership of noDR cases and controls. The complementary use of all the three cone metrics in the logistic regression model gained 100% accuracy to identify noDR cases with respect to controls. PLOS ONE | DOI:10.1371/journal.pone.0151380 March 10, 2016 1 / 14 OPEN ACCESS Citation: Lombardo M, Parravano M, Serrao S, Ziccardi L, Giannini D, Lombardo G (2016) Investigation of Adaptive Optics Imaging Biomarkers for Detecting Pathological Changes of the Cone Mosaic in Patients with Type 1 Diabetes Mellitus. PLoS ONE 11(3): e0151380. doi:10.1371/journal. pone.0151380 Editor: Knut Stieger, Justus-Liebig-University Giessen, GERMANY Received: December 17, 2015 Accepted: February 27, 2016 Published: March 10, 2016 Copyright: © 2016 Lombardo et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Data Availability Statement: All relevant data are within the paper and its Supporting Information files. Funding: Research for this work was supported by the Italian Ministry of Health (5x1000 funding), by the National Framework Program for Research and Innovation PON (grant n. 01_00110) and by Fondazione Roma. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. Vision Engineering Italy srl funder provided support in the form of salaries for author GL, but did not have any Conclusion The present set of AO imaging biomarkers identified reliably abnormalities in the spatial arrangement of the parafoveal cones in DM1 patients, even when no signs of diabetic retinopathy were seen on fundoscopy

Biomimetic hydroxyapatite nanocrystals are an active carrier for Salmonella bacteriophages

open access articlePurpose: The use of bacteriophages represents a valid alternative to conventional antimicrobial treatments, overcoming the widespread bacterial antibiotic resistance phenomenon. In this work, we evaluated whether biomimetic hydroxyapatite (HA) nanocrystals are able to enhance some properties of bacteriophages. The final goal of this study was to demonstrate that biomimetic HA nanocrystals can be used for bacteriophage delivery in the context of bacterial infections, and contribute – at the same time – to enhance some of the biological properties of the same bacteriophages such as stability, preservation, antimicrobial activity, and so on. Materials and methods: Phage isolation and characterization were carried out by using Mitomycin C and following double-layer agar technique. The biomimetic HA water suspension was synthesized in order to obtain nanocrystals with plate-like morphology and nanometric dimensions. The interaction of phages with the HA was investigated by dynamic light scattering and Zeta potential analyses. The cytotoxicity and intracellular killing activities of the phage–HA complex were evaluated in human hepatocellular carcinoma HepG2 cells. The bacterial inhibition capacity of the complex was assessed on chicken minced meat samples infected with Salmonella Rissen. Results: Our data highlighted that the biomimetic HA nanocrystal–bacteriophage complex was more stable and more effective than phages alone in all tested experimental conditions. Conclusion: Our results evidenced the important contribution of biomimetic HA nanocrystals: they act as an excellent carrier for bacteriophage delivery and enhance its biological characteristics. This study confirmed the significant role of the mineral HA when it is complexed with biological entities like bacteriophages, as it has been shown for molecules such as lactoferrin

Unified description of equation of state and transport properties of nuclear matter

Correlated basis function perturbation theory and the formalism of cluster expansions have been recently employed to obtain an effective interaction from a state-of-the-art nucleon nucleon potential model. The approach based on the effective interaction allows for a consistent description of the nuclear matter ground state and nucleon-nucleon scattering in the nuclear medium. This paper reports the the results of numerical calculations of different properties of nuclear and neutron matter, including the equation of state and the shear viscosity and thermal conductivity transport coefficients, carried out using the effective interaction.Comment: Invited talk at the Sixth Conference on Perspectives in Hadronic Physics (ICTP, Trieste, May 2008). To be published in the proceedings (AIP

Critical issues and key points from the survey to the creation of the historical building information model: The case of Santo Stefano Basilica

The new era of designing in architecture and civil engineering applications lies in the Building Information Modeling (BIM) approach, based on a 3D geometric model including a 3D database. This is easier for new constructions whereas, when dealing with existing buildings, the creation of the BIM is based on the accurate knowledge of the as-built construction. Such a condition is allowed by a 3D survey, often carried out with laser scanning technology or modern photogrammetry, which are able to guarantee an adequate points cloud in terms of resolution and completeness by balancing both time consuming and costs with respect to the request of final accuracy. The BIM approach for existing buildings and even more for historical buildings is not yet a well known and deeply discussed process. There are still several choices to be addressed in the process from the survey to the model and critical issues to be discussed in the modeling step, particularly when dealing with unconventional elements such as deformed geometries or historical elements. The paper describes a comprehensive workflow that goes through the survey and the modeling, allowing to focus on critical issues and key points to obtain a reliable BIM of an existing monument. The case study employed to illustrate the workflow is the Basilica of St. Stefano in Bologna (Italy), a large monumental complex with great religious, historical and architectural assets

Not only a problem of fatigue and sleepiness: Changes in psychomotor performance in Italian nurses across 8-h rapidly rotating shifts

Although many studies have detailed the consequences of shift work in nurses concerning health, fatigue, sleepiness, or medical errors, no study has been carried out trying to disentangle the contribution of sleepiness and fatigue associated to shift work from the attentional performance. The aim of this pilot study is (A) to investigate the effects of an 8-h rapidly rotating shift on fatigue and sleepiness among staff nurses and (B) how these factors affect their psychomotor performance. Fourteen nurses were selected for a within-subject cross-sectional study according to this sequence of shifts: morning–afternoon–night, which were compared as function of tiredness, sleepiness, and performance at the Psychomotor Vigilance Task (PVT). Subsequently, a within-subject Analysis of Covariance (ANCOVA) evaluated if the observed differences between shifts persist when the contribution of sleepiness is controlled. Our results clearly indicate that night shifts are associated with significant greater sleepiness and tiredness, and worsened performance at the PVT. As hypothesized, ANCOVA showed that these differences disappear when the contribution of sleepiness is controlled. Results point to a lower psychomotor performance in night compared to day shifts that depends on sleepiness. Hence, interventions to minimize the consequences of the night shift should consider a reduction of sleepiness

A design strategy for AM/PM compensation in GaN Doherty power amplifiers

This paper presents the theoretical analysis of phase distortion (AM/PM) mechanisms in Gallium Nitride (GaN) Doherty power amplifiers (DPAs) and a novel approach to optimize the tradeoff between linearity and efficiency. In particular, it is demonstrated how it is possible to mitigate the AM/PM by designing a suitable mismatch at the input of the active devices, based on the identification of constant AM/PM and gain contour circles. The proposed theory is experimentally confirmed by source- and load-pull measurements and further validated through the design and realization of a 7 GHz 10 W DPA based on GaN monolithic technology

Evaluating GaN Doherty architectures for 4G Picocells, WiMax and microwave backhaul links

This paper evaluates the Doherty power amplifier architecture in terms of linearity, efficiency and design solutions. As case study four different prototypes are presented, one for 4G Picocells at 2.1 GHz, one for WiMax applications at 3.5 GHz and two for point-to-point microwave backhaul radiolinks at 7 GHz. Experimental results together with design guidelines are discussed addressing strengths and weaknesses of the Doherty architectur

The Challenge of Fostering Healthy Organizations: An Empirical Study on the Role of Workplace Relational Civility in Acceptance of Change and Well-Being

The world of work in the twenty-first century is characterized by globalization, instability, and unavoidable change. Organizations need to develop a positive relational environment in the workplace thereby enabling workers to enhance their personal resources in order to face with on-going changes in the sphere of work for promoting their well-being. Against this background, the aim of this research was to examine the relationship between workplace relational civility and both acceptance of change and well-being (hedonic well-being as well as eudaimonic well-being) beyond the effect of personality traits. The following instruments were administered to 261 Italian workers: the Ten Item Personality Inventory (TIPI), the Acceptance of Change Scale (ACS), the Satisfaction With Life Scale (SWLS), and the Meaningful Life Measure (MLM). The results of hierarchical regression analyses revealed that workplace relational civility explained a percentage of incremental variance beyond personality traits in relation to acceptance of change, life satisfaction, and meaning in life. These results underscore the positive relationship between workplace relational civility and acceptance of change, hedonic well-being, and eudaimonic well-being, offering new research and intervention opportunities to meet the challenge of fostering healthy organizations