Data sources in the TIB-Portal   Search help

Our Tip: Log in for optimal use of all functions in the TIB Portal!

1–20 of 11,669 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Year of publication

-

Type of media

Source

Author

+ Show more

Subject

Type of material

Licence

Language

External sources

Searching...

  1. Inherent Trade-Offs in the Fair Determination of Risk Scores

    Kleinberg, Jon / Mullainathan, Sendhil / Raghavan, Manish | DataCite | 2017
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  2. Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom

    Cohen, Cyril / Coquand, Thierry / Huber, Simon et al. | DataCite | 2018
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  3. Blockchain Consensus Protocols in the Wild (Keynote Talk)

    Cachin, Christian / Vukolic, Marko | DataCite | 2017
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  4. Open System Categorical Quantum Semantics in Natural Language Processing

    Piedeleu, Robin / Kartsaklis, Dimitri / Coecke, Bob et al. | DataCite | 2015
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  5. Almost Global Problems in the LOCAL Model

    Balliu, Alkida / Brandt, Sebastian / Olivetti, Dennis et al. | DataCite | 2018
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  6. Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)

    Berger, Thorsten / Chechik, Marsha / Kehrer, Timo et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  7. Partial Order Reduction for Reachability Games

    Bønneland, Frederik Meyer / Jensen, Peter Gjøl / Larsen, Kim G. et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  8. Circuit Transformations for Quantum Architectures

    Childs, Andrew M. / Schoute, Eddie / Unsal, Cem M. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  9. Complexity-Theoretic Foundations of Quantum Supremacy Experiments

    Aaronson, Scott / Chen, Lijie | DataCite | 2017
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  10. Rule Algebras for Adhesive Categories

    Behr, Nicolas / Sobocinski, Pawel | DataCite | 2018
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  11. Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning

    Brandão, Fernando G. S. L. / Kalev, Amir / Li, Tongyang et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  12. Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371)

    Bonatti, Piero Andrea / Decker, Stefan / Polleres, Axel et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  13. A Verified LL(1) Parser Generator

    Lasser, Sam / Casinghino, Chris / Fisher, Kathleen et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  14. On the Complexity of String Matching for Graphs

    Equi, Massimo / Grossi, Roberto / Mäkinen, Veli et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  15. The PACE 2018 Parameterized Algorithms and Computational Experiments Challenge: The Third Iteration

    Bonnet, Édouard / Sikora, Florian | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  16. On the Qubit Routing Problem

    Cowtan, Alexander / Dilkes, Silas / Duncan, Ross et al. | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  17. Refined Criteria for Gradual Typing

    Siek, Jeremy G. / Vitousek, Michael M. / Cimini, Matteo et al. | DataCite | 2015
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  18. Martin Hofmann's Case for Non-Strictly Positive Data Types

    Berger, Ulrich / Matthes, Ralph / Setzer, Anton | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  19. Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time

    Parys, Pawel | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

  20. The Dynamic Practice and Static Theory of Gradual Typing

    Greenberg, Michael | DataCite | 2019
    Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany

Number of results: 10 | 20 | 50

Feedback