When gestures show us the way: Co-speech gestures selectively facilitate navigation and spatial memory.

How does gesturing during route learning relate to subsequent spatial performance? We examined the relationship between gestures produced spontaneously while studying route directions and spatial representations of the navigated environment. Participants studied route directions, then navigated those routes from memory in a virtual environment, and finally had their memory of the environment assessed. We found that, for navigators with low spatial perspective-taking performance on the Spatial Orientation Test, more gesturing from a survey perspective predicted more accurate memory following navigation. Thus, co-thought gestures accompanying route learning relate to performance selectively, depending on the gesturers’ spatial ability and the perspective of their gestures. Survey gestures may help some individuals visualize an overall route that they can retain in memory

SAperI: Approaching Gender Gap Using Spatial Ability Training Week in High-School Context

The purpose of this paper is to describe the structure of a girls summer school, “SAperI – Spatial Ability per l’Ingegneria” (in English, “Knowledge – Spatial Ability for Engineering”), and to illustrate its impact on spatial ability development and future career preferences on those who participated in the week long summer school compared to a control group that did not participate.The 5 days school,organized by Politecnico di Torino (Italy), was included in a larger project addressing 17 years old high-school students. Thirtyseven girls actively took part in a summer school, while 167 students (both males and females) were tested as a controlled group.For those who attended the summer school, significant gains were observed in four measures of spatial ability - mental rotation, spatialvisualization, mental cutting and paper folding. For a minority of participants, scores on one of these tests, paper folding, were lower when measured at the end of the summer school but this was an exception. Furthermore, when tested several months after the summer school, the gains in spatial ability that were made during the course were maintained indicating stability over time with regard to the improvement in spatial ability.In terms of the experience of taking the course, the feedback provided was very positive and all but one participant would recommend the summer school to othergirls at this stage of high school

Spatial Encoding Strategy Theory: The Relationship between Spatial Skill and STEM Achievement

Learners’ spatial skill is a reliable and significant predictor of achievement in STEM, including computing, education. Spatial skill is also malleable, meaning it can be improved through training. Most cognitive skill training improves performance on only a narrow set of similar tasks, but researchers have found ample evidence that spatial training can broadly improve STEM achievement. We do not yet know the cognitive mechanisms that make spatial skill training broadly transferable when other cognitive training is not, but understanding these mechanisms is important for developing training and instruction that consistently benefits learners, especially those starting with low spatial skill. This paper proposes the spatial encoding strategy (SpES) theory to explain the cognitive mechanisms connecting spatial skill and STEM achievement. To motivate SpES theory, the paper reviews research from STEM education, learning sciences, and psychology. SpES theory provides compelling post hoc explanations for the findings from this literature and aligns with neuroscience models about the functions of brain structures. The paper concludes with a plan for testing the theory’s validity and using it to inform future research and instruction. The paper focuses on implications for computing education, but the transferability of spatial skill to STEM performance makes the proposed theory relevant to many education communities

In severe alcoholic hepatitis, serum keratin-18 fragments are diagnostic, prognostic, and theragnostic biomarkers.

