Jakob Grue Simonsen
Institutleder
- 2017
- 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
- 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
- 2016
- Udgivet
Adaptive distributional extensions to DFR ranking
Petersen, C., Simonsen, Jakob Grue, Järvelin, K. & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2005-2008 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Brief announcement: labeling schemes for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 39-41 3 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Complexity hierarchies and higher-order cons-free rewriting
Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 s. 23. (Leibniz International Proceedings in Informatics, Bind 52).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Deep learning relevance: creating relevant information (as opposed to retrieving it)
Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 s.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
Exploiting the bipartite structure of entity grids for document coherence and retrieval
Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, s. 11-20 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Near optimal adjacency labeling schemes for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 133. (Leibniz International Proceedings in Informatics, Bind 55).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Power law distributions in information retrieval
Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2016, I: A C M Transactions on Information Systems. 34, 2, 37 s., 8.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances
Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 2740-2751 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Some remarks on real numbers induced by first-order spectra
Jakobsen, S. & Simonsen, Jakob Grue, 2016, I: Notre Dame Journal of Formal Logic. 57, 3, s. 355-368 14 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2015
- Udgivet
A confluent rewriting system having no computable, one-step, normalizing strategy
Simonsen, Jakob Grue, 2015, I: ACM Transactions on Computational Logic. 16, 2, 9 s., 10.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
A hierarchical recurrent encoder-decoder for generative context-aware query suggestion
Sordoni, A., Bengio, Y., Vahabi, H., Lioma, Christina, Simonsen, Jakob Grue & Nie, J., 2015, CIKM '15 Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 553-562 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
An exploration of the relation between expectations and user experience
Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, I: International Journal of Human-Computer Interaction. 31, 9, s. 603-617 15 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Entropy and graph based modelling of document coherence using discourse entities: an application to information retrieval
Petersen, C., Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2015, Proceedings of the 2015 International Conference on The Theory of Information Retrieval. Association for Computing Machinery, s. 191-200 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The affordances of broken affordances
Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (red.). Springer, s. 185-202 18 s. (Lecture notes in computer science, Bind 9298).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The impact of using combinatorial optimisation for static caching of posting lists
Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2015, Information retrieval technology: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings. Zuccon, G., Geva, S., Joho, H., Scholer, F., Sun, A. & Zhang, P. (red.). Springer, s. 420-425 6 s. (Lecture notes in computer science, Bind 9460).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a standard testbed for optical music recognition: definitions, metrics, and page images
Byrd, D. & Simonsen, Jakob Grue, 2015, I: Journal of New Music Research. 44, 3, s. 169-195 27 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2014
- Udgivet
An implicit characterization of the polynomial-time decidable sets by cons-free rewriting
de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (red.). Springer Science+Business Media, s. 179-193 15 s. (Lecture notes in computer science, Bind 8560).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Is once enough? on the extent and content of replications in human-computer interaction
Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 3523-3532 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation
Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, s. 157-166 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2013
- Udgivet
An experimental investigation of the normality of irrational algebraic numbers
Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, I: Mathematics of Computation. 82, s. 1837-1858 22 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Comparative study of search engine result visualisation: ranked lists versus graphs
Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (red.). s. 27-30 4 s. (CEUR Workshop Proceedings, Bind 1033).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 12543
Flest downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2508
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2080
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet