Jakob Grue Simonsen
Institutleder
- 2020
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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-79Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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: Konferencebidrag › Paper › Forskning
- 2019
- 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-4697Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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 tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Neural speed reading with structural-jump-LSTM
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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-880Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2018
- Udgivet
Chains, antichains, and complements in infinite partition lattices
Avery, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, I: Algebra Universalis. 79, 37, 21 s., 37.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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-236Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2017
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming
Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (red.). Springer, s. 668-695 28 s. (Lecture notes in computer science, Bind 10201).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 12543
Flest downloads
-
4103
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2506
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2076
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet