A direct path to dependable software

What would it take to make software more dependable? Until now, most approaches have been indirect: some practices – processes, tools or techniques – are used that are believed to yield dependable software, and the argument for dependability rests on the extent to which the developers have adhered to them. This article argues instead that developers should produce direct evidence that the software satisfies its dependability claims. The potential advantages of this approach are greater credibility (since the argument is not contingent on the effectiveness of the practices) and reduced cost (since development resources can be focused where they have the most impact)

An Analysis by Synthesis Approach for Automatic Vertebral Shape Identification in Clinical QCT

Quantitative computed tomography (QCT) is a widely used tool for osteoporosis diagnosis and monitoring. The assessment of cortical markers like cortical bone mineral density (BMD) and thickness is a demanding task, mainly because of the limited spatial resolution of QCT. We propose a direct model based method to automatically identify the surface through the center of the cortex of human vertebra. We develop a statistical bone model and analyze its probability distribution after the imaging process. Using an as-rigid-as-possible deformation we find the cortical surface that maximizes the likelihood of our model given the input volume. Using the European Spine Phantom (ESP) and a high resolution \mu CT scan of a cadaveric vertebra, we show that the proposed method is able to accurately identify the real center of cortex ex-vivo. To demonstrate the in-vivo applicability of our method we use manually obtained surfaces for comparison.Comment: Presented on German Conference on Pattern Recognition (GCPR) 2018 in Stuttgar

Quantum Optics and Photonics

Contains reports on nine research projects.U.S. Air Force - Office of Scientific Research (Contract F49620-82-C-0091)Joint Services Electronics Program (Contract DAAG29-83-K-0003)National Science Foundation (Grant PHY82-10369)Litton Guidance and Control Syste

Teacher quality in the twenty first century: new lives, old truths

This chapter is based upon a keynote address to the first global teacher education summit, organised by Beijing Normal University in 2011, in which research across the world about influences which affect teachers' sense of professional identity, capacity for compassion, commitment, resilience and effectiveness long after they have graduated from their pre-service education and training programmes in universities and colleges were shared. The findings suggest that teaching pre-service students about how the conditions in which they work may enhance or diminish their capacity to teach to their best and how they might act to mediate these is a key part of the work of all teacher educators and an important focus for the work of educational researchers

The role of war in deep transitions: exploring mechanisms, imprints and rules in sociotechnical systems

This paper explores in what ways the two world wars influenced the development of sociotechnical systems underpinning the culmination of the first deep transition. The role of war is an underexplored aspect in both the Techno-Economic Paradigms (TEP) approach and the Multi-level perspective (MLP) which form the two key conceptual building blocks of the Deep Transitions (DT) framework. Thus, we develop a conceptual approach tailored to this particular topic which integrates accounts of total war and mechanisms of war from historical studies and imprinting from organisational studies with the DT framework’s attention towards rules and meta-rules. We explore in what ways the three sociotechnical systems of energy, food, and transport were affected by the emergence of new demand pressures and logistical challenges during conditions of total war; how war impacted the directionality of sociotechnical systems; the extent to which new national and international policy capacities emerged during wartime in the energy, food, and transport systems; and the extent to which these systems were influenced by cooperation and shared sacrifice under wartime conditions. We then explore what lasting changes were influenced by the two wars in the energy, food, and transport systems across the transatlantic zone. This paper seeks to open up a hitherto neglected area in analysis on sociotechnical transitions and we discuss the importance of further research that is attentive towards entanglements of warfare and the military particularly in the field of sustainability transitions

Teacher Quality and Learning Outcomes in Kindergarten

We assigned two cohorts of kindergarten students, totaling more than 24,000 children, to teachers within schools with a rule that is as good as random. We collected data on children at the beginning of the school year and applied 12 tests of math, language, and executive function (EF) at the end of the year. All teachers were filmed teaching for a full day, and the videos were coded using the Classroom Assessment Scoring System (or CLASS). We find substantial classroom effects: A 1 standard deviation increase in classroom quality results in 0.11, 0.11, and 0.07 standard deviation higher test scores in language, math, and EF, respectively. Teacher behaviors, as measured by the CLASS, are associated with higher test scores. Parents recognize better teachers, but do not change their behaviors appreciably to take account of differences in teacher quality

Quantity and quality of childcare and children’s educational outcomes

Policy-makers wanting to support child development can choose to adjust the quantity or quality of publicly funded universal pre-school. To assess the impact of such changes, we estimate the effects of an increase in free pre-school education in England of about 3.5 months at age 3 on children’s school achievement at age 5. We exploit date-of-birth discontinuities that create variation in the length and starting age of free pre-school using administrative school records linked to nursery characteristics. Estimated effects are small overall, but the impact of the additional term is substantially larger in settings with the highest inspection quality rating but not in settings with highly qualified staff. Estimated effects fade out by age 7

Is Being Agreeable a Key to Success or Failure in the Labor Market?

The aim of this study was to elucidate how individual differences in noncognitive skills, as measured by the Big Five personality traits, explain variation in labor market outcomes. Japanese and U.S. survey data were analyzed to examine the associations between personality traits and later outcomes in the two countries. We focused on country-specific, noncognitive determinants of annual income, which were found in agreeableness among male workers. Agreeableness seemed to contribute to annual income in Japanese men, whereas it acted as a penalty in American men. In both countries, higher agreeableness tended to translate into higher income for those working at large companies (1,000 employees or more) compared with those working at small companies. Although agreeableness was rewarded by income, it did not necessarily lead to career advancement. Furthermore, the agreeableness premium was still observed even after controlling for labor-related variables such as occupational choice and working hours. This suggests that agreeableness might act as part of a skill set that directly improves job performance and productivity at large companies, rather than acting indirectly through career advancement or occupational choice