Haematology in mice after weekly blood sampling for 7 weeks

No abstract availabl

Haematologic and Clinical Chemical values in 3 and 6 months old Göttingen minipigs

Blood samples were collected from sixty healthy Göttingen minipigs. fifteen males and fifteen females at the age of three months and fifteen males and fifteen females at the age of six months. The samples were taken at the breeder’s facilities. The samples were analysed for nineteen haematological and twenty~six clinical chemical parameters. Means, standard deviations and lowest and highest values are presented. In general the parameters were comparable with those reponed for other breeds of miniature and domestic swine. The white blood cell count, the percentages of neutrophils and monocytes and serum globulin levels were lower in these microbiologically defined minipigs compared with conventionally rearedpigs and minipigs. Three litter mates had a complex of abnormally high serum creatine kinase, lactate dehydrogenase, uspartate aminotransterase and alanine aminotmnsferase levels

Revisiting Semantics of Interactions for Trace Validity Analysis

Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contrast to translational approaches we propose an operational approach. Its principle is to identify which elementary communication actions can be immediately executed, and then to compute, for every such action, a new interaction representing the possible continuations to its execution. We also define an algorithm for checking the validity of execution traces (i.e. whether or not they belong to an interaction's semantics). Algorithms for semantic computation and trace validity are analyzed by means of experiments.Comment: 18 pages of contents and 2 pages for references, 10 figures. Published in ETAPS-FASE2020 : "23rd International Conference on Fundamental Approaches to Software Engineering" in the "research papers" categor

Non-Zero Sum Games for Reactive Synthesis

In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.Comment: LATA'16 invited pape

Studying boundary layer methane isotopy and vertical mixing processes at a rewetted peatland site using an unmanned aircraft system

The combination of two well-established methods, of quadrocopter-borne air sampling and methane isotopic analyses, is applied to determine the source process of methane at different altitudes and to study mixing processes. A proof-of-concept study was performed to demonstrate the capabilities of quadrocopter air sampling for subsequently analysing the methane isotopic composition δ13C in the laboratory. The advantage of the system compared to classical sampling on the ground and at tall towers is the flexibility concerning sampling location, and in particular the flexible choice of sampling altitude, allowing the study of the layering and mixing of air masses with potentially different spatial origin of air masses and methane. Boundary layer mixing processes and the methane isotopic composition were studied at Polder Zarnekow in Mecklenburg–West Pomerania in the north-east of Germany, which has become a strong source of biogenically produced methane after rewetting the drained and degraded peatland. Methane fluxes are measured continuously at the site. They show high emissions from May to September, and a strong diurnal variability. For two case studies on 23 May and 5 September 2018, vertical profiles of temperature and humidity were recorded up to an altitude of 650 and 1000 m, respectively, during the morning transition. Air samples were taken at different altitudes and analysed in the laboratory for methane isotopic composition. The values showed a different isotopic composition in the vertical distribution during stable conditions in the morning (delta values of −51.5 ‰ below the temperature inversion at an altitude of 150 m on 23 May 2018 and at an altitude of 50 m on 5 September 2018, delta values of −50.1 ‰ above). After the onset of turbulent mixing, the isotopic composition was the same throughout the vertical column with a mean delta value of −49.9 ± 0.45 ‰. The systematically more negative delta values occurred only as long as the nocturnal temperature inversion was present. During the September study, water samples were analysed as well for methane concentration and isotopic composition in order to provide a link between surface and atmosphere. The water samples reveal high variability on horizontal scales of a few tens of metres for this particular case. The airborne sampling system and consecutive analysis chain were shown to provide reliable and reproducible results for two samples obtained simultaneously. The method presents a powerful tool for distinguishing the source process of methane at different altitudes. The isotopic composition showed clearly depleted delta values directly above a biological methane source when vertical mixing was hampered by a temperature inversion, and different delta values above, where the air masses originate from a different footprint area. The vertical distribution of methane isotopic composition can serve as tracer for mixing processes of methane within the atmospheric boundary layer

Nonperturbative late time asymptotics for heat kernel in gravity theory

Recently proposed nonlocal and nonperturbative late time behavior of the heat kernel is generalized to curved spacetimes. Heat kernel trace asymptotics is dominated by two terms one of which represents a trivial covariantization of the flat-space result and another one is given by the Gibbons-Hawking integral over asymptotically-flat infinity. Nonlocal terms of the effective action generated by this asymptotics might underly long- distance modifications of the Einstein theory motivated by the cosmological constant problem. New mechanisms of the cosmological constant induced by infrared effects of matter and graviton loops are briefly discussed.Comment: 22 pages, LaTeX, final version, to be published in Phys. Rev.

Daily torpor: When heart and brain go cold - Nonlinear cardiac dynamics in the seasonal heterothermic Djungarian hamster

Djungarian hamsters (Phodopus sungorus) acclimated to short photoperiod display episodes of spontaneous daily torpor with metabolic rate depressed by ∼70%, body temperature (