Governance of the international linear collider project

PoS(ICHEP 2010)516 - http://pos.sissa.itInternational audienceGovernance models for the International Linear Collider Project are examined in the light of experience from similar international projects around the world. Recommendations for one path which could be followed to realise the ILC successfully are outlined

Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study

Isabelle/SACM is a tool for automated construction of model-based assurance cases with integrated formal methods, based on the Isabelle proof assistant. Assurance cases show how a system is safe to operate, through a human comprehensible argument demonstrating that the requirements are satisfied, using evidence of various provenances. They are usually required for certification of critical systems, often with evidence that originates from formal methods. Automating assurance cases increases rigour, and helps with maintenance and evolution. In this paper we apply Isabelle/SACM to a fragment of the assurance case for an autonomous underwater vehicle demonstrator. We encode the metric unit system (SI) in Isabelle, to allow modelling requirements and state spaces using physical units. We develop a behavioural model in the graphical RoboChart state machine language, embed the artifacts into Isabelle/SACM, and use it to demonstrate satisfaction of the requirements

Quantum Cosmological Relational Model of Shape and Scale in 1-d

Relational particle models are useful toy models for quantum cosmology and the problem of time in quantum general relativity. This paper shows how to extend existing work on concrete examples of relational particle models in 1-d to include a notion of scale. This is useful as regards forming a tight analogy with quantum cosmology and the emergent semiclassical time and hidden time approaches to the problem of time. This paper shows furthermore that the correspondence between relational particle models and classical and quantum cosmology can be strengthened using judicious choices of the mechanical potential. This gives relational particle mechanics models with analogues of spatial curvature, cosmological constant, dust and radiation terms. A number of these models are then tractable at the quantum level. These models can be used to study important issues 1) in canonical quantum gravity: the problem of time, the semiclassical approach to it and timeless approaches to it (such as the naive Schrodinger interpretation and records theory). 2) In quantum cosmology, such as in the investigation of uniform states, robustness, and the qualitative understanding of the origin of structure formation.Comment: References and some more motivation adde

Do you see what I see? Identification of child protection concerns by hospital staff and general dental practitioners

Aim An exploration of the threshold that dentists, doctors and nurses recognise for dental and child protection (CP) actions in sample clinical cases, and any differences between these professional groups. Method We present a cross-sectional survey of dentists, doctors and nurses (50 each), who regularly examine children, utilised five fictitious vignettes, combining an oral examination image and clinical history reflecting dental and CP issues. Demographics were collected, and each participant gave their likely action for the cases presented. Results Dentists were significantly better at answering the dental element than the doctors and nurses, (P <0.0001) with no significant difference between these two; only 8% of the latter had undergone any training in assessment of dental health. Although 90.6% of all professionals had undergone CP training, dentists were significantly less accurate at identifying the CP component than doctors and nurses, (P <0.0001) between whom there were no significant differences. Those with higher levels of CP training were most accurate at identifying correct CP actions. Conclusions CP training is effective at improving recognition of child maltreatment, although there remains a worrying lack of knowledge about thresholds for action among dentists. Doctors and nurses have minimal training in, or knowledge of, dental health in children, thus precluding appropriate onward referrals

What traits are carried on mobile genetic elements, and why?

Although similar to any other organism, prokaryotes can transfer genes vertically from mother cell to daughter cell, they can also exchange certain genes horizontally. Genes can move within and between genomes at fast rates because of mobile genetic elements (MGEs). Although mobile elements are fundamentally self-interested entities, and thus replicate for their own gain, they frequently carry genes beneficial for their hosts and/or the neighbours of their hosts. Many genes that are carried by mobile elements code for traits that are expressed outside of the cell. Such traits are involved in bacterial sociality, such as the production of public goods, which benefit a cell's neighbours, or the production of bacteriocins, which harm a cell's neighbours. In this study we review the patterns that are emerging in the types of genes carried by mobile elements, and discuss the evolutionary and ecological conditions under which mobile elements evolve to carry their peculiar mix of parasitic, beneficial and cooperative genes

