Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Rats distinguish between absence of events and lack of evidence in contingency learning.

The goal of three experiments was to study whether rats are aware of the difference between absence of events and lack of evidence. We used a Pavlovian extinction paradigm in which lights consistently signaling sucrose were suddenly paired with the absence of sucrose. The crucial manipulation involved the absent outcomes in the extinction phase. Whereas in the Cover conditions, access to the drinking receptacle was blocked by a metal plate, in the No Cover conditions, the drinking receptacle was accessible. The Test phase showed that in the Cover conditions, the measured expectancies of sucrose were clearly at a higher level than in the No Cover conditions. We compare two competing theories potentially explaining the findings. A cognitive theory interprets the observed effect as evidence that the rats were able to understand that the cover blocked informational access to the outcome information, and therefore the changed learning input did not necessarily signify a change of the underlying contingency in the world. An alternative associationist account, renewal theory, might instead explain the relative sparing of extinction in the Cover condition as a consequence of context change. We discuss the merits of both theories as accounts of our data and conclude that the cognitive explanation is in this case preferred

A Spectral Algorithm with Additive Clustering for the Recovery of Overlapping Communities in Networks

This paper presents a novel spectral algorithm with additive clustering designed to identify overlapping communities in networks. The algorithm is based on geometric properties of the spectrum of the expected adjacency matrix in a random graph model that we call stochastic blockmodel with overlap (SBMO). An adaptive version of the algorithm, that does not require the knowledge of the number of hidden communities, is proved to be consistent under the SBMO when the degrees in the graph are (slightly more than) logarithmic. The algorithm is shown to perform well on simulated data and on real-world graphs with known overlapping communities.Comment: Journal of Theoretical Computer Science (TCS), Elsevier, A Para\^itr

The interaction between a sexually transferred steroid hormone and a female protein regulates oogenesis in the malaria mosquito anopheles gambiae

Molecular interactions between male and female factors during mating profoundly affect the reproductive behavior and physiology of female insects. In natural populations of the malaria mosquito Anopheles gambiae, blood-fed females direct nutritional resources towards oogenesis only when inseminated. Here we show that the mating-dependent pathway of egg development in these mosquitoes is regulated by the interaction between the steroid hormone 20-hydroxy-ecdysone (20E) transferred by males during copulation and a female Mating-Induced Stimulator of Oogenesis (MISO) protein. RNAi silencing of MISO abolishes the increase in oogenesis caused by mating in blood-fed females, causes a delay in oocyte development, and impairs the function of male-transferred 20E. Co-immunoprecipitation experiments show that MISO and 20E interact in the female reproductive tract. Moreover MISO expression after mating is induced by 20E via the Ecdysone Receptor, demonstrating a close cooperation between the two factors. Male-transferred 20E therefore acts as a mating signal that females translate into an increased investment in egg development via a MISO-dependent pathway. The identification of this male–female reproductive interaction offers novel opportunities for the control of mosquito populations that transmit malaria

Sexual selection protects against extinction

Reproduction through sex carries substantial costs, mainly because only half of sexual adults produce offspring. It has been theorised that these costs could be countered if sex allows sexual selection to clear the universal fitness constraint of mutation load. Under sexual selection, competition between (usually) males, and mate choice by (usually) females create important intraspecific filters for reproductive success, so that only a subset of males gains paternity. If reproductive success under sexual selection is dependent on individual condition, which depends on mutation load, then sexually selected filtering through ‘genic capture’ could offset the costs of sex because it provides genetic benefits to populations. Here, we test this theory experimentally by comparing whether populations with histories of strong versus weak sexual selection purge mutation load and resist extinction differently. After evolving replicate populations of the flour beetle Tribolium castaneum for ~7 years under conditions that differed solely in the strengths of sexual selection, we revealed mutation load using inbreeding. Lineages from populations that had previously experienced strong sexual selection were resilient to extinction and maintained fitness under inbreeding, with some families continuing to survive after 20 generations of sib × sib mating. By contrast, lineages derived from populations that experienced weak or non-existent sexual selection showed rapid fitness declines under inbreeding, and all were extinct after generation 10. Multiple mutations across the genome with individually small effects can be difficult to clear, yet sum to a significant fitness load; our findings reveal that sexual selection reduces this load, improving population viability in the face of genetic stress

The Therapeutic Implications of Plasticity of the Cancer Stem Cell Phenotype

