Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
Partially Observable Concurrent Kleene Algebra
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Exploiting c-Closure in Kernelization Algorithms for Graph Problems
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The Fine-Grained Complexity of Median and Center String Problems Under Edit Distance
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
An Algorithmic Weakening of the Erdős-Hajnal Conjecture
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Improving the Accuracy of Cache-Aware Response Time Analysis Using Preemption Partitioning
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Optimal Joins Using Compact Data Structures
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Tarski’s Theorem, Supermodular Games, and the Complexity of Equilibria
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Discovering Event Queries from Traces: Laying Foundations for Subsequence-Queries with Wildcards and Gap-Size Constraints
Freier ZugriffDataCite | 2022|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Practical Bigraphs via Subgraph Isomorphism
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Isomorphism Testing Parameterized by Genus and Beyond
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Recursion and Sequentiality in Categories of Sheaves
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Formalization of Dedekind Domains and Class Groups of Global Fields
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Simulated Annealing Approach to Coordinated Motion Planning (CG Challenge)
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The PACE 2017 Parameterized Algorithms and Computational Experiments Challenge: The Second Iteration
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Foundations of Homomorphic Secret Sharing
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Robust Linear Temporal Logic
Freier ZugriffDataCite | 2016|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Martin Hofmann’s Case for Non-Strictly Positive Data Types
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Query-Competitive Sorting with Uncertainty
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Tight FPT Approximations for k-Median and k-Means
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.