345 research outputs found

    Guidelines for the use and reuse of animals for teaching within veterinary medical education programs

    Get PDF
    Use and reuse of animals for educational purposes could adversely affect animal welfare. Guidelines for quantifying, monitoring and planning the use and reuse of animals have been developed. Within this framework animals are assigned points for usage, with more points being allocated to procedures that may have a greater adverse effect on animal welfare. Usage of individual animals is limited to a maximum of 8 points in a calendar week, 24 points in a month or 60 points within a 16-week study period and any associated examination period. Advantages and disadvantages of the system are discussed while modification is expected as knowledge emerges on the impact of procedures on animal welfare

    Intersection and Rotation of Assumption Literals Boosts Bug-Finding

    Get PDF
    SAT-based techniques comprise the state-of-the-art in functional verification of safety-critical hardware and software, including IC3/PDR-based model checking and Bounded Model Checking (BMC). BMC is the incontrovertible best method for unsafety checking, aka bug-finding. Complementary Approximate Reachability (CAR) and IC3/PDR complement BMC for bug-finding by detecting different sets of bugs. To boost the efficiency of formal verification, we introduce heuristics involving intersection and rotation of the assumption literals used in the SAT encodings of these techniques. The heuristics generate smaller unsat cores and diverse satisfying assignments that help in faster convergence of these techniques, and have negligible runtime overhead. We detail these heuristics, incorporate them in CAR, and perform an extensive experimental evaluation of their performance, showing a 25% boost in bug-finding efficiency of CAR.We contribute a detailed analysis of the effectiveness of these heuristics: their influence on SAT-based bug-finding enables detection of different bugs from BMCbased checking. We find the new heuristics are applicable to IC3/PDR-based algorithms as well, and contribute a modified clause generalization procedure

    Numerical representation of quantum states in the positive-P and Wigner representations

    Full text link
    Numerical stochastic integration is a powerful tool for the investigation of quantum dynamics in interacting many body systems. As with all numerical integration of differential equations, the initial conditions of the system being investigated must be specified. With application to quantum optics in mind, we show how various commonly considered quantum states can be numerically simulated by the use of widely available Gaussian and uniform random number generators. We note that the same methods can also be applied to computational studies of Bose-Einstein condensates, and give some examples of how this can be done.Comment: 16 pages, single column forma

    Atomic diffraction from nanostructured optical potentials

    Full text link
    We develop a versatile theoretical approach to the study of cold-atom diffractive scattering from light-field gratings by combining calculations of the optical near-field, generated by evanescent waves close to the surface of periodic nanostructured arrays, together with advanced atom wavepacket propagation on this optical potential.Comment: 8 figures, 10 pages, submitted to Phys. Rev.

    Simplifying Consent for HIV Testing Is Associated with an Increase in HIV Testing and Case Detection in Highest Risk Groups, San Francisco January 2003–June 2007

    Get PDF
    Populations at highest risk for HIV infection face multiple barriers to HIV testing. To facilitate HIV testing procedures, the San Francisco General Hospital Medical Center eliminated required written patient consent for HIV testing in its medical settings in May 2006. To describe the change in HIV testing rates in different hospital settings and populations after the change in HIV testing policy in the SFDH medical center, we performed an observational study using interrupted time series analysis.Data from all patients aged 18 years and older seen from January 2003 through June 2007 at the San Francisco Department of Public Health (SFDPH) medical care system were included in the analysis. The monthly HIV testing rate per 1000 had patient-visits was calculated for the overall population and stratified by hospital setting, age, sex, race/ethnicity, homelessness status, insurance status and primary language.By June 2007, the average monthly rate of HIV tests per 1000 patient-visits increased 4.38 (CI, 2.17-6.60, p<0.001) over the number predicted if the policy change had not occurred (representing a 44% increase). The monthly average number of new positive HIV tests increased from 8.9 (CI, 6.3-11.5) to 14.9 (CI, 10.6-19.2, p<0.001), representing a 67% increase. Although increases in HIV testing were seen in all populations, populations at highest risk for HIV infection, particularly men, the homeless, and the uninsured experienced the highest increases in monthly HIV testing rates after the policy change.The elimination of the requirement for written consent in May 2006 was associated with a significant and sustained increase in HIV testing rates and HIV case detection in the SFDPH medical center. Populations facing the higher barriers to HIV testing had the highest increases in HIV testing rates and case detection in response to the policy change

    Atom lasers: production, properties and prospects for precision inertial measurement

    Full text link
    We review experimental progress on atom lasers out-coupled from Bose-Einstein condensates, and consider the properties of such beams in the context of precision inertial sensing. The atom laser is the matter-wave analog of the optical laser. Both devices rely on Bose-enhanced scattering to produce a macroscopically populated trapped mode that is output-coupled to produce an intense beam. In both cases, the beams often display highly desirable properties such as low divergence, high spectral flux and a simple spatial mode that make them useful in practical applications, as well as the potential to perform measurements at or below the quantum projection noise limit. Both devices display similar second-order correlations that differ from thermal sources. Because of these properties, atom lasers are a promising source for application to precision inertial measurements.Comment: This is a review paper. It contains 40 pages, including references and figure
    • 

    corecore