Growth, processing, and optical properties of epitaxial Er_2O_3 on silicon

Erbium-doped materials have been investigated for generating and amplifying light in low-power chip-scale optical networks on silicon, but several effects limit their performance in dense microphotonic applications. Stoichiometric ionic crystals are a potential alternative that achieve an Er^(3+) density 100× greater. We report the growth, processing, material characterization, and optical properties of single-crystal Er_2O_3 epitaxially grown on silicon. A peak Er^(3+) resonant absorption of 364 dB/cm at 1535nm with minimal background loss places a high limit on potential gain. Using high-quality microdisk resonators, we conduct thorough C/L-band radiative efficiency and lifetime measurements and observe strong upconverted luminescence near 550 and 670 nm

On the Question of Temperature Transformations under Lorentz and Galilei Boosts

We provide a quantum statistical thermodynamical solution of the long standing problem of temperature transformations of uniformly moving bodies. Our treatment of this question is based on the well established quantum statistical result that the thermal equilibrium conditions demanded by both the Zeroth and Second Laws of Thermodynamics are precisely those of Kubo, Martin and Schwinger (KMS). We prove that, in both the special relativistic and nonrelativistic settings, a state of a body cannot satisfy these conditions for different inertial frames with non-zero relative velocity. Hence a body that serves as a thermal reservoir, in the sense of the Zeroth Law, in an inertial rest frame cannot do so in a laboratory frame relative to which it moves with non-zero uniform velocity. Consequently, there is no law of temperature transformation under either Lorentz or Galilei boosts, and so the concept of temperature stemming from the Zeroth Law is restricted to states of bodies in their rest frames.Comment: A few minor corrections have been made. The article will be published in J. Phys.

The quaternary structure of the amidase from Geobacillus pallidus RAPc8 is revealed by its crystal packing

The amidase from Geobacillus pallidus RAPc8, a moderate thermophile, is a member of the nitrilase enzyme superfamily. It converts amides to the corresponding acids and ammonia and has application as an industrial catalyst. RAPc8 amidase has been cloned and functionally expressed in Escherichia coli and has been purified by heat treatment and a number of chromatographic steps. The enzyme was crystallized using the hanging-drop vapour-diffusion method. Crystals produced in the presence of 1.2 M sodium citrate, 400 mM NaCl, 100 mM sodium acetate pH 5.6 were selected for X-ray diffraction studies. A data set having acceptable statistics to 1.96 Å resolution was collected under cryoconditions using an in-house X-ray source. The space group was determined to be primitive cubic P4232, with unit-cell parameter a = 130.49 (±0.05) Å. The structure was solved by molecular replacement using the backbone of the hypothetical protein PH0642 from Pyrococcus horikoshii (PDB code 1j31 ) with all non-identical side chains substituted with alanine as a probe. There is one subunit per asymmetric unit. The subunits are packed as trimers of dimers with D3 point-group symmetry around the threefold axis in such a way that the dimer interface seen in the homologues is preserved

Is life a thermal horizon ?

This talk aims at questioning the vanishing of Unruh temperature for an inertial observer in Minkovski spacetime with finite lifetime, arguing that in the non eternal case the existence of a causal horizon is not linked to the non-vanishing of the acceleration. This is illustrated by a previous result, the diamonds temperature, that adapts the algebraic approach of Unruh effect to the finite case.Comment: Proceedings of the conference DICE 2006, Piombino september 200

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we give the theoretical basis for a decision procedure that can handle a fragment of concurrent programs endowed with least fixed point operators. In addition, we show that a certain partial order semantics of relaxed sequential consistency is equivalent to the conjunction of three extensively studied weak memory axioms by Alglave et al. An important consequence of this equivalence is an asymptotically smaller symbolic encoding for bounded model checking which has only a quadratic number of partial order constraints compared to the state-of-the-art cubic-size encoding.Comment: 15 pages, 3 figure

An evaluation of a nurse led unit: an action research study

This study is an exemplar of working in a participatory way with members of the public and health and social care practitioners as co-researchers. A Nurse Consultant Older People working in a nurse-led bed, intermediate care facility in a community hospital acted as joint project lead with an academic researcher. From the outset, members of the public were part of a team of 16 individuals who agreed an evaluation focus and were involved in all stages of the research process from design through to dissemination. An extensive evaluation reflecting all these stakeholders’ preferences was undertaken. Methods included research and audit including: patient and carer satisfaction questionnaire surveys, individual interviews with patients, carers and staff, staff surveys, graffiti board, suggestion box, first impressions questionnaire, patient tracking and a bed census. A key aim of the study has been capacity building of the research team members which has also been evaluated. In terms of impact, the co-researchers have developed research skills and knowledge, grown in confidence, developed in ways that have impacted elsewhere in their lives, developed posters, presented at conferences and gained a better understanding of the NHS. The evaluation itself has provided useful information on the processes and outcomes of intermediate care on the ward which was used to further improve the service

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

Political mobilisation by minorities in Britain: negative feedback of ‘race relations'?

This article uses a political opportunity approach to study the relationship of minority groups to the political community in Britain. The main argument is that the British race relations approach established in the 1960s had an important effect that still shapes the patterns of political contention by different minority groups today. Original data on political claims-making by minorities demonstrate that British 'racialised' cultural pluralism has structured an inequality of opportunities for the two main groups, African-Caribbeans and Indian subcontinent minorities. African-Caribbeans mobilise along racial lines, use a strongly assimilative 'black' identity, conventional action forms, and target state institutions with demands for justice that are framed within the recognised framework of race relations. Conversely, a high proportion of the Indian subcontinent minority mobilisation is by Muslim groups, a non-assimilative religious identity. These are autonomously organised, but largely make public demands for extending the principle of racial equality to their non-racial group. Within the Indian subcontinent minorities, the relative absence of mobilisation by Indian, Sikh and Hindu minorities, who have achieved much better levels of socio-economic success than Pakistani and Bangladeshi Muslims, suggests that there is also a strong socioeconomic basis for shared experiences and grievances as Muslims in Britain. This relativises the notion that Muslim mobilisation is Britain is purely an expression of the right for cultural difference per se, and sees it as a product of the paradoxes of British race relations