Supporting security-oriented, inter-disciplinary research: crossing the social, clinical and geospatial domains

How many people have had a chronic disease for longer than 5-years in Scotland? How has this impacted upon their choices of employment? Are there any geographical clusters in Scotland where a high-incidence of patients with such long-term illness can be found? How does the life expectancy of such individuals compare with the national averages? Such questions are important to understand the health of nations and the best ways in which health care should be delivered and measured for their impact and success. In tackling such research questions, e-Infrastructures need to provide tailored, secure access to an extensible range of distributed resources including primary and secondary e-Health clinical data; social science data, and geospatial data sets amongst numerous others. In this paper we describe the security models underlying these e-Infrastructures and demonstrate their implementation in supporting secure, federated access to a variety of distributed and heterogeneous data sets exploiting the results of a variety of projects at the National e-Science Centre (NeSC) at the University of Glasgow

Confinement of knotted polymers in a slit

We investigate the effect of knot type on the properties of a ring polymer confined to a slit. For relatively wide slits, the more complex the knot, the more the force exerted by the polymer on the walls is decreased compared to an unknotted polymer of the same length. For more narrow slits the opposite is true. The crossover between these two regimes is, to first order, at smaller slit width for more complex knots. However, knot topology can affect these trends in subtle ways. Besides the force exerted by the polymers, we also study other quantities such as the monomer-density distribution across the slit and the anisotropic radius of gyration.Comment: 9 pages, 6 figures, submitted for publicatio

Composition of Ices in Low-Mass Extrasolar Planets

We study the formation conditions of icy planetesimals in protoplanetary disks in order to determine the composition of ices in small and cold extrasolar planets. Assuming that ices are formed from hydrates, clathrates, and pure condensates, we calculate their mass fractions with respect to the total quantity of ices included in planetesimals, for a grid of disk models. We find that the composition of ices weakly depends on the adopted disk thermodynamic conditions, and is rather influenced by the initial composition of the gas phase. The use of a plausible range of molecular abundance ratios and the variation of the relative elemental carbon over oxygen ratio in the gas phase of protoplanetary disks, allow us to apply our model to a wide range of planetary systems. Our results can thus be used to constrain the icy/volatile phase composition of cold planets evidenced by microlensing surveys, hypothetical ocean-planets and carbon planets, which could be detected by Corot or Kepler.Comment: Accepted for publication in The Astrophysical Journa

M.I.T./Canadian Vestibular Experiments on the Spacelab-1 Mission. Part 1: Sensory Adaptation to Weightlessness and Readaptation to One-G: An Overview

Experiments on human spatial orientation were conducted on four crewmembers of Space Shuttle Spacelab Mission 1. The conceptual background of the project, the relationship among the experiments, and their relevance to a 'sensory reinterpretation hypothesis' are presented. Detailed experiment procedures and results are presented in the accompanying papers in this series. The overall findings are discussed as they pertain to the following aspects of hypothesized sensory reinterpretation in weightlessness: (1) utricular otolith afferent signals are reinterpreted as indicating head translation rather than tilt, (2) sensitivity of reflex responses to footward acceleration is reduced, and (3) increased weighting is given to visual and tactile cues in orientation perception and posture control. Results suggest increased weighting of visual cues and reduced weighting of graviceptor signals in weightlessness

Unequal relationships in high and low power distance societies: a comparative study of tutor - student role relations in Britain and China

This study investigated people's conceptions of an unequal role relationship in two different types of society: a high power distance society and a low power distance society. The study focuses on the role relationship of tutor and student. British and Chinese tutors and postgraduate students completed a questionnaire that probed their conceptions of degrees of power differential and social distance/closeness in this role relationship. ANOVA results yielded a significant nationality effect for both aspects. Chinese respondents judged the relationship to be closer and to have a greater power differential than did British respondents. Written comments on the questionnaire and interviews with 9 Chinese academics who had experienced both British and Chinese academic environments supported the statistical findings and indicated that there are fundamental ideological differences associated with the differing conceptions. The results are discussed in relation to Western and Asian concepts of leadership and differing perspectives on the compatibility/incompatibility of power and distance/closeness

The therapeutic potential of stem cells

