Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Standard ML

Publications associées (25)

Overcoming systematic DFT errors for hydrocarbon reaction energies

Anne-Clémence Corminboeuf, Matthew Wodrich

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 ...

Springer-Verlag2010

ABC: Algebraic Bound Computation for Loops

Régis William Blanc

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 ...

Springer Berlin Heidelberg2010

Programming language abstractions for mobile code

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 ...

EPFL2009

A Rapid Bootstrap Algorithm for the RAxML Web Servers

Jacques Rougemont, Alexandros Stamatakis

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 ...

Taylor and Francis, Oxford2008

Producing over 100 ml of highly concentrated hyperpolarized solution by means of dissolution DNP

Arnaud Comment, Sami Jannin, Ruud van Heeswijk, Jacques Van Der Klink

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 ...

Academic Press Inc - Elsevier Science2008