Advanced Search
Display options
Filter resources
Text Availability
Article type
Publication date
Showing 1 to 12 of 336 entries
Sorted by: Best Match Show Resources per page
Computer-aided reasoning: ACL2 case studies

case studies

Manolios P, Moore JS.
GSID: hJvNV_uscJgJ
M Kaufmann, P Manolios, JS Moore - 2013 -

… The authors of these case studies were asked to do three things that are quite unusual. First, they were asked to provide exercises in their … in their studies. These too are on the Web, as described below....

Energy-based truncation of multi-determinant wavefunctions in quantum Monte Carlo.

The Journal of chemical physics

Per MC, Cleland DM.
PMID: 28456183
J Chem Phys. 2017 Apr 28;146(16):164101. doi: 10.1063/1.4981527.

We present a method for truncating large multi-determinant expansions for use in diffusion Monte Carlo calculations. Current approaches use wavefunction-based criteria to perform the truncation. Our method is more intuitively based on the contribution each determinant makes to the...

Erratum to: Efficacy of Zofenopril vs. Irbesartan in Combination with a Thiazide Diuretic in Hypertensive Patients with Multiple Risk Factors not Controlled by a Previous Monotherapy: A Review of the Double-Blind, Randomized "Z" Studies.

Advances in therapy

Omboni S, Malacco E, Napoli C, Modesti PA, Manolis A, Parati G, Agabiti-Rosei E, Borghi C.
PMID: 28452039
Adv Ther. 2017 Jun;34(6):1498-1499. doi: 10.1007/s12325-017-0537-4.

No abstract available.

Performance of quantum Monte Carlo for calculating molecular bond lengths.

The Journal of chemical physics

Cleland DM, Per MC.
PMID: 27036428
J Chem Phys. 2016 Mar 28;144(12):124108. doi: 10.1063/1.4944826.

This work investigates the accuracy of real-space quantum Monte Carlo (QMC) methods for calculating molecular geometries. We present the equilibrium bond lengths of a test set of 30 diatomic molecules calculated using variational Monte Carlo (VMC) and diffusion Monte...

Investigating the Heterogeneous Interaction of VOCs with Natural Atmospheric Particles: Adsorption of Limonene and Toluene on Saharan Mineral Dusts.

The journal of physical chemistry. A

Romanías MN, Ourrad H, Thévenet F, Riffault V.
PMID: 26846169
J Phys Chem A. 2016 Mar 03;120(8):1197-212. doi: 10.1021/acs.jpca.5b10323. Epub 2016 Feb 17.

The heterogeneous interaction of limonene and toluene with Saharan dusts was investigated under dark conditions, pressure of 1 atm, and temperature 293 K. The mineral dust samples were collected from six different regions along the Sahara desert, extending from...

[Clues of an underlying organic substrate in the Brugada Syndrome].

Archivos de cardiologia de Mexico

Martini B, Martini N, Dorantes Sánchez M, Márquez MF, Zhang L, Fontaine G, Nava A.
PMID: 28038951
Arch Cardiol Mex. 2017 Jan - Mar;87(1):49-60. doi: 10.1016/j.acmx.2016.10.001. Epub 2016 Dec 27.

No abstract available.

Medical genetics and genomic medicine in Greece: achievements and challenges.

Molecular genetics & genomic medicine

Manoli I, Fryssira H.
PMID: 26436103
Mol Genet Genomic Med. 2015 Sep;3(5):383-90. doi: 10.1002/mgg3.179. Epub 2015 Sep 15.

No abstract available.

Flecainide-induced incessant orthodromic atrioventricular reentrant tachycardia in Wolff-Parkinson-White syndrome: Uneven depression of accessory pathway conduction.

HeartRhythm case reports

Pellizzón OA, Márquez MF, González MD, Nannini S, Leiva R, Catalano A, Iturralde P.
PMID: 28491747
HeartRhythm Case Rep. 2016 Aug 17;2(6):506-510. doi: 10.1016/j.hrcr.2016.08.001. eCollection 2016 Nov.

No abstract available.

Commentary on the MID3 Good Practices Paper.

CPT: pharmacometrics & systems pharmacology

Manolis E, Brogren J, Cole S, Hay JL, Nordmark A, Karlsson KE, Lentz F, Benda N, Wangorsch G, Pons G, Zhao W, Gigante V, Serone F, Standing JF, Dokoumetzidis A, Vakkilainen J, van den Heuvel M, Mangas Sanjuan V, Taminiau J, Kerwash E, Khan D, Musuamba FT, Skottheim Rusten I.
PMID: 28653481
CPT Pharmacometrics Syst Pharmacol. 2017 Jul;6(7):416-417. doi: 10.1002/psp4.12223. Epub 2017 Jul 22.

During the last 10 years the European Medicines Agency (EMA) organized a number of workshops on modeling and simulation, working towards greater integration of modeling and simulation (M&S) in the development and regulatory assessment of medicines. In the 2011...

Influence of immobilization and sensory re-education on the sensory recovery after reconstruction of digital nerves with direct suture or muscle-in-vein conduits.

Neural regeneration research

Manoli T, Schiefer JL, Schulz L, Fuchsberger T, Schaller HE.
PMID: 27073390
Neural Regen Res. 2016 Feb;11(2):338-44. doi: 10.4103/1673-5374.169638.

The influence of duration of immobilization and postoperative sensory re-education on the final outcome after reconstruction of digital nerves with direct suture or muscle-in-vein conduits was investigated. The final sensory outcome of 35 patients with 41 digital nerve injuries,...

Nitric Oxide-Mediated Maize Root Apex Responses to Nitrate are Regulated by Auxin and Strigolactones.

Frontiers in plant science

Manoli A, Trevisan S, Voigt B, Yokawa K, Baluška F, Quaggiotti S.
PMID: 26834770
Front Plant Sci. 2016 Jan 22;6:1269. doi: 10.3389/fpls.2015.01269. eCollection 2015.

Nitrate (NO3 (-)) is a key element for crop production but its levels in agricultural soils are limited. Plants have developed mechanisms to cope with these NO3 (-) fluctuations based on sensing nitrate at the root apex. Particularly, the...

Comparison of short- with long-term regeneration results after digital nerve reconstruction with muscle-in-vein conduits.

Neural regeneration research

Schiefer JL, Schulz L, Rath R, Stahl S, Schaller HE, Manoli T.
PMID: 26692868
Neural Regen Res. 2015 Oct;10(10):1674-7. doi: 10.4103/1673-5374.165321.

Muscle-in-vein conduits are used alternatively to nerve grafts for bridging nerve defects. The purpose of this study was to examine short- and long-term regeneration results after digital nerve reconstruction with muscle-in-vein conduits. Static and moving two-point discriminations and Semmes-Weinstein...

Showing 1 to 12 of 336 entries