A hybrid memory kernel approach for condensed phase non-adiabatic dynamics

The spin-boson model is a simplified Hamiltonian often used to study non-adiabatic dynamics in large condensed phase systems, even though it has not been solved in a fully analytic fashion. Herein, we present an exact analytic expression for the dynamics of the spin-boson model in the infinitely slow bath limit and generalize it to approximate dynamics for faster baths. We achieve the latter by developing a hybrid approach that combines the exact slow-bath result with the popular NIBA method to generate a memory kernel that is formally exact to second order in the diabatic coupling but also contains higher-order contributions approximated from the second order term alone. This kernel has the same computational complexity as NIBA, but is found to yield dramatically superior dynamics in regimes where NIBA breaks down---such as systems with large diabatic coupling or energy bias. This indicates that this hybrid approach could be used to cheaply incorporate higher order effects into second order methods, and could potentially be generalized to develop alternate kernel resummation schemes

Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify the validity of such proofs. In this paper, we describe a formalized theory of size-optimal sorting networks. From this formalization we extract a certified checker that successfully verifies computer-generated proofs of optimality on up to 8 inputs. The checker relies on an untrusted oracle to shortcut the search for witnesses on more than 1.6 million NP-complete subproblems.Comment: IMADA-preprint-c

Higher body weight is associated with lower concentrations of progesterone and estrogen in early pregnancy following in vitro fertilization

To evaluate if body weight impacts progesterone and estradiol concentration levels in early pregnancy in women conceiving following single embryo transfer

Introducing a gender-sensitive approach to pre-trial assessment and probation: Evaluation of an innovation in Kenya

This paper evaluates a pioneering project to introduce a gender-sensitive approach to working with women completing probation and community service orders in Kenya. The intervention consisted of context-specific research with women throughout Kenya, leading to adaptations to existing probation tools, followed by pilot implementation of a gender-sensitive approach. The evaluation explores the relevance, effectiveness and sustainability of the intervention and presents opinions of implementing probation officers and sector experts. Findings suggest that the project genuinely broke new ground in terms of research on gender-sensitivity and quality of pre-trial reporting for women. Close adherence to the UN Bangkok Rules means the model and lessons are applicable both domestically and globally

Impact of periodic health examination on surgical treatment for uterine fibroids in Beijing: a case-control study

<p>Abstract</p> <p>Background</p> <p>During the past 2 decades, there has been a rapid proliferation of "health examination center (HEC)" across China. The effects of their services on public's health have not been systemically investigated. This study aimed to assess the impact of periodic health examination (PHE) at HEC on surgical treatment for uterine fibroids in Beijing residents.</p> <p>Methods</p> <p>We identified 224 patients with a primary diagnosis of uterine fibroids who had surgical treatment at four Level-1 general hospitals in Beijing, from June 1, 2009 to October 20, 2009. Controls were women who did not have surgery for uterine fibroids, matched (1:1 ratio) for age (within 2 years). A standard questionnaire was used to inquire about whether participants had PHE at HEC during the previous 2 years.</p> <p>Results</p> <p>PHE at HEC within 2 years were associated with surgical treatment for uterine fibroids. Odds ratios was 4.05 (95% CI, 2.61-6.29 P < 0.001), after adjustment for marital status, whether have children, annual family income, health insurance, education level and self-rated uterine fibroids-related symptom severity.</p> <p>Conclusions</p> <p>Our study showed PHE currently provided at HEC in China were associated with significantly increased use of surgical treatment for uterine fibroids in women. Further studies are needed to assess the effects of PHE on clinical as well as on broad societal outcomes in Chinese in contemporary medical settings.</p

Acoustic and optical variations during rapid downward motion episodes in the deep north-western Mediterranean Sea

An Acoustic Doppler Current Profiler (ADCP) was moored at the deep-sea site of the ANTARES neutrino telescope near Toulon, France, thus providing a unique opportunity to compare high-resolution acoustic and optical observations between 70 and 170 m above the sea bed at 2475 m. The ADCP measured downward vertical currents of magnitudes up to 0.03 m s-1 in late winter and early spring 2006. In the same period, observations were made of enhanced levels of acoustic reflection, interpreted as suspended particles including zooplankton, by a factor of about 10 and of horizontal currents reaching 0.35 m s-1. These observations coincided with high light levels detected by the telescope, interpreted as increased bioluminescence. During winter 2006 deep dense-water formation occurred in the Ligurian subbasin, thus providing a possible explanation for these observations. However, the 10-20 days quasi-periodic episodes of high levels of acoustic reflection, light and large vertical currents continuing into the summer are not direct evidence of this process. It is hypothesized that the main process allowing for suspended material to be moved vertically later in the year is local advection, linked with topographic boundary current instabilities along the rim of the 'Northern Current'.Comment: 30 pages, 7 figure