works on

From the 1 of 2.2k 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 2017Show all

52 papers · 1 filter

cs.CR2017★ 22 cited

Fast Quantum Algorithm for Solving Multivariate Quadratic Equations

Jean-Charles Faug`ere, Kelsey Horan, Delaram Kahrobaei +3

In August 2015 the cryptographic world was shaken by a sudden and surprising announcement by the US National Security Agency NSA concerning plans to transition to post-quantum algo…

cs.RO2017★ 2 cited

Directing Cinematographic Drones

Quentin Galvane, Christophe Lino, Marc Christie +4

Quadrotor drones equipped with high quality cameras have rapidely raised as novel, cheap and stable devices for filmmakers. While professional drone pilots can create aesthetically…

q-bio.PE2017★ 100 cited

Increased adaptive immune responses and proper feedback regulation protect against clinical dengue

Etienne Simon-Loriere, Veasna Duong, Ahmed Tawfik +11

Dengue is the most prevalent arthropod-borne viral disease. Clinical symptoms of dengue virus (DENV) infection range from classical mild dengue fever to severe, life-threatening de…

math.PR2017★ 1 cited

Functional equations as an important analytic method in stochastic modelling and in combinatorics

Guy Fayolle

Functional equations (FE) arise quite naturally in the analysis of stochastic systems of different kinds : queueing and telecommunication networks, random walks, enumeration of pla…

cs.AI2017★ 17 cited

Autonomous development and learning in artificial intelligence and robotics: Scaling up deep learning to human--like learning

Pierre-Yves Oudeyer

Autonomous lifelong development and learning is a fundamental capability of humans, differentiating them from current deep learning systems. However, other branches of artificial i…

cs.LO2017

Determinism in the Certification of UNSAT Proofs

Tomer Libal, Xaviera Steele

The search for increased trustworthiness of SAT solvers is very active and uses various methods. Some of these methods obtain a proof from the provers then check it, normally by re…