Chalmers

Results: 1415



#Item
141

Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk

Add to Reading List

Source URL: www.cse.chalmers.se

- Date: 2012-03-21 07:53:59
    142

    T H E U N I V E RSI T Y O F N E W M E X I C O Regents’ Finance and Facilities Committee June 3, 2010 – Meeting Summary DRA F T Committee M embers Present: Regent Don Chalmers; Regent Gene Gallegos; Regent Jamie K

    Add to Reading List

    Source URL: regents.unm.edu

    - Date: 2011-07-11 11:51:47
      143

      A Least Resistance Path in Reasoning about Unstructured Overlay Networks Giorgos Georgiadis and Marina Papatriantafilou Department of Computer Science and Engineering, Chalmers University of Technology, SGötebo

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2009-08-24 14:23:28
        144

        1 Distributed routing algorithms to manage power flow in agent-based active distribution network Phuong H. Nguyen, Wil L. Kling, Member, IEEE, Giorgos Georgiadis, Marina Papatriantafilou, Le Anh Tuan, Member IEEE, Lina

        Add to Reading List

        Source URL: www.cse.chalmers.se

        - Date: 2011-05-18 09:52:28
          145

          Population Protocols Eric Ruppert York University MiNEMA Winter School G¨ oteborg, Sweden

          Add to Reading List

          Source URL: www.cse.chalmers.se

          - Date: 2009-03-24 12:41:42
            146

            California Art Club Newsletter Documenting California’s Traditional Arts Heritage Since 1909 Jules Tavernier: Artist and Adventurer by Scott A. Shields, Ph.D., and Claudine Chalmers, Ph.D.

            Add to Reading List

            Source URL: www.americanlegacyfinearts.com

            - Date: 2014-12-31 15:58:30
              147

              IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk

              Add to Reading List

              Source URL: www.cse.chalmers.se

              - Date: 2012-03-21 07:53:59
                148

                Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1

                Add to Reading List

                Source URL: www.cse.chalmers.se

                - Date: 2013-10-09 07:16:34
                  149

                  IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

                  Add to Reading List

                  Source URL: www.cse.chalmers.se

                  - Date: 2013-09-13 09:25:11
                    150

                    THE UNIVERSITY OF NEW MEXICO Regents’ Finance and Facilities Committee June 3, 2010 – Meeting Summary DRAFT Committee Members Present: Regent Don Chalmers; Regent Gene Gallegos; Regent Jamie Koch; EVP

                    Add to Reading List

                    Source URL: regents.unm.edu

                    - Date: 2011-09-28 19:32:57
                      UPDATE