A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

The calculus formalises human intuition and common sense about space, time, and causality in the natural world. Its intention is to assist in the design and implementation of programs, of programming languages, and of interworking by tool chains that support rational program development. The theses of this paper are that Concurrent Kleene Algebra (CKA) is the algebra of programming, that the diagrams of the Unified Modeling Language provide its geometry, and that Unifying Theories of Program- ming (UTP) provides its logic. These theses are illustrated by a fomalisation of features of the first concurrent object-oriented language, Simula 67. Each level of the calculus is a conservative extension of its predecessor. We conclude the paper with an extended section on future research directions for developing and applying UTP, CKA, and our calculus, and on how we propose to implement our algebra, geometry, and logic

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

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

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

Consistency of Leadership in Shoals of Mosquitofish (Gambusia holbrooki) in Novel and in Familiar Environments

In social animal groups, an individual's spatial position is a major determinant of both predation risk and foraging rewards. Additionally, the occupation of positions in the front of moving groups is generally assumed to correlate with the initiation of group movements. However, whether some individuals are predisposed to consistently occupy certain positions and, in some instances, to consistently lead groups over time is as yet unresolved in many species. Using the mosquitofish (Gambusia holbrooki), we examined the consistency of individuals' spatial positions within a moving group over successive trials. We found that certain individuals consistently occupied front positions in moving groups and also that it was typically these individuals that initiated group decisions. The number of individuals involved in leading the group varied according to the amount of information held by group members, with a greater number of changes in leadership in a novel compared to a relatively familiar environment. Finally, our results show that the occupation of lead positions in moving groups was not explained by characteristics such as dominance, size or sex, suggesting that certain individuals are predisposed to leadership roles. This suggests that being a leader or a follower may to some extent be an intrinsic property of the individual

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

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

Regional research priorities in brain and nervous system disorders

The characteristics of neurological, psychiatric, developmental and substance-use disorders in low-and middle-income countries are unique and the burden that they have will be different from country to country. Many of the differences are explained by the wide variation in population demographics and size, poverty, conflict, culture, land area and quality, and genetics. Neurological, psychiatric, developmental and substance-use disorders that result from, or are worsened by, a lack of adequate nutrition and infectious disease still afflict much of sub-Saharan Africa, although disorders related to increasing longevity, such as stroke, are on the rise. In the Middle East and North Africa, major depressive disorders and post-traumatic stress disorder are a primary concern because of the conflict-ridden environment. Consanguinity is a serious concern that leads to the high prevalence of recessive disorders in the Middle East and North Africa and possibly other regions. The burden of these disorders in Latin American and Asian countries largely surrounds stroke and vascular disease, dementia and lifestyle factors that are influenced by genetics. Although much knowledge has been gained over the past 10 years, the epidemiology of the conditions in low-and middle-income countries still needs more research. Prevention and treatments could be better informed with more longitudinal studies of risk factors. Challenges and opportunities for ameliorating nervous-system disorders can benefit from both local and regional research collaborations. The lack of resources and infrastructure for health-care and related research, both in terms of personnel and equipment, along with the stigma associated with the physical or behavioural manifestations of some disorders have hampered progress in understanding the disease burden and improving brain health. Individual countries, and regions within countries, have specific needs in terms of research priorities.Fil: Ravindranath, Vijayalakshmi. Indian Institute of Science; IndiaFil: Dang, Hoang Minh. Vietnam National University; VietnamFil: Goya, Rodolfo Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Bioquímicas de La Plata ; ArgentinaFil: Mansour, Hader. University of Pittsburgh; Estados Unidos. Mansoura University; EgiptoFil: Nimgaonkar, Vishwajit L.. University of Pittsburgh; Estados UnidosFil: Russell, Vivienne Ann. University of Cape Town; SudáfricaFil: Xin, Yu. Peking University; Chin

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