2 papers
math.LO2004
Recursive logic frames
Saharon Shelah, Jouko Väänänen
We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax…
physics.chem-ph2002★ 206 cited
Systematic comparison of force fields for microscopic simulations of NaCl in aqueous solutions: Diffusion, free energy of hydration and structural properties
Michael Patra, Mikko Karttunen
In this paper we compare different force fields that are widely used (Gromacs, Charmm-22/x-Plor, Charmm-27, Amber-1999, OPLS-AA) in biophysical simulations containing aqueous NaCl.…