On the Construction of Sorted Reactive Systems

We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every such application has required a redevelopment of the theory of pure bigraphical reactive systems for the sorting at hand. Here we present a general construction of sortings. The constructed sortings always sustain the behavioural theory of pure bigraphs (in a precise sense), thus obviating the need to redevelop that theory for each new application. As an example, we recover Milner’s local bigraphs as a sorting on pure bigraphs. Technically, we give our construction for ordinary reactive systems, then lift it to bigraphical reactive systems. As such, we give also a construction of sortings for ordinary reactive systems. This construction is an improvement over previous attempts in that it produces smaller and much more natural sortings, as witnessed by our recovery of local bigraphs as a sorting

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

Coprescription of levodopa with antipsychotics in a population of 84 596 psychiatric inpatients from 1994 to 2008

Patients on levodopa therapy frequently require additional antipsychotic pharmacotherapy. However, consideration must be given to antagonistic interactions on dopamine receptors between levodopa and antipsychotics, and efficacy and safety of such combinations. We therefore aimed to explore the practice and rationale of coprescription between levodopa and antipsychotics in psychiatric patients.A descriptive retrospective study based on cross-sectional prescription data repeatedly collected from psychiatric inpatients through the international Drug Safety in Psychiatry (AMSP) program between 1994 and 2008 was undertaken.Within a population of 84 596 psychiatric patients the prevalence of levodopa therapy was 1.0% (n=886). Among those patients on levodopa therapy 59.6% (n=528) also received antipsychotics. Quetiapine coprescription increased after its first marketing in 2000 to 45.9% in 2008. Coprescription of clozapine and olanzapine decreased from up to 25 and 22%, respectively, before to less than 10% after the introduction of quetiapine. Coprescribing of other antipsychotics remained approximately stable with average prevalences between 6 and less than 1%.Quetiapine has now replaced clozapine as the most frequently coprescribed neuroleptic in psychiatric patients with levodopa therapy. This is in accordance with recent data indicating a low potential for clinically relevant interactions with levodopa and efficacy against psychosis in levodopa-treated patients. The combined use of antipsychotics other than quetiapine and clozapine with levodopa is less common and generally not supported by appropriate evidence

The Volta Grande do Xingu: Reconstruction of Past Environments and Forecasting of Future Scenarios of a Unique Amazonian Fluvial Landscape

The Xingu River is a large clearwater river in eastern Amazonia and its downstream sector, known as the Volta Grande do Xingu (“Xingu Great Bend”), is a unique fluvial landscape that plays an important role in the biodiversity, biogeochemistry and prehistoric and historic peopling of Amazonia. The sedimentary dynamics of the Xingu River in the Volta Grande and its downstream sector will be shifted in the next few years due to the construction of dams associated with the Belo Monte hydropower project. Impacts on river biodiversity and carbon cycling are anticipated, especially due to likely changes in sedimentation and riverbed characteristics. This research project aims to define the geological and climate factors responsible for the development of the Volta Grande landscape and to track its environmental changes during the Holocene, using the modern system as a reference. In this context, sediment cores, riverbed rock and sediment samples and greenhouse gas (GHG) samples were collected in the Volta Grande do Xingu and adjacent upstream and downstream sectors. The reconstruction of past conditions in the Volta Grande is necessary for forecasting future scenarios and defining biodiversity conservation strategies under the operation of Belo Monte dams. This paper describes the scientific questions of the project and the sampling surveys performed by an international team of Earth scientists and biologists during the dry seasons of 2013 and 2014. Preliminary results are presented and a future workshop is planned to integrate results, present data to the scientific community and discuss possibilities for deeper drilling in the Xingu ria to extend the sedimentary record of the Volta Grande do Xingu

Improved Upper Limit on the Neutrino Mass from a Direct Kinematic Method by KATRIN.

We report on the neutrino mass measurement result from the first four-week science run of the Karlsruhe Tritium Neutrino experiment KATRIN in spring 2019. Beta-decay electrons from a high-purity gaseous molecular tritium source are energy analyzed by a high-resolution MAC-E filter. A fit of the integrated electron spectrum over a narrow interval around the kinematic end point at 18.57 keV gives an effective neutrino mass square value of (-1.0_{-1.1}^{+0.9})  eV^{2}. From this, we derive an upper limit of 1.1 eV (90% confidence level) on the absolute mass scale of neutrinos. This value coincides with the KATRIN sensitivity. It improves upon previous mass limits from kinematic measurements by almost a factor of 2 and provides model-independent input to cosmological studies of structure formation