On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

An exceptionally well-preserved skeleton of Palaeothentes from the Early Miocene of Patagonia, Argentina: new insights into the anatomy of extinct paucituberculatan marsupials

International audienc

Diurnal Variation in Urodynamics of Rat

In humans, the storage and voiding functions of the urinary bladder have a characteristic diurnal variation, with increased voiding during the day and urine storage during the night. However, in animal models, the daily functional differences in urodynamics have not been well-studied. The goal of this study was to identify key urodynamic parameters that vary between day and night. Rats were chronically instrumented with an intravesical catheter, and bladder pressure, voided volumes, and micturition frequency were measured by continuous filling cystometry during the light (inactive) or dark (active) phases of the circadian cycle. Cage activity was recorded by video during the experiment. We hypothesized that nocturnal rats entrained to a standard 12:12 light:dark cycle would show greater ambulatory activity and more frequent, smaller volume micturitions in the dark compared to the light. Rats studied during the light phase had a bladder capacity of 1.44±0.21 mL and voided every 8.2±1.2 min. Ambulatory activity was lower in the light phase, and rats slept during the recording period, awakening only to urinate. In contrast, rats studied during the dark were more active, had a lower bladder capacities (0.65±0.18 mL), and urinated more often (every 3.7±0.9 min). Average bladder pressures were not significantly different between the light and dark (13.40±2.49 and 12.19±2.85 mmHg, respectively). These results identify a day-night difference in bladder capacity and micturition frequency in chronically-instrumented nocturnal rodents that is phase-locked to the normal circadian locomotor activity rhythm of the animal. Furthermore, since it has generally been assumed that the daily hormonal regulation of renal function is a major driver of the circadian rhythm in urination, and few studies have addressed the involvement of the lower urinary tract, these results establish the bladder itself as a target for circadian regulation

Tracking down carbon inputs underground from an arid zone Australian calcrete.

Freshwater ecosystems play a key role in shaping the global carbon cycle and maintaining the ecological balance that sustains biodiversity worldwide. Surficial water bodies are often interconnected with groundwater, forming a physical continuum, and their interaction has been reported as a crucial driver for organic matter (OM) inputs in groundwater systems. However, despite the growing concerns related to increasing anthropogenic pressure and effects of global change to groundwater environments, our understanding of the dynamics regulating subterranean carbon flows is still sparse. We traced carbon composition and transformations in an arid zone calcrete aquifer using a novel multidisciplinary approach that combined isotopic analyses of dissolved organic carbon (DOC) and inorganic carbon (DIC) (δ13CDOC, δ13CDIC, 14CDOC and 14CDIC) with fluorescence spectroscopy (Chromophoric Dissolved OM (CDOM) characterisation) and metabarcoding analyses (taxonomic and functional genomics on bacterial 16S rRNA). To compare dynamics linked to potential aquifer recharge processes, water samples were collected from two boreholes under contrasting rainfall: low rainfall ((LR), dry season) and high rainfall ((HR), wet season). Our isotopic results indicate limited changes and dominance of modern terrestrial carbon in the upper part (northeast) of the bore field, but correlation between HR and increased old and 13C-enriched DOC in the lower area (southwest). CDOM results show a shift from terrestrially to microbially derived compounds after rainfall in the same lower field bore, which was also sampled for microbial genetics. Functional genomic results showed increased genes coding for degradative pathways-dominated by those related to aromatic compound metabolisms-during HR. Our results indicate that rainfall leads to different responses in different parts of the bore field, with an increase in old carbon sources and microbial processing in the lower part of the field. We hypothesise that this may be due to increasing salinity, either due to mobilisation of Cl- from the soil, or infiltration from the downstream salt lake during HR. This study is the first to use a multi-technique assessment using stable and radioactive isotopes together with functional genomics to probe the principal organic biogeochemical pathways regulating an arid zone calcrete system. Further investigations involving extensive sampling from diverse groundwater ecosystems will allow better understanding of the microbiological pathways sustaining the ecological functioning of subterranean biota

Evolutionary genetics of immunological supertypes reveals two faces of the Red Queen

Red Queen host-parasite co-evolution can drive adaptations of immune-genes by positive selection that erodes genetic variation (Red Queen Arms Race), or result in a balanced polymorphism (Red Queen Dynamics) and the long-term preservation of genetic variation (trans-species polymorphism). These two Red Queen processes are opposite extremes of the co-evolutionary spectrum. Here we show that both Red Queen processes can operate simultaneously, analyzing the Major Histocompatibility Complex (MHC) in guppies (Poecilia reticulata and P. obscura), and swamp guppies (Micropoecilia picta). Sub-functionalization of MHC alleles into “supertypes” explains how polymorphisms persist during rapid host-parasite co-evolution. Simulations show the maintenance of supertypes as balanced polymorphisms, consistent with Red Queen Dynamics, whereas alleles within supertypes are subject to positive selection in a Red Queen Arms Race. Building on the Divergent Allele Advantage hypothesis, we show that functional aspects of allelic diversity help to elucidate the evolution of polymorphic genes involved in Red Queen co-evolution

Young carers in Germany: to live on as normal as possible – a grounded theory study

