We have developed a time-reversible rigid-body (rRB) molecular dynamics algorithm in the isothermal-isobaric (NPT) ensemble. The algorithm is an extension of rigid-body dynamics [Matubayasi and Nakahara, J Chem Phys 1999, 110, 3291] to the NPT ensemble on the basis of non-Hamiltonian statistical mechanics [Martyna, G. J. et al., J Chem Phys 1994, 101, 4177]. A series of MD simulations of water ...

Traditionally, model checking is applied to finite-state systems and regular specifications. While researchers have successfully extended the applicability of model checking to infinite-state systems, almost all existing work still consider regular specification formalisms. There are, however, many interesting non-regular properties one would like to model check. In this paper we study model ch...

PURPOSE To date, laparoscopy has gradually become the gold standard for treatment of non-palpable testicles (NPT) with different success and complication rates. In this study, we aimed to evaluate outcomes of laparoscopic approaches for NPT. MATERIALS AND METHODS We reviewed data of 82 consecutive patients who underwent laparoscopic treatment for unilateral NPT at two institutions by two high...

OBJECTIVE The aim of this study was to compare the shear bond strength (SBS) of orthodontic brackets bonded to zirconia surfaces using three different zirconia primers and one silane primer, and subjected to thermocycling. METHODS We designed 10 experimental groups following the surface treatment and thermocycling. The surface was treated with one of the following method: no-primer (NP), Porc...

Local allergic rhinitis (LAR) is a localized nasal allergic response in the absence of systemic atopy. The aim of this study was to evaluate the prevalence and clinical characteristics of LAR in Korean rhinitis patients compared to allergic rhinitis (AR) and non-allergic rhinitis (NAR). A total of 304 rhinitis patients were enrolled from November 2014 to March 2016. A skin prick test, serum tot...

OBJECTIVES To describe and reflect on the process of designing and delivering a training programme supporting the use of theory, in this case Normalisation Process Theory (NPT), in a multisite cross-country health services research study. DESIGN Participatory research approach using qualitative methods. SETTING Six European primary care settings involving research teams from Austria, Englan...

To define conditions for improved efficiency of retroviral-mediated gene transfer and expression in primate progenitor cells, four rhesus monkeys were treated with a 200 mg/kg intravenous bolus of 5-fluorouracil (5-FU). The kinetics of hematopoietic suppression and recovery were assessed in peripheral blood, bone marrow mononuclear cells, and bone marrow cells fractionated in an albumin density...

Abstract A map P is tensor stable positive (tsp) if ${\mathcal{P}}^{\otimes n}$?> ⊗ n for all n , and essential tsp it not completely or co-positive. ...

T he United States carried out the world's fi rst nuclear test, codenamed " Trinity, " on 16 July 1945 in the desert of New Mexico. Just three weeks later, on 6 August, the US exploded a uranium device called " Little Boy " 2,000 feet above the Japanese city of Hiroshima, killing around 150,000 people. Three days later, the US deployed a second nuclear bomb, a plutonium device called " Fat Man,...