Complexity of checking whether two automata are synchronized by the same language

A deterministic finite automaton is said to be synchronizing if it has a reset word, i.e. a word that brings all states of the automaton to a particular one. We prove that it is a PSPACE-complete problem to check whether the language of reset words for a given automaton coincides with the language of reset words for some particular automaton.Comment: 12 pages, 4 figure

LNCS

We define the model-measuring problem: given a model M and specification φ, what is the maximal distance ρ such that all models M′ within distance ρ from M satisfy (or violate) φ. The model measuring problem presupposes a distance function on models. We concentrate on automatic distance functions, which are defined by weighted automata. The model-measuring problem subsumes several generalizations of the classical model-checking problem, in particular, quantitative model-checking problems that measure the degree of satisfaction of a specification, and robustness problems that measure how much a model can be perturbed without violating the specification. We show that for automatic distance functions, and ω-regular linear-time and branching-time specifications, the model-measuring problem can be solved. We use automata-theoretic model-checking methods for model measuring, replacing the emptiness question for standard word and tree automata by the optimal-weight question for the weighted versions of these automata. We consider weighted automata that accumulate weights by maximizing, summing, discounting, and limit averaging. We give several examples of using the model-measuring problem to compute various notions of robustness and quantitative satisfaction for temporal specifications

Ownership and control in a competitive industry

We study a differentiated product market in which an investor initially owns a controlling stake in one of two competing firms and may acquire a non-controlling or a controlling stake in a competitor, either directly using her own assets, or indirectly via the controlled firm. While industry profits are maximized within a symmetric two product monopoly, the investor attains this only in exceptional cases. Instead, she sometimes acquires a noncontrolling stake. Or she invests asymmetrically rather than pursuing a full takeover if she acquires a controlling one. Generally, she invests indirectly if she only wants to affect the product market outcome, and directly if acquiring shares is profitable per se. --differentiated products,separation of ownership and control,private benefits of control

Mapping human dispersals into the Horn of Africa from Arabian Ice Age refugia using mitogenomes

Rare mitochondrial lineages with relict distributions can sometimes be disproportionately informative about deep events in human prehistory. We have studied one such lineage, haplogroup R0a, which uniquely is most frequent in Arabia and the Horn of Africa, but is distributed much more widely, from Europe to India. We conclude that: (1) the lineage ancestral to R0a is more ancient than previously thought, with a relict distribution across the Mediterranean/Southwest Asia; (2) R0a has a much deeper presence in Arabia than previously thought, highlighting the role of at least one Pleistocene glacial refugium, perhaps on the Red Sea plains; (3) the main episode of dispersal into Eastern Africa, at least concerning maternal lineages, was at the end of the Late Glacial, due to major expansions from one or more refugia in Arabia; (4) there was likely a minor Late Glacial/early postglacial dispersal from Arabia through the Levant and into Europe, possibly alongside other lineages from a Levantine refugium; and (5) the presence of R0a in Southwest Arabia in the Holocene at the nexus of a trading network that developed after ~3 ka between Africa and the Indian Ocean led to some gene flow even further afield, into Iran, Pakistan and India

COP1 destabilizes DELLA proteins in Arabidopsis

DELLA transcriptional regulators are central components in the control of plant growth responses to the environment. This control is considered to be mediated by changes in the metabolism of the hormones gibberellins (GAs), which promote the degradation of DELLAs. However, here we show that warm temperature or shade reduced the stability of a GA-insensitive DELLA allele in Arabidopsis thaliana. Furthermore, the degradation of DELLA induced by the warmth preceded changes in GA levels and depended on the E3 ubiquitin ligase CONSTITUTIVELY PHOTOMORPHOGENIC1 (COP1). COP1 enhanced the degradation of normal and GA-insensitive DELLA alleles when coexpressed in Nicotiana benthamiana. DELLA proteins physically interacted with COP1 in yeast, mammalian, and plant cells. This interaction was enhanced by the COP1 complex partner SUPRESSOR OF phyA-105 1 (SPA1). The level of ubiquitination of DELLA was enhanced by COP1 and COP1 ubiquitinated DELLA proteins in vitro. We propose that DELLAs are destabilized not only by the canonical GA-dependent pathway but also by COP1 and that this control is relevant for growth responses to shade and warm temperature.This work was supported by the Spanish Ministry of Economy, Industry and Competitiveness and Agencia Española de Investigación/Fondo Europeo para el Desarrollo Regional/Unión Europea (grants BIO2016-79133-P to D.A. and BIO2013-46539-R and BIO2016-80551-R to V.R.); the European Union SIGNAT-Research and Innovation Staff Exchange (Grant H2020-MSCA-RISE-2014-644435 to M.A.B., D.A., and J.J.C.); the Argentinian Agencia Nacional de Promoción Científica y Tecnológica (Grant Proyectos de Investigación Científica y Tecnológica-2016-1459 to J.J.C.); Universidad de Buenos Aires (grant 20020170100505BA to J.J.C.); the National Institute of General Medical Sciences of the National Institutes of Health (awards R01GM067837 and R01GM056006 to S.A.K.); the German Research Foundation (DFG) under Germany’s Excellence Strategy/Initiative (Cluster of Excellence on Plant Sciences – Excellence Cluster EXC-2048/1, Project ID 390686111 to M.D.Z.); the International Max Planck Research School of the Max Planck Society; the Universities of Düsseldorf and of Cologne to T.B.; Nordrhein Westfalen Bioeconomy Science Center-FocusLabs CombiCom to N.H. and M.D.Z.; and Ministry of Education, Youth and Sports of the Czech Republic (Project LQ1601 Central European Institute of Technology 2020 to B.B. and M.C.). N.B.-T., E.I., and M.G.-L. were supported by Ministerio de Economía y Competitividad-Formación de Personal Investigador Program fellowships