The cancer stem cell hypothesis suggests that tumors contain a small population of cancer cells that have the ability to undergo symmetric self-renewing cell division. In tumors that follow this model, cancer stem cells produce various kinds of specified precursors that divide a limited number of times before terminally differentiating or undergoing apoptosis. As cells within the tumor mature, they become progressively more restricted in the cell types to which they can give rise. However, in some tumor types, the presence of certain extra- or intracellular signals can induce committed cancer progenitors to revert to a multipotential cancer stem cell state. In this paper, we design a novel mathematical model to investigate the dynamics of tumor progression in such situations, and study the implications of a reversible cancer stem cell phenotype for therapeutic interventions. We find that higher levels of dedifferentiation substantially reduce the effectiveness of therapy directed at cancer stem cells by leading to higher rates of resistance. We conclude that plasticity of the cancer stem cell phenotype is an important determinant of the prognosis of tumors. This model represents the first mathematical investigation of this tumor trait and contributes to a quantitative understanding of cancer

Evolution of cooperation without reciprocity

A long-standing problem in biological and social sciences is to understand the conditions required for the emergence and maintenance of cooperation in evolving populations. For many situations, kin selection(1) is an adequate explanation, although kin-recognition may still be a problem. Explanations of cooperation between non-kin include continuing interactions that provide a shadow of the future (that is, the expectation of an ongoing relationship) that can sustain reciprocity(2-4), possibly supported by mechanisms to bias interactions such as embedding the agents in a two-dimensional space(4-6) or other context-preserving networks(7). Another explanation, indirect reciprocity(8), applies when benevolence to one agent increases the chance of receiving help from others. Here we use computer simulations to show that cooperation can arise when agents donate to others who are sufficiently similar to themselves in some arbitrary characteristic. Such a characteristic, or 'tag', can be a marking, display, or other observable trait. Tag-based donation can lead to the emergence of cooperation among agents who have only rudimentary ability to detect environmental signals and, unlike models of direct(3,4) or indirect reciprocity(9,10), no memory of past encounters is required.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/62686/1/414441a0.pd

Home visit improves knowledge, self-care and adhesion in heart failure: randomized Clinical Trial HELEN-I

OBJECTIVE: To verify the effect of an educative nursing intervention composed of home visits and phone calls on patients' knowledge about the disease, self-care and adhesion to the treatment. METHODS: Randomized clinical trial with patients with recent hospitalization caused by decompensated heart failure. There were two groups: the intervention group, which has received four home visits and four phone calls to reinforce the guidelines during six months of follow up; and the control group, which has received conventional follow up with no visits or phone calls. RESULTS: Two hundred patients were randomized (101 in the intervention group and 99 in the control group). After six months, a significant improvement was observed in self-care and knowledge about the disease in the intervention group (P=0.001 and P<0.001), respectively; the adhesion to the treatment, measured and compared between the groups, was significantly higher in the intervention group (P=0.001). CONCLUSION: the strategy of home visits to patients who were recently hospitalized with decompensated heart failure was effective in improving the outcomes assessed and its implementation deserves to be considered in Brazil aiming at avoiding unplanned hospitalizations. NCT-0121386

Transfusion of fresh frozen plasma in non-bleeding ICU patients -TOPIC TRIAL: study protocol for a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Fresh frozen plasma (FFP) is an effective therapy to correct for a deficiency of multiple coagulation factors during bleeding. In past years, use of FFP has increased, in particular in patients on the Intensive Care Unit (ICU), and has expanded to include prophylactic use in patients with a coagulopathy prior to undergoing an invasive procedure. Retrospective studies suggest that prophylactic use of FFP does not prevent bleeding, but carries the risk of transfusion-related morbidity. However, up to 50% of FFP is administered to non-bleeding ICU patients. With the aim to investigate whether prophylactic FFP transfusions to critically ill patients can be safely omitted, a multi-center randomized clinical trial is conducted in ICU patients with a coagulopathy undergoing an invasive procedure.</p> <p>Methods</p> <p>A non-inferiority, prospective, multicenter randomized open-label, blinded end point evaluation (PROBE) trial. In the intervention group, a prophylactic transfusion of FFP prior to an invasive procedure is omitted compared to transfusion of a fixed dose of 12 ml/kg in the control group. Primary outcome measure is relevant bleeding. Secondary outcome measures are minor bleeding, correction of International Normalized Ratio, onset of acute lung injury, length of ventilation days and length of Intensive Care Unit stay.</p> <p>Discussion</p> <p>The Transfusion of Fresh Frozen Plasma in non-bleeding ICU patients (TOPIC) trial is the first multi-center randomized controlled trial powered to investigate whether it is safe to withhold FFP transfusion to coagulopathic critically ill patients undergoing an invasive procedure.</p> <p>Trial Registration</p> <p>Trial registration: Dutch Trial Register NTR2262 and ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT01143909">NCT01143909</a></p