Collapsible Pushdown Parity Games

International audienceThis paper studies a large class of two-player perfect-information turn-based parity games on infinite graphs, namely those generated by collapsible pushdown automata. The main motivation for studying these games comes from the connections from collapsible pushdown automata and higher-order recursion schemes, both models being equi-expressive for generating infinite trees. Our main result is to establish the decidability of such games and to provide an effective representation of the winning region as well as of a winning strategy. Thus, the results obtained here provide all necessary tools for an in-depth study of logical properties of trees generated by collapsible pushdown automata/recursion schemes

A gene trap transposon eliminates haematopoietic expression of zebrafish Gfi1aa, but does not interfere with haematopoiesis

A transposon-mediated gene trap screen identified the zebrafish line qmc551 that expresses a GFP reporter in primitive erythrocytes and also in haemogenic endothelial cells, which give rise to haematopoietic stem and progenitor cells (HSPCs) that seed sites of larval and adult haematopoiesis. The transposon that mediates this GFP expression is located in intron 1 of the gfi1aa gene, one of three zebrafish paralogs that encode transcriptional repressors homologous to mammalian Gfi1 and Gfi1b proteins. In qmc551 transgenics, GFP expression is under the control of the endogenous gfi1aa promoter, recapitulates early gfi1aa expression and allows live observation of gfi1aa promoter activity. While the transposon integration interferes with the expression of gfi1aa mRNA in haematopoietic cells, homozygous qmc551 fish are viable and fertile, and display normal primitive and definitive haematopoiesis. Retained expression of Gfi1b in primitive erythrocytes and upregulation of Gfi1ab at the onset of definitive haematopoiesis in homozygous qmc551 carriers, are sufficient to allow normal haematopoiesis. This finding contradicts previously published morpholino data that suggested an essential role for zebrafish Gfi1aa in primitive erythropoiesi

STEPWISE - STructured lifestyle Education for People WIth SchizophrEnia : a study protocol for a randomised controlled trial

BACKGROUND: People with schizophrenia are two to three times more likely to be overweight than the general population. The UK National Institute of Health and Care Excellence (NICE) recommends an annual physical health review with signposting to, or provision of, a lifestyle programme to address weight concerns and obesity. The purpose of this randomised controlled trial is to assess whether a group-based structured education programme can help people with schizophrenia to lose weight. METHODS: Design: a randomised controlled trial of a group-based structured education programme. SETTING: 10 UK community mental health trusts. PARTICIPANTS: 396 adults with schizophrenia, schizoaffective, or first-episode psychosis who are prescribed antipsychotic medication will be recruited. Participants will be overweight, obese or be concerned about their weight. INTERVENTION: participants will be randomised to either the intervention or treatment as usual (TAU). The intervention arm will receive TAU plus four 2.5-h weekly sessions of theory-based lifestyle structured group education, with maintenance contact every 2 weeks and 'booster' sessions every 3 months. All participants will receive standardised written information about healthy eating, physical activity, alcohol and smoking. OUTCOMES: the primary outcome is weight (kg) change at 1 year post randomisation. Secondary outcomes, which will be assessed at 3 and 12 months, include: the proportion of participants who maintained or reduced their weight; waist circumference; body mass index; objectively measured physical activity (wrist accelerometer); self-reported diet; blood pressure; fasting plasma glucose, lipid profile and HbA1c (baseline and 1 year only); health-related quality of life (EQ-5D-5L and RAND SF-36); (adapted) brief illness perception questionnaire; the Brief Psychiatric Rating Scale; the Client Service Receipt Inventory; medication use; smoking status; adverse events; depression symptoms (Patient Health Questionnaire-9); use of weight-loss programmes; and session feedback (intervention only). Outcome assessors will be blind to trial group allocation. Qualitative interviews with a subsample of facilitators and invention-arm participants will provide data on intervention feasibility and acceptability. Assessment of intervention fidelity will also be performed. DISCUSSION: The STEPWISE trial will provide evidence for the clinical and cost-effectiveness of a tailored intervention, which, if successful, could be implemented rapidly in the NHS. TRIAL REGISTRATION: ISRCTN19447796 , registered on 20 March 2014

