works on

From the 1 of 2.3k papers with an AI index.

output
20022026
most citedQuantum ESPRESSO: a modular and open-source software project for quantum simulations of materials

29.3k citations

Showing 2018Show all

7 papers · 1 filter

cs.PL2018

Generic Programming in OCaml

Florent Balestrieri, Michel Mauny

We present a library for generic programming in OCaml, adapting some techniques borrowed from other functional languages. The library makes use of three recent additions to OCaml:…

stat.ME2018★ 8 cited

Model Selection for Mixture Models - Perspectives and Strategies

Gilles Celeux, Sylvia Fruewirth-Schnatter, Christian P. Robert

Determining the number G of components in a finite mixture distribution is an important and difficult inference issue. This is a most important question, because statistical infere…

cs.LO2018★ 8 cited

Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking

Étienne André, Laurent Fribourg, Jean-Marc Mota +1

The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed…

cs.LG2018★ 6 cited

Statistical learning of geometric characteristics of wireless networks

Antoine Brochard, Bartłomiej Błaszczyszyn, Stéphane Mallat +1

Motivated by the prediction of cell loads in cellular networks, we formulate the following new, fundamental problem of statistical learning of geometric marks of point processes: A…

q-bio.NC2018★ 4 cited

COGEVIS: A New Scale to Evaluate Cognition in Patients with Visual Deficiency

Claire Meyniel, Dalila Samri, Farah Stefano +9

We evaluated the cognitive status of visually impaired patients referred to low vision rehabilitation (LVR) based on a standard cognitive battery and a new evaluation tool, named t…

math.AP2018★ 15 cited

Precised approximations in elliptic homogenization beyond the periodic setting

Xavier Blanc, Marc Josien, Claude Le Bris

We consider homogenization problems for linear elliptic equations in divergence form. The coecients are assumed to be a local perturbation of some periodic background. We prove $W^…