938 research outputs found

    On the Origins of Coccinelle

    Get PDF

    A Graph-based and Declarative Approach to a Secure Resource Management in Smart Factories

    Get PDF
    Abstract. The article presents an applied research using the Design Science Research Methodology for securely managing resources of smart factories via a graph-based approach combined with a declarative query language. This query language can be used to find appropriate production facilities that are able to fulfill specific manufacturing tasks. This approach is aimed to solve the problem with the management effort for production facilities using enumeration for naming these facilities for the manufacturing tasks. Thus, the security is ensured by identifying the “current” valid identities (resources). Additionally, the usage of deputy relationships leads to alternative production facilities if resources have a breakdown or have to be serviced which has an effect on the availability

    A Comparison of Health Care Systems in the Western World

    Get PDF
    This senior thesis evaluates the health care systems of the Netherlands, Belgium, Switzerland, and Denmark, before looking at how their approaches could be adapted to the U.S. system. I picked these specific countries due to their similarity in geographic location, demographic, religious affiliations, and population size but have different styles of health care systems (public, mixed, and private) that are set up in varying ways. Additionally, these populations have similar health issues to one another, such as aging-populations, and to the U.S. as well like the top causes of death. However, these four western European countries have longer life expediencies and smaller percentages (or zero percent) of their populations are uninsured. Populations who face the same difficulties, for potentially the same reasons, can count on the same or similar responses to help. All industrialized nations wish to balance the three shared concerns of modern health care which are cost, quality, and access. This is why the search for solutions has become global in scope, as the U.S. looks beyond our borders to examine how other industrialized nations provide and finance health care

    Social and Behavioral Domains in Acute Care Electronic Health Records: Barriers, Facilitators, Relevance, and Value.

    Get PDF
    Ph.D. Thesis. University of Hawaiʻi at Mānoa 2018

    Mechanically Compliant Grating Reflectors for Optomechanics

    Full text link
    We demonstrate micromechanical reflectors with a reflectivity as large as 99.4% and a mechanical quality factor Q as large as 7.8*10^5 for optomechanical applications. The reflectors are silicon nitride membranes patterned with sub-wavelength grating structures, obviating the need for the many dielectric layers used in conventional mirrors. We have employed the reflectors in the construction of a Fabry-Perot cavity with a finesse as high as F=1200, and used the optical response to probe the mechanical properties of the membrane. By driving the cavity with light detuned to the high-frequency side of a cavity resonance, we create an optical antidamping force that causes the reflector to self-oscillate at 211 kHz

    Emission spectrum of a dressed exciton-biexciton complex in a semiconductor quantum dot

    Full text link
    The photoluminescence spectrum of a single quantum dot was recorded as a secondary resonant laser optically dressed either the vacuum-to-exciton or the exciton-to-biexciton transitions. High-resolution polarization-resolved measurements using a scanning Fabry-Perot interferometer reveal splittings of the linearly-polarized fine-structure states that are non-degenerate in an asymmetric quantum dot. These splittings manifest as either triplets or doublets and depend sensitively on laser intensity and detuning. Our approach realizes complete resonant control of a multi-excitonic system in emission, which can be either pulsed or continuous-wave, and offers direct access to the emitted photons.Comment: 4 pages, 4 figure

    Faults in Linux 2.6

    Get PDF
    In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4.1. A major result of their work was that the drivers directory contained up to 7 times more of certain kinds of faults than other directories. This result inspired numerous efforts on improving the reliability of driver code. Today, Linux is used in a wider range of environments, provides a wider range of services, and has adopted a new development and release model. What has been the impact of these changes on code quality? To answer this question, we have transported Chou et al.'s experiments to all versions of Linux 2.6; released between 2003 and 2011. We find that Linux has more than doubled in size during this period, but the number of faults per line of code has been decreasing. Moreover, the fault rate of drivers is now below that of other directories, such as arch. These results can guide further development and research efforts for the decade to come. To allow updating these results as Linux evolves, we define our experimental protocol and make our checkers available
    corecore