In recent years, there has been an explosion of interest in stem cells, not just within the scientific and medical communities but also among politicians, religious groups and ethicists. Here, we summarize the different types of stem cells that have been described: their origins in embryonic and adult tissues and their differentiation potential in vivo and in culture. We review some current clinical applications of stem cells, highlighting the problems encountered when going from proof-of-principle in the laboratory to widespread clinical practice. While some of the key genetic and epigenetic factors that determine stem cell properties have been identified, there is still much to be learned about how these factors interact. There is a growing realization of the importance of environmental factors in regulating stem cell behaviour and this is being explored by imaging stem cells in vivo and recreating artificial niches in vitro. New therapies, based on stem cell transplantation or endogenous stem cells, are emerging areas, as is drug discovery based on patient-specific pluripotent cells and cancer stem cells. What makes stem cell research so exciting is its tremendous potential to benefit human health and the opportunities for interdisciplinary research that it presents

Adding free to total prostate-specific antigen levels in trials of prostate cancer screening

We used a nested case–control design on data from men in four prospective studies (from the UK, Maryland in the USA, and two from Finland) with available stored serum samples to determine whether there was an advantage in measuring both free prostate-specific antigen (PSA) and total PSA as a potential screening test for prostate cancer. Of these men, 247 were verified through national vital statistics offices as having died of prostate cancer, or having developed the disease, and 953 men who did not develop prostate cancer (controls) were selected, matched to cases for age, study centre and sample storage duration. Fixing the false-positive rate at 1%, the prostate cancer detection rate (sensitivity) over the 3 years following serum collection (based on 14 cancers) increased from an estimated 95% using total PSA to 97% using free and bound PSA (that is, bound to α-antichymotrypsin which together with the free form is total PSA). Over a 6-year period (based on 41 cancers) a similar difference occurred (52% and 56% detection rates respectively). We conclude that there is no material advantage in adding free to total PSA in prostate cancer screening trials. © 2000 Cancer Research Campaig

Iris-Wasm: robust and modular verification of WebAssembly programs

WebAssembly makes it possible to run C/C++ applications on the web with near-native performance. A WebAssembly program is expressed as a collection of higher-order ML-like modules, which are composed together through a system of explicit imports and exports using a host language, enabling a form of higher- order modular programming. We present Iris-Wasm, a mechanized higher-order separation logic building on a specification of Wasm 1.0 mechanized in Coq and the Iris framework. Using Iris-Wasm, we are able to specify and verify individual modules separately, and then compose them modularly in a simple host language featuring the core operations of the WebAssembly JavaScript Interface. Building on Iris-Wasm, we develop a logical relation that enforces robust safety: unknown, adversarial code can only affect other modules through the functions that they explicitly export. Together, the program logic and the logical relation allow us to formally verify functional correctness of WebAssembly programs, even when they invoke and are invoked by unknown code, thereby demonstrating that WebAssembly enforces strong isolation between modules

On the Origins of Starburst and Post-Starburst Galaxies in Nearby Clusters

HST WFPC2 images in B (F450W) and I (F814W) have been obtained for three starburst (SB) and two post-starburst (PSB) galaxies in the Coma cluster, and for three such galaxies in the cluster DC2048-52. V (F555W) and I images for an additional PSB galaxy in Coma have been extracted from the archive. Seven of these galaxies were previously classified as E/S0 on the basis of ground-based images, one as Sa, and the other as an irregular. The HST images reveal these SB/PSB galaxies to be heterogeneous in morphology. Nevertheless a common theme is that many of them, especially the SB galaxies, tend to have centralized spiral structure that appears simply as a bright ``bulge''on ground-based images. In addition, while some PSB galaxies exhibit distinct spiral structure, on the whole they have smoother morphologies than the SB galaxies. The morphologies and luminosity profiles are generally consistent with substantial starbursts in the form of centralized spiral structure (the SB galaxies) which fade into smoother morphologies (the PSB galaxies), with lingering spectroscopic evidence for past central starbursts. An important point is that the PSB galaxies retain disks, i.e, they have not evolved into spheroidal systems.Comment: 32 pages, 10 figures including 3 jpg images. To appear in the January 1999 Astronomical Journa