Coordination via Interaction Constraints I: Local Logic

Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction. Our model captures behaviour described in terms of synchronisation and data flow constraints, plus various modes of interaction with the outside world provided by external constraint symbols, on-the-fly constraint generation, and coordination variables. Underlying our approach is an engine performing (partial) constraint satisfaction of the sets of constraints. Our model extends previous work on three counts: firstly, a more advanced notion of external interaction is offered; secondly, our approach enables local satisfaction of constraints with appropriate partial solutions, avoiding global synchronisation over the entire constraints set; and, as a consequence, constraint satisfaction can finally occur concurrently, and multiple parts of a set of constraints can be solved and interact with the outside world in an asynchronous manner, unless synchronisation is required by the constraints. This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic

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

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

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

A Path Toward the Use of Trail Users’ Tweets to Assess Effectiveness of the Environmental Stewardship Scheme: An Exploratory Analysis of the Pennine Way National Trail

Large and unofficial data sets, for instance those gathered from social media, are increasingly being used in geographical research and explored as decision support tools for policy development. Social media data have the potential to provide new insight into phenomena about which there is little information from conventional sources. Within this context, this paper explores the potential of social media data to evaluate the aesthetic management of landscape. Specifically, this project utilises the perceptions of visitors to the Pennine Way National Trail, which passes through land managed under the Environmental Stewardship Scheme (ESS). The method analyses sentiment in trail users’ public Twitter messages (tweets) with the aim of assessing the extent to which the ESS maintains landscape character within the trail corridor. The method demonstrates the importance of filtering social media data to convert it into useful information. After filtering, the results are based on 161 messages directly related to the trail. Although small, this sample illustrates the potential for social media to be used as a cheap and increasingly abundant source of information. We suggest that social media data in this context should be seen as a resource that can complement, rather than replace, conventional data sources such as questionnaires and interviews. Furthermore, we provide guidance on how social media could be effectively used by conservation bodies, such as Natural England, which are charged with the management of areas of environmental value worldwide

Biolinguistics end-of-year notice 2022

notReviewedpublishedVersio