The molecular geometry of complex of adenine with 8 water molecules was calculated with Hartree-Fock (HF). The standard 6-31G(d) basis set has been employed. The existence of C-H…O Hydrogen bonds between the water molecules and the hydrophobic part of nucleobase is stablished. We optimized structures and computed interaction energies of all complexes of adenine with water molecules step by step...

The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception of the basic objects of mathematics (“homotopy types” instead of “sets”) but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a prag...

The dynamical system (f,R) is introduced and some of its properties are investigated. It is proven that there is an invariant set Λ on which the periodic points of f are dense.

Rotationally invariant polynomial bases of the hyperelastic strain energy function are rederived using methods of group theory, invariant theory, and computational algebra. A set of minimal basis functions is given for each of the 11 Laue groups, with a complete set of rewriting syzygies. The ideal generated from this minimal basis agrees with the classic work of Smith and Rivlin [Trans. Amer. ...