The Cost of Monitoring Alone

We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.Comment: 22 page

Spin Caloritronics

This is a brief overview of the state of the art of spin caloritronics, the science and technology of controlling heat currents by the electron spin degree of freedom (and vice versa).Comment: To be published in "Spin Current", edited by S. Maekawa, E. Saitoh, S. Valenzuela and Y. Kimura, Oxford University Pres

Evolution favors protein mutational robustness in sufficiently large populations

BACKGROUND: An important question is whether evolution favors properties such as mutational robustness or evolvability that do not directly benefit any individual, but can influence the course of future evolution. Functionally similar proteins can differ substantially in their robustness to mutations and capacity to evolve new functions, but it has remained unclear whether any of these differences might be due to evolutionary selection for these properties. RESULTS: Here we use laboratory experiments to demonstrate that evolution favors protein mutational robustness if the evolving population is sufficiently large. We neutrally evolve cytochrome P450 proteins under identical selection pressures and mutation rates in populations of different sizes, and show that proteins from the larger and thus more polymorphic population tend towards higher mutational robustness. Proteins from the larger population also evolve greater stability, a biophysical property that is known to enhance both mutational robustness and evolvability. The excess mutational robustness and stability is well described by existing mathematical theories, and can be quantitatively related to the way that the proteins occupy their neutral network. CONCLUSIONS: Our work is the first experimental demonstration of the general tendency of evolution to favor mutational robustness and protein stability in highly polymorphic populations. We suggest that this phenomenon may contribute to the mutational robustness and evolvability of viruses and bacteria that exist in large populations

Effects of external nutrient sources and extreme weather events on the nutrient budget of a Southern European coastal lagoon

The seasonal and annual nitrogen (N), phosphorus (P), and carbon (C) budgets of the mesotidal Ria Formosa lagoon, southern Portugal, were estimated to reveal the main inputs and outputs, the seasonal patterns, and how they may influence the ecological functioning of the system. The effects of extreme weather events such as long-lasting strong winds causing upwelling and strong rainfall were assessed. External nutrient inputs were quantified; ocean exchange was assessed in 24-h sampling campaigns, and final calculations were made using a hydrodynamic model of the lagoon. Rain and stream inputs were the main freshwater sources to the lagoon. However, wastewater treatment plant and groundwater discharges dominated nutrient input, together accounting for 98, 96, and 88 % of total C, N, and P input, respectively. Organic matter and nutrients were continuously exported to the ocean. This pattern was reversed following extreme events, such as strong winds in early summer that caused upwelling and after a period of heavy rainfall in late autumn. A principal component analysis (PCA) revealed that ammonium and organic N and C exchange were positively associated with temperature as opposed to pH and nitrate. These variables reflected mostly the benthic lagoon metabolism, whereas particulate P exchange was correlated to Chl a, indicating that this was more related to phytoplankton dynamics. The increase of stochastic events, as expected in climate change scenarios, may have strong effects on the ecological functioning of coastal lagoons, altering the C and nutrient budgets.Portuguese Science and Technology Foundation (FCT) [POCI/MAR/58427/2004, PPCDT/MAR/58427/2004]; Portuguese Science and Technology Foundation (FCT

Non-equilibrium induction of tin in germanium: towards direct bandgap Ge1−xSnx nanowires

The development of non-equilibrium group IV nanoscale alloys is critical to achieving new functionalities, such as the formation of a direct bandgap in a conventional indirect bandgap elemental semiconductor. Here, we describe the fabrication of uniform diameter, direct bandgap Ge1−xSnx alloy nanowires, with a Sn incorporation up to 9.2 at.%, far in excess of the equilibrium solubility of Sn in bulk Ge, through a conventional catalytic bottom-up growth paradigm using noble metal and metal alloy catalysts. Metal alloy catalysts permitted a greater inclusion of Sn in Ge nanowires compared with conventional Au catalysts, when used during vapour–liquid–solid growth. The addition of an annealing step close to the Ge-Sn eutectic temperature (230 °C) during cool-down, further facilitated the excessive dissolution of Sn in the nanowires. Sn was distributed throughout the Ge nanowire lattice with no metallic Sn segregation or precipitation at the surface or within the bulk of the nanowires. The non-equilibrium incorporation of Sn into the Ge nanowires can be understood in terms of a kinetic trapping model for impurity incorporation at the triple-phase boundary during growth

Thermodynamic analysis of the Quantum Critical behavior of Ce-lattice compounds

A systematic analysis of low temperature magnetic phase diagrams of Ce compounds is performed in order to recognize the thermodynamic conditions to be fulfilled by those systems to reach a quantum critical regime and, alternatively, to identify other kinds of low temperature behaviors. Based on specific heat ($C_m$) and entropy ($S_m$) results, three different types of phase diagrams are recognized: i) with the entropy involved into the ordered phase ($S_{MO}$) decreasing proportionally to the ordering temperature ($T_{MO}$), ii) those showing a transference of degrees of freedom from the ordered phase to a non-magnetic component, with their $C_m(T_{MO})$ jump ($\Delta C_m$) vanishing at finite temperature, and iii) those ending in a critical point at finite temperature because their $\Delta C_m$ do not decrease with $T_{MO}$ producing an entropy accumulation at low temperature. Only those systems belonging to the first case, i.e. with $S_{MO}\to 0$ as $T_{MO}\to 0$, can be regarded as candidates for quantum critical behavior. Their magnetic phase boundaries deviate from the classical negative curvature below $T\approx 2.5$\,K, denouncing frequent misleading extrapolations down to T=0. Different characteristic concentrations are recognized and analyzed for Ce-ligand alloyed systems. Particularly, a pre-critical region is identified, where the nature of the magnetic transition undergoes significant modifications, with its $\partial C_m/\partial T$ discontinuity strongly affected by magnetic field and showing an increasing remnant entropy at $T\to 0$. Physical constraints arising from the third law at $T\to 0$ are discussed and recognized from experimental results

