OGO-6 gas-surface energy transfer experiment

The kinetic energy flux of the upper atmosphere was analyzed using OGO-6 data. Energy transfer between 10 microwatts/sq cm and 0.1 W/sq cm was measured by short-term frequency changes of temperature-sensitive quartz crystals used in the energy transfer probe. The condition of the surfaces was continuously monitored by a quartz crystal microbalance to determine the effect surface contamination had on energy accommodation. Results are given on the computer analysis and laboratory tests performed to optimize the operation of the energy transfer probe. Data are also given on the bombardment of OGO-6 surfaces by high energy particles. The thermoelectrically-cooled quartz crystal microbalance is described in terms of its development and applications

Blaming Bill Gates AGAIN! Misuse, overuse and misunderstanding of performance data in sport

Recently in Sport, Education and Society, Williams and Manley (2014) argued against the heavy reliance on technology in professional Rugby Union and elite sport in general. In summary, technology is presented as an elitist, ‘gold standard’ villain that management and coaches use to exert control and by which players lose autonomy, identity, motivation, social interactions and expertise. In this article we suggest that the sociological interpretations and implications offered by Williams and Manley may be somewhat limited when viewed in isolation. In doing so, we identify some core methodological issues in Williams and Manley’s study and critically consider important arguments for utilising technology; notably, to inform coach decision making and generate player empowerment. Secondly, we present a different, yet perhaps equally concerning, practice-oriented interpretation of the same results but from alternative coaching and expertise literature. Accordingly, we suggest that Williams and Manley have perhaps raised their alarm prematurely, inappropriately and on somewhat shaky foundations. We also hope to stimulate others to consider contrary positions, or at least to think about this topic in greater detail. More specifically, we encourage coaches and academics to think carefully about what technology is employed, how and why, and then the means by which these decisions are discussed with and, preferably, sold to players. Certainly, technology can significantly enhance coach decision making and practice, while also helping players to optimise their focus, empowerment and independence in knowing how to achieve their personal and collective goals

Detecting the Cosmic Gravitational Wave Background with the Big Bang Observer

The detection of the Cosmic Microwave Background Radiation (CMB) was one of the most important cosmological discoveries of the last century. With the development of interferometric gravitational wave detectors, we may be in a position to detect the gravitational equivalent of the CMB in this century. The Cosmic Gravitational Background (CGB) is likely to be isotropic and stochastic, making it difficult to distinguish from instrument noise. The contribution from the CGB can be isolated by cross-correlating the signals from two or more independent detectors. Here we extend previous studies that considered the cross-correlation of two Michelson channels by calculating the optimal signal to noise ratio that can be achieved by combining the full set of interferometry variables that are available with a six link triangular interferometer. In contrast to the two channel case, we find that the relative orientation of a pair of coplanar detectors does not affect the signal to noise ratio. We apply our results to the detector design described in the Big Bang Observer (BBO) mission concept study and find that BBO could detect a background with $\Omega_{gw} > 2.2 \times 10^{-17}$.Comment: 15 pages, 12 Figure

The Digital Life of Walkable Streets

Walkability has many health, environmental, and economic benefits. That is why web and mobile services have been offering ways of computing walkability scores of individual street segments. Those scores are generally computed from survey data and manual counting (of even trees). However, that is costly, owing to the high time, effort, and financial costs. To partly automate the computation of those scores, we explore the possibility of using the social media data of Flickr and Foursquare to automatically identify safe and walkable streets. We find that unsafe streets tend to be photographed during the day, while walkable streets are tagged with walkability-related keywords. These results open up practical opportunities (for, e.g., room booking services, urban route recommenders, and real-estate sites) and have theoretical implications for researchers who might resort to the use social media data to tackle previously unanswered questions in the area of walkability.Comment: 10 pages, 7 figures, Proceedings of International World Wide Web Conference (WWW 2015

Production of Gravitational Waves in the nMSSM

During a strongly first-order phase transition gravitational waves are produced by bubble collisions and turbulent plasma motion. We analyze the relevant characteristics of the electroweak phase transition in the nMSSM to determine the generated gravitational wave signal. Additionally, we comment on correlations between the production of gravitational waves and baryogenesis. We conclude that the gravitational wave relic density in this model is generically too small to be detected in the near future by the LISA experiment. We also consider the case of a "Standard Model" with dimension-six Higgs potential, which leads to a slightly stronger signal of gravitational waves.Comment: 29 pages, 7 figures; published version, some comments adde

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the textbook proofs that are based on proving the correctness of the well-known Robinson's first-order unification algorithm. The formalization was applied inside a PVS development for term rewriting systems that provides a complete formalization of the Knuth-Bendix Critical Pair theorem, among other relevant theorems of the theory of rewriting. In addition, the formalization methodology has been proved of practical use in order to verify the correctness of unification algorithms in the style of the original Robinson's unification algorithm.Comment: In Proceedings LSFA 2011, arXiv:1203.542

A ‘movement for improvement’?: a qualitative study of the adoption of social movement strategies in the implementation of a quality improvement campaign

Given the difficulties of implementing ‘top-down’ quality improvements, health service leaders have turned to methods that empower clinicians to co-produce ‘bottom-up’ improvements. This has involved the adoption of strategies and activities associated with social movements, with clinicians encouraged to participate in collective action towards the shared goal of improvement. This paper examines the adoption of social movement methods by hospital managers as a strategy for implementing a quality improvement ‘campaign’. Our case study suggests that, despite the claim of empowering clinicians to develop ‘bottom-up’ improvements, the use of social movement methods is narrowly concerned with engaging clinicians in a pre-determined programme of ‘top-down’ change. It finds a prominent role for ‘hybrid’ clinical leaders and other staff representatives in the mobilisation of the campaign, especially for enrolling clinicians in change activities. The work of these ‘hybrids’ suggests some degree of creative mediation between clinical and managerial interests, but more often alignment with the aspirations of management. The study raises questions about the translation of social movements theories as a strategy for managing change and re-inventing professionalism