density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1
From the 1 of 5.5k papers with an AI index.
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Centre Inria de SaclayFR364 papers
- École PolytechniqueFR306 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR300 papers
- École Normale Supérieure - PSLFR292 papers
- Sorbonne UniversitéFR291 papers
- École Normale Supérieure de LyonFR233 papers
- Centre Inria de l'Université Grenoble AlpesFR216 papers
- Université Paris-SaclayFR208 papers
- Université Grenoble AlpesFR204 papers
- Lyon 1 UniversitéFR191 papers
- Centre Inria d'Université Côte d'AzurFR183 papers
Showing 2000Show all
3 papers · 1 filter
cs.SE2000★ 38 cited
Finding Failure Causes through Automated Testing
Holger Cleve, Andreas Zeller
A program fails. Under which circumstances does this failure occur? One single algorithm, the delta debugging algorithm, suffices to determine these failure-inducing circumstances.…
math.OC2000
A probabilistic algorithm to test local algebraic observability in polynomial time
Alexandre Sedoglavic
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inpu…
cs.LO2000
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Jan-Georg Smaus, Francois Fages, Pierre Deransart
We consider a general prescriptive type system with parametric polymorphism and subtyping for logic programs. The property of subject reduction expresses the consistency of the typ…