density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1
From the 1 of 298 papers with an AI index.
29.3k citations
- Max Planck Institute for the Science of LightDE11 papers
- Beijing Institute of TechnologyCN10 papers
- Leipzig UniversityDE9 papers
- TU Dortmund UniversityDE8 papers
- Institute of PhysicsPL7 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Ioffe InstituteRU5 papers
- Ruhr University BochumDE5 papers
- Technical University of MunichDE5 papers
- University of ArizonaUS5 papers
- Australian National UniversityAU4 papers
- ETH ZurichCH4 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 11 cited
A CSP Account of Event-B Refinement
Steve Schneider, Helen Treharne, Heike Wehrheim
Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-b…
cs.LO2006
Real Computational Universality: The Word Problem for a class of groups with infinite presentation
Martin Ziegler, Klaus Meer
The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halti…