The Third International Consensus Definitions for Sepsis and Septic Shock (Sepsis-3)

IMPORTANCE: Definitions of sepsis and septic shock were last revised in 2001. Considerable advances have since been made into the pathobiology (changes in organ function, morphology, cell biology, biochemistry, immunology, and circulation), management, and epidemiology of sepsis, suggesting the need for reexamination. OBJECTIVE: To evaluate and, as needed, update definitions for sepsis and septic shock. PROCESS: A task force (n = 19) with expertise in sepsis pathobiology, clinical trials, and epidemiology was convened by the Society of Critical Care Medicine and the European Society of Intensive Care Medicine. Definitions and clinical criteria were generated through meetings, Delphi processes, analysis of electronic health record databases, and voting, followed by circulation to international professional societies, requesting peer review and endorsement (by 31 societies listed in the Acknowledgment). KEY FINDINGS FROM EVIDENCE SYNTHESIS: Limitations of previous definitions included an excessive focus on inflammation, the misleading model that sepsis follows a continuum through severe sepsis to shock, and inadequate specificity and sensitivity of the systemic inflammatory response syndrome (SIRS) criteria. Multiple definitions and terminologies are currently in use for sepsis, septic shock, and organ dysfunction, leading to discrepancies in reported incidence and observed mortality. The task force concluded the term severe sepsis was redundant. RECOMMENDATIONS: Sepsis should be defined as life-threatening organ dysfunction caused by a dysregulated host response to infection. For clinical operationalization, organ dysfunction can be represented by an increase in the Sequential [Sepsis-related] Organ Failure Assessment (SOFA) score of 2 points or more, which is associated with an in-hospital mortality greater than 10%. Septic shock should be defined as a subset of sepsis in which particularly profound circulatory, cellular, and metabolic abnormalities are associated with a greater risk of mortality than with sepsis alone. Patients with septic shock can be clinically identified by a vasopressor requirement to maintain a mean arterial pressure of 65 mm Hg or greater and serum lactate level greater than 2 mmol/L (>18 mg/dL) in the absence of hypovolemia. This combination is associated with hospital mortality rates greater than 40%. In out-of-hospital, emergency department, or general hospital ward settings, adult patients with suspected infection can be rapidly identified as being more likely to have poor outcomes typical of sepsis if they have at least 2 of the following clinical criteria that together constitute a new bedside clinical score termed quickSOFA (qSOFA): respiratory rate of 22/min or greater, altered mentation, or systolic blood pressure of 100 mm Hg or less. CONCLUSIONS AND RELEVANCE: These updated definitions and clinical criteria should replace previous definitions, offer greater consistency for epidemiologic studies and clinical trials, and facilitate earlier recognition and more timely management of patients with sepsis or at risk of developing sepsis

Upper atmospheres and ionospheres of planets and satellites

The upper atmospheres of the planets and their satellites are more directly exposed to sunlight and solar wind particles than the surface or the deeper atmospheric layers. At the altitudes where the associated energy is deposited, the atmospheres may become ionized and are referred to as ionospheres. The details of the photon and particle interactions with the upper atmosphere depend strongly on whether the object has anintrinsic magnetic field that may channel the precipitating particles into the atmosphere or drive the atmospheric gas out to space. Important implications of these interactions include atmospheric loss over diverse timescales, photochemistry and the formation of aerosols, which affect the evolution, composition and remote sensing of the planets (satellites). The upper atmosphere connects the planet (satellite) bulk composition to the near-planet (-satellite) environment. Understanding the relevant physics and chemistry provides insight to the past and future conditions of these objects, which is critical for understanding their evolution. This chapter introduces the basic concepts of upper atmospheres and ionospheres in our solar system, and discusses aspects of their neutral and ion composition, wind dynamics and energy budget. This knowledge is key to putting in context the observations of upper atmospheres and haze on exoplanets, and to devise a theory that explains exoplanet demographics.Comment: Invited Revie