EXTREMELY UNIFORM BRANCHING PROGRAMS

We propose a new descriptive complexity notion of uniformity for branching programs solving problems defined on structured data. We observe that FO[=]-uniform (n-way) branching programs are unable to solve the tree evaluation problem studied by Cook, McKenzie, Wehr, Braverman and Santhanam [8] because such programs possess a variant of their thriftiness property. Similarly, FO[=]-uniform (n-way) branching programs are unable to solve the P-complete GEN problem because such programs possess the incremental property studied by Gál, Kouck´y and McKenzie [10]. 1

Developing a corpus of strategic conversation in The Settlers of Catan

International audienceWe describe a dialogue model and an implemented annotation scheme for a pilot corpus of annotated online chats concerning bargaining negotiations in the game The Settlers of Catan. We will use this model and data to analyze how conversations proceed in the absence of strong forms of cooperativity, where agents have diverging motives. Here we concentrate on the description of our annotation scheme for negotiation dialogues, illustrated with our pilot data, and some perspectives for future research on the issue

The economic benefits of reducing physical inactivity: an Australian example

Background: Physical inactivity has major impacts on health and productivity. Our aim was to estimate the health and economic benefits of reducing the prevalence of physical inactivity in the 2008 Australian adult population. The economic benefits were estimated as &lsquo;opportunity cost savings&rsquo;, which represent resources utilized in the treatment of preventable disease that are potentially available for re-direction to another purpose from fewer incident cases of disease occurring in communities.Methods: Simulation models were developed to show the effect of a 10% feasible, reduction target for physical inactivity from current Australian levels (70%). Lifetime cohort health benefits were estimated as fewer incident cases of inactivity-related diseases; deaths; and Disability Adjusted Life Years (DALYs) by age and sex. Opportunity costs were estimated as health sector cost impacts, as well as paid and unpaid production gains and leisure impacts from fewer disease events associated with reduced physical inactivity. Workforce production gains were estimated by comparing surveyed participation and absenteeism rates of physically active and inactive adults, and valued using the friction cost approach. The impact of an improvement in health status on unpaid household production and leisure time were modeled from time use survey data, as applied to the exposed and non-exposed population subgroups and valued by suitable proxy. Potential costs associated with interventions to increase physical activity were not included. Multivariable uncertainty analyses and univariate sensitivity analyses were undertaken to provide information on the strength of the conclusions.Results: A 10% reduction in physical inactivity would result in 6,000 fewer incident cases of disease, 2,000 fewer deaths, 25,000 fewer DALYs and provide gains in working days (114,000), days of home-based production (180,000) while conferring a AUD96 million reduction in health sector costs. Lifetime potential opportunity cost savings in workforce production (AUD12 million), home-based production (AUD71 million) and leisure-based production (AUD79 million) was estimated (total AUD162 million 95% uncertainty interval AUD136 million, AUD196 million).Conclusions: Opportunity cost savings and health benefits conservatively estimated from a reduction in population-level physical inactivity may be substantial. The largest savings will benefit individuals in the form of unpaid production and leisure gains, followed by the health sector, business and government.<br /

The health and economic benefits of reducing intimate partner violence: an Australian example.

BACKGROUND: Intimate partner violence (IPV) has important impacts on the health of women in society. Our aim was to estimate the health and economic benefits of reducing the prevalence of IPV in the 2008 Australian female adult population. METHODS: Simulation models were developed to show the effect of a 5 percentage point absolute feasible reduction target in the prevalence of IPV from current Australian levels (27%). IPV is not measured in national surveys. Levels of psychological distress were used as a proxy for exposure to IPV since psychological conditions represent three-quarters of the disease burden from IPV. Lifetime cohort health benefits for females were estimated as fewer incident cases of violence-related disease and injury; deaths; and Disability Adjusted Life Years (DALYs). Opportunity cost savings were estimated for the health sector, paid and unpaid production and leisure from reduced incidence of IPV-related disease and deaths. Workforce production gains were estimated by comparing surveyed participation and absenteeism rates of females with moderate psychological distress (lifetime IPV exposure) against high or very high distress (current IPV exposure), and valued using the friction cost approach (FCA). The impact of improved health status on unpaid household production and leisure time were modelled from time use survey data. Potential costs associated with interventions to reduce IPV were not considered. Multivariable uncertainty analyses and univariable sensitivity analyses were undertaken. RESULTS: A 5 percentage point absolute reduction in the lifetime prevalence of IPV in the 2008 Australian female population was estimated to produce 6000 fewer incident cases of disease/injury, 74 fewer deaths, 5000 fewer DALYs lost and provide gains of 926,000 working days, 371,000 days of home-based production and 428,000 leisure days. Overall, AUD371 million in opportunity cost savings could be achievable. The greatest economic savings would be home-based production (AUD147 million), followed by leisure time (AUD98 million), workforce production (AUD94 million) and reduced health sector costs (AUD38 million). CONCLUSIONS: This study contributes new knowledge about the economic impact of IPV in females. The findings provide evidence of large potential opportunity cost savings from reducing the prevalence of IPV and reinforce the need to reduce IPV in Australia, and elsewhere

