„computability“

Suchergebnisse

457 Treffer

• Higher randomness and forcing with closed sets
  Monin, Benoit 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computability of the entropy of one-tape Turing machines
  Jeandel, Emmanuel 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Irreversible computable functions
  Hoyrup, Mathieu 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type
  Jeandel, Emmanuel ; Vanier, Pascal 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Closing the Gap Between Runtime Complexity and Polytime Computability
  Avanzini, Martin ; Moser, Georg 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Equations over Sets of Integers
  Jez, Artur ; Okhotin, Alexander 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evolving Multialgebras Unify All Usual Sequential Computation Models
  Grigorieff, Serge ; Valarcher, Pierre 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability
  Ziegler, Martin 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computability of Probability Distributions and Distribution Functions
  Mori, Takakazu ; Tsujii, Yoshiki ; Yasugi, Mariko 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effective Dispersion in Computable Metric Spaces
  Iljazovic, Zvonko 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computability of Homology for Compact Absolute Neighbourhood Retracts
  Collins, Pieter 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Weihrauch Degrees, Omniscience Principles and Weak Computability
  Brattka, Vasco ; Gherardi, Guido 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semilattices, Domains, and Computability (Invited Talk)
  Scott, Dana 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computability and Complexity of Julia Sets (Invited Talk)
  Braverman, Mark 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis
  Bauer, Andrej ; Hertling, Peter ; Ko, Ker-I 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis
  Bauer, Andrej ; Hertling, Peter ; Ko, Ker-I 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361)
  Brattka, Vasco ; Dzhafarov, Damir D. ; Marcone, Alberto ; Pauly, Arno
• Computability Theory (Dagstuhl Seminar 17081)
  Ambos-Spies, Klaus ; Brattka, Vasco ; Downey, Rodney ; Lempp, Steffen
• Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)
  Brattka, Vasco ; Kawamura, Akitoshi ; Marcone, Alberto ; Pauly, Arno
• Duality in Computer Science (Dagstuhl Seminar 13311)
  Gehrke, Mai ; Pin, Jean-Eric ; Selivanov, Victor ; Spreen, Dieter