density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1
From the 1 of 2.3k papers with an AI index.
29.3k citations
- University of PisaIT1.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT1.4k papers
- Centre National de la Recherche ScientifiqueFR1.3k papers
- University of BolognaIT1.3k papers
- The Ohio State UniversityUS1.3k papers
- Waseda UniversityJP1.2k papers
- Sapienza University of RomeIT1.2k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.2k papers
- University of ChicagoUS1.2k papers
- University of GlasgowGB1.2k papers
- University of MichiganUS1.2k papers
- Institute for High Energy PhysicsES1.2k papers
Showing 1999Show all
2 papers · 1 filter
cs.LO1999★ 3 cited
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Krzysztof R. Apt, Andrea Schaerf
The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of t…
math.AG1999
A Note on a Conjecture of Xiao
Miguel A. Barja, Francesco Zucconi
Let f:S ->B be a relatively minimal fibred surface. In this note we give a partial affirmative answer to a conjecture of Xiao, proving that the direct image of the relative dualizi…