foundations

Results: 7355



#Item
241

Causally consistent dynamic slicing Roly Perera1,2 , Deepak Garg3 , and James Cheney1 1 Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, UK ,

Add to Reading List

Source URL: dynamicaspects.org

- Date: 2016-06-08 06:22:37
    242

    Arnon AVRON, Ph.D. LIST OF PUBLICATIONS BOOKS 1. A. Avron G¨ odel’s Theorems and The Problem of the Foundations of

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-05-10 03:17:11
      243

      R in Programming Languages Foundations and Trends Vol. 2, No–69 c 2015 Y. Smaragdakis and G. Balatsouras

      Add to Reading List

      Source URL: zenodo.org

      - Date: 2016-09-12 01:41:05
        244

        Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017

        Add to Reading List

        Source URL: tyrex.inria.fr

        - Date: 2016-12-07 09:55:02
          245

          The secret structure of the Tar Sands Coalition 1. A secret list of foundations provide a

          Add to Reading List

          Source URL: s3.amazonaws.com

          - Date: 2009-09-22 12:57:02
            246

            T The Κ 50th Annual Symposium on Foundations of Computer Science, FOCSIEEE Computer Society, pp. 629–638, 2009.

            Add to Reading List

            Source URL: users.uoa.gr

            - Date: 2014-06-11 17:30:32
              247

              R in Foundations and Trends Robotics Vol. 2, No 1––141 c 2013 Deisenroth, Neumann, Peters

              Add to Reading List

              Source URL: spiral.imperial.ac.uk

              - Date: 2014-08-22 09:14:05
                248

                Course: Foundations for Processing Tree-Shaped Data with Applications to XML Technologies Pierre Genev`es November 22, 2016 This course aims at introducing principles and foundations for the correc

                Add to Reading List

                Source URL: tyrex.inria.fr

                - Date: 2016-12-02 11:20:26
                  249

                  CISThe Algorithmic Foundations of Data Privacy October 20, 2011 Lecture 11 Lecturer: Aaron Roth

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  - Date: 2011-10-20 16:12:25
                    250

                    2016 IEEE 57th Annual Symposium on Foundations of Computer Science Approximate Gaussian Elimination for Laplacians – Fast, Sparse, and Simple Rasmus Kyng, Sushant Sachdeva Department of Computer Science

                    Add to Reading List

                    Source URL: ieee-focs.org

                    - Date: 2016-10-06 00:33:48
                      UPDATE