Two-particle time-domain interferometry in the fractional quantum Hall effect regime

Quasi-particles are elementary excitations of condensed matter quantum phases. Demonstrating that they keep quantum coherence while propagating is a fundamental issue for their manipulation for quantum information tasks. Here, we consider anyons, the fractionally charged quasi-particles of the Fractional Quantum Hall Effect occurring in two-dimensional electronic conductors in high magnetic fields. They obey anyonic statistics, intermediate between fermionic and bosonic. Surprisingly, anyons show large quantum coherence when transmitted through the localized states of electronic Fabry-P\ue9rot interferometers, but almost no quantum interference when transmitted via the propagating states of Mach-Zehnder interferometers. Here, using a novel interferometric approach, we demonstrate that anyons do keep quantum coherence while propagating. Performing two-particle time-domain interference measurements sensitive to the two-particle Hanbury Brown Twiss phase, we find 53 and 60% visibilities for anyons with charges e/5 and e/3. Our results give a positive message for the challenge of performing controlled quantum coherent braiding of anyons

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. An example is demonstrating that a patient’s health-related query sent to a health care service is answered only by a doctor (and not by a secretary). Demonstrating compliance with such policies is important for satisfying governmental privacy regulations. It is often necessary to expose the internals of the web service implementation for demonstrating such compliance, which may compromise modularity. In this work, we provide a language design that enables such demonstrations, while hiding majority of the service’s source code. The key idea is to use greybox specifications to allow service providers to selectively hide and expose parts of their implementation. The overall problem of showing compliance is then reduced to two subproblems: whether the desired properties are satisfied by the service’s greybox specification, and whether this greybox specification is satisfied by the service’s implementation. We specify policies using LTL and solve the first problem by model checking. We solve the second problem by refinement techniques

Development of an enhanced health-economic model and cost-effectiveness analysis of tiotropium + olodaterol Respimat® fixed-dose combination for chronic obstructive pulmonary disease patients in Italy

Background: The objective of this study was to compare the cost-effectiveness of the fixed-dose combination (FDC) of tiotropium + olodaterol Respimat® FDC with tiotropium alone for patients with chronic obstructive pulmonary disease (COPD) in the Italian health care setting using a newly developed patient-level Markov model that reflects the current understanding of the disease. Methods: While previously published models have largely been based around a cohort approach using a Markov structure and GOLD stage stratification, an individual-level Markov approach was selected for the new model. Using patient-level data from the twin TOnado trials assessing Tiotropium + olodaterol Respimat® FDC versus tiotropium, outcomes were modelled based on the trough forced expiratory volume (tFEV1) of over 1000 patients in each treatment arm, tracked individually at trial visits through the 52-week trial period, and after the trial period it was assumed to decline at a constant rate based on disease stage. Exacerbation risk was estimated based on a random-effects logistic regression analysis of exacerbations in UPLIFT. Mortality by age and disease stage was estimated from an analysis of TIOSPIR trial data. Cost of bronchodilators and other medications, routine management, and costs of treatment for moderate and severe exacerbations for the Italian setting were included. A cost-effectiveness analysis was conducted over a 15-year time horizon from the perspective of the Italian National Health Service. Results: Aggregating total costs and quality-adjusted life years (QALYs) for each treatment cohort over 15 years and comparing tiotropium + olodaterol Respimat® FDC with tiotropium alone, resulted in mean incremental co

A Multi-Site Analysis of the Prevalence of Food Insecurity in the United States, before and during the COVID-19 Pandemic

