The natural history of bugs: using formal methods to analyse software related failures in space missions

Space missions force engineers to make complex trade-offs between many different constraints including cost, mass, power, functionality and reliability. These constraints create a continual need to innovate. Many advances rely upon software, for instance to control and monitor the next generation ‘electron cyclotron resonance’ ion-drives for deep space missions.Programmers face numerous challenges. It is extremely difficult to conduct valid ground-based tests for the code used in space missions. Abstract models and simulations of satellites can be misleading. These issues are compounded by the use of ‘band-aid’ software to fix design mistakes and compromises in other aspects of space systems engineering. Programmers must often re-code missions in flight. This introduces considerable risks. It should, therefore, not be a surprise that so many space missions fail to achieve their objectives. The costs of failure are considerable. Small launch vehicles, such as the U.S. Pegasus system, cost around $18 million. Payloads range from$4 million up to $1 billion for security related satellites. These costs do not include consequent business losses. In 2005, Intelsat wrote off$73 million from the failure of a single uninsured satellite. It is clearly important that we learn as much as possible from those failures that do occur. The following pages examine the roles that formal methods might play in the analysis of software failures in space missions

Global surveillance of cancer survival 1995-2009: analysis of individual data for 25,676,887 patients from 279 population-based registries in 67 countries (CONCORD-2)

BACKGROUND: Worldwide data for cancer survival are scarce. We aimed to initiate worldwide surveillance of cancer survival by central analysis of population-based registry data, as a metric of the effectiveness of health systems, and to inform global policy on cancer control. METHODS: Individual tumour records were submitted by 279 population-based cancer registries in 67 countries for 25·7 million adults (age 15-99 years) and 75,000 children (age 0-14 years) diagnosed with cancer during 1995-2009 and followed up to Dec 31, 2009, or later. We looked at cancers of the stomach, colon, rectum, liver, lung, breast (women), cervix, ovary, and prostate in adults, and adult and childhood leukaemia. Standardised quality control procedures were applied; errors were corrected by the registry concerned. We estimated 5-year net survival, adjusted for background mortality in every country or region by age (single year), sex, and calendar year, and by race or ethnic origin in some countries. Estimates were age-standardised with the International Cancer Survival Standard weights. FINDINGS: 5-year survival from colon, rectal, and breast cancers has increased steadily in most developed countries. For patients diagnosed during 2005-09, survival for colon and rectal cancer reached 60% or more in 22 countries around the world; for breast cancer, 5-year survival rose to 85% or higher in 17 countries worldwide. Liver and lung cancer remain lethal in all nations: for both cancers, 5-year survival is below 20% everywhere in Europe, in the range 15-19% in North America, and as low as 7-9% in Mongolia and Thailand. Striking rises in 5-year survival from prostate cancer have occurred in many countries: survival rose by 10-20% between 1995-99 and 2005-09 in 22 countries in South America, Asia, and Europe, but survival still varies widely around the world, from less than 60% in Bulgaria and Thailand to 95% or more in Brazil, Puerto Rico, and the USA. For cervical cancer, national estimates of 5-year survival range from less than 50% to more than 70%; regional variations are much wider, and improvements between 1995-99 and 2005-09 have generally been slight. For women diagnosed with ovarian cancer in 2005-09, 5-year survival was 40% or higher only in Ecuador, the USA, and 17 countries in Asia and Europe. 5-year survival for stomach cancer in 2005-09 was high (54-58%) in Japan and South Korea, compared with less than 40% in other countries. By contrast, 5-year survival from adult leukaemia in Japan and South Korea (18-23%) is lower than in most other countries. 5-year survival from childhood acute lymphoblastic leukaemia is less than 60% in several countries, but as high as 90% in Canada and four European countries, which suggests major deficiencies in the management of a largely curable disease. INTERPRETATION: International comparison of survival trends reveals very wide differences that are likely to be attributable to differences in access to early diagnosis and optimum treatment. Continuous worldwide surveillance of cancer survival should become an indispensable source of information for cancer patients and researchers and a stimulus for politicians to improve health policy and health-care systems

Paradoxes of creativity : examining the creative process through an antenarrative lens

Accounts of the creative process tend to be retrospective and implicitly ground the creative act within the person, the mind, the moment, the idea; in doing so, they often miss the larger sociomaterial qualities that can provide us with important insights about the social relationality and playfulness of the creative process. In this article, we examine the creative process through an antenarrative lens that we consider very useful for theorizing the creative process from a cultural and sociomaterial perspective. More specifically, we argue that ‘having an idea’ is a contextualized and embodied process that can be regarded as an antenarrative of the overall creative process. We also discuss how the paradoxical relation between the formative and sudden manifestations of the creative act can be understood through the notion of play

Observation of the Y(4140)Y(4140) structure in the J/ψ ϕJ/\psi\,\phi Mass Spectrum in B±→J/ψ ϕKB^\pm\to J/\psi\,\phi K cays

The observation of the $Y(4140)$ structure in $B^\pm\rightarrow J/\psi\,\phi K^\pm$ decays produced in $\bar{p} p$ collisions at \sqrt{s}=1.96~\TeV is reported with a statistical significance greater than 5 standard deviations. A fit to the $J/\psi\,\phi$ mass spectrum is performed assuming the presence of a Breit-Wigner resonance. The fit yields a signal of $19^{+6}_{-5}$ resonance events, and resonance mass and width of 4143.4^{+2.9}_{-3.0}(\mathrm{stat})\pm0.6(\mathrm{syst})~\MeVcc and 15.3^{+10.4}_{-6.1}(\mathrm{stat})\pm2.5(\mathrm{syst})~\MeVcc respectively. The parameters of this resonance-like structure are consistent with values reported from an earlier CDF analysis.Comment: 7 pages, 2 figures, submited to Phys. Rev. Let

Search for Higgs bosons produced in association with b quarks

We present a search for neutral Higgs bosons decaying into bb̄, produced in association with b quarks in pp̄ collisions. This process could be observable in supersymmetric models with high values of tanβ. The event sample corresponds to 2.6fb -1 of integrated luminosity collected with the CDF II detector at the Fermilab Tevatron collider. We search for an enhancement in the mass of the two leading jets in events with three jets identified as coming from b quarks using a displaced vertex algorithm. A data-driven procedure is used to estimate the dijet mass spectrum of the nonresonant multijet background. The contributions of backgrounds and a possible Higgs boson signal are determined by a two-dimensional fit of the data, using the dijet mass together with an additional variable which is sensitive to the flavor composition of the three tagged jets. We set mass-dependent limits on σ(pp̄→)×B(→bb̄) which are applicable for a narrow scalar particle produced in association with b quarks. We also set limits on tanβ in supersymmetric Higgs models including the effects of the Higgs boson width. © 2012 American Physical Society