density functional theory 1electronic structure 1high-performance computing 1open-source software 1plane-wave methods 1pseudopotentials 1
From the 1 of 1.2k papers with an AI index.
29.3k citations
- F. Rossi2 profiles18 · h 27
- F. Bach17 · h 108
- S. Tixeuil2 profiles16 · h 35
- Laurent Romary3 profiles15 · h 26
- Francis Bach2 profiles13
- Konstantin Avrachenkov2 profiles13 · h 41
- S. Vérel13 · h 28
- Marc Schoenauer2 profiles12 · h 49
- B. Mourrain10 · h 44
- Fabien Mathieu2 profiles10 · h 15
- Laetitia Vermeulen-Jourdan10 · h 26
- M. Fliess2 profiles10 · h 51
- Centre National de la Recherche ScientifiqueFR133 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR127 papers
- Centre Inria de SaclayFR116 papers
- Centre Inria de l'Université de LilleFR62 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR44 papers
- Université Grenoble AlpesFR42 papers
- Centre Inria de l'université de BordeauxFR39 papers
- Sorbonne UniversitéFR39 papers
- École PolytechniqueFR31 papers
- Centre Inria de l'Université de LorraineFR29 papers
- Institut Élie Cartan de LorraineFR29 papers
- LIP6FR29 papers
Showing 2008 · cs.CLShow all
3 papers · 2 filters
cs.CL2008★ 4 cited
TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
Laura Kallmeyer, Timm Lichte, Wolfgang Maier +3
In this paper, we present an open-source parsing environment (Tuebingen Linguistic Parsing Architecture, TuLiPA) which uses Range Concatenation Grammar (RCG) as a pivot formalism,…
cs.CL2008
Exploring a type-theoretic approach to accessibility constraint modelling
Sylvain Pogodalla
The type-theoretic modelling of DRT that [degroote06] proposed features continuations for the management of the context in which a clause has to be interpreted. This approach, whil…
cs.CL2008★ 2 cited
Graph Algorithms for Improving Type-Logical Proof Search
Richard Moot
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little a…