<p>Abstract</p> <p>Background</p> <p>In contrast to a growing body of research on the situation of adult family care givers, in Germany hardly anything is known about the situation of children and teenagers who are involved in the care of their relatives.</p> <p>Methods</p> <p>In this Grounded Theory study 81 semi structured interviews have been carried out with children and their parents in 34 families, in which one member is chronically ill. 41 children and 41 parents participated and the sample is heterogeneous and diverse.</p> <p>Results</p> <p>On the one hand, there is the phenomenon 'keeping the family together", which describes how families themselves cope with the chronic illness and also, which tasks to what extent are being shifted and redistributed within the family in order to manage daily life. Influencing factors, the children's motives as well as the impact on the children also belong to this phenomenon. The second phenomenon 'to live a normal course of life' describes concrete wishes and expectations of support for the family to manage the hindered daily life. These two phenomena linked together constitute the 'model of experience and construction of familial care, in which children take over an active role'.</p> <p>Conclusion</p> <p>It will be discussed, that the more families are in dire need of support, the more their distress becomes invisible, furthermore, that management of chronic illness is a process, in which the entire family is involved, and thus needs to be considered, and finally, that young carer's relief is not possible without relief of their parents.</p

Skeleton of an unusual cat-sized marsupial relative (Metatheria: Marsupialiformes) from the middle Eocene (Lutetian: 44-43 million years ago) of Turkey

We describe a near-complete, three-dimensionally preserved skeleton of a metatherian (relative of modern marsupials) from the middle Eocene (Lutetian: 44–43 million years ago) Lülük member of the Uzunçarşıdere Formation, central Turkey. With an estimated body mass of 3–4 kg, about the size of a domestic cat (Felis catus) or spotted quoll (Dasyurus maculatus), it is an order of magnitude larger than the largest fossil metatherians previously known from the Cenozoic of the northern hemisphere. This new taxon is characterised by large, broad third premolars that probably represent adaptations for hard object feeding (durophagy), and its craniodental morphology suggests the capacity to generate high bite forces. Qualitative and quantitative functional analyses of its postcranial skeleton indicate that it was probably scansorial and relatively agile, perhaps broadly similar in locomotor mode to the spotted quoll, but with a greater capacity for climbing and grasping. Bayesian phylogenetic analysis of a total evidence dataset comprising 259 morphological characters and 9kb of DNA sequence data from five nuclear protein-coding genes, using both undated and “tip-and-node dating” approaches, place the new taxon outside the marsupial crown-clade, but within the clade Marsupialiformes. It demonstrates that at least one metatherian lineage evolved to occupy the small-medium, meso- or hypo-carnivore niche in the northern hemisphere during the early Cenozoic, at a time when there were numerous eutherians (placentals and their fossil relatives) filling similar niches. However, the known mammal fauna from Uzunçarşıdere Formation appears highly endemic, and geological evidence suggests that this region of Turkey was an island for at least part of the early Cenozoic, and so the new taxon may have evolved in isolation from potential eutherian competitors. Nevertheless, the new taxon reveals previously unsuspected ecomorphological disparity among northern hemisphere metatherians during the first half of the Cenozoic

Relationship between psychological factors and performance-based and self-reported disability in chronic low back pain

Cross sectional study, performed in an outpatient university based pain rehabilitation setting. To analyze the relationship between psychological factors (psychosocial distress, depression, self efficacy, self-esteem, fear of movement, pain cognitions and coping reactions) and performance-based and self-reported disability, as measured with a Functional Capacity Evaluation (FCE) and the Roland Morris Disability Questionnaire (RMDQ), in patients with chronic low back pain (CLBP). It has been suggested that a strong relationship exists between psychological factors and disability in patients with CLBP. In former research disability was often measured by self-report and seldom performance-based. Study sample consisted of 92 patients with CLBP admitted for multidisciplinary rehabilitation. Prior to treatment, all patients completed questionnaires to measure psychological factors and self-reported disability, and performed an FCE to measure performance-based disability. Correlation coefficients between psychological variables and FCE and self-reported disability were calculated. Multivariate linear regression analyses were performed with self-reported or performance based disability measures as outcome variables, and psychological measures as predictor variables. Out of 42 relations analyzed, 5 were statistically significant. This concerned one significant correlation between kinesiophobia and a subtest of FCE, and four correlations between psychological factors and RMDQ. No correlation was significant after the Bonferroni correction was applied (P < 0.001). The strength of significant correlations ranged from r = −0.33 to r = 0.25. The multivariate analysis revealed that psychological variables measured in this study could explain 19% of the variance of self-reported disability, with kinesiophobia being the only psychological variable that contributed significantly. The suggested strong relationship between psychological factors and performance-based and self-reported disability could not be confirmed in this study. This may implicate that the relationship between psychological factors and disability in patients with CLBP is not as unambiguous as suggested

Is Promiscuity Associated with Enhanced Selection on MHC-DQα in Mice (genus Peromyscus)?

Reproductive behavior may play an important role in shaping selection on Major Histocompatibility Complex (MHC) genes. For example, the number of sexual partners that an individual has may affect exposure to sexually transmitted pathogens, with more partners leading to greater exposure and, hence, potentially greater selection for variation at MHC loci. To explore this hypothesis, we examined the strength of selection on exon 2 of the MHC-DQα locus in two species of Peromyscus. While the California mouse (P. californicus) is characterized by lifetime social and genetic monogamy, the deer mouse (P. maniculatus) is socially and genetically promiscuous; consistent with these differences in mating behavior, the diversity of bacteria present within the reproductive tracts of females is significantly greater for P. maniculatus. To test the prediction that more reproductive partners and exposure to a greater range of sexually transmitted pathogens are associated with enhanced diversifying selection on genes responsible for immune function, we compared patterns and levels of diversity at the Class II MHC-DQα locus in sympatric populations of P. maniculatus and P. californicus. Using likelihood based analyses, we show that selection is enhanced in the promiscuous P. maniculatus. This study is the first to compare the strength of selection in wild sympatric rodents with known differences in pathogen milieu