„Informatik“

Suchergebnisse

10.000+ Treffer

• Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded Systems
  Xu, Wenbo ; Rüsch, Signe ; Li, Bijun ; Kapitza, Rüdiger 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Solving the Rubik's Cube Optimally is NP-complete
  Demaine, Erik D. ; Eisenstat, Sarah ; Rudoy, Mikhail 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Simple Doubly-Efficient Interactive Proof Systems for Locally-Characterizable Sets
  Goldreich, Oded ; Rothblum, Guy N. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving TSP Tours Using Dynamic Programming over Tree Decompositions
  Cygan, Marek ; Kowalik, Lukasz ; Socala, Arkadiusz 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Homological Computations for Term Rewriting Systems
  Malbos, Philippe ; Mimram, Samuel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Directed Acyclic Subgraph Problem Parameterized above the Poljak-Turzik Bound
  Crowston, Robert ; Gutin, Gregory Z. ; Jones, Mark 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effective Choice and Boundedness Principles in Computable Analysis
  Brattka, Vasco ; Gherardi, Guido 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Making Dynamic Memory Allocation Static to Support WCET Analysis
  Herter, Jörg ; Reineke, Jan 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis
  Prantl, Adrian ; Schordan, Markus ; Knoop, Jens 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
  Manea, Florin ; Simpson, Alex K. 2022 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Ausgezeichnete Informatikdissertationen
  Hölldobler, Steffen ; Gesellschaft für Informatik e.V., Bonn, Bonn 2019 Ges. für Informatik
• Using geo statistical analysis to detect similarities in emotional responses of urban walkers to urban space
  König, Reinhard ; Schneider, Sven ; Hijazi, Ihab ; Li, Xin ; Bielik, Martin ; Schmitt, Gerhard ; Donath, Dirk 2016 Professur Informatik in der Architektur
• Das Mikropolis-Modell als transdisziplinärer Ansatz für Orientierungswissen in informatiknahen Disziplinen
  Krause, Detlev ; Christ, Marcel ; Rolf, Arno ; Valk, Rüdiger 2006 Hamburg University Press
• Tight approximation bounds for vertex cover on dense k-partite hypergraphs
  Karpiński, Marek ; Schmied, Richard ; Viehmann, Claus 2011 Inst. für Informatik
• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• High entropy random selection protocols – (extended abstract)
  Buhrman, Harry ; Vereščagin, Nikolaj K. ; Cristandl, Matthias ; Koucky, Michal ; Lotker, Zvi ; Patt-Shamir, Boaz 2008 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Weak error tolerance criterion in generalized proximal methods
  Kaplan, Aleksandr A. ; Tichatschke, Rainer 2002 Univ., Mathematik/Informatik
• Decision diagramms to compute the Fourier transform on finite non-Abelian groups
  Stanković, Radomir S. ; Moraga, Claudio 1999 Dekanat Informatik, Univ.
• Der Kanal-Instanz-Netz-Editor KINED – ein tool zur Unterstützung einer methodischen Systemmodellierung mit Hilfe von hierarchisch dargestellten Kanal-Instanz-Netzen
  Dittrich, Gustav ; Evertz-Jägers, B. 1989 Dekanat Informatik, Univ.
• Temporal Graph Realization from Fastest Paths
  Klobas, Nina ; Mertzios, George B. ; Molter, Hendrik ; Spirakis, Paul G. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik