Quentin

Results: 1039



#Item
41

Compositional Certified Resource Bounds Quentin Carbonneaux Jan Hoffmann Zhong Shao

Add to Reading List

Source URL: www.cs.cmu.edu

- Date: 2015-09-01 17:38:13
    42

    actionnables pour la re-conception pas à pas de systèmes de culture vers l’agroécologie. Toffolini Quentin, INRA Agronomie / LISIS, Grignon Encadrement: Marie-Hélène Jeuffroy (INRA Agronomie)

    Add to Reading List

    Source URL: inra-dam-front-resources-cdn.brainsonic.com

      43

      Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2012-09-14 10:37:26
        44

        Compilation JIT des termes de preuve Quentin CARBONNEAUX Encadré par Mathieu BOESPFLUG et Olivier HERMANT 1er septembre 2012 – Le contexte général Devant le besoin croissant d’interopérabilité entre les différe

        Add to Reading List

        Source URL: www.cs.yale.edu

        - Date: 2013-02-20 21:40:01
          45

          Scott Brandt Quentin Williams Vice Chancellor for Research

          Add to Reading List

          Source URL: officeofresearch.ucsc.edu

          - Date: 2016-07-11 16:53:00
            46

            Reflector antenna problem Boris Thibert LJK Universit´e de Grenoble Joint work with Quentin M´erigot and Pedro Machado Modelisation with optimal transport

            Add to Reading List

            Source URL: tommi.imag.fr

            - Date: 2014-04-22 07:16:21
              47

              THREE-DIMENSIONAL (3D) MODELLING IN A GEOGRAPHICAL DATABASE Beatrix de Cambray Laboratoire MASI (CNRS, Universites de Paris VI et de Versailles-St Quentin) 45 avenue des Etats-Unis, FVersailles, France.

              Add to Reading List

              Source URL: mapcontext.com

                48

                Université de Versailles Saint-Quentin-en-Yvelines Préparation à l’Agrégation interne de Mathématiques Année UniversitaireP. Gabriel

                Add to Reading List

                Source URL: pgabriel.perso.math.cnrs.fr

                - Date: 2014-11-18 09:49:46
                  49

                  The Compressed Annotation Matrix: An Efficient Data Structure for Computing Persistent Cohomology Jean-Daniel Boissonnat & Tamal Dey & Cl´ement Maria JGA 2013

                  Add to Reading List

                  Source URL: quentin.mrgt.fr

                  - Date: 2014-01-09 09:41:45
                    50

                    PDF Document

                    Add to Reading List

                    Source URL: quentin.ladetto.ch

                    - Date: 2007-02-12 05:28:24
                      UPDATE