Typing Copyless Message Passing

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory. We address these problems basing the type system upon an original variant of session types.Comment: 50 page

Modelling the hepatitis B vaccination programme in prisons

A vaccination programme offering hepatitis B (HBV) vaccine at reception into prison has been introduced into selected prisons in England and Wales. Over the coming years it is anticipated this vaccination programme will be extended. A model has been developed to assess the potential impact of the programme on the vaccination coverage of prisoners, ex-prisoners, and injecting drug users (IDUs). Under a range of coverage scenarios, the model predicts the change over time in the vaccination status of new entrants to prison, current prisoners and IDUs in the community. The model predicts that at baseline in 2012 57% of the IDU population will be vaccinated with up to 72% being vaccinated depending on the vaccination scenario implemented. These results are sensitive to the size of the IDU population in England and Wales and the average time served by an IDU during each prison visit. IDUs that do not receive HBV vaccine in the community are at increased risk from HBV infection. The HBV vaccination programme in prisons is an effective way of vaccinating this hard-to-reach population although vaccination coverage on prison reception must be increased to achieve this

Elastic Angular Differential Cross Sections for Quasi-One-Electron Collision Systems at Intermediate Energies: (Na⁺, Li⁺)+H and (Mg⁺, Be⁺)+He

Measurements of elastic angular differential cross sections have been carried out for four quasi-one-electron collision systems at intermediate energies. Data are presented for Na++H collisions at laboratory energies of 35.94, 51.75, 63.89, and 143.75 keV, for Li++H collisions at energies of 19.44 and 43.75 keV, for Mg++He collisions at energies of 30, 66.7, and 150 keV, and for Be++He collisions at an energy of 56.25 keV. The highest energy in each case corresponds to a projectile velocity of (1/2 a.u. Born and Eikonal calculations, in which we model the projectile ion as a heavy structureless ion of charge +1e, are also presented. Our model calculations are in fair agreement with the experimental data over the range of measured scattering angles

Angular-Differential Studies of Excitation in Quasi-One-Electron Collisions at High Energy

Qualitative differences have been observed between two types of quasi-one-electron collision systems. We have studied valence-electron excitation at high energy (relative collision velocities up to 0.5 a.u.) in the Mg++He and Na++H collision systems, and find that while Mg++He collisions are dominated by direct excitation, the Na++H collisions exhibit significant molecular excitation, even at the highest velocities. This behavior can be understood in terms of the molecular structure of the respective collision complexes, and the energy separation between the ground and first excited states of the valence electron

Human Developmental Chondrogenesis as a Basis for Engineering Chondrocytes from Pluripotent Stem Cells

Joint injury and osteoarthritis affect millions of people worldwide, but attempts to generate articular cartilage using adult stem/progenitor cells have been unsuccessful. We hypothesized that recapitulation of the human developmental chondrogenic program using pluripotent stem cells (PSCs) may represent a superior approach for cartilage restoration. Using laser-capture microdissection followed by microarray analysis, we first defined a surface phenotype (CD166(low/neg)CD146(low/neg)CD73(+)CD44(low)BMPR1B(+)) distinguishing the earliest cartilage committed cells (prechondrocytes) at 5-6 weeks of development. Functional studies confirmed these cells are chondrocyte progenitors. From 12 weeks, only the superficial layers of articular cartilage were enriched in cells with this progenitor phenotype. Isolation of cells with a similar immunophenotype from differentiating human PSCs revealed a population of CD166(low/neg)BMPR1B(+) putative cartilage-committed progenitors. Taken as a whole, these data define a developmental approach for the generation of highly purified functional human chondrocytes from PSCs that could enable substantial progress in cartilage tissue engineering.Fil: Wu, Ling. University of California at Los Angeles; Estados UnidosFil: Bluguermann, Carolina. Fundación para la Lucha contra las Enfermedades Neurológicas de la Infancia. Laboratorio de Biología del Desarrollo Celular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. University of California at Los Angeles; Estados UnidosFil: Kyupelyan, Levon. University of California at Los Angeles; Estados UnidosFil: Latour, Brooke. University of California at Los Angeles; Estados UnidosFil: Gonzalez, Stephanie. University of California at Los Angeles; Estados UnidosFil: Shah, Saumya. University of California at Los Angeles; Estados UnidosFil: Galic, Zoran. University of California at Los Angeles; Estados UnidosFil: Ge, Sundi. University of California at Los Angeles; Estados UnidosFil: Zhu, Yuhua. University of California at Los Angeles; Estados UnidosFil: Petrigliano, Frank A.. University of California at Los Angeles; Estados UnidosFil: Nsair, Ali. University of California at Los Angeles; Estados UnidosFil: Miriuka, Santiago Gabriel. Fundación para la Lucha contra las Enfermedades Neurológicas de la Infancia. Laboratorio de Biología del Desarrollo Celular; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Li, Xinmin. University of California at Los Angeles; Estados UnidosFil: Lyons, Karen M.. University of California at Los Angeles; Estados UnidosFil: Crooks, Gay M.. University of California at Los Angeles; Estados UnidosFil: McAllister, David R.. University of California at Los Angeles; Estados UnidosFil: Van Handel, Ben. Novogenix Laboratories; Estados UnidosFil: Adams, John S.. University of California at Los Angeles; Estados UnidosFil: Evseenko, Denis. University of California at Los Angeles; Estados Unido

Two Novel Approaches for Electron Beam Polarization from Unstrained GaAs

Two novel approaches to producing highly-polarized electron beams from unstrained GaAs were tested using a micro-Mott polarimeter. Based on a suggestion by Nakanishi [1]], twophoton photoemission with 1560 nm light was used with photocathodes of varying thickness: 625m, 0.32m, and 0.18m. For each of these photocathodes, the degree of spin polarization of the photoemitted beam was less than 50%. Polarization via two-photon absorption was highest from the thinnest photocathode sample and close to that obtained from one-photon absorption (using 778 nm light), with values 40.3±1.0% and 42.6±1.0%, respectively. The second attempt to produce highly-polarized electrons used one-photon emission with 778 nm light in Laguerre-Gaussian modes with different amounts of orbital angular momentum. The degree of electron spin polarization was consistent with zero, with an upper limit of ~3% for light with up to ±5ħ of orbital angular momentum. In contrast, the degree of spin polarization was 32.3±1.4% using circularly-polarized laser light at the same wavelength, which is typical for thick, unstrained GaAs photocathodes

Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models

