6,562 research outputs found

    Self-tuned quantum dot gain in photonic crystal lasers

    Full text link
    We demonstrate that very few (1 to 3) quantum dots as a gain medium are sufficient to realize a photonic crystal laser based on a high-quality nanocavity. Photon correlation measurements show a transition from a thermal to a coherent light state proving that lasing action occurs at ultra-low thresholds. Observation of lasing is unexpected since the cavity mode is in general not resonant with the discrete quantum dot states and emission at those frequencies is suppressed. In this situation, the quasi-continuous quantum dot states become crucial since they provide an energy-transfer channel into the lasing mode, effectively leading to a self-tuned resonance for the gain medium.Comment: 4 pages, 4 figures, submitted to Phys. Re

    Inspiring to inspire: Developing teaching in higher education

    Get PDF
    Following a three-year staff development initiative within one faculty in a UK university, the authors reflected on inspiring teaching and the role that staff development can play in enhancing individual practice. Teaching is a core component of Higher Education and is complex and multi-faceted both theoretically and in practice. Through individual reflections to a set of pre-determined questions, a group of Higher Education teachers (n = 5) with a responsibility for the development of learning, teaching and assessment, share their thoughts, feelings and beliefs on inspiring teaching. The interpretive analysis of the data shows from a staff perspective that the notion of inspiring teaching has three main components which are all interrelated, those being; the actual teaching and learning experience; the design of the curriculum and the teacher/student relationship. Staff development initiatives were found to help people explore and develop their own teaching philosophy, to develop new practices and to share and learn from others. However, individual’s mindset, beliefs and attitudes were found to be a challenge. Teachers can frame their development around the different aspects of inspiring teaching and with support from senior leadership as well as a positive culture, teaching communities can work together towards inspiring teaching

    A Flexible and Modular Framework for Implementing Infrastructures for Global Computing

    Get PDF
    We present a Java software framework for building infrastructures to support the development of applications for systems where mobility and network awareness are key issues. The framework is particularly useful to develop run-time support for languages oriented towards global computing. It enables platform designers to customize communication protocols and network architectures and guarantees transparency of name management and code mobility in distributed environments. The key features are illustrated by means of a couple of simple case studies

    Linearity in the non-deterministic call-by-value setting

    Full text link
    We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

    Effective representation of RT-LOTOS terms by finite time petri nets

    Get PDF
    The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

    The training and development needs of nurses in Indonesia: paper 3 of 3

    Get PDF
    BACKGROUND: Indonesia's recent economic and political history has left a legacy of widespread poverty and serious health problems, and has contributed to marked inequalities in health care. One means of responding to these challenges has been through a reconsideration of the professional roles of nurses, to enable them to deal with the range and complexity of health problems. However, there are currently a number of obstacles to achieving these aims: there is a serious shortfall in trained nurses; the majority of nurses have only limited education and preparation for the role; and there is no central registration of nurses, which means that it is impossible to regulate either the profession or the standards of care. This study aimed to establish the occupational profiles of each grade of nurse, identify their training and development needs and ascertain whether any differences existed between nurses working in different regions or within hospital or community settings. METHODS: An established and psychometrically valid questionnaire was administered to 524 nurses, covering three grades and coming from five provinces. RESULTS: Significant differences in job profile were found in nurses from different provinces, suggesting that the nature of the role is determined to some degree by the geographical location of practice. The roles of hospital and community nurses, and the different grades of nurse, were fairly similar. All nurses reported significant training needs for all 40 tasks, although these did not vary greatly between grade of nurse. The training needs of nurses from each of the provinces were quite distinct, while those of hospital nurses were greater than those of community nurses. CONCLUSION: The results suggest that the role of the nurse is not as diverse as might be expected, given the different levels of preparation and training and the diversity of their work environments. This may reflect the lack of a central registration system and quality framework, which would normally regulate clinical activities according to qualifications. The differences in training needs between subsections of the sample highlight the importance of identifying skills deficits and using this information to develop customized post-registration education programmes. Together, these results provide a rigorous and reliable approach to defining the occupational roles and continuing education needs of Indonesian nurses
    • 

    corecore