A fluorescent perilipin 2 knock-in mouse model visualizes lipid droplets in the developing and adult brain

Lipid droplets (LDs) are dynamic lipid storage organelles. They are tightly linked to metabolism and can exert protective functions, making them important players in health and disease. Most LD studies in vivo rely on staining methods, providing only a snapshot. We therefore developed a LD-reporter mouse by endogenously labelling the LD coat protein perilipin 2 (PLIN2) with tdTomato, enabling staining-free fluorescent LD visualisation in living and fixed tissues and cells. Here we validate this model under standard and high-fat diet conditions and demonstrate that LDs are present in various cells in the healthy brain, including neurons, astrocytes, ependymal cells, neural stem/progenitor cells and microglia. Furthermore, we show that LDs are abundant during brain development and can be visualized using live-imaging of embryonic slices. Taken together, our tdTom-Plin2 mouse serves as a novel tool to study LDs and their dynamics under both physiological and diseased conditions in all tissues expressing Plin2

Development and application of model of resource utilization, costs, and outcomes for stroke (MORUCOS): an Australian economic model for stroke

Objectives: To outline the development, structure, data assumptions, and application of an Australian economic model for stroke (Model of Resource Utilization, Costs, and Outcomes for Stroke [MORUCOS]).Methods: The model has a linked spreadsheet format with four modules to describe the disease burden and treatment pathways, estimate prevalence-based and incidence-based costs, and derive life expectancy and quality of life consequences. The model uses patient-level, community-based, stroke cohort data and macro-level simulations. An interventions module allows options for change to be consistently evaluated by modifying aspects of the other modules. To date, model validation has included sensitivity testing, face validity, and peer review. Further validation of technical and predictive accuracy is needed. The generic pathway model was assessed by comparison with a stroke subtypes (ischemic, hemorrhagic, or undetermined) approach and used to determine the relative cost-effectiveness of four interventions.Results: The generic pathway model produced lower costs compared with a subtypes version (total average first-year costs/case AUD$15,117 versus AUD$17,786, respectively). Optimal evidence-based uptake of anticoagulation therapy for primary and secondary stroke prevention and intravenous thrombolytic therapy within 3 hours of stroke were more cost-effective than current practice (base year, 1997).Conclusions: MORUCOS is transparent and flexible in describing Australian stroke care and can effectively be used to systematically evaluate a range of different interventions. Adjusting results to account for stroke subtypes, as they influence cost estimates, could enhance the generic model

Development and application of model of resource utilization, costs, and outcomes for stroke (MORUCOS): an Australian economic model for stroke

Objectives: To outline the development, structure, data assumptions, and application of an Australian economic model for stroke (Model of Resource Utilization, Costs, and Outcomes for Stroke [MORUCOS]).Methods: The model has a linked spreadsheet format with four modules to describe the disease burden and treatment pathways, estimate prevalence-based and incidence-based costs, and derive life expectancy and quality of life consequences. The model uses patient-level, community-based, stroke cohort data and macro-level simulations. An interventions module allows options for change to be consistently evaluated by modifying aspects of the other modules. To date, model validation has included sensitivity testing, face validity, and peer review. Further validation of technical and predictive accuracy is needed. The generic pathway model was assessed by comparison with a stroke subtypes (ischemic, hemorrhagic, or undetermined) approach and used to determine the relative cost-effectiveness of four interventions.Results: The generic pathway model produced lower costs compared with a subtypes version (total average first-year costs/case AUD$15,117 versus AUD$17,786, respectively). Optimal evidence-based uptake of anticoagulation therapy for primary and secondary stroke prevention and intravenous thrombolytic therapy within 3 hours of stroke were more cost-effective than current practice (base year, 1997).Conclusions: MORUCOS is transparent and flexible in describing Australian stroke care and can effectively be used to systematically evaluate a range of different interventions. Adjusting results to account for stroke subtypes, as they influence cost estimates, could enhance the generic model