The number of tree species on Earth

One of the most fundamental questions in ecology is how many species inhabit the Earth. However, due to massive logistical and financial challenges and taxonomic difficulties connected to the species concept definition, the global numbers of species, including those of important and well-studied life forms such as trees, still remain largely unknown. Here, based on global ground sourced data, we estimate the total tree species richness at global, continental, and biome levels. Our results indicate that there are ∼73,000 tree species globally, among which ∼9,000 tree species are yet to be discovered. Roughly 40% of undiscovered tree species are in South America. Moreover, almost one-third of all tree species to be discovered may be rare, with very low populations and limited spatial distribution (likely in remote tropical lowlands and mountains). These findings highlight the vulnerability of global forest biodiversity to anthropogenic changes in land use and climate, which disproportionately threaten rare species and thus, global tree richness. Please note an (erratum/corrigendum) for this article is available via https://www.pnas.org/doi/10.1073/pnas.220278411

Australia\u27s health 2002 : the eighth biennial report of the Australian Institute of Health and Welfare

Australia\u27s Health 2002 is the eighth biennial health report of the Australian Institute of Health and Welfare. It is the nation\u27s authoritative source of information on patterns of health and illness, determinants of health, the supply and use of health services, and health service costs and performance. Australia\u27s Health 2002 is an essential reference and information resource for all Australians with an interest in health

The number of tree species on Earth

One of the most fundamental questions in ecology is how many species inhabit the Earth. However, due to massive logistical and financial challenges and taxonomic difficulties connected to the species concept definition, the global numbers of species, including those of important and well-studied life forms such as trees, still remain largely unknown. Here, based on global groundsourced data, we estimate the total tree species richness at global, continental, and biome levels. Our results indicate that there are 73,000 tree species globally, among which ∼9,000 tree species are yet to be discovered. Roughly 40% of undiscovered tree species are in South America. Moreover, almost one-third of all tree species to be discovered may be rare, with very low populations and limited spatial distribution (likely in remote tropical lowlands and mountains). These findings highlight the vulnerability of global forest biodiversity to anthropogenic changes in land use and climate, which disproportionately threaten rare species and thus, global tree richness

The number of tree species on Earth.

One of the most fundamental questions in ecology is how many species inhabit the Earth. However, due to massive logistical and financial challenges and taxonomic difficulties connected to the species concept definition, the global numbers of species, including those of important and well-studied life forms such as trees, still remain largely unknown. Here, based on global ground-sourced data, we estimate the total tree species richness at global, continental, and biome levels. Our results indicate that there are ∼73,000 tree species globally, among which ∼9,000 tree species are yet to be discovered. Roughly 40% of undiscovered tree species are in South America. Moreover, almost one-third of all tree species to be discovered may be rare, with very low populations and limited spatial distribution (likely in remote tropical lowlands and mountains). These findings highlight the vulnerability of global forest biodiversity to anthropogenic changes in land use and climate, which disproportionately threaten rare species and thus, global tree richness

The number of tree species on Earth.

One of the most fundamental questions in ecology is how many species inhabit the Earth. However, due to massive logistical and financial challenges and taxonomic difficulties connected to the species concept definition, the global numbers of species, including those of important and well-studied life forms such as trees, still remain largely unknown. Here, based on global ground-sourced data, we estimate the total tree species richness at global, continental, and biome levels. Our results indicate that there are ∼73,000 tree species globally, among which ∼9,000 tree species are yet to be discovered. Roughly 40% of undiscovered tree species are in South America. Moreover, almost one-third of all tree species to be discovered may be rare, with very low populations and limited spatial distribution (likely in remote tropical lowlands and mountains). These findings highlight the vulnerability of global forest biodiversity to anthropogenic changes in land use and climate, which disproportionately threaten rare species and thus, global tree richness