INTRODUCTION: Up to 40% of patients with severe alcoholic hepatitis (AH) die within 6 months of presentation, making prompt diagnosis and appropriate treatment essential. We determined the associations between serum keratin-18 (K18) and histological features, prognosis, and differential response to prednisolone in patients with severe AH. METHODS: Total (K18-M65) and caspase-cleaved K18 (K18-M30) were quantified in pretreatment sera from 824 patients enrolled in the Steroids or Pentoxifylline for Alcoholic Hepatitis trial (87 with suitable histological samples) and disease controls. RESULTS: K18 fragments were markedly elevated in severe AH and strongly predicted steatohepatitis (alcoholic steatohepatitis) on biopsy (area under receiver operating characteristics: 0.787 and 0.807). Application of published thresholds to predict alcoholic steatohepatitis would have rendered biopsy unnecessary in 84% of all AH cases. K18-M30 and M65 were associated with 90-day mortality, independent of age and Model for End-stage Liver Disease score in untreated patients. The association for K18-M65 was independent of both age and Model for End-stage Liver Disease in prednisolone-treated patients. Modelling of the effect of prednisolone on 90-day mortality as a function of pretreatment serum K18 levels indicated benefit in those with high serum levels of K18-M30. At low pretreatment serum K18 levels, prednisolone was potentially harmful. A threshold of K18-M30 5 kIU/L predicted therapeutic benefit from prednisolone above this level (odds ratio: 0.433, 95% confidence interval: 0.19-0.95, P = 0.0398), but not below (odds ratio: 1.271, 95% confidence interval: 0.88-1.84, P = 0.199). Restricting prednisolone usage to the former group would have reduced exposure by 87%. DISCUSSION: In a large cohort of patients with severe AH, serum K18 strongly correlated with histological severity, independently associated with 90-day mortality, and predicted response to prednisolone therapy. Quantification of serum K18 levels could assist in clinical decision-making

Ipl1/aurora kinase suppresses S-CDK-driven spindle formation during prophase I to ensure chromosome integrity during meiosis

Cells coordinate spindle formation with DNA repair and morphological modifications to chromosomes prior to their segregation to prevent cell division with damaged chromosomes. Here we uncover a novel and unexpected role for Aurora kinase in preventing the formation of spindles by Clb5-CDK (S-CDK) during meiotic prophase I and when the DDR is active in budding yeast. This is critical since S-CDK is essential for replication during premeiotic S-phase as well as double-strand break induction that facilitates meiotic recombination and, ultimately, chromosome segregation. Furthermore, we find that depletion of Cdc5 polo kinase activity delays spindle formation in DDR-arrested cells and that ectopic expression of Cdc5 in prophase I enhances spindle formation, when Ipl1 is depleted. Our findings establish a new paradigm for Aurora kinase function in both negative and positive regulation of spindle dynamics

Phenotypic microarrays suggest Escherichia coli ST131 is not a metabolically distinct lineage of extra-intestinal pathogenic E. coli

Extraintestinal pathogenic E. coli (ExPEC) are the major aetiological agent of urinary tract infections (UTIs) in humans. The emergence of the CTX-M producing clone E. coli ST131 represents a major challenge to public health worldwide. A recent study on the metabolic potential of E. coli isolates demonstrated an association between the E. coli ST131 clone and enhanced utilisation of a panel of metabolic substrates. The studies presented here investigated the metabolic potential of ST131 and other major ExPEC ST isolates using 120 API test reagents and found that ST131 isolates demonstrated a lower metabolic activity for 5 of 120 biochemical tests in comparison to non-ST131 ExPEC isolates. Furthermore, comparative phenotypic microarray analysis showed a lack of specific metabolic profile for ST131 isolates countering the suggestion that these bacteria are metabolically fitter and therefore more successful human pathogens

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Correctness of autonomous driving systems is crucial as\ua0incorrect behaviour may have catastrophic consequences. Many different\ua0hardware and software components (e.g. sensing, decision making, actuation,\ua0and control) interact to solve the autonomous driving task, leading to a level of complexity that brings new challenges for the formal verification\ua0community. Though formal verification has been used to prove\ua0correctness of software, there are significant challenges in transferring\ua0such techniques to an agile software development process and to ensure\ua0widespread industrial adoption. In the light of these challenges, the identification\ua0of appropriate formalisms, and consequently the right verification\ua0tools, has significant impact on addressing them. In this paper, we\ua0evaluate the application of different formal techniques from supervisory\ua0control theory, model checking, and deductive verification to verify existing\ua0decision and control software (in development) for an autonomous\ua0vehicle. We discuss how the verification objective differs with respect tothe choice of formalism and the level of formality that can be applied.\ua0Insights from the case study show a need for multiple formal methods to\ua0prove correctness, the difficulty to capture the right level of abstraction\ua0to model and specify the formal properties for the verification objectives