Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    71 - 80 out of 123Page size: 10
    Sort by: Title
    1. Published

      Near-optimal adjacency labeling scheme for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2015, In: arXiv.org: Computer science. arXiv:1502.03971, 18 p.

      Research output: Contribution to journal › Journal article › Research

    2. Published

      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, p. 994-1000 7 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. 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

    4. 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

    5. 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

    6. Published

      On Beta-Shifts Having Arithmetical Languages

      Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 ed. Springer, p. 757-768

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

    7. Published

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 p.

      Research output: Book/Report › Ph.D. thesis › Research

    8. Published

      On Confluence of Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 ed. Berlin: Springer, p. 199-214

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

    9. Published

      On Local Non-Compactness in Recursive Mathematics

      Simonsen, Jakob Grue, 2006, In: Mathematical Logic Quarterly. 52/4, p. 323-330

      Research output: Contribution to journal › Journal article › Research › peer-review

    10. Published

      On Modularity in Infinitary Rewriting

      Simonsen, Jakob Grue, 2006, In: Information and Computation. 204(6), p. 957-988

      Research output: Contribution to journal › Journal article › Research › peer-review

    Previous 1...4 5 6 7 8 9 10 11 ...13 Next

    ID: 12543