Early inhaled budesonide for the prevention of bronchopulmonary dysplasia

BACKGROUND Systemic glucocorticoids reduce the incidence of bronchopulmonary dysplasia among extremely preterm infants, but they may compromise brain development. The effects of inhaled glucocorticoids on outcomes in these infants are unclear. METHODS We randomly assigned 863 infants (gestational age, 23 weeks 0 days to 27 weeks 6 days) to early (within 24 hours after birth) inhaled budesonide or placebo until they no longer required oxygen and positive-pressure support or until they reached a postmenstrual age of 32 weeks 0 days. The primary outcome was death or bronchopulmonary dysplasia, confirmed by means of standardized oxygen-saturation monitoring, at a postmenstrual age of 36 weeks. RESULTS A total of 175 of 437 infants assigned to budesonide for whom adequate data were available (40.0%), as compared with 194 of 419 infants assigned to placebo for whom adequate data were available (46.3%), died or had bronchopulmonary dysplasia (relative risk, stratified according to gestational age, 0.86; 95% confidence interval [CI], 0.75 to 1.00; P = 0.05). The incidence of bronchopulmonary dysplasia was 27.8% in the budesonide group versus 38.0% in the placebo group (relative risk, stratified according to gestational age, 0.74; 95% CI, 0.60 to 0.91; P = 0.004); death occurred in 16.9% and 13.6% of the patients, respectively (relative risk, stratified according to gestational age, 1.24; 95% CI, 0.91 to 1.69; P = 0.17). The proportion of infants who required surgical closure of a patent ductus arteriosus was lower in the budesonide group than in the placebo group (relative risk, stratified according to gestational age, 0.55; 95% CI, 0.36 to 0.83; P = 0.004), as was the proportion of infants who required reintubation (relative risk, stratified according to gestational age, 0.58; 95% CI, 0.35 to 0.96; P = 0.03). Rates of other neonatal illnesses and adverse events were similar in the two groups. CONCLUSIONS Among extremely preterm infants, the incidence of bronchopulmonary dysplasia was lower among those who received early inhaled budesonide than among those who received placebo, but the advantage may have been gained at the expense of increased mortality

Patterns of Passage into protected areas: drivers and outcomes of Fulani immigration, settlement and integration into the Kachia Grazing Reserve, Northwest Nigeria

Abstract Increasing land use and associated competition for natural resources in the wake of high human and livestock population pressures have been major challenges confronting pastoralists of West Africa. This is especially true in Nigeria where Fulani make up 4% of the national population and prevailing national insecurity issues are impacting on pastoral livelihoods, including violent conflicts over land and ethnic, religious and political disparities. This study examined the dynamics of immigration within the Kachia Grazing Reserve (KGR), an exclusively Fulani pastoralist community in Kaduna State, northwest Nigeria, prompted by concerns from both the farming communities and the authorities about mounting pressure on existing limited resources, particularly in regard to availability of cattle grazing resources. Drawing from a household census conducted in 2011 and employing a range of qualitative methods (focus group discussions and key informant interviews), this study explored the drivers and consequences of immigration and subsequent integration within the KGR community. The study revealed two types of immigration: a steady trickle of pastoralists migrating to the reserve to settle and acquire land, secure from the stresses of competition from cultivators, and the sudden influx of internally displaced persons fleeing violent clashes in their areas of origin. Population pressure within the reserve has risen steadily over the past three decades, such that it is severely overgrazed (as evidenced by reports from the KGR community that the animals run short of pasture even during the wet season due to desertification and the spread of non-edible weeds). The newer immigrants, fleeing conflict, tended to arrive in the reserve with significantly larger herds than those kept by established residents. Pastoralists in the reserve have been forced back into the practice of seasonal transhumance in both wet and dry seasons to support their herds, with all the attendant risks of theft, clashes with cultivators and increased disease transmission