Chalmers

Results: 1415



#Item
231

Designing the augmented stadium Matthew Chalmers, Barry Brown, Department of Computing Science, University of Glasgow Previous track record The Equator group at Glasgow has a six-year track record of innovative research

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2008-04-20 07:27:07
    232

    Non-­‐adiaba)c  Josephson  dynamics     in  junc)ons    with  in-­‐gap  quasipar)cles   Jens Michelsen, Vitaly Shumeiko Dept of Microtechnology and Nanoscience Chalmers University of

    Add to Reading List

    Source URL: meso12.itp.ac.ru

    Language: English - Date: 2012-06-30 04:39:06
      233

      A Simple Programming Language Type theory and functional programming This talk will about the connections between type theory and functional programming

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2010-09-23 07:51:42
        234

        Equator: Mixing Media and Showing Seams Matthew Chalmers Computing Science University of Glasgow G12 8QQ, UK

        Add to Reading List

        Source URL: www.dcs.gla.ac.uk

        Language: English - Date: 2004-08-19 14:36:49
          235

          T HESIS FOR THE DEGREE OF D OCTOR OF E NGINEERING The Mechanics of the Grammatical Framework Krasimir Angelov Department of Computer Science and Engineering

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2011-12-10 06:20:32
            236

            A Calculus of Definitions March 18, 2008 The mathematicians will probably raise objections against that, because contemporary mathematics is thoroughly extensional and hence no clear notions of intensions have been deve

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2009-06-09 09:06:01
              237

              Oberseminar Analysis und Theoretische Physik Prof. Dr. Julie M. Rowlett Chalmers University of Technology, Göteborg, Schweden

              Add to Reading List

              Source URL: www.ifam.uni-hannover.de

              Language: English - Date: 2015-06-16 03:26:37
                238

                KockChalmers Konferens & Restauranger bedriver konferens- och restaurangverksamhet på Chalmers Campus Johanneberg och Campus Lindholmen. Bolagen innefattar tillsammans 15 restaurangenheter,

                Add to Reading List

                Source URL: www.chalmerskonferens.se

                Language: Swedish - Date: 2016-06-02 06:19:18
                  239

                  1 Implementing Erasure Policies Using Taint Analysis Filippo Del Tedesco, Alejandro Russo, and David Sands Chalmers University of Technology, G¨oteborg, Sweden

                  Add to Reading List

                  Source URL: www.cse.chalmers.se

                  Language: English - Date: 2010-09-01 07:44:06
                    240

                    Formal Languages, Coinductively Formalized Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University Departmental Seminar

                    Add to Reading List

                    Source URL: www2.tcs.ifi.lmu.de

                    Language: English - Date: 2016-05-16 07:58:30
                      UPDATE