Constructive Hybrid Games

Hybrid games are models which combine discrete, continuous, and adversarial dynamics. Game logic enables proving (classical) existence of winning strategies. We introduce constructive differential game logic (CdGL) for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This is the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel static and dynamic semantics as well as soundness and consistency.Comment: 60 pages, preprint, under revie

Modified constraint-induced movement therapy or bimanual occupational therapy following injection of Botulinum toxin-A to improve bimanual performance in young children with hemiplegic cerebral palsy: a randomised controlled trial methods paper

<p>Abstract</p> <p>Background</p> <p>Use of Botulinum toxin-A (BoNT-A) for treatment of upper limb spasticity in children with cerebral palsy has become routine clinical practice in many paediatric treatment centres worldwide. There is now high-level evidence that upper limb BoNT-A injection, in combination with occupational therapy, improves outcomes in children with cerebral palsy at both the body function/structure and activity level domains of the International Classification of Functioning, Disability and Health. Investigation is now required to establish what amount and specific type of occupational therapy will further enhance functional outcomes and prolong the beneficial effects of BoNT-A.</p> <p>Methods/Design</p> <p>A randomised, controlled, evaluator blinded, prospective parallel-group trial. Eligible participants were children aged 18 months to 6 years, diagnosed with spastic hemiplegic cerebral palsy and who were able to demonstrate selective motor control of the affected upper limb. Both groups received upper limb injections of BoNT-A. Children were randomised to either the modified constraint-induced movement therapy group (experimental) or bimanual occupational therapy group (control). Outcome assessments were undertaken at pre-injection and 1, 3 and 6 months following injection of BoNT-A. The primary outcome measure was the Assisting Hand Assessment. Secondary outcomes included: the Quality of Upper Extremity Skills Test; Pediatric Evaluation of Disability Inventory; Canadian Occupational Performance Measure; Goal Attainment Scaling; Pediatric Motor Activity Log; modified Ashworth Scale and; the modified Tardieu Scale.</p> <p>Discussion</p> <p>The aim of this paper is to describe the methodology of a randomised controlled trial comparing the effects of modified constraint-induced movement therapy (a uni-manual therapy) versus bimanual occupational therapy (a bimanual therapy) on improving bimanual upper limb performance of children with hemiplegic cerebral palsy following upper limb injection of BoNT-A. The paper outlines the background to the study, the study hypotheses, outcome measures and trial methodology. It also provides a comprehensive description of the interventions provided.</p> <p>Trial Registration</p> <p>ACTRN12605000002684</p

Effects of alcohol preload on attentional bias towards cocaine-related cues

Background Drug and alcohol users have an ‘attentional bias’ for substance-related cues, which is likely to reflect the incentive-motivational properties of those cues. Furthermore, administration of an alcohol preload increases attentional bias for alcohol and tobacco-related cues in heavy drinkers and tobacco smokers, respectively. The present study investigated attentional bias for cocaine cues in cocaine users and non-users following administration of either alcohol or placebo. Method Thirty-two regular cocaine users and 40 non-users took part. Participants were administered alcohol or placebo, and administration was double blind. After drink administration, a Visual Probe task and Modified Stroop task were used to assess attentional bias. Subjective craving and alcohol outcome expectancies were also measured. Results There was a significant interaction between group and drink type on the visual probe task indicating that cocaine users who had received alcohol had increased attentional bias for cocaine pictures compared to non-users and cocaine users who received placebo. The cocaine Stroop revealed no differences between cocaine users and non-users, and no effects of alcohol in either group. Conclusions Alcohol preload in regular cocaine users increases attentional bias for cocaine cues. However, cocaine users who received placebo did not show attentional bias for cocaine stimuli. Future research should investigate the effects of alcohol preload on attentional bias in cocaine-dependent individuals

The associations between sedentary behaviour and mental health among adolescents:A systematic review

Background: With technological developments and modernised sedentary lifestyles has come an increase in diseases associated with inactivity such as obesity and other non-communicable diseases. Emerging evidence suggests that time spent sedentary may also interact with mental health. This systematic review examined the associations between sedentary behaviour and mental health problems among adolescents. Methods: This systematic review followed Preferred Reporting Items for Systematic Reviews and Meta-Analyses, and applied a quality assessment tool for quantitative studies to identity best available evidence. Following stringent search strategy of the databases; Cumulative Index to Nursing and Allied Health Literature, Global Health, Health Source: Nursing and Academic Edition, MEDLINE, PsychARTICLES and PsycINFO, we identified 32 articles eligible for review. Results: All studies reported leisure screen time among adolescents, and two thirds of identified studies examined depressive symptomatology. Other mental health measures were; anxiety symptoms, self-esteem, suicide ideation, loneliness, stress, and psychological distress. Strong consistent evidence was found for the relationship between both depressive symptomatology and psychological distress, and time spent using screens for leisure. Moderate evidence supported the relationship between low self-esteem and screen use. Poorer mental health status was found among adolescents using screen time more than 2-3 h per day, and gender differences exist. Essential information was missing for quality of evidence including heterogeneity in mental health and screen time-based measures, and self-report data collection methods. Conclusions: The findings are of particular significance given the global public health concern of lifestyle-attributed diseases and the possibility for novel approaches to mental health. Future research should examine the psychological impact of reducing time spent using screens for leisure among adolescents, whilst accounting for possible confounding factors such as physical activity and dietary behaviours. It is critical that the reciprocal relationship between lifestyle behaviours and mental health is represented in both the psychiatric and public health forum

Hi-GAL: The Herschel Infrared Galactic Plane Survey

Hi-GAL, the Herschel infrared Galactic Plane Survey, is an Open Time Key Project of the Herschel Space Observatory. It will make an unbiased photometric survey of the inner Galactic plane by mapping a 2° wide strip in the longitude range midlmid < 60° in five wavebands between 70 μm and 500 μm. The aim of Hi-GAL is to detect the earliest phases of the formation of molecular clouds and high-mass stars and to use the optimum combination of Herschel wavelength coverage, sensitivity, mapping strategy, and speed to deliver a homogeneous census of star-forming regions and cold structures in the interstellar medium. The resulting representative samples will yield the variation of source temperature, luminosity, mass and age in a wide range of Galactic environments at all scales from massive YSOs in protoclusters to entire spiral arms, providing an evolutionary sequence for the formation of intermediate and high-mass stars. This information is essential to the formulation of a predictive global model of the role of environment and feedback in regulating the star-formation process. Such a model is vital to understanding star formation on galactic scales and in the early universe. Hi-GAL will also provide a science legacy for decades to come with incalculable potential for systematic and serendipitous science in a wide range of astronomical fields, enabling the optimum use of future major facilities such as JWST and ALMA

Differences between Pygmy and Non-Pygmy hunting in Congo Basin forests

We use data on game harvest from 60 Pygmy and non-Pygmy settlements in the Congo Basin forests to examine whether hunting patterns and prey profiles differ between the two hunter groups. For each group, we calculate hunted animal numbers and biomass available per inhabitant, P, per year (harvest rates) and killed per hunter, H, per year (extraction rates). We assess the impact of hunting of both hunter groups from estimates of numbers and biomass of prey species killed per square kilometre, and by examining the proportion of hunted taxa of low, medium and high population growth rates as a measure of their vulnerability to overhunting. We then map harvested biomass (kg-1P-1Yr-1) of bushmeat by Pygmies and non-Pygmies throughout the Congo Basin. Hunting patterns differ between Pygmies and non-Pygmies; Pygmies take larger and different prey and non-Pygmies sell more for profit. We show that non-Pygmies have a potentially more severe impact on prey populations than Pygmies. This is because non-Pygmies hunt a wider range of species, and twice as many animals are taken per square kilometre. Moreover, in non-Pygmy settlements there was a larger proportion of game taken of low population growth rate. Our harvest map shows that the non-Pygmy population may be responsible for 27 times more animals harvested than the Pygmy population. Such differences indicate that the intense competition that may arise from the more widespread commercial hunting by non-Pygmies is a far more important constraint and source of conflict than are protected areas

Molecular mechanisms of cell death: recommendations of the Nomenclature Committee on Cell Death 2018.

Over the past decade, the Nomenclature Committee on Cell Death (NCCD) has formulated guidelines for the definition and interpretation of cell death from morphological, biochemical, and functional perspectives. Since the field continues to expand and novel mechanisms that orchestrate multiple cell death pathways are unveiled, we propose an updated classification of cell death subroutines focusing on mechanistic and essential (as opposed to correlative and dispensable) aspects of the process. As we provide molecularly oriented definitions of terms including intrinsic apoptosis, extrinsic apoptosis, mitochondrial permeability transition (MPT)-driven necrosis, necroptosis, ferroptosis, pyroptosis, parthanatos, entotic cell death, NETotic cell death, lysosome-dependent cell death, autophagy-dependent cell death, immunogenic cell death, cellular senescence, and mitotic catastrophe, we discuss the utility of neologisms that refer to highly specialized instances of these processes. The mission of the NCCD is to provide a widely accepted nomenclature on cell death in support of the continued development of the field

The mammals of Angola

Scientific investigations on the mammals of Angola started over 150 years ago, but information remains scarce and scattered, with only one recent published account. Here we provide a synthesis of the mammals of Angola based on a thorough survey of primary and grey literature, as well as recent unpublished records. We present a short history of mammal research, and provide brief information on each species known to occur in the country. Particular attention is given to endemic and near endemic species. We also provide a zoogeographic outline and information on the conservation of Angolan mammals. We found confirmed records for 291 native species, most of which from the orders Rodentia (85), Chiroptera (73), Carnivora (39), and Cetartiodactyla (33). There is a large number of endemic and near endemic species, most of which are rodents or bats. The large diversity of species is favoured by the wide range of habitats with contrasting environmental conditions, while endemism tends to be associated with unique physiographic settings such as the Angolan Escarpment. The mammal fauna of Angola includes 2 Critically Endangered, 2 Endangered, 11 Vulnerable, and 14 Near-Threatened species at the global scale. There are also 12 data deficient species, most of which are endemics or near endemics to the countryinfo:eu-repo/semantics/publishedVersio