Aerodynamic investigations of ventilated brake discs.

The heat dissipation and performance of a ventilated brake disc strongly depends on the aerodynamic characteristics of the flow through the rotor passages. The aim of this investigation was to provide an improved understanding of ventilated brake rotor flow phenomena, with a view to improving heat dissipation, as well as providing a measurement data set for validation of computational fluid dynamics methods. The flow fields at the exit of four different brake rotor geometries, rotated in free air, were measured using a five-hole pressure probe and a hot-wire anemometry system. The principal measurements were taken using two-component hot-wire techniques and were used to determine mean and unsteady flow characteristics at the exit of the brake rotors. Using phase-locked data processing, it was possible to reveal the spatial and temporal flow variation within individual rotor passages. The effects of disc geometry and rotational speed on the mean flow, passage turbulence intensity, and mass flow were determined. The rotor exit jet and wake flow were clearly observed as characterized by the passage geometry as well as definite regions of high and low turbulence. The aerodynamic flow characteristics were found to be reasonably independent of rotational speed but highly dependent upon rotor geometry

A qualitative study of unmet needs and interactions with primary care among cancer survivors

INTRODUCTION: Despite increasing numbers, there is little research investigating the long-term needs of cancer survivors. The aim of this study is to explore the experiences of individuals who have survived at least 5 years following a cancer diagnosis, and to describe perceived unmet needs and interactions with primary care. METHODS: Forty long-term survivors of breast, colorectal and prostate cancer were purposively selected for an in-depth qualitative study. We aimed for a maximum variation sample according to cancer site, gender, time since diagnosis, cancer needs, anxiety and depression. Interviews were audio recorded and transcribed verbatim. Transcripts were coded thematically using a grounded theory approach. RESULTS: Analysis of the interview data is presented in four subthemes: the role they perceived for the general practitioner (GP), unmet needs, reasons for not using primary care for needs they perceived as cancer related, and ongoing care for cancer-related issues. The majority of cancer survivors did not see a role for their GP in their long-term care related to their cancer diagnosis as most considered that they did not need active follow-up, but some expressed a need for psychological services and information on possible long-term effects. Cancer survivors cited three main reasons for not using GP services in relation to their cancer diagnosis: GPs were seen as non-experts in cancer; they were perceived as too busy; and a lack of continuity within primary care made it difficult to talk about long-term issues. There was a wide variation in schedules and notification of PSA tests among the prostate cancer survivors. DISCUSSION: The results from this project suggest that some cancer survivors have specific emotional and physical needs that could benefit from input from their primary care team, but not all cancer survivors look to their GP for their long-term cancer-related care. Better information care planning is required from specialists in order to identify those who would benefit mos

Coral spawning in the Gulf of Oman and relationship to latitudinal variation in spawning season in the northwest Indian Ocean

Despite a wealth of information on sexual reproduction in scleractinian corals, there are regional gaps in reproductive records. In the Gulf of the Oman in the Arabian Sea, reproductive timing was assessed in four common species of broadcast spawning corals using field surveys of gamete maturity and aquarium observations of spawning activity. The appearance of mature gametes within the same month for Acropora downingi, A. hemprichii, Cyphastrea microphthalma and Platygyra daedalea (≥ 75% of colonies, n = 848) indicated a synchronous and multi-specific spawning season. Based on gamete disappearance and direct observations, spawning predominantly occurred during April in 2013 (75- 100% of colonies) and May in 2014 (77-94% of colonies). The difference in spawning months between survey years was most likely explained by sea temperature and the timing of lunar cycles during late-stage gametogenesis. These reproductive records are consistent with a latitudinal gradient in peak broadcast spawning activity at reefs in the northwestern Indian Ocean which occurs early in the year at low latitudes (January to March) and progressively later in the year at mid (March to May) and high (June to September) latitudes

