Chalmers

Results: 1415



#Item
101

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
    102

    Interaction in Motion with Mobile Projectors: Design Considerations Alexandru Dancu t2i Lab, Chalmers, Sweden

    Add to Reading List

    Source URL: publications.lib.chalmers.se

    - Date: 2015-05-06 02:35:26
      103

      PrivatePool: Privacy-Preserving Ridesharing Per Hallgren Claudio Orlandi

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2017-06-09 15:21:10
        104

        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
          105

          FOR IMMEDIATE RELEASE: The Alliance of Independent Authors (ALLi) and IPR License announce partnership deal, Tom Chalmers to join ALLi advisor panel The Alliance of Independent Authors (ALLi) and rights platform

          Add to Reading List

          Source URL: allianceindependentauthors.org

          - Date: 2016-05-19 11:46:25
            106

            Supplementary material for Global graph kernels using geometric embeddings Fredrik Johansson Chalmers University of Technology, SEGothenburg, Sweden

            Add to Reading List

            Source URL: jmlr.org

            - Date: 2015-02-01 17:03:27
              107

              Neonicotinoid Insecticides and Honey Bees: Technical Answers to FAQs Prepared by David L. Fischer, Ph.D and Alison Chalmers, Ph.D Ecotoxicology Section, Bayer CropScience LP May 16, 2007

              Add to Reading List

              Source URL: www.bee-quick.com

              - Date: 2013-11-10 15:38:49
                108

                NEWS RELEASE For more information: Peter Chalmers (Media only) Primera Technology, Inc. Phone: (FAX:

                Add to Reading List

                Source URL: www.primeralabel.com

                - Date: 2012-04-10 08:51:18
                  109

                  Ġabra: an open, online collection of Maltese lexical resources John J. Camilleri Chalmers & University of Gothenburg, Sweden 5th International Conference on Maltese Linguistics 2015 — Turin, Italy

                  Add to Reading List

                  Source URL: academic.johnjcamilleri.com

                  - Date: 2015-09-30 09:01:08
                    110

                    High Resolution Sparse Voxel DAGs Viktor K¨ampe Erik Sintorn Chalmers University of Technology

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    - Date: 2016-04-29 07:58:53
                      UPDATE