Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
Idris 2: Quantitative Type Theory in Practice
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
On the Qubit Routing Problem
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Session Types with Arithmetic Refinements
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Formalising a Turing-Complete Choreographic Language in Coq
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Simple Verifiable Delay Functions
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Complexity-Theoretic Foundations of Quantum Supremacy Experiments
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Verifying an HTTP Key-Value Server with Interaction Trees and VST
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
On the Hardness and Inapproximability of Recognizing Wheeler Graphs
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Uncloneable Quantum Encryption via Oracles
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The Power of Block-Encoded Matrix Powers: Improved Regression Techniques via Faster Hamiltonian Simulation
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Jointly Embedding Multiple Single-Cell Omics Measurements
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Completeness of Graphical Languages for Mixed States Quantum Mechanics (Track B: Automata, Logic, Semantics, and Theory of Programming)
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Partial Order Reduction for Reachability Games
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Elimination Distance to Bounded Degree on Planar Graphs
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Linear Time Construction of Indexable Founder Block Graphs
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Minimum Cut in O(m log² n) Time
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Data-Flow Analyses as Effects and Graded Monads
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Automated Detection of Serializability Violations Under Weak Consistency
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Dynamic Longest Common Substring in Polylogarithmic Time
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Approaching MCSP from Above and Below: Hardness for a Conditional Variant and AC^0[p]
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Foundations for Actively Secure Card-Based Cryptography
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Inherent Trade-Offs in the Fair Determination of Risk Scores
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Ranking with Fairness Constraints
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Purely Regular Approach to Non-Regular Core Spanners
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Diverse Collections in Matroids and Graphs
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Barrington Plays Cards: The Complexity of Card-Based Protocols
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Twin-width III: Max Independent Set, Min Dominating Set, and Coloring
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming)
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Hilbert’s Tenth Problem in Coq
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Dynamic Data-Race Detection Through the Fine-Grained Lens
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Owicki-Gries Reasoning for C11 RAR
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
An FPT-Algorithm for Recognizing k-Apices of Minor-Closed Graph Classes
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Contextuality, Cohomology and Paradox
Freier ZugriffDataCite | 2015|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Polynomial Kernel for Paw-Free Editing
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The New Rewriting Engine of Dedukti (System Description)
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Modules over Monads and Operational Semantics
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Multistage Vertex Cover
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Brief Announcement: The Fault-Tolerant Cluster-Sending Problem
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Open System Categorical Quantum Semantics in Natural Language Processing
Freier ZugriffDataCite | 2015|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Formalizing Computability Theory via Partial Recursive Functions
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Circuit Transformations for Quantum Architectures
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Sublogarithmic Distributed Algorithms for Lovász Local Lemma, and the Complexity Hierarchy
Freier ZugriffDataCite | 2017|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.