Impact of adjuvant chemotherapy on long‐term employment of survivors of early‐stage breast cancer

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/107364/1/cncr28607.pd

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

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

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

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

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.

Coherent matter wave inertial sensors for precision measurements in space

We analyze the advantages of using ultra-cold coherent sources of atoms for matter-wave interferometry in space. We present a proof-of-principle experiment that is based on an analysis of the results previously published in [Richard et al., Phys. Rev. Lett., 91, 010405 (2003)] from which we extract the ratio h/m for 87Rb. This measurement shows that a limitation in accuracy arises due to atomic interactions within the Bose-Einstein condensate

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

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

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