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

Safer in the Clouds (Extended Abstract)

We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.Comment: In Proceedings ICE 2010, arXiv:1010.530

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

B7 costimulation and intracellular indoleamine-2,3-dioxygenase (IDO) expression in peripheral blood of healthy pregnant and non-pregnant women.

BACKGROUND: B7 costimulatory molecules are expressed on antigen presenting cells (APCs) and are important regulators of T cell activation. We investigated the role of the B7 family of costimulatory molecules in the development of the systemic maternal immune tolerance during healthy pregnancy (HP). We also aimed to investigate the intracellular expression of indoleamine-2,3-dioxygenase (IDO) and plasma levels of tryptophane (TRP), kynurenine (KYN) and kynurenic acid (KYNA), important molecules with immunoregulatory properties, in order to describe their potential contribution to the pregnancy-specific maternal immune tolerance. METHODS: We determined the frequency of activated (CD11b+) monocytes expressing B7-1, B7-2, B7-H1, and B7-H2, and that of T cells and CD4+ T helper cells expressing CD28, CTLA-4, PD-1, and ICOS in peripheral blood samples of healthy pregnant (HP) and non-pregnant (NP) women using flow cytometry. We also examined the intracellular expression of IDO applying flow cytometry and plasma levels of TRP, KYN and KYNA using high-performance liquid chromatography. RESULTS: A significant increase in the prevalence of CD28+ T cells was observed in HP compared to NP women. At the same time a decrease was shown in the expression of CTLA-4 on these cells. The frequency of CD80+ monocytes was lower in HP women. The prevalence of IDO-expressing T cells and monocytes was higher in HP compared to NP women. Plasma KYN, KYNA and TRP levels were lower, while at the same time, the KYN/TRP ratio was higher in HP than in NP women. CONCLUSIONS: Costimulation via CD28 may not contribute to the immunosuppressive environment, at least in the third trimester of pregnancy. The development of the pregnancy-specific immune tolerance in the mechanism of B7 costimulation may be more related to the altered expression of B7 proteins on APCs rather than that of their receptors on T cells. The elevated intracellular IDO expression in monocytes and T cells, as well as higher plasma enzymatic IDO activity are likely to contribute to the systemic immunosuppressive environment in the third trimester characteristic for healthy gestation

The source ambiguity problem: Distinguishing the effects of grammar and processing on acceptability judgments

Judgments of linguistic unacceptability may theoretically arise from either grammatical deviance or significant processing difficulty. Acceptability data are thus naturally ambiguous in theories that explicitly distinguish formal and functional constraints. Here, we consider this source ambiguity problem in the context of Superiority effects: the dispreference for ordering a wh-phrase in front of a syntactically “superior” wh-phrase in multiple wh-questions, e.g., What did who buy? More specifically, we consider the acceptability contrast between such examples and so-called D-linked examples, e.g., Which toys did which parents buy? Evidence from acceptability and self-paced reading experiments demonstrates that (i) judgments and processing times for Superiority violations vary in parallel, as determined by the kind of wh-phrases they contain, (ii) judgments increase with exposure, while processing times decrease, (iii) reading times are highly predictive of acceptability judgments for the same items, and (iv) the effects of the complexity of the wh-phrases combine in both acceptability judgments and reading times. This evidence supports the conclusion that D-linking effects are likely reducible to independently motivated cognitive mechanisms whose effects emerge in a wide range of sentence contexts. This in turn suggests that Superiority effects, in general, may owe their character to differential processing difficulty

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

Commissioning of the vacuum system of the KATRIN Main Spectrometer

The KATRIN experiment will probe the neutrino mass by measuring the beta-electron energy spectrum near the endpoint of tritium beta-decay. An integral energy analysis will be performed by an electro-static spectrometer (Main Spectrometer), an ultra-high vacuum vessel with a length of 23.2 m, a volume of 1240 m^3, and a complex inner electrode system with about 120000 individual parts. The strong magnetic field that guides the beta-electrons is provided by super-conducting solenoids at both ends of the spectrometer. Its influence on turbo-molecular pumps and vacuum gauges had to be considered. A system consisting of 6 turbo-molecular pumps and 3 km of non-evaporable getter strips has been deployed and was tested during the commissioning of the spectrometer. In this paper the configuration, the commissioning with bake-out at 300{\deg}C, and the performance of this system are presented in detail. The vacuum system has to maintain a pressure in the 10^{-11} mbar range. It is demonstrated that the performance of the system is already close to these stringent functional requirements for the KATRIN experiment, which will start at the end of 2016.Comment: submitted for publication in JINST, 39 pages, 15 figure