On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions

Several Markovian process calculi have been proposed in the literature, which differ from each other for various aspects. With regard to the action representation, we distinguish between integrated-time Markovian process calculi, in which every action has an exponentially distributed duration associated with it, and orthogonal-time Markovian process calculi, in which action execution is separated from time passing. Similar to deterministically timed process calculi, we show that these two options are not irreconcilable by exhibiting three mappings from an integrated-time Markovian process calculus to an orthogonal-time Markovian process calculus that preserve the behavioral equivalence of process terms under different interpretations of action execution: eagerness, laziness, and maximal progress. The mappings are limited to classes of process terms of the integrated-time Markovian process calculus with restrictions on parallel composition and do not involve the full capability of the orthogonal-time Markovian process calculus of expressing nondeterministic choices, thus elucidating the only two important differences between the two calculi: their synchronization disciplines and their ways of solving choices

Numerical simulation of a wawe generator: a case of study

The aim of present work is the numerical simulation of a linear generator, capable of directly converting the kinetic energy, available by the wave, into electrical energy, through the device linear motion (up and down). In this paper, we intend to propose a numerical simulation approach to immersed devices by applying the Immersed Boundary Method. The Theory of linear wave is used to study and reproduce sea conditions and the computational domain is created based on observations available for the site in which it is envisaged the positioning of the devic

Robustness of asymmetry and coherence of quantum states

Quantum states may exhibit asymmetry with respect to the action of a given group. Such an asymmetry of states can be considered as a resource in applications such as quantum metrology, and it is a concept that encompasses quantum coherence as a special case. We introduce explicitly and study the robustness of asymmetry, a quantifier of asymmetry of states that we prove to have many attractive properties, including efficient numerical computability via semidefinite programming, and an operational interpretation in a channel discrimination context. We also introduce the notion of asymmetry witnesses, whose measurement in a laboratory detects the presence of asymmetry. We prove that properly constrained asymmetry witnesses provide lower bounds to the robustness of asymmetry, which is shown to be a directly measurable quantity itself. We then focus our attention on coherence witnesses and the robustness of coherence, for which we prove a number of additional results; these include an analysis of its specific relevance in phase discrimination and quantum metrology, an analytical calculation of its value for a relevant class of quantum states, and tight bounds that relate it to another previously defined coherence monotone

Robustness of coherence: an operational and observable measure of quantum coherence

Quantifying coherence is an essential endeavour for both quantum foundations and quantum technologies. Here the robustness of coherence is defined and proven a full monotone in the context of the recently introduced resource theories of quantum coherence. The measure is shown to be observable, as it can be recast as the expectation value of a coherence witness operator for any quantum state. The robustness of coherence is evaluated analytically on relevant classes of states, and an efficient semidefinite program that computes it on general states is given. An operational interpretation is finally provided: the robustness of coherence quantifies the advantage enabled by a quantum state in a phase discrimination task

Event-based surveillance during EXPO Milan 2015. Rationale, tools, procedures, and initial results

More than 21 million participants attended EXPO Milan from May to October 2015, making it one of the largest protracted mass gathering events in Europe. Given the expected national and international population movement and health security issues associated with this event, Italy fully implemented, for the first time, an event-based surveillance (EBS) system focusing on naturally occurring infectious diseases and the monitoring of biological agents with potential for intentional release. The system started its pilot phase in March 2015 and was fully operational between April and November 2015. In order to set the specific objectives of the EBS system, and its complementary role to indicator-based surveillance, we defined a list of priority diseases and conditions. This list was designed on the basis of the probability and possible public health impact of infectious disease transmission, existing statutory surveillance systems in place, and any surveillance enhancements during the mass gathering event. This article reports the methodology used to design the EBS system for EXPO Milan and the results of 8 months of surveillance

PPARα-targeted mitochondrial bioenergetics mediate repair of intestinal barriers at the host-microbe intersection during SIV infection.

Chronic gut inflammatory diseases are associated with disruption of intestinal epithelial barriers and impaired mucosal immunity. HIV-1 (HIV) causes depletion of mucosal CD4+ T cells early in infection and disruption of gut epithelium, resulting in chronic inflammation and immunodeficiency. Although antiretroviral therapy (ART) is effective in suppressing viral replication, it is incapable of restoring the "leaky gut," which poses an impediment for HIV cure efforts. Strategies are needed for rapid repair of the epithelium to protect intestinal microenvironments and immunity in inflamed gut. Using an in vivo nonhuman primate intestinal loop model of HIV/AIDS, we identified the pathogenic mechanism underlying sustained disruption of gut epithelium and explored rapid repair of gut epithelium at the intersection of microbial metabolism. Molecular, immunological, and metabolomic analyses revealed marked loss of peroxisomal proliferator-activated receptor-α (PPARα) signaling, predominant impairment of mitochondrial function, and epithelial disruption both in vivo and in vitro. To elucidate pathways regulating intestinal epithelial integrity, we introduced probiotic Lactobacillus plantarum into Simian immunodeficiency virus (SIV)-inflamed intestinal lumen. Rapid recovery of the epithelium occurred within 5 h of L. plantarum administration, independent of mucosal CD4+ T cell recovery, and in the absence of ART. This intestinal barrier repair was driven by L. plantarum-induced PPARα activation and restoration of mitochondrial structure and fatty acid β-oxidation. Our data highlight the critical role of PPARα at the intersection between microbial metabolism and epithelial repair in virally inflamed gut and as a potential mitochondrial target for restoring gut barriers in other infectious or gut inflammatory diseases

Quantifying non-Gaussianity for quantum information

We address the quantification of non-Gaussianity of states and operations in continuous-variable systems and its use in quantum information. We start by illustrating in details the properties and the relationships of two recently proposed measures of non-Gaussianity based on the Hilbert-Schmidt (HS) distance and the quantum relative entropy (QRE) between the state under examination and a reference Gaussian state. We then evaluate the non-Gaussianities of several families of non-Gaussian quantum states and show that the two measures have the same basic properties and also share the same qualitative behaviour on most of the examples taken into account. However, we also show that they introduce a different relation of order, i.e. they are not strictly monotone each other. We exploit the non-Gaussianity measures for states in order to introduce a measure of non-Gaussianity for quantum operations, to assess Gaussification and de-Gaussification protocols, and to investigate in details the role played by non-Gaussianity in entanglement distillation protocols. Besides, we exploit the QRE-based non-Gaussianity measure to provide new insight on the extremality of Gaussian states for some entropic quantities such as conditional entropy, mutual information and the Holevo bound. We also deal with parameter estimation and present a theorem connecting the QRE nonG to the quantum Fisher information. Finally, since evaluation of the QRE nonG measure requires the knowledge of the full density matrix, we derive some {\em experimentally friendly} lower bounds to nonG for some class of states and by considering the possibility to perform on the states only certain efficient or inefficient measurements.Comment: 22 pages, 13 figures, comments welcome. v2: typos corrected and references added. v3: minor corrections (more similar to published version