Complexity

Results: 8084



#Item
351

Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-02-28 18:10:36
    352

    1 This paper includes an errata for the Delay Efficient Sleep Scheduling (DESS) problem presented in [1]. This errata corrects our main complexity result mentioned in [1]. We first define the decision problem G-DESS whi

    Add to Reading List

    Source URL: ceng.usc.edu

    - Date: 2013-07-24 13:36:45
      353

      Some News on the Proof Complexity of Deep Inference

      Add to Reading List

      Source URL: cs.bath.ac.uk

      - Date: 2009-11-08 22:57:53
        354

        CCA11th International Conference on Computability and Complexity in Analysis July, 2014

        Add to Reading List

        Source URL: transcendentalarithmetic.net

        - Date: 2014-07-25 13:38:57
          355

          Federal Register / Vol. 81, NoFriday, September 23, Notices sradovich on DSK3GMQ082PROD with NOTICES complexity and novelty of these innovations, will challenge the Agency’s

          Add to Reading List

          Source URL: www.gpo.gov

          - Date: 2016-09-28 16:05:26
            356

            Evolution of biological complexity Christoph Adami*†, Charles Ofria‡§, and Travis C. Collier¶ *Kellogg Radiation Laboratoryand ‡Beckman Institute, California Institute of Technology, Pasadena, CA 9

            Add to Reading List

            Source URL: www.pnas.org

            - Date: 2011-03-26 20:29:02
              357

              UNIFORMITY AND NONUNIFORMITY IN PROOF COMPLEXITY by Kaveh Ghasemloo

              Add to Reading List

              Source URL: www.cs.toronto.edu

              - Date: 2016-07-27 16:01:11
                358

                On the Complexity of Distributed Graph Coloring Fabian Kuhn Roger Wattenhofer Microsoft Research – Silicon Valley

                Add to Reading List

                Source URL: www.inf.usi.ch

                - Date: 2011-02-02 17:53:42
                  359

                  Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis Vasco Brattka Universit¨ at der Bundeswehr M¨ unchen, Germany

                  Add to Reading List

                  Source URL: materials.dagstuhl.de

                  - Date: 2015-09-21 07:45:28
                    360

                    Clinical Trials; A Primer Complexity of Clinical Trials Session Cure SMA Annual Meeting Kansas City, MO June 20, 2015

                    Add to Reading List

                    Source URL: www.curesma.org

                    - Date: 2015-07-16 09:34:34
                      UPDATE