„Non-determinism“

Suchergebnisse

1.000+ Treffer

• Demonic Variance and a Non-Determinism Score for Markov Decision Processes
  Piribauer, Jakob 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A partial rehabilitation of side-effecting I/O – non-determinism in non-strict functional languages
  Schmidt-Schauß, Manfred 1996 Univ.-Bibliothek Frankfurt am Main
• How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi
  Mann, Matthias ; Schmidt-Schauß, Manfred 2006 Univ.-Bibliothek Frankfurt am Main
• Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
  Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David 2009 Univ.-Bibliothek Frankfurt am Main
• Determinism and predictability in extreme event systems
  Birkholz, Simon ; Elsässer, Thomas ; Mitschke, Fedor ; Busch, Kurt 2016 Mathematisch-Naturwissenschaftliche Fakultät
• Explorability in Pushdown Automata
  Bedi, Ayaan ; Lehtinen, Karoliina 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Developments in Language Theory – 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
  Yen, Hsu-Chun ; Ibarra, Oscar H. 2012 Springer Berlin Heidelberg
• Automated Hierarchical, Forward-Chaining Temporal Planner for Planetary Robots Exploring Unknown Environments
  Delfa Victoria, Juan Manuel ; Stryk, Oskar ˜vonœ ; Policella, Nicola ; Gao, Yang 2016 Universitäts- und Landesbibliothek Darmstadt
• Resolving Nondeterminism by Chance
  Paul, Soumyajit ; Purser, David ; Schewe, Sven ; Tang, Qiyi ; Totzke, Patrick ; Yen, Di-De 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resolving Nondeterminism with Randomness
  Henzinger, Thomas A. ; Prakash, Aditya ; Thejaswini, K. S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• The Divine Knowledge in Relation to Determinism in the Philosophy of Avicenna
  Chia, Philip Suciadi
• Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them
  Alcon, Miguel ; Brando, Axel ; Mezzetti, Enrico ; Abella, Jaume ; Cazorla, Francisco J.
• Strategic Dominance: A New Preorder for Nondeterministic Processes
  Henzinger, Thomas A. ; Mazzocchi, Nicolas ; Saraç, N. Ege 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
  Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo ; Tagliaferro, Fabio ; Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto
• A Distribution Testing Oracle Separating QMA and QCMA
  Natarajan, Anand ; Nirkhe, Chinmay 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Information Flow Analysis for Detecting Non-Determinism in Blockchain
  Olivieri, Luca ; Negrini, Luca ; Arceri, Vincenzo ; Tagliaferro, Fabio ; Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• One Drop of Non-Determinism in a Random Deterministic Automaton
  Carayol, Arnaud ; Duchon, Philippe ; Koechlin, Florent ; Nicaud, Cyril 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Brief History of History-Determinism (Invited Talk)
  Lehtinen, Karoliina 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Non-Deterministic Abstract Machines
  Biernacka, Małgorzata ; Biernacki, Dariusz ; Lenglet, Sergueï ; Schmitt, Alan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik