Department of Computer Science

Read more
201 - 300 out of 824Page size: 100
  1. 2017
  2. Published

    Loop quasi-invariant chunk detection

    Moyen, J., Rubiano, T. & Seiller, T., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (eds.). Springer, p. 91-108 18 p. (Lecture notes in computer science, Vol. 10482).

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

  3. Published

    Loop quasi-invariant chunk motion by peeling with statement composition

    Moyen, J., Rubiano, T. & Seiller, T., 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 47-59 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

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

  4. Published

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  5. Published

    Massively-parallel best subset selection for ordinary least-squares regression

    Gieseke, F., Polsterer, K. L., Mahabal, A., Igel, Christian & Heskes, T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.

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

  6. Published

    Minimum perimeter-sum partitions in the plane

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 77).

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

  7. Published

    Minor-free graphs have light spanners

    Borradaile, G., Le, H. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 767-778 12 p.

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

  8. Published

    Model playground for autistic children: teaching social skills through tangible collaboration

    Castro, T., Castro, A., Lima, D. & Bjorn, Pernille, 2017, 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT). IEEE, p. 441-445 5 p.

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

  9. Published

    Multi-Task Learning of Keyphrase Boundary Classification

    Augenstein, Isabelle & Søgaard, Anders, 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics : (Short Papers). Barzilay, R. & Kan, M-Y. (eds.). Association for Computational Linguistics, Vol. 2. p. 341-346 6 p.

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

  10. Published

    Multileaving for online evaluation of rankers

    Brost, B., 2017, Proceedings of the 1st International Workshop on LEARning Next gEneration Rankers co-located with the 3rd ACM International Conference on the Theory of Information Retrieval (ICTIR 2017). Ferro, N., Lucchese, C., Maistro, M. & Perego, R. (eds.). CEUR-WS.org, 2 p. (CEUR Workshop Proceedings, Vol. 2007).

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

  11. Published

    Near-Optimal Induced Universal Graphs for Bounded Degree Graphs

    Abrahamsen, Mikkel, Alstrup, Stephen, Holm, Jacob, Knudsen, M. B. T. & Stöckel, M., 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 201. Chatzigiannaki, I., Indyk, P., Kuhn, F. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-14 128. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 80).

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

  12. Published

    Open Design at the Intersection of Making and Manufacturing

    Green, D., Fuchsberger, V., Kirk , D., Taylor, N., Chatting, D., Meissner, J., Murer, M., Tscheligi, M., Lindtner, S., Bjorn, Pernille & Reiter, A., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 542-549 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Research

  13. Published

    Parsing Universal Dependencies without training

    Martinez Alonso, H., Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Vol. 1. p. 230-240 11 p.

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

  14. Published

    Placing and recalling virtual items on the skin

    Bergström, Joanna, Boring, S. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1497-1507 11 p.

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

  15. Published

    Practical hash functions for similarity estimation and dimensionality reduction

    Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  16. Published

    Preface

    Lauze, Francois Bernard, Dong, Y. & Dahl, A. B., 2017, 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, Kolding, 4 June 2017 - 8 June 2017. Springer, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10302 LNCS).

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

  17. Published

    Publishing E-RDF linked data for many agents by single third-party server

    Wang, D., Zhang, Y., Wang, Z. & Chen, T., 2017, Semantic Technology: 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Wang, Z., Turhan, A-Y., Wang, K. & Zhang, X. (eds.). Springer, p. 151-163 13 p. (Lecture notes in computer science, Vol. 10675).

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

  18. Published

    Qualitative and quantitative assessment of step size adaptation rules

    Krause, Oswin, Glasmachers, T. & Igel, Christian, 2017, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 139-148 10 p.

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

  19. Published

    Range-clustering queries

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 5. (Leibniz International Proceedings in Informatics, Vol. 77).

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

  20. Published

    Representation learning for cross-modality classification

    Tulder, G. V. & de Bruijne, Marleen, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (eds.). Springer, p. 126-136 11 p. (Lecture notes in computer science, Vol. 10081).

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

  21. Published

    Rigid body contact problems using proximal operators

    Erleben, Kenny, 2017, Proceedings of the ACM SIGGRAPH / Eurographics Symposium on Computer Animation. Association for Computing Machinery, 12 p. 13

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

  22. Published

    SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients

    Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 444-447 4 p.

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

  23. Published

    Seasonal Web Search Query Selection for Influenza-Like Illness (ILI) Estimation

    Hansen, N. D., Mølbak, K., Cox, Ingemar Johansson & Lioma, Christina, 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 1197-1200

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

  24. Published

    Second Skin: an exploration of eTextile stretch circuits on the body

    Freire, R., Honnet, C. & Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 653-658 6 p.

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

  25. Published

    Segmentation of intracranial arterial calcification with deeply supervised residual dropout networks

    Bortsova, G., van Tulder, G., Dubost, F., Peng, T., Navab, N., van der Lugt, A., Bos, D. & de Bruijne, Marleen, 2017, Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Descoteaux, M., Maier-Hein, L., Franz, A., Jannin, P., Collins, D. L. & Duchesne, S. (eds.). Springer, p. 356-364 9 p. (Lecture notes in computer science, Vol. 10435).

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

  26. Published

    Smart city analytics: ensemble-learned prediction of citizen home care

    Hansen, C., Hansen, C., Alstrup, Stephen & Lioma, Christina, 2017, Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2098 4 p.

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

  27. Published

    Spherical convolutions and their application in molecular modelling

    Boomsma, Wouter & Frellsen, J., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  28. Published

    Spikes as Regularizers

    Søgaard, Anders, 2017, ESANN 2017 - Proceedings: 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. ESANN , p. 371-376 6 p. (arXiv.org).

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

  29. Published

    Stochastic development regression on non-linear manifolds

    Kühnel, L. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 53-64 12 p. (Lecture notes in computer science, Vol. 10265).

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

  30. Published

    Stochastic development regression using method of moments

    Kühnel, L. & Sommer, Stefan Horst, 2017, Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer, p. 3-11 9 p. (Lecture notes in computer science, Vol. 10589).

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

  31. Published

    Strategies for regular segmented reductions on GPU

    Larsen, R. W. & Henriksen, Troels, 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.

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

  32. Published

    Taking action in a changing world: research and community

    Fiesler, C., Anthony, L., Strohmeier, P., Fussell, S. & Mark, G., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1368-1371 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Research

  33. Published

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

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

  34. Published

    The Hackerspace manifested as a DIY-IoT Entity: shaping and protecting the identity of the community

    Lundbjerg Hansen, E., Pflug von der Osten, J., Kanto , R. & Bjorn, Pernille, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work - exploratory papers. European Society for Socially Embedded Technologies, p. 205-221 17 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

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

  35. Published

    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. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).

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

  36. Published

    Theory transfers? : social theory & CSCW research

    Wagenknecht, S., Erickson, I., Østerlund, C., Mazmanian, M. & Bjorn, Pernille, 2017, Companion of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 371-376 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Research

  37. Published

    Thistle detection

    Olsen, Søren Ingvor, Nielsen, J. & Rasmussen, Jesper, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part II. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part II. p. 413-425 13 p. (Lecture notes in computer science, Vol. 10270).

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

  38. Published

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  39. Published

    Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries

    Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, p. 773-774

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

  40. Published

    Understanding patient experience: a deployment study in cardiac remote monitoring

    Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.

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

  41. Published

    Using gaze to predict text readability

    Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443

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

  42. Published

    Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

    Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.

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

  43. Published

    What Is Interaction?

    Hornbæk, Kasper & Oulasvirta, A., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5040-5052

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

  44. 2016
  45. Published

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

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

  46. Published

    A study of factuality, objectivity and relevance: three desiderata in large-scale information retrieval?

    Lioma, Christina, Larsen, B., Lu, W. & Huang, Y., 2016, Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. Association for Computing Machinery, p. 107-117 11 p.

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

  47. Published

    APL on GPUs: a TAIL from the Past, scribbled in Futhark

    Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.

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

  48. Published

    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, p. 2005-2008 4 p.

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

  49. Published

    Airports and railways: facility location meets network design

    Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  50. Published

    All-pairs minimum cuts in near-linear time for surface-embedded graphs

    Borradaile, G., Eppstein, D., Nayyeri, A. & Wulff-Nilsen, Christian, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. (Leibniz International Proceedings in Informatics, Vol. 51).

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

  51. Published

    An affect detection technique using mobile commodity sensors in the wild

    Mottelson, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 781-792 12 p.

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

  52. Published

    An evaluation of shape changes for conveying emotions

    Strohmeier, P., Carrascal, J. P., Cheng, B., Meban, M. & Vertegaal, R., 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3781-3792 12 p.

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

  53. Published

    An improved multileaving algorithm for online ranker evaluation

    Brost, B., Cox, Ingemar Johansson, Seldin, Yevgeny & Lioma, Christina, 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval: SIGIR '16. Association for Computing Machinery, p. 745-748 4 p.

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

  54. Published

    An in-depth study of sparse codes on abnormality detection

    Ren, H., Pan, H., Olsen, Søren Ingvor, Jensen, M. B. & Moeslund, T. B., 2016, 2016 13th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS). IEEE, p. 66-72 7 p. 7738016

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

  55. Published

    Approximate distance oracles for planar graphs with improved query time-space tradeoff

    Wulff-Nilsen, Christian, 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ed.). Association for Computing Machinery, p. 351-362 12 p.

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

  56. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). Springer, p. 94-97 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  57. Published

    Balancing priorities: a field study of coordination in distributed elder care

    Mønsted, T., Johansen, A. K., Lauridsen, F. V. B., Manea, V. & Slavin-Borovskij, K., 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE, p. 970-978 9 p. 7427301

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

  58. Published

    Boosting reversible pushdown machines by preprocessing

    Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 89-104 16 p. (Lecture notes in computer science, Vol. 9720).

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

  59. Published

    Bottleneck paths and trees and deterministic graphical games

    Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-13 13 p. 27. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  60. Published

    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, p. 39-41 3 p.

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

  61. Published

    CMA-ES with optimal covariance update and storage complexity

    Krause, Oswin, Rodríguez Arbonès, D. & Igel, Christian, 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., Sugiyama, M., Luxburg, U. V., Guyon, I. & Garnett, R. (eds.). Curran Associates, Inc., p. 370-378 9 p.

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

  62. Published

    Combining the boundary shift integral and tensor-based morphometry for brain atrophy estimation

    Michalkiewicz, M. D., Pai, A. S. U., Leung, K. K., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2016, Medical imaging 2016: Image processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 6 p. 978406. (Progress in Biomedical Optics and Imaging).

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

  63. Published

    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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).

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

  64. Published

    Computational artifacts: interactive and collaborative computing as an integral feature of work practice

    Schmidt, K. & Bansler, Jørgen P., 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, p. 21-38 18 p.

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

  65. Published

    Cross-lingual transfer of correlations between parts of speech and gaze features

    Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.

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

  66. Published

    Deriving consistent GSM schemas from DCR graphs

    Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).

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

  67. Published

    Design and GPGPU performance of Futhark's redomap construct

    Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.

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

  68. Published

    Designing information visualizations for elite soccer children's different levels of comprehension

    Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13

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

  69. Published

    Developing an ecosystem for interactive electronic implants

    Strohmeier, P., Honnet, C. & von Cyborg, S., 2016, Biomimetic and Biohybrid Systems: 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings. Lepora, N. F., Mura, A., Mangan, M., Verschure, P. F. M. J., Desmulliez, M. & Prescott, T. J. (eds.). Springer, p. 518-525 8 p. (Lecture notes in computer science, Vol. 9793).

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

  70. Published

    Digital sound de-localisation as a game mechanic for novel bodily play

    Tiab, J., Rantakari, J., Halse, M. L. & Mitchell, R., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 6 p. 109

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

  71. Published

    Distance labeling schemes for trees

    Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).

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

  72. Published

    Early experiences with crowdsourcing airway annotations in chest CT

    Cheplygina, V., Perez-Rovira, A., Kuo, W., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, Deep Learning and Data Labeling for Medical Applications: First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. Carneiro, G., Mateus, D., Peter, L., Bradley, A., Tavares, J. M. R. S., Belagiannis, V., Papa, J. P., Nascimento, J. C., Loog, M., Lu, Z., Cardoso, J. S. & Cornebise, J. (eds.). Springer, p. 209-218 10 p. (Lecture notes in computer science, Vol. 10008).

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

  73. Published

    Elements of a reversible object-oriented language: work-in-progress report

    Schultz, U. P. & Axelsen, H. B., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 153-159 7 p. (Lecture notes in computer science, Vol. 9720).

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

  74. Published

    Eliciting mid-air gestures for wall-display interaction

    Wittorf, M. L. & Jakobsen, M. R., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 3

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

  75. Published

    Energy saving approaches for video streaming on smartphone based on QoE modeling

    Ballesteros, L. G. M., Ickin, S., Fiedler, M., Markendahl, J., Tollmar, K. & Wac, Katarzyna, 2016, 2016 13th IEEE Annual Consumer Communications and Networking Conference (CCNC 2016). IEEE, p. 103-106 4 p.

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

  76. Published

    Ensemble learned vaccination uptake prediction using web search queries

    Hansen, N. D., Lioma, Christina & Mølbak, K., 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. IEEE, p. 1953-1956 4 p.

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

  77. Published

    Evolutionary kernel learning

    Igel, Christian, 2016, Encyclopedia of machine learning and data mining. Sammut, C. & Webb, G. I. (eds.). Springer, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  78. Published

    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, p. 11-20 10 p.

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

  79. Published

    Exploring bodies, mediation and points of view using a robotic avatar

    Strohmeier, P., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 663-668 6 p.

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

  80. Published

    Extraction of airway trees using multiple hypothesis tracking and template matching

    Selvan, Raghav, Petersen, Jens, Pedersen, J. J. H. & de Bruijne, Marleen, 2016, The Sixth International Workshop on Pulmonary Image Analysis: Athens, Greece - October 21, 2016. Beichel, R. R., Farahani, K., Jacobs, C., Kabus, S., Kiraly, A. P., Kuhnigk, J-M., McClelland, J. R., Mori, K., Petersen, J. & Rit, S. (eds.). Create Space Independent Publishing Platform, p. 43-54 12 p.

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

  81. Published

    Fabrication & HCI: hobbyist making, industrial production, and beyond

    Fuchsberger, V., Murer, M., Tscheligi, M., Lindtner, S., Bardzell, S., Bardzell, J., Reiter, A. & Bjorn, Pernille, 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3550-3557 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Research

  82. Published

    Fast and effective multi-objective optimisation of submerged wave energy converters

    Rodríguez Arbonès, D., Ding, B., Sergiienko, N. Y. & Wagner, M., 2016, Parallel Problem Solving from Nature – PPSN XIV: 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings. Handl, J., Hart, E., Lewis, P. R., López-Ibáñez, M., Ochoa, G. & Paechter, B. (eds.). Springer, p. 675-685 11 p. (Lecture notes in computer science, Vol. 9921).

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

  83. Published

    Fast and powerful hashing using tabulation

    Thorup, Mikkel, 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Lal, A., Akshay, S., Saurabh, S. & Sen, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 p. 1. (Leibniz International Proceedings in Informatics, Vol. 65).

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

  84. Published

    Faster deterministic fully-dynamic graph connectivity

    Wulff-Nilsen, Christian, 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). Springer, p. 738-741 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  85. Published

    Faster worst case deterministic dynamic connectivity

    Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 53:1-53:15 15 p. 53. (Leibniz International Proceedings in Informatics, Vol. 57).

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

  86. Published

    Finding significantly connected voxels based on histograms of connection strengths

    Kasenburg, N., Pedersen, M. V. & Darkner, Sune, 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 7 p. 978431. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

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

  87. Published

    Finding the maximum subset with bounded convex curvature

    Abrahamsen, Mikkel & Thorup, Mikkel, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 4. (Leibniz International Proceedings in Informatics, Vol. 51).

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

  88. Published

    Fusion of parallel array operations

    Kristensen, M. R. B., Lund, S. A. F., Blum, T. & Avery, James Emil, 2016, PACT' 16: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation. Association for Computing Machinery, p. 71-85 15 p.

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

  89. Published

    GeckoFTL: Scalable Flash Translation Techniques For Very Large Flash Devices.

    Dayan, N., Bonnet, Philippe & Idreos, S., 2016, SIGMOD Conference. p. 327-342 16 p.

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

  90. Published

    Global software development: exploring multiplicity and asymmetric dynamics in collaborative work

    Matthiesen, S., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 163-166 4 p.

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

  91. Published

    Graph reconstruction with a betweenness oracle

    Abrahamsen, Mikkel, Bodwin, G., Rotenberg, E. & Stöckel, M. D., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:14 14 p. 5. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  92. Published

    HCI research as problem-solving

    Oulasvirta, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4956-4967 12 p.

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

  93. Published

    Happy moves, sad grooves: using theories of biological motion and affect to design shape-changing interfaces

    Tan, H., Tiab, J. S. S., Šabanović, S. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, p. 1282-1293 12 p.

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

  94. 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 proceeding › Article in proceedings › Research › peer-review

  95. 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 proceeding › Article in proceedings › Research › peer-review

  96. 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 proceeding › Article in proceedings › Research › peer-review

  97. 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 proceeding › Article in proceedings › Research › peer-review

  98. 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 proceeding › Article in proceedings › Research › peer-review

  99. 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 proceeding › Article in proceedings › Research › peer-review

  100. 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 proceeding › Article in proceedings › Research › peer-review

  101. 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 proceeding › Article in proceedings › Research › peer-review

  102. 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 proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 7 8 9 Next