Treffer 1 - 20 von 260 für Suche 'Meer, Klaus', Suchdauer: 0,95s Treffer weiter einschränken
  1. 1
    Graph-Theoretic Concepts in Computer Science: 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, Proceedings

    Graph-Theoretic Concepts in Computer Science: 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, Proceedings von Brandstädt, Andreas, Köhler, Ekkehard, Meer, Klaus


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Periodic generalized automata over the reals

    Periodic generalized automata over the reals von Meer, Klaus, Naif, Ameen

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On the OBDD size for graphs of bounded tree- and clique-width

    On the OBDD size for graphs of bounded tree- and clique-width von Meer, Klaus, Rautenbach, Dieter

    Veröffentlicht in Discrete mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Simulated Annealing versus Metropolis for a TSP instance

    Simulated Annealing versus Metropolis for a TSP instance von Meer, Klaus

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Interactive proofs and a Shamir-like result for real number computations

    Interactive proofs and a Shamir-like result for real number computations von Baartse, Martijn, Meer, Klaus

    Veröffentlicht in Computational complexity

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Generalized finite automata over real and complex numbers

    Generalized finite automata over real and complex numbers von Meer, Klaus, Naif, Ameen

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A PCP of Proximity for Real Algebraic Polynomials

    A PCP of Proximity for Real Algebraic Polynomials von Meer, Klaus


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An algebraic proof of the real number PCP theorem

    An algebraic proof of the real number PCP theorem von Baartse, Martijn, Meer, Klaus

    Veröffentlicht in Journal of Complexity

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Software Testing in Computable Analysis

    Software Testing in Computable Analysis von Meer, Klaus, Ziegler, Martin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents

    An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents von Meer, Klaus

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Structurally Parameterized d-Scattered Set

    Structurally Parameterized d-Scattered Set von Katsikarelis, Ioannis, Lampis, Michael, Th. Paschos, Vangelis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    On Ladnerʼs result for a class of real machines with restricted use of constants

    On Ladnerʼs result for a class of real machines with restricted use of constants von Meer, Klaus

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    On Directed Feedback Vertex Set Parameterized by Treewidth

    On Directed Feedback Vertex Set Parameterized by Treewidth von Bonamy, Marthe, Kowalik, Łukasz, Nederlof, Jesper, Pilipczuk, Michał, Socała, Arkadiusz, Wrochna, Marcin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    The PCP Theorem for NP Over the Reals

    The PCP Theorem for NP Over the Reals von Baartse, Martijn, Meer, Klaus


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Some Results on Interactive Proofs for Real Computations

    Some Results on Interactive Proofs for Real Computations von Baartse, Martijn, Meer, Klaus


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Optimization and Approximation Problems Related to Polynomial System Solving

    Optimization and Approximation Problems Related to Polynomial System Solving von Meer, Klaus


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Automata over Infinite Sequences of Reals

    Automata over Infinite Sequences of Reals von Meer, Klaus, Naif, Ameen


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    On the approximation of interval functions

    On the approximation of interval functions von MEER, Klaus


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

    Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings von Beckmann, Arnold, Csuhaj-Varjú, Ersébet, Meer, Klaus

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Subexponential-Time and FPT Algorithms for Embedded Flat Clustered Planarity

    Subexponential-Time and FPT Algorithms for Embedded Flat Clustered Planarity von Da Lozzo, Giordano, Eppstein, David, Goodrich, Michael T., Gupta, Siddharth


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: