Theoretical Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2021

    Modular Counting of Subgraphs: Matchings, Matching-Splittable Graphs, and Paths

    Curticapean, R.-C., Dell, H. & Husfeldt, T., 2021, Proceedings of the 29th Annual European Symposium on Algorithms. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 204. 17 s. 34

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Security Protocols as Choreographies

    Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, s. 98 111 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

    Daukantas, I., Bruni, A. & Schürmann, C., 2021, Proceedings of PPDP (Principles of Declarative Programing Languages). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Two Guarded Recursive Powerdomains for Applicative Simulation

    Møgelberg, R. E. & Vezzosi, A., dec. 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Electronic Proceedings in Theoretical Computer Science, Bind 351. s. 200-217

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Zoom and enhance: Action refinement via subprocesses in timed declarative processes

    Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (red.). Springer, Bind 12875. s. 161-178 18 s. (Lecture notes in computer science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
  • 2020

    Actris: session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, Proceedings of the ACM on Programming Languages. Wadler, P. (red.). Association for Computing Machinery, Bind 4. s. 6:1 30 s. 6

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Algorithm Engineering for High-Dimensional Similarity Search Problems (Invited Talk)

    Aumüller, M., 2020, 18th International Symposium on Experimental Algorithms (SEA 2020). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 1:1–1:3 1. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Approximately counting and sampling small witnesses using a colourful decision oracle

    Dell, H., Lapinskas, J. & Meeks, K., 2020, Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms. Chawla, S. (red.). Society for Industrial and Applied Mathematics, s. 2201-2211 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Composable Sketches for Functions of Frequencies: Beyond the Worst Case

    Cohen, E., Geri, O. & Pagh, R., 2020, Proceedings of the 37 th International Conference on Machine Learning. ML Research Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Confirmation Sampling for Exact Nearest Neighbor Search

    Christiani, T. L., Pagh, R. & Thorup, M., 2020, SISAP 2020: Similarity Search and Applications. Springer, s. 97-110 (Lecture Notes in Computer Science, Bind 12440).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • DaNewsroom: A Large-scale Danish Summarisation Dataset

    Varab, D. & Schluter, N., apr. 2020, Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020). European Language Resources Association, s. 6731–6739

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Differentially Private Sketches for Jaccard Similarity Estimation

    Aumüller, M., Bourgeat & Schmurr, 2020, International Conference on Similarity Search and Applications: SISAP 2020. Springer, s. 18-32 (Lecture Notest in Computer Science, Bind 12440).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Fair Near Neighbor Search: Independent Range Sampling in High Dimensions. PODS

    Aumüller, M., Pagh, R. & Silvestri, F., 2020, PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, s. 191–204

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Oblivious Sketching of High-Degree Polynomial Kernels

    Ahle, T. D., Kapralov, M., Knudsen, J. B. T., Pagh, R., Velingker, A., Woodruff, D. & Zandieh, A., 2020, SODA '20: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery, 20 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • On the I/O Complexity of the k-Nearest Neighbors Problem

    Goswami, M., Jacob, R. & Pagh, R., jun. 2020, PODS'20: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, s. 205-212 (ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Privacy-Preserving Dispute Resolution in the Improved Bingo Voting

    Giustolisi, R. & Bruni, A., 25 sep. 2020, E-Vote-ID: International Joint Conference on Electronic Voting. Springer, s. 67-83 16 s. (Lecture Notes in Computer Science, Bind 12455).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Private Aggregation from Fewer Anonymous Messages

    Ghazi, B., Manurangsi, P., Pagh, R. & Velingker, A., 2020, Advances in Cryptology – EUROCRYPT 2020. Springer, s. 798-827 (Lecture Notes in Computer Science, Bind 12106).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Private Counting from Anonymous Messages: Near-Optimal Accuracy with Vanishing Communication Overhead

    Ghazi, B., Kumar, R., Manurangsi, P. & Pagh, R., 2020, Proceedings of the 37th International Conference on Machine Learning. ML Research Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Pure Differentially Private Summation from Anonymous Messages

    Ghazi, B., Golowich, N., Kumar, R., Manurangsi, P., Pagh, R. & Velingker, A., 2020, 1st Conference on Information-Theoretic Cryptography (ITC 2020). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 15:1–15:23 (Leibniz International Proceedings in Informatics, Bind 163).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Reproducibility Companion Paper: Visual Sentiment Analysis for Review Images with Item-Oriented and User-Oriented CNN

    Truong, Q.-T., Lauw, H. W., Aumüller, M. & Nitta, N., 2020, MM '20: Proceedings of the 28th ACM International Conference on Multimedia. Association for Computing Machinery, s. 4444-4447

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Running Experiments with Confidence and Sanity

    Aumüller, M. & Ceccarello, M., 2020, International Conference on Similarity Search and Applications. Springer, s. 18-32

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The space complexity of inner product filters

    Pagh, R. & Sivertsen, J. V. T., 2020, 23rd International Conference on Database Theory (ICDT 2020). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 22:1–22:14 (Leibniz International Proceedings in Informatics (LIPIcs), Bind 155).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • WOR and p’s: Sketches for Lp-sampling Without Replacement

    Cohen, E., Pagh, R. & Woodruff, D., 2020, 34th Conference on Neural Information Processing Systems (NeurIPS 2020). Neural Information Processing Systems

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2019

    Assisted Declarative Process Creation from Natural Language Descriptions

    Lopez, H. A., Marquard, M., Muttenthaler, L. & Strømsted, R., 21 nov. 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE, s. 96-99 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Benchmarking Nearest Neighbor Search: Influence of Local Intrinsic Dimensionality and Result Diversity in Real-World Datasets

    Aumüller, M. & Ceccarello, M., 2019, EDML 2019 - Evaluation and Experimental Design in Data Mining and Machine Learning. CEUR Workshop Proceedings, Bind 2436. (CEUR Workshop Proceedings, Bind 2436).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Bisimulation as path type for guarded recursive types

    Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Bind 3. 29 s. 4

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Declarative Choreographies and Liveness

    Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., jun. 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, s. 129-147 19 s. (Lecture Notes in Computer Science, Bind 11535).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Exploring the Modeling of Declarative Processes Using a Hybrid Approach

    Abbad Andaloussi, A., Buch-Lorentsen, J., Lopez, H. A., Slaats, T. & Weber, B., 15 okt. 2019, Conceptual Modeling: Conceptual Modeling. ER 2019.. Switzerland: Springer, Bind 11788. s. 162-170 9 s. (Lecture Notes in Computer Science, Bind 11788).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Fragile Complexity of Comparison-Based Algorithms

    Afshani, P., Fagerberg, R., Hammer, D. M. G., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M. & Sitchinava, N., 9 sep. 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 2:1–2:19 2. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Hardness of Bichromatic Closest Pair with Jaccard Similarity

    Pagh, R., Nielsen, N. M. S. & Thorup, M., 2019, LIPIcs - Leibniz International Proceedings in Informatics - 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 144. s. 80:1–80:13 13 s. 80. (Leibniz International Proceedings in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Lower Bounds for Oblivious Data Structures

    Jacob, R., Larsen, K. G. & Nielsen, J. B., 6 jan. 2019, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • MIWAE: Deep Generative Modelling and Imputation of Incomplete Data

    Mattei, P.-A. & Frellsen, J., 2019, Proceedings of the 36th International Conference on Machine Learning, PMLR . Bind 97. s. 4413-4423

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Parameterized Streaming Algorithms for Min-Ones d-SAT

    Agrawal, A., Biswas, A., Bonnet, É., Brettell, N., Curticapean, R.-C., Marx, D., Miltzow, T., Raman, V. & Saurabh, S., 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 8:1-8:20 20 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Partially Exchangeable Networks and Architectures for Learning Summary Statistics in Approximate Bayesian Computation

    Wiqvist, S., Mattei, P.-A., Picchini, U. & Frellsen, J., 2019, Proceedings of the 36th International Conference on Machine Learning, PMLR. Bind 97. s. 6798-6807

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • PUFFINN: Parameterless and Universally Fast FInding of Nearest Neighbors

    Christiani, T. L., Pagh, R., Aumüller, M. & Vesterli, M. E., 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 1-16 16 s. 10

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Recurrent models and lower bounds for projective syntactic decoding

    Schluter, N., 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, Bind Volume 1 (Long and Short Papers). s. 251-260 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Simple and Fast BlockQuicksort using Lomuto's Partitioning Scheme

    Aumüller, M. & Hass, N., 2019, 2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX). Society for Industrial and Applied Mathematics, 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

    Bahr, P., Graulund, C. U. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. IFCP udg. Association for Computing Machinery, Bind 3. 109

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Space-efficient Feature Maps for String Alignment Kernels

    Tabei, Y., Yamanishi, Y. & Pagh, R., 2019, IEEE International Conference on Data Mining (ICDM). IEEE, (IEEE International Conference on Data Mining (ICDM)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Technical and Socio-Technical Attacks on the Danish Party Endorsement System

    Schürmann, C. & Bruni, A., 24 sep. 2019, Electronic Voting. Springer, Bind LLNCS11759. s. 200-215 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • The Exponential-Time Complexity of Counting (Quantum) Graph Homomorphisms

    Chen, H., Curticapean, R.-C. & Dell, H., 2019, Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers. Springer, s. 364-378 (Lecture Notes in Computer Science, Bind 11789).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Lacunae of Danish Natural Language Processing

    Kirkedal, A. S., Plank, B., Derczynski, L. & Schluter, N., 2019, Proceedings of the Nordic Conference of Computational Linguistics (2019). Linköping University Press, s. 356–362 (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Role of Local Intrinsic Dimensionality in Benchmarking Nearest Neighbor Search

    Aumüller, M. & Ceccarello, M., 17 jul. 2019, International Conference on Similarity Search and Applications: SISAP 2019: Similarity Search and Applications . Springer, (Lecture Notes in Computer Science, Bind 11807).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2018

    Adaptive MapReduce Similarity Joins

    McCauley, S. & Silvestri, F., 2018, Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond: BeyondMR'18. Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Baselines and test data for cross-lingual inference

    Agic, Z. & Schluter, N., 7 maj 2018, Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). European Language Resources Association, s. 3890-3894 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Bloom Filters, Adaptivity, and the Dictionary Problem

    Bender, M., Farach-Colton, M., Goswami, M., Johnson, R., McCauley, S. & Singh, S., 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS). IEEE

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Cache Oblivious Sparse Matrix Multiplication

    Dusefante, M. & Jacob, R., 13 mar. 2018, Latin American Symposium on Theoretical Informatics: LATIN 2018: Theoretical Informatics . Springer, s. 437-447 (Lecture Notes in Computer Science, Bind 10807).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Computational Complexity of Proper Equilibrium

    Hansen, K. A. & Lund, T. B., 2018, Proceedings of the 2018 ACM Conference on Economics and Computation: EC '18. Association for Computing Machinery, s. 113-130

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Counting Connected Subgraphs with Maximum-Degree-Aware Sieving

    Björklund, A., Husfeldt, T., Kaski, P. & Koivisto, M., 2018, 29th International Symposium on Algorithms and Computation, ISAAC 2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan.. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 123. s. 17:1-17:12 12 s. 17. (Leibniz International Proceedings in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Counting Shortest Two Disjoint Paths in Cubic Planar Graphs with an NC Algorithm

    Björklund, A. & Husfeldt, T., 2018, 29th International Symposium on Algorithms and Computation (ISAAC 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 123. s. 19:1-19:13 13 s. (Leibniz International Proceedings in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil