Chalmers

Results: 1415



#Item
91

Practical Way Halting by Speculatively Accessing Halt Tags Daniel Moreau† , Alen Bardizbanyan† , Magnus Själander‡ , David Whalley§ , and Per Larsson-Edefors† † Chalmers University of Technology, Gothenburg,

Add to Reading List

Source URL: www.sjalander.com

Language: English - Date: 2016-01-05 04:38:55
    92

    The Varieties of Computation: A Reply David J. Chalmers I am grateful to the twelve commentators on my article “A Computational Foundation for the Study of Cognition”. The commentaries reflect a great deal of thought

    Add to Reading List

    Source URL: consc.net

    Language: English - Date: 2013-03-16 20:46:25
      93

      New batteries demand new electrolyte concepts?! a Dept. Patrik Johansson a,b of Physics, Chalmers University of Technology, 412 96, Gothenburg, Sweden b Alistore-ERI European Research Institute

      Add to Reading List

      Source URL: www.imlb2018.org

      Language: English - Date: 2018-03-29 22:36:24
        94

        Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

        Add to Reading List

        Source URL: qapl17.doc.ic.ac.uk

        - Date: 2017-04-20 09:16:43
          95

          Abstract Specification of Legal Contracts ∗ Cristian Prisacariu Gerardo Schneider Department of Informatics, University of Oslo,

          Add to Reading List

          Source URL: www.cse.chalmers.se

          - Date: 2012-01-20 16:13:42
            96

            Towards a Formal Language for Electronic Contracts Gerardo Schneider gerardo@i.uio.no Joint work with Cristian Prisacariu (cristi@i.uio.no)

            Add to Reading List

            Source URL: www.cse.chalmers.se

            - Date: 2012-01-20 16:13:27
              97

              A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur Technology

              Add to Reading List

              Source URL: scheme2016.snow-fort.org

              - Date: 2016-10-11 08:27:06
                98

                Hantering av bergmassor för Västlänkens norra delentreprenader Kandidatarbete inom civilingenjörsprogrammet Väg- och Vattenbyggnad AHMAD AL-NAJJAR TIM GUSTAFSSON DESIRÈE PERSSON

                Add to Reading List

                Source URL: publications.lib.chalmers.se

                - Date: 2016-09-08 08:42:52
                  99

                  Indexed Induction-Recursion Peter Dybjer a,? a Department of Computer Science and Engineering, Chalmers University of Technology, G¨

                  Add to Reading List

                  Source URL: www.cse.chalmers.se

                  - Date: 2010-07-27 05:16:00
                    UPDATE