Damien

Results: 1013



#Item
451Algorithm / Assumption-based planning / Automated planning and scheduling / Project management / Set theory / Tree

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

Add to Reading List

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

Language: English - Date: 2012-07-06 09:32:22
452Logic in computer science / Unification / First-order logic / Combinatory logic / Rewriting / Model theory / Axiom / Mathematical proof / Peano axioms / Logic / Mathematics / Mathematical logic

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

Add to Reading List

Source URL: bware.lri.fr

Language: English - Date: 2014-09-27 11:16:17
453Trigonometry / Analytic geometry / Angle / Curves / Sonar / Triangle / Trigonometric functions / Conic section / Circle / Geometry / Mathematics / Triangle geometry

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

Add to Reading List

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

Language: English - Date: 2011-06-06 00:57:56
454

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

Add to Reading List

Source URL: www.univ-brest.fr

Language: French - Date: 2008-02-14 09:21:00
    455Symbol / Admissible rule / Proof theory / First-order logic / Entailment / Constructible universe / Curry–Howard correspondence / Orbifold / Logic / Mathematical logic / Deduction

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

    Add to Reading List

    Source URL: www.cri.ensmp.fr

    Language: English - Date: 2015-03-03 08:27:10
    456Cryptography / Lattice points / Linear algebra / Computational number theory / Lattice problem / Lattice / Lenstra–Lenstra–Lovász lattice basis reduction algorithm / Vector space / Algebra / Mathematics / Abstract algebra

    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

    Add to Reading List

    Source URL: eprint.iacr.org

    Language: English - Date: 2010-02-08 02:45:52
    457

    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)

    Add to Reading List

    Source URL: www.debitdejeux.fr

    Language: French - Date: 2015-04-02 13:21:23
      458

      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

      Add to Reading List

      Source URL: www.insee.fr

      Language: French - Date: 2015-04-24 10:10:48
        459

        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

        Add to Reading List

        Source URL: www.debitdejeux.fr

        Language: French - Date: 2014-12-06 05:55:56
          460

          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)

          Add to Reading List

          Source URL: www.debitdejeux.fr

          Language: French - Date: 2014-02-20 09:20:46
            UPDATE