Assumption-Based Planning Damien Pellier, Humbert Fiorino Laboratoire Leibniz (CNRS - INPG - IMAG), Equipe MAGMA 46, avenue F´elix Viallet, F-38031, Grenoble Tel: + – Fax : +Email: {Da

Source URL: www.math-info.univ-paris5.fr

• Algorithm
• Assumption-based planning
• Automated planning and scheduling
• Project management
• Set theory
• Tree

Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1

Source URL: bware.lri.fr

• Logic in computer science
• Unification
• First-order logic
• Combinatory logic
• Rewriting
• Model theory
• Axiom
• Mathematical proof
• Peano axioms
• Logic
• Mathematics
• Mathematical logic

Bearing calculation of a single emitter sonar ring. Damien Browne Department of Electrical and Computer Systems Engineering Monash University Clayton Australia

Source URL: www.ecse.monash.edu.au

• Trigonometry
• Analytic geometry
• Angle
• Curves
• Sonar
• Triangle
• Trigonometric functions
• Conic section
• Circle
• Geometry
• Mathematics
• Triangle geometry

Le krill Par Damien, 6eA « … le manchot empereur pond en automne (à partir d’avril) et le mâle couve seul pendant deux mois dans l’obscurité hivernale et tout cela sans jamais manger ! Il nourrit le poussin ave

Source URL: www.univ-brest.fr

Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1

Source URL: www.cri.ensmp.fr

• Symbol
• Admissible rule
• Proof theory
• First-order logic
• Entailment
• Constructible universe
• Curry–Howard correspondence
• Orbifold
• Logic
• Mathematical logic
• Deduction

Solving the Shortest Lattice Vector Problem in Time 22.465n Xavier Pujol1 and Damien Stehl´e2 1 Universit´e de Lyon, Laboratoire LIP, CNRS-ENSL-INRIA-UCBL, 46 All´ee d’Italie, 69364 Lyon Cedex 07, France 2

Source URL: eprint.iacr.org

• Cryptography
• Lattice points
• Linear algebra
• Computational number theory
• Lattice problem
• Lattice
• Lenstra–Lenstra–Lovász lattice basis reduction algorithm
• Vector space
• Algebra
• Mathematics
• Abstract algebra

RÉUNION DE C.A. 24 Janvier 2015 Présents : Camille, Clément, Stéphane, Grégoire, Gaëlle, Thomas, Sébastien, Etienne Excusé : Damien Invitée : Nathalie (employée)

Source URL: www.debitdejeux.fr

L’évolution des inégalités sociales de tabagisme au cours du cycle de vie : une analyse selon le sexe et la génération Damien Bricard, Florence Jusot, François Beck, Myriam Khlat et Stéphane Legleye * Commen

Source URL: www.insee.fr

RÉUNION DE C.A. 30 octobre 2014 Présents : Sébastien, Gaëlle, Camille, Clément, Étienne, Grégoire, Thomas, Damien Excusés : Stéphane Invité : Aucun

Source URL: www.debitdejeux.fr

RÉUNION DE C.A. 27 janvier 2014 Présents : Camille, Clément, Dryss, Étienne, Grégoire, Thomas Excusés : Colin, Damien, Laëtitia Invitée : Nathalie (employée)

Source URL: www.debitdejeux.fr