Determinism

Results: 739



#Item
1Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal  American University of Paris

Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal American University of Paris

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
2Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Add to Reading List

Source URL: pighizzini.di.unimi.it

Language: English - Date: 2012-09-04 12:11:31
    3Trading Determinism for Time in Space Bounded Computations Vivek Anand T Kallampally1 and Raghunath Tewari2 1  2

    Trading Determinism for Time in Space Bounded Computations Vivek Anand T Kallampally1 and Raghunath Tewari2 1 2

    Add to Reading List

    Source URL: www.cse.iitk.ac.in

    Language: English - Date: 2016-06-10 00:08:04
      4Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

      Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

      Add to Reading List

      Source URL: pighizzini.di.unimi.it

      Language: English - Date: 2012-09-04 12:11:30
        5INWAGEN, PETER VAN, Lehrer on Determinism, Free Will, and Evidence , Philosophical Studies (Minneapolis), 23::Oct.) p.351 INWAGEN, PETER VAN, Lehrer on Determinism, Free Will, and Evidence , Philosophical Studies

        INWAGEN, PETER VAN, Lehrer on Determinism, Free Will, and Evidence , Philosophical Studies (Minneapolis), 23::Oct.) p.351 INWAGEN, PETER VAN, Lehrer on Determinism, Free Will, and Evidence , Philosophical Studies

        Add to Reading List

        Source URL: andrewmbailey.com

        - Date: 2011-02-24 11:10:35
          6Simplifying transducers removing two-wayness and non-determinism Pierre-Alain Reynier LIF, Aix-Marseille Universit´e & CNRS  Based on joint works with L Daviaud, E Filiot, O Gauwin, I Jecker,

          Simplifying transducers removing two-wayness and non-determinism Pierre-Alain Reynier LIF, Aix-Marseille Universit´e & CNRS Based on joint works with L Daviaud, E Filiot, O Gauwin, I Jecker,

          Add to Reading List

          Source URL: www.lsv.fr

          Language: English - Date: 2017-05-22 04:51:20
            7Debug Determinism: The Sweet Spot for Replay-Based Debugging Cristian Zamfir1 , Gautam Altekar2 , George Candea1 , Ion Stoica2 EPFL, Switzerland1 and UC Berkeley2 Deterministic replay tools offer a compelling approach to

            Debug Determinism: The Sweet Spot for Replay-Based Debugging Cristian Zamfir1 , Gautam Altekar2 , George Candea1 , Ion Stoica2 EPFL, Switzerland1 and UC Berkeley2 Deterministic replay tools offer a compelling approach to

            Add to Reading List

            Source URL: dslab.epfl.ch

            Language: English - Date: 2018-08-14 09:29:24
              8M PRA Munich Personal RePEc Archive Human capital in Qing China: economic determinism or a history of failed opportunities?

              M PRA Munich Personal RePEc Archive Human capital in Qing China: economic determinism or a history of failed opportunities?

              Add to Reading List

              Source URL: www.basvanleeuwen.net

              Language: English - Date: 2014-02-25 04:02:33
                9A Unified View of Monadic and Applicative Non-determinism Exequiel Rivas, Mauro Jaskelioff CIFASIS-CONICET Universidad Nacional de Rosario, Argentina

                A Unified View of Monadic and Applicative Non-determinism Exequiel Rivas, Mauro Jaskelioff CIFASIS-CONICET Universidad Nacional de Rosario, Argentina

                Add to Reading List

                Source URL: www.fceia.unr.edu.ar

                - Date: 2017-09-20 18:45:50
                  10A First Look at Reproducibility and Non-Determinism in CMS Software and ROOT Data Peter Ivie, Charles Zheng, and Douglas Thain Technical Report TROctober 2016 Department of Computer Science and Engineering

                  A First Look at Reproducibility and Non-Determinism in CMS Software and ROOT Data Peter Ivie, Charles Zheng, and Douglas Thain Technical Report TROctober 2016 Department of Computer Science and Engineering

                  Add to Reading List

                  Source URL: ccl.cse.nd.edu

                  - Date: 2016-10-11 09:06:50