Concept

Standard ML

Publications associées (56)

How many bootstrap replicates are necessary?

Phylogenetic bootstrapping (BS) is a standard technique for inferring confidence values on phylogenetic trees that is based on reconstructing many trees from minor variations of the input data, trees called replicates. BS is used with all phylogenetic reco ...

2010

Overcoming systematic DFT errors for hydrocarbon reaction energies

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, Laura Ildiko Kovacs, Thibaud Hottelier

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

Almost-Invariants: From Bugs in Distributed Systems to Invariants

Dejan Kostic, Marco Canini, Maysam Yabandeh, Abhishek Anand

It is notoriously hard to develop dependable distributed systems. This is partly due to the difficulties in foreseeing various corner cases and failure scenarios while implementing a system that will be deployed over an asynchronous network. In contrast, r ...

2009

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, Fiodar Kurdzesau

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

2008

Path invariants

Dirk Thilo Beyer

The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes. In curr ...

2007

Translation Correctness for First-Order Object-Oriented Pattern Matching

Martin Odersky, Burak Emir

Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open class hierarchies, extensibility requirements and the need for data abstraction, whic ...

2007

A maximum likelihood approach to two-dimensional crystals

Henning Paul-Julius Stahlberg

Maximum likelihood (ML) processing of transmission electron microscopy images of protein particles can produce reconstructions of superior resolution due to a reduced reference bias. We have investigated a ML processing approach to images centered on the u ...

Elsevier BV2007

Effect of improved band-gap description in density functional theory on defect energy levels in alpha-quartz

Alfredo Pasquarello, Audrius Alkauskas

We compare defect energy levels of point defects in alpha-quartz using density functionals of different accuracy: a standard generalized-gradient-approximation functional and a hybrid functional. The latter is known to improve the description of band gaps ...

2007

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search