Nuyts

Results: 26



#Item
1From a conservationist’s point of view. Kris Nuyts a[1], Jean-Pierre Kruth d, Bert Lauwers d, Herman Neuckermans b, Marc Pollefeys c, Li Qiongyan d, Joris Schouteden c, Pierre Smars a, Koen Van Balen a , Luc Van Gool c

From a conservationist’s point of view. Kris Nuyts a[1], Jean-Pierre Kruth d, Bert Lauwers d, Herman Neuckermans b, Marc Pollefeys c, Li Qiongyan d, Joris Schouteden c, Pierre Smars a, Koen Van Balen a , Luc Van Gool c

Add to Reading List

Source URL: www.cs.unc.edu

Language: English - Date: 2001-09-11 03:10:44
    2Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

    Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

    Add to Reading List

    Source URL: hott-uf.gforge.inria.fr

    Language: English - Date: 2016-03-10 17:41:39
      3Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

      Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

      Add to Reading List

      Source URL: lirias.kuleuven.be

      - Date: 2017-07-28 06:42:57
        4List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

        List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

        Add to Reading List

        Source URL: people.cs.kuleuven.be

        - Date: 2016-01-27 04:46:30
          5Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

          Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

          Add to Reading List

          Source URL: people.cs.kuleuven.be

          - Date: 2017-07-28 06:55:52
            6Far West Coast MARINE PARKS Incorporating the Far West Coast and Nuyts Archipelago Marine Parks

            Far West Coast MARINE PARKS Incorporating the Far West Coast and Nuyts Archipelago Marine Parks

            Add to Reading List

            Source URL: www.environment.sa.gov.au

              7Towards a directed HoTT based on 4 kinds of variance Andreas Nuyts Promoter: Frank Piessens Supervisors: Jesper Cockx, Dominique Devriese Dept. Computer Science, KU Leuven

              Towards a directed HoTT based on 4 kinds of variance Andreas Nuyts Promoter: Frank Piessens Supervisors: Jesper Cockx, Dominique Devriese Dept. Computer Science, KU Leuven

              Add to Reading List

              Source URL: hott-uf.gforge.inria.fr

              Language: English - Date: 2015-07-12 13:43:04
                8Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

                Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

                Add to Reading List

                Source URL: hott-uf.gforge.inria.fr

                Language: English - Date: 2015-06-20 18:26:54
                  9VOKA KEMPEN OOST Verslag werkgroep O & O 13 mei 2015 Aanwezig: Lieve Nevelsteen, Wim Nuyts en Theo Verschaeren Verontschuldigd: Katrien Van der Aa, Geert Sette, Fernand Vanhees, Luc Mentens 1.

                  VOKA KEMPEN OOST Verslag werkgroep O & O 13 mei 2015 Aanwezig: Lieve Nevelsteen, Wim Nuyts en Theo Verschaeren Verontschuldigd: Katrien Van der Aa, Geert Sette, Fernand Vanhees, Luc Mentens 1.

                  Add to Reading List

                  Source URL: vokakempen.be

                  - Date: 2015-05-22 06:25:16
                    10Geachte mevrouw Nuyts, Namens de Liberale Partij Maastricht stelde u ons op 5 december jl. twee vragen inzake raadsvoorstel; Projectbesluit Tram Vlaanderen Maastricht. Onderstaand treft u de beantwoording ter za

                    Geachte mevrouw Nuyts, Namens de Liberale Partij Maastricht stelde u ons op 5 december jl. twee vragen inzake raadsvoorstel; Projectbesluit Tram Vlaanderen Maastricht. Onderstaand treft u de beantwoording ter za

                    Add to Reading List

                    Source URL: www.liberalepartijmaastricht.nl

                    - Date: 2013-01-16 03:40:12