Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. Udgivet

      Near-optimal adjacency labeling scheme for power-law graphs

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

    3. Udgivet

      Neural speed reading with structural-jump-LSTM

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

      Publikation: KonferencebidragPaperForskningfagfællebedømt

    4. 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 tidsskriftKonferenceartikelForskningfagfællebedømt

    5. Udgivet

      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, s. 595-604 10 s.

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

    6. Udgivet

      On Beta-Shifts Having Arithmetical Languages

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

      Publikation: Bidrag til bog/antologi/rapportBidrag til rapportFormidling

    7. Udgivet

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 s.

      Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    8. Udgivet

      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 udg. Berlin: Springer, s. 199-214

      Publikation: Bidrag til bog/antologi/rapportBidrag til rapportFormidling

    9. Udgivet

      On Local Non-Compactness in Recursive Mathematics

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    10. Udgivet

      On Modularity in Infinitary Rewriting

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    Forrige 1...4 5 6 7 8 9 10 11 ...13 Næste

    ID: 12543