Jakob Grue Simonsen
Head of Department
- Published
Neural speed reading with structural-jump-LSTM
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2019, In: CEUR Workshop Proceedings. 2380, 8 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Non-compositional term dependence for information retrieval
Lioma, Christina, Simonsen, Jakob Grue, Larsen, B. & Hansen, N. D., 2015, SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 595-604 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On Computable Approximation of Infinite Objects
Simonsen, Jakob Grue, 2005, 145 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
On Local Non-Compactness in Recursive Mathematics
Simonsen, Jakob Grue, 2006, In: Mathematical Logic Quarterly. 52/4, p. 323-330Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On Modularity in Infinitary Rewriting
Simonsen, Jakob Grue, 2006, In: Information and Computation. 204(6), p. 957-988Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On Position Embeddings in BERT
Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, p. 1-21.Research output: Contribution to conference › Paper › Research
- Published
On confluence and residuals in Cauchy convergent transfinite rewriting
Simonsen, Jakob Grue, 16 Aug 2004, In: Information Processing Letters. 91, 3, p. 141-146 6 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On modularity in infinitary term rewriting
Simonsen, Jakob Grue, 1 Jan 2006, In: Information and Computation. 204, 6, p. 957-988 32 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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. (eds.). Springer VS, p. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12098 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 12543
Most downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published -
2080
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Research output: Contribution to conference › Paper › Research
Published