Thierry

Results: 1351



#Item
51

Introduction ` a la th´ eorie homotopique des types Thierry Coquand GDR Informatique Math´ematique, Journ´ees nationales, 29 Janvier 2014

Add to Reading List

Source URL: www.cse.chalmers.se

Language: French - Date: 2014-02-04 09:19:45
    52

    « Lire saint Thomas d’Aquin » (Thierry-Dominique Humbrecht – Ellipses 2009

    Add to Reading List

    Source URL: www.thomas-d-aquin.com

    Language: French - Date: 2016-02-11 03:27:14
      53

      Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        54

        Mathematical Computation with SageMath Paul Zimmermann Alexandre Casamayou Nathann Cohen Guillaume Connan Thierry Dumont

        Add to Reading List

        Source URL: members.loria.fr

        - Date: 2018-03-13 12:15:43
          55

          1 A Taxonomy of General Purpose Approximate Computing Techniques Thierry Moreau† , Joshua San Miguel‡ , Mark Wyse† , James Bornholt† , Armin Alaghi† , Luis Ceze† , Natalie Enright Jerger‡ and Adrian Sampso

          Add to Reading List

          Source URL: homes.cs.washington.edu

          - Date: 2017-10-06 19:58:51
            56

            REACT:  A  Framework  for  Rapid   Exploration  of  Approximate   Computing  Techniques Mark  Wyse,  André  Baixo,  Thierry  Moreau,  Bill  Zorn James  Bornholt,  Ad

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2016-11-23 00:38:16
              57

              Compte-rendu du séminaire “L’Antiquité en dialogue” samedi 13 juin 2015 10h-12h 17 présents Après un rapide tour de table, Béatrice BAKHOUCHE, Flore KIMMEL-CLAUZET et Thierry SERENO expliquent l’idée qui é

              Add to Reading List

              Source URL: f.hypotheses.org

              - Date: 2015-10-17 11:36:35
                58

                Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand†

                Add to Reading List

                Source URL: www.ii.uib.no

                - Date: 2007-04-18 05:02:41
                  59

                  CLOUD MOBILITÉ Techdays 2014 : Mobile et cloud, obsessions de Microsoft lePar Thierry Outrebon

                  Add to Reading List

                  Source URL: mygeolive.blob.core.windows.net

                  - Date: 2014-02-17 08:15:53
                    60

                    Algorithmique du texte Maxime Crochemore Christophe Hancart Thierry Lecroq

                    Add to Reading List

                    Source URL: igm.univ-mlv.fr

                    - Date: 2011-03-07 06:00:23
                      UPDATE