Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
Subgraph Enumeration in Optimal I/O Complexity
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
How Database Theory Helps Teach Relational Queries in Database Education (Invited Talk)
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Shortest Two Disjoint Paths in Conservative Graphs
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Decremental Sensitivity Oracles for Covering and Packing Minors
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Linear Loop Synthesis for Quadratic Invariants
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
O(1/ε) Is the Answer in Online Weighted Throughput Maximization
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Promise and Infinite-Domain Constraint Satisfaction
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
QLTL Model-Checking
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Realizability Models for Large Cardinals
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Extending the WMSO+U Logic with Quantification over Tuples
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Logical Algorithmics: From Theory to Practice (Invited Talk)
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Artificial Intelligence and Artificial Ignorance (Invited Talk)
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Advanced Composition Theorems for Differential Obliviousness
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Training Multi-Layer Over-Parametrized Neural Network in Subquadratic Time
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The Non-Uniform Perebor Conjecture for Time-Bounded Kolmogorov Complexity Is False
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Dynamic Maximal Matching in Clique Networks
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Deterministic 3SUM-Hardness
Freier ZugriffDataCite | 2024|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Graph Threading
Freier ZugriffDataCite | 2024|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.