Despite the widespread use and numerous successful applications of density functional theory, descriptions of hydrocarbon reaction energies remain problematic. Illustrative examples include large underestimation of energies associated with alkane bond sepa ...
We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis of programs with symbolic summation techniques to derive loop invariant relations bet ...
Scala is a general-purpose programming language developed at EPFL. It combines the most important concepts found in object-oriented and functional languages. Scala is a statically typed language; in particular it features an advanced type system and suppor ...
Despite recent advances achieved by application of high-performance computing methods and novel algorithmic techniques to maximum likelihood (ML)-based inference programs, the major computational bottleneck still consists in the computation of bootstrap su ...
New low-temperature inserts compatible with an existing hyperpolarizer were developed to dynamically polarize nuclei in large samples. The performance of the system was tested on 8 ml glassy frozen solutions containing 13C-labeled molecules and doped with ...
