Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. 2023
    2. Udgivet

      Read/write factorizable programs

      Bhaskar, S. & Simonsen, Jakob Grue, 8 jun. 2023, I: Journal of Functional Programming. 33, 4, s. 1-50 e5.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    3. Udgivet

      A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

      Dargaj, J. & Simonsen, Jakob Grue, 2023, I: Journal of Economic Theory. 213, 24 s., 105713.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    4. Udgivet

      Designing with Awareness: Building an Agenda for Worker and Patient Well-being

      Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    5. Udgivet

      Faithfulness Tests for Natural Language Explanations

      Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), s. 283-294 12 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    6. Udgivet

      Implicit Representation of Relations

      Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 67, 6, s. 1156-1196

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    7. Udgivet

      Privacy Lost in Online Education: Analysis of Web Tracking Evolution

      Su, Z., Helles, Rasmus, Al-Laith, Ali Mohammed Ali, Veilahti, A. V. P., Saxena, A. & Simonsen, Jakob Grue, 2023, Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings. Yang, X., Suhartanto, H., Wang, G., Wang, B., Jiang, J., Li, B., Zhu, H. & Cui, N. (red.). Cham: Springer, Cham, Bind 2. s. 440-455 15 s. (Lecture Notes in Computer Science).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    8. Udgivet

      Subclasses of Ptime Interpreted by Programming Languages

      Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 3, s. 437-472

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    9. 2022
    10. Udgivet

      Complex-valued Neural Network-based Quantum Language Models

      Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Information Systems. 40, 4, 31 s., 84.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    11. Udgivet

      Diagnostics-Guided Explanation Generation

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, s. 10445-10453.

      Publikation: Bidrag til tidsskriftKonferenceartikel

    12. Udgivet

      Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

      Dargaj, J. & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Economics and Computation. 10, 1, s. 1-39 3.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    13. Udgivet

      Fact Checking with Insufficient Evidence

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Transactions of the Association for Computational Linguistics. 10, s. 746-763

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    14. 2021
    15. Udgivet

      Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work

      Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, jul. 2021, I: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 s., 219.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    16. Udgivet

      Multi-head Self-attention with Role-Guided Masks

      Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (red.). Springer, s. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12657 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    17. Udgivet

      On Position Embeddings in BERT

      Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, s. 1-21.

      Publikation: KonferencebidragPaperForskning

    18. Udgivet

      Principled Multi-Aspect Evaluation Measures of Rankings

      Maistro, Maria, Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, Inc, s. 1232-1242

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    19. Udgivet

      Projected hamming dissimilarity for bit-level importance coding in collaborative filtering

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, s. 261-269

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    20. Udgivet

      Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

      Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (red.). Springer, s. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12813 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    21. Udgivet

      The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting

      Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 195).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    22. Udgivet

      Unsupervised multi-index semantic hashing

      Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, s. 2879-2889 (The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    23. 2020
    24. Udgivet

      A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

      Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, s. 69-70 2 s. 3399520

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    25. Udgivet

      A Diagnostic Study of Explainability Techniques for Text Classification

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics, s. 3256-3274

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    26. Udgivet

      Cons-free programs and complexity classes between LOGSPACE and PTIME

      Jones, N. D., Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2020, I: Electronic Proceedings in Theoretical Computer Science. 320, s. 65-79

      Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

    27. Udgivet

      Content-aware Neural Hashing for Cold-start Recommendation

      Hansen, C., Hansan, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 971-980 10 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    28. Udgivet

      ENCODING WORD ORDER IN COMPLEX EMBEDDINGS

      Wang, B., Zhao, D., Lioma, Christina, Li, Q., Peng, Z. & Simonsen, Jakob Grue, 2020, s. 1-15.

      Publikation: KonferencebidragPaperForskning

    29. Udgivet

      Fact Check-Worthiness Detection with Contrastive Ranking

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2020, Experimental IR Meets Multilinguality, Multimodality, and Interaction - 11th International Conference of the CLEF Association, CLEF 2020, Proceedings. Arampatzis, A., Kanoulas, E., Tsikrika, T., Vrochidis, S., Joho, H., Lioma, C., Eickhoff, C., Névéol, A., Névéol, A., Cappellato, L. & Ferro, N. (red.). Springer, s. 124-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12260 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    30. Udgivet

      Factuality Checking in News Headlines with Eye Tracking

      Hansen, C., Hansen, C., Simonsen, Jakob Grue, Larsen, B., Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 2013-2016 4 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    31. Udgivet

      Generating Fact Checking Explanations

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, s. 7352-7364

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    32. Udgivet

      Liouville Numbers and the Computational Complexity of Changing Bases

      Jakobsen, S. K. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (red.). Springer VS, s. 50-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    33. Udgivet

      On the Complexity of Conversion Between Classic Real Number Representations

      Kristiansen, L. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (red.). Springer VS, s. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    34. Udgivet

      Unsupervised Semantic Hashing with Pairwise Reconstruction

      Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 2009-2012 4 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    35. 2019
    36. Udgivet

      Contextually propagated term weights for document representation

      Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 18 jul. 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    37. Udgivet

      Computing with Infinite Terms and Infinite Reductions

      Ketema, J. & Simonsen, Jakob Grue, 2019, I: Fundamenta Informaticae. 170, 4, s. 339-365 27 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    38. Udgivet

      Contextual compositionality detection with external knowledge bases and word embeddings

      Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 317-323 7 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    39. Udgivet

      Modelling Sequential Music Track Skips using a Multi-RNN Approach

      Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, WSDM '19: Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, 4 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    40. Udgivet

      More Intensional Versions of Rice’s Theorem

      Moyen, J. Y. & Simonsen, Jakob Grue, 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Martin, B., Paulusma, D., Primiero, G. & Manea, F. (red.). Springer, s. 217-229 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11558 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    41. Udgivet

      MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims

      Augenstein, Isabelle, Lioma, Christina, Wang, D., Chaves Lima, L., Hansen, C., Hansen, C. & Simonsen, Jakob Grue, 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, s. 4684-4697

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    42. Udgivet

      Neural check-worthiness ranking with weak supervision: Finding sentences for fact-checking

      Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 994-1000 7 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    43. Udgivet

      Neural speed reading with structural-jump-LSTM

      Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019.

      Publikation: KonferencebidragPaperForskningfagfællebedømt

    44. Udgivet

      Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2019, I: CEUR Workshop Proceedings. 2380, 8 s.

      Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

    45. Udgivet

      The fixed point property and a technique to harness double fixed point combinators

      Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, I: Journal of Logic and Computation. 29, 5, s. 831-880

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    46. Udgivet

      Unsupervised neural generative semantic hashing

      Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 735-744 10 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    47. 2018
    48. Udgivet

      Chains, antichains, and complements in infinite partition lattices

      Avery, J. E., Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, I: Algebra Universalis. 79, 37, 21 s., 37.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    49. Udgivet

      The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (red.). 10 udg. CEUR-WS.org, 8 s. 81. (CEUR Workshop Proceedings, Bind 2125).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    50. Udgivet

      The Copenhagen team participation in the factuality task of the competition of automatic identification and verification of claims in political debates of the CLEF-2018 Fact Checking Lab

      Wang, D., Simonsen, Jakob Grue, Larsen, B. & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (red.). 10 udg. CEUR-WS.org, 10 s. 98. (CEUR Workshop Proceedings, Bind 2125).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    51. Udgivet

      Within-Network Classification in Temporal Graphs

      Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, s. 229-236

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    52. 2017
    53. Udgivet

      Complexity hierarchies and higher-order cons-free term rewriting

      Kop, C. L. M. & Simonsen, Jakob Grue, 7 aug. 2017, I: Logical Methods in Computer Science. 13, 3, 29 s., 8.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    54. Udgivet

      User Experience

      Simonsen, Jakob Grue, 21 jun. 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Bind 1. s. 191-206

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    55. Udgivet

      Computability in the lattice of equivalence relations

      Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    56. Udgivet

      Computing continuous-time Markov chains as transformers of unbounded observables

      Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    57. Udgivet

      Evaluation measures for relevance and credibility in ranked lists

      Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, s. 91-98 8 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    Forrige 1 2 3 Næste

    ID: 12543