Manifolds associated with (Z2)n(Z_2)^n-colored regular graphs

In this article we describe a canonical way to expand a certain kind of $(\mathbb Z_2)^{n+1}$-colored regular graphs into closed $n$-manifolds by adding cells determined by the edge-colorings inductively. We show that every closed combinatorial $n$-manifold can be obtained in this way. When $n\leq 3$, we give simple equivalent conditions for a colored graph to admit an expansion. In addition, we show that if a $(\mathbb Z_2)^{n+1}$-colored regular graph admits an $n$-skeletal expansion, then it is realizable as the moment graph of an $(n+1)$-dimensional closed $(\mathbb Z_2)^{n+1}$-manifold.Comment: 20 pages with 9 figures, in AMS-LaTex, v4 added a new section on reconstructing a space with a $(Z_2)^n$-action for which its moment graph is a given colored grap

Borna disease virus infects human neural progenitor cells and impairs neurogenesis.

Understanding the complex mechanisms by which infectious agents can disrupt behavior represents a major challenge. The Borna disease virus (BDV), a potential human pathogen, provides a unique model to study such mechanisms. Because BDV induces neurodegeneration in brain areas that are still undergoing maturation at the time of infection, we tested the hypothesis that BDV interferes with neurogenesis. We showed that human neural stem/progenitor cells are highly permissive to BDV, although infection does not alter their survival or undifferentiated phenotype. In contrast, upon the induction of differentiation, BDV is capable of severely impairing neurogenesis by interfering with the survival of newly generated neurons. Such impairment was specific to neurogenesis, since astrogliogenesis was unaltered. In conclusion, we demonstrate a new mechanism by which BDV might impair neural function and brain plasticity in infected individuals. These results may contribute to a better understanding of behavioral disorders associated with BDV infection

Developing a serocorrelate of protection against invasive group B streptococcus disease in pregnant women: a feasibility study.

BACKGROUND: Group B streptococcus is the leading cause of infection in infants. Currently, intrapartum antibiotic prophylaxis is the major strategy to prevent invasive group B streptococcus disease. However, intrapartum antibiotic prophylaxis does not prevent maternal sepsis, premature births, stillbirths or late-onset disease. Maternal vaccination may offer an alternative strategy. Multivalent polysaccharide protein conjugate vaccine development is under way and a serocorrelate of protection is needed to expedite vaccine licensure. OBJECTIVES: The ultimate aim of this work is to determine the correlate of protection against the major group B streptococcus disease-causing serotypes in infants in the UK. The aim of this feasibility study is to test key operational aspects of the study design. DESIGN: Prospective cohort study of pregnant women and their infants in a 6-month period (1 July to 31 December 2018). SETTING: Five secondary and tertiary hospitals from London and South England. National iGBS disease surveillance was conducted in all trusts in England and Wales. PARTICIPANTS: Pregnant women aged ≥ 18 years who were delivering at one of the selected hospitals and who provided consent during the study period. There were no exclusion criteria. INTERVENTIONS: No interventions were performed. MAIN OUTCOME MEASURES: (1) To test the feasibility of collecting serum at delivery from a large cohort of pregnant women. (2) To test the key operational aspects for a proposed large serocorrelates study. (3) To test the feasibility of collecting samples from those with invasive group B streptococcus. RESULTS: A total of 1823 women were recruited during the study period. Overall, 85% of serum samples were collected at three sites collecting only cord blood. At the two sites collecting maternal, cord and infant blood samples, the collection rate was 60%. A total of 614 women were screened for group B streptococcus with a colonisation rate of 22% (serotype distribution: 30% III, 25% Ia, 16% II, 14% Ib, 14% V and 1% IV). A blood sample was collected from 34 infants who were born to colonised women. Maternal and infant blood and the bacterial isolates for 15 newborns who developed invasive group B streptococcal disease during the study period were collected (serotype distribution: 29% III, 29% II, 21% Ia, 7% Ib, 7% IV and 7% V). LIMITATIONS: Recruitment and sample collection were dependent on the presence of research midwives rather than the whole clinical team. In addition, individualised consent limited the number of women who could be approached each day, and site set-up for the national surveillance study and the limited time period of this feasibility study limited recruitment of all eligible participants. CONCLUSIONS: We have verified the feasibility of collecting and processing rectovaginal swabs and blood samples in pregnant women, as well as samples from those with invasive group B streptococcal disease. We have made recommendations for the recruitment of cases within the proposed GBS3 study and for controls both within GBS3 and as an extension of this feasibility study. FUTURE WORK: A large case-control study comparing specific immunoglobulin G levels in mothers whose infants develop invasive group B streptococcal disease with those in colonised mothers whose infants do not develop invasive group B streptococcal disease is recommended. TRIAL REGISTRATION: Current Controlled Trials ISRCTN49326091; IRAS project identification number 246149/REC reference number 18/WM/0147. FUNDING: This project was funded by the National Institute for Health Research (NIHR) Health Technology Assessment programme and will be published in full in Health Technology Assessment; Vol. 23, No. 67. See the NIHR Journals Library website for further project information

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

A mutual reference shape based on information theory

International audienceIn this paper, we propose to consider the estimation of a refer-ence shape from a set of different segmentation results using both active contours and information theory. The reference shape is defined as the minimum of a criterion that benefits from both the mutual information and the joint entropy of the input segmentations and called a mutual shape. This energy criterion is here justified using similarities between informa-tion theory quantities and area measures, and presented in a continuous variational framework. This framework brings out some interesting evaluation measures such as the speci-ficity and sensitivity. In order to solve this shape optimization problem, shape derivatives are computed for each term of the criterion and interpreted as an evolution equation of an active contour. Some synthetical examples allow us to cast the light on the difference between our mutual shape and an average shape. Our framework has been considered for the estimation of a mutual shape for the evaluation of cardiac segmentation methods in MRI