Comparison of climate change impacts on the recharge of two karst systems computing different modelling approaches

International audienceKarst systems constitute aquifers in which infiltration and groundwater flows are generally complex processes and are characterized by limited knowledge in terms of geometry and structure. Nonetheless, they often represent interesting groundwater resources, some of them being subjected to intensive exploitation and others non exploited due to their poor understanding. In the future, it is likely that climate change impact on water resources will increase the interest for such a kind of aquifers due to their strong infiltration and storage capacity, in a broad context of higher water scarcity.The Lez and the Lison karst systems in Southern and Eastern France, respectively, provide 2 examples of such systems of several km² under two contrasted climate conditions, the first one being heavily exploited. This study presents a comparative climate change assessment onboth karst systems. Nine climate scenarios corresponding to the Fourth assessment report of the IPCC (SRES A1B scenario), downscaled using weather-type methods by the CERFACS, have been applied to various recharge modelling approaches, as standard analytical solutions of recharge estimation and soil-water balance models. Results are compared and discussed in order to assess the influence on climate change impacts of i) the climate conditions(geographic location), ii) the groundwater exploitation and iii) the modelling approach

Statistical analysis plan for the COMPARE trial: a 3-arm randomised controlled trial comparing the effectiveness of Constraint-induced Aphasia Therapy Plus and Multi-modality Aphasia Therapy to usual care in chronic post-stroke aphasia (COMPARE)

BackgroundWhile high-quality meta-analyses have confirmed the effectiveness of aphasia therapy after stroke, there is limited evidence for the comparative effectiveness of different aphasia interventions. Two commonly used interventions, Constraint-induced Aphasia Therapy Plus (CIAT Plus) and Multi-modality Aphasia Therapy (M-MAT), are hypothesised to rely on diverse underlying neural mechanisms for recovery and may be differentially responsive to aphasia severity. COMPARE is a prospective randomised open-blinded end-point trial designed to determine whether, in people with chronic post-stroke aphasia living in the community, CIAT Plus and M-MAT provide greater therapeutic benefit compared to usual care, are differentially effective according to aphasia severity, and are cost-effective. This paper details the statistical analysis plan for the COMPARE trial developed prior to data analysis.MethodsParticipants (n = 216) are randomised to one of three arms, CIAT Plus, M-MAT or usual care, and undertake therapy with a study trained speech pathologist in groups of three participants stratified by aphasia severity. Therapy occurs for 3 h blocks per day for 10 days across 2 weeks. The primary clinical outcome is aphasia severity as measured by the Western Aphasia Battery-Revised Aphasia Quotient (WAB-R-AQ) immediately post intervention. Secondary outcomes include WAB-R-AQ at 12-week follow-up, and functional communication, discourse efficiency, multimodal communication, and health-related quality of life immediately post intervention and at 12-week follow-up.ResultsLinear mixed models (LMMs) will be used to analyse differences between M-MAT and UC, and CIAT-Plus and UC on each outcome measure immediately and at 12 weeks post-intervention. The LMM for WAB-R-AQ will assess the differences in efficacy between M-MAT and CIAT-Plus. All analyses will control for baseline aphasia severity (fixed effect) and for the clustering effect of treatment groups (random effect).DiscussionThis trial will provide relative effectiveness data for two common interventions for people with chronic post-stroke aphasia, and highlight possible differential effects based on aphasia severity. Together with the health economic analysis data, the results will enable more informed personalised prescription for aphasia therapy after stroke.Trial registrationAustralian New Zealand Clinical Trials Registry: ACTRN 12615000618550 . Registered on 15 June 2016