Height and timing of growth spurt during puberty in young people living with vertically acquired HIV in Europe and Thailand.

OBJECTIVE: The aim of this study was to describe growth during puberty in young people with vertically acquired HIV. DESIGN: Pooled data from 12 paediatric HIV cohorts in Europe and Thailand. METHODS: One thousand and ninety-four children initiating a nonnucleoside reverse transcriptase inhibitor or boosted protease inhibitor based regimen aged 1-10 years were included. Super Imposition by Translation And Rotation (SITAR) models described growth from age 8 years using three parameters (average height, timing and shape of the growth spurt), dependent on age and height-for-age z-score (HAZ) (WHO references) at antiretroviral therapy (ART) initiation. Multivariate regression explored characteristics associated with these three parameters. RESULTS: At ART initiation, median age and HAZ was 6.4 [interquartile range (IQR): 2.8, 9.0] years and -1.2 (IQR: -2.3 to -0.2), respectively. Median follow-up was 9.1 (IQR: 6.9, 11.4) years. In girls, older age and lower HAZ at ART initiation were independently associated with a growth spurt which occurred 0.41 (95% confidence interval 0.20-0.62) years later in children starting ART age 6 to 10 years compared with 1 to 2 years and 1.50 (1.21-1.78) years later in those starting with HAZ less than -3 compared with HAZ at least -1. Later growth spurts in girls resulted in continued height growth into later adolescence. In boys starting ART with HAZ less than -1, growth spurts were later in children starting ART in the oldest age group, but for HAZ at least -1, there was no association with age. Girls and boys who initiated ART with HAZ at least -1 maintained a similar height to the WHO reference mean. CONCLUSION: Stunting at ART initiation was associated with later growth spurts in girls. Children with HAZ at least -1 at ART initiation grew in height at the level expected in HIV negative children of a comparable age

A Study of Time-Dependent CP-Violating Asymmetries and Flavor Oscillations in Neutral B Decays at the Upsilon(4S)

We present a measurement of time-dependent CP-violating asymmetries in neutral B meson decays collected with the BABAR detector at the PEP-II asymmetric-energy B Factory at the Stanford Linear Accelerator Center. The data sample consists of 29.7 ${\rm fb}^{-1}$ recorded at the $\Upsilon(4S)$ resonance and 3.9 ${\rm fb}^{-1}$ off-resonance. One of the neutral B mesons, which are produced in pairs at the $\Upsilon(4S)$, is fully reconstructed in the CP decay modes $J/\psi K^0_S$, $\psi(2S) K^0_S$, $\chi_{c1} K^0_S$, $J/\psi K^{*0}$ ($K^{*0}\to K^0_S\pi^0$) and $J/\psi K^0_L$, or in flavor-eigenstate modes involving $D^{(*)}\pi/\rho/a_1$ and $J/\psi K^{*0}$ ($K^{*0}\to K^+\pi^-$). The flavor of the other neutral B meson is tagged at the time of its decay, mainly with the charge of identified leptons and kaons. The proper time elapsed between the decays is determined by measuring the distance between the decay vertices. A maximum-likelihood fit to this flavor eigenstate sample finds $\Delta m_d = 0.516\pm 0.016 {\rm (stat)} \pm 0.010 {\rm (syst)} {\rm ps}^{-1}$. The value of the asymmetry amplitude $\sin2\beta$ is determined from a simultaneous maximum-likelihood fit to the time-difference distribution of the flavor-eigenstate sample and about 642 tagged $B^0$ decays in the CP-eigenstate modes. We find $\sin2\beta=0.59\pm 0.14 {\rm (stat)} \pm 0.05 {\rm (syst)}$, demonstrating that CP violation exists in the neutral B meson system. (abridged)Comment: 58 pages, 35 figures, submitted to Physical Review