Unacceptably High Mortality Related to Measles Epidemics in Niger, Nigeria, and Chad

BACKGROUND: Despite the comprehensive World Health Organization (WHO)/United Nations Children's Fund (UNICEF) measles mortality–reduction strategy and the Measles Initiative, a partnership of international organizations supporting measles mortality reduction in Africa, certain high-burden countries continue to face recurrent epidemics. To our knowledge, few recent studies have documented measles mortality in sub-Saharan Africa. The objective of our study was to investigate measles mortality in three recent epidemics in Niamey (Niger), N'Djamena (Chad), and Adamawa State (Nigeria). METHODS AND FINDINGS: We conducted three exhaustive household retrospective mortality surveys in one neighbourhood of each of the three affected areas: Boukoki, Niamey, Niger (April 2004, n = 26,795); Moursal, N'Djamena, Chad (June 2005, n = 21,812); and Dong District, Adamawa State, Nigeria (April 2005, n = 16,249), where n is the total surveyed population in each of the respective areas. Study populations included all persons resident for at least 2 wk prior to the study, a duration encompassing the measles incubation period. Heads of households provided information on measles cases, clinical outcomes up to 30 d after rash onset, and health-seeking behaviour during the epidemic. Measles cases and deaths were ascertained using standard WHO surveillance-case definitions. Our main outcome measures were measles attack rates (ARs) and case fatality ratios (CFRs) by age group, and descriptions of measles complications and health-seeking behaviour. Measles ARs were the highest in children under 5 y old (under 5 y): 17.1% in Boukoki, 17.2% in Moursal, and 24.3% in Dong District. CFRs in under 5-y-olds were 4.6%, 4.0%, and 10.8% in Boukoki, Moursal, and Dong District, respectively. In all sites, more than half of measles cases in children aged under 5 y experienced acute respiratory infection and/or diarrhoea in the 30 d following rash onset. Of measles cases, it was reported that 85.7% (979/1,142) of patients visited a health-care facility within 30 d after rash onset in Boukoki, 73.5% (519/706) in Moursal, and 52.8% (603/1,142) in Dong District. CONCLUSIONS: Children in these countries still face unacceptably high mortality from a completely preventable disease. While the successes of measles mortality–reduction strategies and progress observed in measles control in other countries of the region are laudable and evident, they should not overshadow the need for intensive efforts in countries that have just begun implementation of the WHO/UNICEF comprehensive strategy

The nuclear energy density functional formalism

The present document focuses on the theoretical foundations of the nuclear energy density functional (EDF) method. As such, it does not aim at reviewing the status of the field, at covering all possible ramifications of the approach or at presenting recent achievements and applications. The objective is to provide a modern account of the nuclear EDF formalism that is at variance with traditional presentations that rely, at one point or another, on a {\it Hamiltonian-based} picture. The latter is not general enough to encompass what the nuclear EDF method represents as of today. Specifically, the traditional Hamiltonian-based picture does not allow one to grasp the difficulties associated with the fact that currently available parametrizations of the energy kernel $E[g',g]$ at play in the method do not derive from a genuine Hamilton operator, would the latter be effective. The method is formulated from the outset through the most general multi-reference, i.e. beyond mean-field, implementation such that the single-reference, i.e. "mean-field", derives as a particular case. As such, a key point of the presentation provided here is to demonstrate that the multi-reference EDF method can indeed be formulated in a {\it mathematically} meaningful fashion even if $E[g',g]$ does {\it not} derive from a genuine Hamilton operator. In particular, the restoration of symmetries can be entirely formulated without making {\it any} reference to a projected state, i.e. within a genuine EDF framework. However, and as is illustrated in the present document, a mathematically meaningful formulation does not guarantee that the formalism is sound from a {\it physical} standpoint. The price at which the latter can be enforced as well in the future is eventually alluded to.Comment: 64 pages, 8 figures, submitted to Euroschool Lecture Notes in Physics Vol.IV, Christoph Scheidenberger and Marek Pfutzner editor

Colloquium: Mechanical formalisms for tissue dynamics

The understanding of morphogenesis in living organisms has been renewed by tremendous progressin experimental techniques that provide access to cell-scale, quantitative information both on theshapes of cells within tissues and on the genes being expressed. This information suggests that ourunderstanding of the respective contributions of gene expression and mechanics, and of their crucialentanglement, will soon leap forward. Biomechanics increasingly benefits from models, which assistthe design and interpretation of experiments, point out the main ingredients and assumptions, andultimately lead to predictions. The newly accessible local information thus calls for a reflectionon how to select suitable classes of mechanical models. We review both mechanical ingredientssuggested by the current knowledge of tissue behaviour, and modelling methods that can helpgenerate a rheological diagram or a constitutive equation. We distinguish cell scale ("intra-cell")and tissue scale ("inter-cell") contributions. We recall the mathematical framework developpedfor continuum materials and explain how to transform a constitutive equation into a set of partialdifferential equations amenable to numerical resolution. We show that when plastic behaviour isrelevant, the dissipation function formalism appears appropriate to generate constitutive equations;its variational nature facilitates numerical implementation, and we discuss adaptations needed in thecase of large deformations. The present article gathers theoretical methods that can readily enhancethe significance of the data to be extracted from recent or future high throughput biomechanicalexperiments.Comment: 33 pages, 20 figures. This version (26 Sept. 2015) contains a few corrections to the published version, all in Appendix D.2 devoted to large deformation