Department of Computer Science

  1. 2016
  2. Published

    Heavy hitters via cluster-preserving clustering

    Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, Mikkel, 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science. IEEE, p. 61-70 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Improving historical spelling normalization with bi-directional LSTMs and multi-task learning

    Bollman, M. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 131-139 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    In due time: decision-making in architectural design of hospitals

    Møller, Naja Holten & Bjorn, Pernille, 2016, COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, Vol. 1. p. 191-206 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Incremental exact min-cut in poly-logarithmic amortized update time

    Goranci, G., Henzinger, M. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 46. (Leibniz International Proceedings in Informatics, Vol. 57).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Inferring the socioeconomic status of social media users based on behaviour and language

    Lampos, V., Aletras, N., Geyti, J. K., Zou, B. & Cox, Ingemar Johansson, 2016, Advances in Information Retrieval: 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20–23, 2016. Proceedings. Ferro, N., Crestani, F., Moens, M-F., Mothe, J., Silvestri, F., Di Nunzio, G. M., Hauff, C. & Silvello, G. (eds.). Springer, p. 689-695 7 p. (Lecture notes in computer science, Vol. 9626).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Initial ideas for automatic design and verification of control logic in reversible HDLs: work in progress report

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 160-166 7 p. (Lecture notes in computer science, Vol. 9720).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  8. Published

    Integrated optimization of long-range underwater signal detection, feature extraction, and classification for nuclear treaty monitoring

    Tuma, M., Rørbech, V., Prior, M. K. & Igel, Christian, 2016, In: IEEE Transactions on Geoscience and Remote Sensing. 54, 6, p. 3649-3659 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Interaction graphs: full linear logic

    Seiller, T., 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, Vol. 05-08-July-2016. p. 427-436 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Introduction to Valentin Turchin’s cybernetic foundation of mathematics

    Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 26-31

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. Published

    Invisiboard: maximizing display and input space with a full screen text entry method for smartwatches

    Mottelson, A., Larsen, C. W., Larsen, M. O. L., Strohmeier, P. & Knibbe, J. M., 2016, Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 53-59 7 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review