Background: The coronavirus disease 2019 (COVID-19) pandemic profoundly affected food systems including food security. Understanding how the COVID-19 pandemic impacted food security is important to provide support and identify long-term impacts and needs. Objective: The National Food Access and COVID research Team (NFACT) was formed to assess food security over different US study sites throughout the pandemic, using common instruments and measurements. This study presents results from 18 study sites across 15 states and nationally over the first year of the COVID-19 pandemic. Methods: A validated survey instrument was developed and implemented in whole or part through an online survey of adults across the sites throughout the first year of the pandemic, representing 22 separate surveys. Sampling methods for each study site were convenience, representative, or high-risk targeted. Food security was measured using the USDA 6-item module. Food security prevalence was analyzed using ANOVA by sampling method to assess statistically significant differences. Results: Respondents (n = 27,168) indicate higher prevalence of food insecurity (low or very low food security) since the COVID-19 pandemic, compared with before the pandemic. In nearly all study sites, there is a higher prevalence of food insecurity among Black, Indigenous, and People of Color (BIPOC), households with children, and those with job disruptions. The findings demonstrate lingering food insecurity, with high prevalence over time in sites with repeat cross-sectional surveys. There are no statistically significant differences between convenience and representative surveys, but a statistically higher prevalence of food insecurity among high-risk compared with convenience surveys. Conclusions: This comprehensive study demonstrates a higher prevalence of food insecurity in the first year of the COVID-19 pandemic. These impacts were prevalent for certain demographic groups, and most pronounced for surveys targeting high-risk populations. Results especially document the continued high levels of food insecurity, as well as the variability in estimates due to the survey implementation method

Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

The IST-FET Integrated Project Sensoria is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering processes. The techniques and tools of Sensoria encompass the whole software development cycle, from business and architectural design, to quantitative and qualitative analysis of system properties, and to transformation and code generation. The Sensoria approach takes also into account reconfiguration of service-oriented architectures (SOAs) and re-engineering of legacy systems. In this paper we give first a short overview of Sensoria and then present a pattern language for augmenting service engineering with formal analysis, transformation and dynamicity. The patterns are designed to help software developers choose appropriate tools and techniques to develop service-oriented systems with support from formal methods. They support the whole development process, from the modelling stage to deployment activities and give an overview of many of the research areas pursued in the Sensoria project

On the Relative Expressive Power of Asynchronous Communication Primitives

In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and pattern-matching. Each primitive has been already used in at least one language appeared in literature; however, to uniformly reason on such primitives, we plugged them in a common framework inspired by the asynchronous-calculus. By means of possibility/impossibility of ‘reasonable ’ encodings, we compare every pair of primitives to obtain a hierarchy of languages based on their relative expressive power.

Food Insecurity Prevalence Across Diverse Sites During COVID-19: A Year of Comprehensive Data

Key Findings NFACT includes 18 study sites in 15 states as well as a national poll, collectively representing a sample size of more than 26,000 people. Some sites have implemented multiple survey rounds, here we report results from 22 separate surveys conducted during the year since the COVID-19 pandemic began in March 2020. 18 out of 19 surveys in 14 sites with data for before and since the pandemic began found an increase in food insecurity since the start of the COVID-19 pandemic as compared to before the pandemic. In nearly all surveys (18/19) that measured food insecurity both before and during the pandemic, more Black, Indigenous, and People of Color (BIPOC) were classified as food insecure during the pandemic as compared to before it began. Prevalence of food insecurity for BIPOC respondents was higher than the overall population in the majority of surveys (19/20) sampling a general population. In almost all surveys (21/22), the prevalence of food insecurity for households with children was higher than the overall prevalence of food insecurity. Food insecurity prevalence was higher for households experiencing a negative job impact during the pandemic (i.e. job loss, furlough, reduction in hours) in nearly all surveys and study sites (21/22). Food insecurity prevalence in most sites was significantly higher before COVID-19 than estimates from that time period. Reporting a percent change between pre and during COVID-19 prevalence may provide additional information about the rate of change in food insecurity since the start of the pandemic, which absolute prevalence of food insecurity may not capture. Results highlight consistent trends in food insecurity outcomes since the start of the COVID-19 pandemic, across diverse study sites, methodological approaches, and time