The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. To provide sufficient concurrency support in VMs, we propose to integrate concurrency operations into VM instruction sets. Since there will always be VMs optimized for special purposes, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of trade-offs that have to be investigated to advise the design of such instruction sets. As a first experiment, we implemented one instruction set extension for shared memory and one for non-shared memory concurrency. From our experimental results, we derived a list of requirements for a full-grown experimental environment for further research

The medical student

The Medical Student was published from 1888-1921 by the students of Boston University School of Medicine

The formation of professional identity in medical students: considerations for educators

<b>Context</b> Medical education is about more than acquiring an appropriate level of knowledge and developing relevant skills. To practice medicine students need to develop a professional identity – ways of being and relating in professional contexts.<p></p> <b>Objectives</b> This article conceptualises the processes underlying the formation and maintenance of medical students’ professional identity drawing on concepts from social psychology.<p></p> <b>Implications</b> A multi-dimensional model of identity and identity formation, along with the concepts of identity capital and multiple identities, are presented. The implications for educators are discussed.<p></p> <b>Conclusions</b> Identity formation is mainly social and relational in nature. Educators, and the wider medical society, need to utilise and maximise the opportunities that exist in the various relational settings students experience. Education in its broadest sense is about the transformation of the self into new ways of thinking and relating. Helping students form, and successfully integrate their professional selves into their multiple identities, is a fundamental of medical education