Department of Computer Science

  1. 2015
  2. Published

    Evolution equations with anisotropic distributions and diffusion PCA

    Sommer, Stefan Horst, 2015, Geometric science of information: Second International Conference, GSI 2015, Palaiseau, France, October 28–30, 2015, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer Science+Business Media, p. 3-11 9 p. (Lecture notes in computer science, Vol. 9389).

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

  3. Published

    Exploring interactions with physically dynamic bar charts

    Taher, F., Hardy, J., Karnik, A., Weichel, C., Jansen, Y., Hornbæk, Kasper & Alexander, J., 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3237-3246 10 p.

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

  4. Published

    Exploring the challenges of making data physical

    Alexander, J., Jansen, Y., Hornbæk, Kasper, Kildal, J. & Karnik, A., 2015, CHI EA '15: proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2417-2420 4 p.

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

  5. Published

    Fast output-sensitive matrix multiplication

    Jacob, R. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 766-778 13 p. (Lecture notes in computer science, Vol. 9294).

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

  6. Published

    Faster fully-dynamic minimum spanning forest

    Holm, J., Rotenberg, E. & Wulff-Nilsen, Christian, 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 742-753 12 p. (Lecture notes in computer science, Vol. 9294).

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

  7. Published

    Feature extraction and learning using context cue and Rényi entropy based mutual information

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2015, Pattern recognition: applications and methods: 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers. Fred, A., De Marsico, M. & Figueiredo, M. (eds.). Springer, p. 69-88 20 p. (Lecture notes in computer science, Vol. 9493).

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

  8. Published

    Feature-space transformation improves supervised segmentation across scanners

    van Opbroek, A., Achterberg, H. C. & de Bruijne, Marleen, 2015, Machine learning meets medical imaging: First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers. Springer, p. 85-93 9 p. (Lecture notes in computer science, Vol. 9487).

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

  9. Published

    From independence to expansion and back again

    Christiani, T. L., Pagh, R. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 813-820 8 p.

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

  10. Published

    From research prototypes to a marketable eHealth system

    Andersen, Tariq Osman, Kensing, Finn, Kjellberg, L. & Moll, J., 2015, Context sensitive health informatics: many places, many users, many contexts, many uses. Borycki, E. M. (ed.). IOS Press, p. 9-14 6 p. (Studies in Health Technology and Informatics, Vol. 218).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  11. Published

    Functional array streams

    Madsen, F. M., Clifton-Everest, R., Chakravarty, M. M. T. & Keller, G., 2015, Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. Rompf, T. & Mainland, G. (eds.). Association for Computing Machinery, p. 23-34 12 p.

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

  12. Published

    Garbage collection for reversible functional languages

    Mogensen, Torben Ægidius, 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 79-94 16 p. (Lecture notes in computer science, Vol. 9138).

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

  13. Published

    Gazeprojector: accurate gaze estimation and seamless gaze interaction across multiple displays

    Lander, C., Gehring, S., Krüger, A., Boring, S. & Bulling, A., 2015, UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 395-404 10 p.

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

  14. Published

    Generalising tree traversals to DAGs: exploiting sharing without the pain

    Bahr, P. & Axelsson, E., 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 27-38 12 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  15. Published

    Geodesic exponential kernels: when curvature and linearity conflict

    Feragen, A., Lauze, Francois Bernard & Hauberg, S., 2015, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2015). IEEE, p. 3032-3042 11 p.

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

  16. Published

    Hashing for statistics over k-partitions

    Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1292-1310 19 p.

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

  17. Published

    High-school dropout prediction using machine learning: a Danish large-scale study

    Şara, N., Halland, R., Igel, Christian & Alstrup, Stephen, 2015, Proceedings. ESANN 2015: 23rd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 319-324 6 p.

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

  18. Published

    Image registration using stationary velocity fields parameterized by norm-minimizing Wendland kernel

    Pai, A. S. U., Sommer, Stefan Horst, Sørensen, L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, Medical Imaging 2015: Image Processing. SPIE - International Society for Optical Engineering, 7 p. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9413).

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

  19. Published

    Improving coordination of care centers for the elderly through IT support

    Johansen, A. K., Lauridsen, F. V. B., Manea, V., Slavin-Borovskij, K. & Mønsted, T., 2015, CSCW'15 Companion Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, p. 211-214 4 p.

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

  20. Published

    Is moving improving? Some effects of locomotion in wall-display interaction

    Jakobsen, M. R. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4169-4178 10 p.

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

  21. Published

    Joint spatial-depth feature pooling for RGB-D object classification

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2015, Image analysis: 19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015. Proceedings. Paulsen, R. R. & Pedersen, K. S. (eds.). Springer, p. 314-326 13 p. (Lecture notes in computer science, Vol. 9127).

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

  22. Published

    KGSrna: efficient 3D kinematics-based sampling for nucleic acids

    Fonseca, R., van den Bedem, H. & Bernauer, J., 2015, Research in Computational Molecular Biology: 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings. Przytycka, T. (ed.). Springer, p. 80-95 16 p. (Lecture Notes in Bioinformatics).

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

  23. Published

    Klimafesten: A case study of a municipality's intervention to engage citizens in environmentally sustainable actions

    Møllenbach, E. & Hornbæk, Kasper, 2015, Community governance and citizen-driven initiatives in climate change mitigation. Hoff, J. & Gausset, Q. (eds.). Taylor & Francis, p. 215-233 19 p. (Routledge Advances in Climate Change Research).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  24. Published

    Knot detection in X-ray images of wood planks using dictionary learning

    Hansson, N. M., Enescu, A. & Brandt, S. S., 2015, Proceedings of the 14th IAPR International Conference on Machine Vision Applications (MVA). IEEE, p. 497-500 4 p. 7153239

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

  25. Published

    Label stability in multiple instance learning

    Cheplygina, V., Sørensen, L., Tax, D. M. J., de Bruijne, Marleen & Loog, M., 2015, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer, p. 539-546 8 p. (Lecture notes in computer science).

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

  26. Published

    Learning about health and medicine from internet data

    Yom-Tov, E., Cox, Ingemar Johansson & Lampos, V., 2015, Proceedings of the 8th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 417-418 2 p.

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

  27. Published

    Locally orderless registration for diffusion weighted images

    Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015, Proceedings, Part II. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer, p. 305-312 8 p. (Lecture notes in computer science, Vol. 9350).

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

  28. Published

    Longest common extensions in sublinear space

    Bille, P., Gørtz, I. L., Knudsen, M. B. T., Lewenstein, M. & Vildhøj, H. W., 2015, Combinatorial Pattern Matching: 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings. Cicalese, F., Porat, E. & Vaccaro, U. (eds.). Springer, p. 65-76 12 p. (Lecture notes in computer science, Vol. 9133).

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

  29. Published

    More mobile & not so well-connected yet: users' mobility inference model and 6 month field study

    Wac, Katarzyna, Pinar, G., Gustarini, M. & Marchanoff, J., 2015, 2015 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). IEEE, p. 91-99 9 p.

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

  30. Published

    Moving frames for heart fiber reconstruction

    Piuze, E., Sporring, Jon & Siddiqi, K., 2015, Information Processing in Medical Imaging: 24th international conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings. Ourselin, S., Alexander, D. C., Westin, C-F. & Cardoso, M. J. (eds.). Springer, p. 527-539 13 p. (Lecture notes in computer science, Vol. 9123).

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

  31. 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 proceedingArticle in proceedingsResearchpeer-review

  32. Published

    Object classfication from RGB-D images using depth context kernel descriptors

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2015, 2015 IEEE International Conference on Image Processing (ICIP 2015). IEEE, p. 512-516 5 p.

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

  33. Published

    On geodesic exponential kernels

    Feragen, A., Lauze, Francois Bernard & Hauberg, S., 2015, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer, p. 211-213 3 p.

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

  34. Published

    Opportunities and challenges for data physicalization

    Jansen, Y., Dragicevic, P., Isenberg, P., Alexander, J., Karnik, A., Kildal, J., Subramanian, S. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3227-3236 10 p.

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

  35. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 1311-1326 16 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  36. Published

    Perceptions of presence: discursive and embodied experiences in global collaboration

    Lindekilde, R. & Bjorn, Pernille, 2015, ECIS 2015 Proceedings. 17 p.

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

  37. Published

    Planar reachability in linear space and constant time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 370-389 20 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  38. Published

    Population Monte Carlo meets contrastive divergence learning

    Krause, Oswin, Fischer, A. & Igel, Christian, 2015, Machine learning reports: Workshop New Challenges in Neural Computation 2015. Hammer, B., Martinetz, M. & Villmann, T. (eds.). p. 93-94 2 p.

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearchpeer-review

  39. Published

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).

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

  40. Published

    Proxemic-aware controls: designing remote controls for ubiquitous computing ecologies

    Ledo, D., Greenberg, S., Marquardt, N. & Boring, S., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 187-198 12 p.

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

  41. Published

    Quantification and visualization of variation in anatomical trees

    Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  42. Published

    Quicksort, largest bucket, and min-wise hashing with limited independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 828-839 12 p. (Lecture notes in computer science, Vol. 9294).

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

  43. Published

    ReNLoc: an anchor-free localization algorithm for indirect ranging

    Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.

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

  44. Published

    Relevance sampling

    Nielsen, Mads, Markussen, Bo & Loog, M., 2015, Proceedings of the Eight Workshop on Information Theoretic Methods in Science and Engineering. Rissanen, J., Harremoës, P., Forchhammer, S., Roos, T. & Myllymäki, P. (eds.). Department of Computer Science, University of Helsinki , p. 35-38 4 p. (Series of Publications B, Vol. B-2015-1).

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

  45. Published

    Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics

    Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).

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

  46. Published

    Sample(x)=(a*x< =t) is a distinguisher with probability 1/8

    Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1277-1291 15 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  47. Published

    Scalable conditional induction variables (CIV) analysis

    Oancea, Cosmin Eugen & Rauchwerger, L., 2015, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'15). IEEE Computer Society Press, p. 213-224 12 p.

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

  48. Published

    Session types for rust

    Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  49. Published

    Should I stay or should I go? Selecting between touch and mid-air gestures for large-display interaction

    Jakobsen, M. R., Jansen, Y., Boring, S. & Hornbæk, Kasper, 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. (eds.). Springer, p. 455-473 19 p. (Lecture notes in computer science, Vol. 9298).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  50. Published

    Significant subgraph mining with multiple testing correction

    Sugiyama, M., López, F. L., Kasenburg, N. & Borgwardt, K. M., 2015, Proceedings of the 2015 SIAM International Conference on Data Mining. Society for Industrial and Applied Mathematics, p. 37-45 9 p.

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

  51. Published

    Smartphone users mobile networks quality provision and VoLTE intend: six-months field study

    Wac, Katarzyna, Pinar, G., Gustarini, M. & Marchanoff, J., 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a . IEEE, p. 1-9 9 p.

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

  52. Published

    Software defined health

    Wac, Katarzyna & Hausheer, D., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 600-601 2 p.

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

  53. Published

    Spiral toolpaths for high-speed machining of 2d pockets with or without islands

    Abrahamsen, Mikkel, 2015, Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2015. American Society of Mechanical Engineers, Vol. 2B. 10 p. DETC2015-46255

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

  54. Published

    Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies

    Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  55. Published

    Supercompilation for datatypes

    Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).

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

  56. Published

    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. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).

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

  57. Published

    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. (eds.). Springer, p. 420-425 6 p. (Lecture notes in computer science, Vol. 9460).

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

  58. Published

    Towards a domain-specific language for reversible assembly sequences

    Schultz, U. P., Laursen, J. S., Ellekilde, L. & Axelsen, H. B., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 111-126 16 p. (Lecture notes in computer science, Vol. 9138).

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

  59. Published

    Towards a typification of software ecosystems

    Knodel, J. & Manikas, K., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (eds.). Springer, p. 60-65 6 p. (Lecture Notes in Business Information Processing, Vol. 210).

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

  60. Published

    Towards identifying programming expertise with the use of physiological measures

    Kontogiorgos, D. & Manikas, K., 2015, Eye movements in programming: models to data: proceedings of the third international workshop. University of Eastern Finland, p. 10-11 2 p.

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

  61. Published

    Towards standard-based healthcare ecosystems of systems

    Manikas, K., 2015, Proceedings of the 1 st Scandinavian Workshop on the Engineering of Systems - of - Systems (SWESoS 2015). Axelsson, J. (ed.). Swedish ICT, p. 31-33 3 p. (SICS Technical Report, Vol. T2015:04).

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

  62. Published

    Tracko: ad-hoc mobile 3D tracking using bluetooth low energy and inaudible signals for cross-device interaction

    Jin, H., Holz, C. & Hornbæk, Kasper, 2015, Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 147-156 10 p.

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

  63. Published

    Unsupervised behaviour-specific dictionary learning for abnormal event detection

    Ren, H., Liu, W., Olsen, Søren Ingvor, Escalera, S. & Moeslund, T. B., 2015, Proceedings of the British Machine Vision Conference 2015. Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA, p. 28.1-28.13 13 p.

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

  64. Published

    What to study in HCI?

    Hornbæk, Kasper, Oulasvirta, A., Reeves, S. & Bødker, S., 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2385-2388 4 p.

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

  65. Published

    Why does synthesized data improve multi-sequence classification?

    van Tulder, G. & de Bruijne, Marleen, 2015, Medical image computing and computer assisted interventions - MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 531-538 8 p. (Lecture notes in computer science, Vol. 9349).

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

  66. Published

    iSenseStress: assessing stress through human-smartphone interaction analysis

    Ciman, M., Wac, Katarzyna & Gaggi, O., 2015, 2015 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth). IEEE, p. 84-91 8 p.

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

  67. 2014
  68. Published

    A framework for data mining in wind power time series

    Kramer, O., Gieseke, Fabian Cristian, Heinermann, J., Poloczek, J. & Treiber, N. A., 2014, Data analytics for renewable energy integration: Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Woon, W. L., Aung, Z. & Madnick, S. (eds.). Springer, p. 97-107 (Lecture notes in computer science, Vol. 8817).

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

  69. Published

    A short survey on decision making for task migrations in mobile cloud environments

    Zhang, W., Tan, S. & Hansen, K. M., 2014, 2014 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI). IEEE, p. 64-67 4 p.

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

  70. Published

    Additive spanners: a simple construction

    Knudsen, M. B. T., 2014, Algorithm theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 277-281 5 p. (Lecture notes in computer science, Vol. 8503).

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

  71. Published

    Alignment of concerns: a design rationale for patient participation in eHealth

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2014, 2014 47th Hawaii International Conference on System Sciences (HICSS). IEEE, p. 2587-2596 10 p.

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

  72. Published

    An evaluation of dynamic labeling schemes for tree networks

    Rotbart, N. G., Vaz Salles, M. A. & Zotos, I., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings. Gudmundsson, J. & Katajainen, J. (eds.). Springer, p. 199-210 12 p. (Lecture notes in computer science, Vol. 8504).

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

  73. Published

    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. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

  74. Published

    Analysing the distribution of synaptic vesicles using a spatial point process model

    Khanmohammadi, M., Waagepetersen, R., Nava, N., Nyengaard, J. & Sporring, Jon, 2014, Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, p. 73-78 6 p.

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

  75. Published

    Applications of health information exchange information to public health practice

    Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, AMIA Annual symposium proceedings. American Medical Informatics Association, p. 795-804 10 p. (AMIA Annual Symposium Proceedings, Vol. 2014).

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

  76. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2014, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

  77. Published

    Approximately minwise independence with twisted tabulation

    Dahlgaard, S. & Thorup, Mikkel, 2014, Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 134-145 12 p. (Lecture notes in computer science, Vol. 8503).

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

  78. Published

    Automatic FDG-PET-based tumor and metastatic lymph node segmentation in cervical cancer

    Rodríguez Arbonès, D., Jensen, H. G., Loft, A., af Rosenschöld, P. M., Hansen, A. E., Igel, Christian & Darkner, Sune, 2014, Medical Imaging 2014: Image Processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 8 p. 903441. (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).

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

  79. Published

    Bounds checking: an instance of hybrid analysis

    Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.

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

  80. Published

    Breast tissue segmentation and mammographic risk scoring using deep learning

    Petersen, P. K., Nielsen, Mads, Diao, P., Karssemeijer, N. & Lillholm, Martin, 2014, Breast imaging: 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 – July 2, 2014. Proceedings. Fujita, H., Hara, T. & Muramatsu, C. (eds.). Springer Science+Business Media, p. 88-94 7 p. (Lecture notes in computer science, Vol. 8539).

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

  81. Published

    Buffer k-d trees: processing massive nearest neighbor queries on GPUs

    Gieseke, Fabian Cristian, Heinermann, J., Oancea, Cosmin Eugen & Igel, Christian, 2014, Proceedings of the 31st International Conference on Machine Learning, Beijing, China, 2014. 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 32).

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

  82. Published

    Classification of COPD with multiple instance learning

    Cheplygina, V., Sørensen, L. E. B. L., Tax, D., Pedersen, J. J. H., Loog, M. & de Bruijne, Marleen, 2014, 22nd International Conference on Pattern Recognition (ICPR) 2014. IEEE, p. 1508-1513 6 p. (International Conference on Pattern Recognition).

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

  83. Published

    Coloring 3-colorable graphs with o(n 1/5) colors

    Kawarabayashi, K. & Thorup, Mikkel, 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Mayr, E. W. & Portier, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 458-469 12 p. (Leibniz International Proceedings in Informatics, Vol. 25).

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

  84. Published

    Compiling a subset of APL into a typed intermediate language

    Elsman, Martin & Dybdal, M., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, p. 101-106 6 p.

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

  85. Published

    Composing and decomposing data types: a closed type families implementation of data types à la carte

    Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 71-82 12 p.

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

  86. Published

    Correction of dental artifacts within the anatomical surface in PET/MRI using active shape models and k-nearest-neighbors

    Ladefoged, C. N., Andersen, F. L., Keller, S. H., Beyer, T., Højgaard, Liselotte & Lauze, Francois Bernard, 2014, Proceedings of SPIE Medical Imaging 2014: Image processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 7 p. 90341M. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9034). (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).

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

  87. Published

    Dark patterns in proxemic interactions: a critical perspective

    Greenberg, S., Boring, S., Vermeulen, J. & Dostal, J., 2014, Proceedings of the 2014 conference on Designing Interactive Systems. Association for Computing Machinery, p. 523-532 10 p.

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

  88. Published

    Declarative cartography: in-database map generalization of geospatial datasets

    Kefaloukos, P. K. B., Vaz Salles, M. A. & Zachariasen, M., 2014, Proceedings of the 2014 IEEE 30th International Conference on Data Engineering: ICDE 2014. IEEE, p. 1024-1035 12 p.

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

  89. Published

    Dementia diagnosis using MRI cortical thickness, shape, texture, and volumetry

    Sørensen, L., Pai, A. S. U., Anker, C., Balas, I., Lillholm, Martin, Igel, Christian & Nielsen, Mads, 2014, MICCAI 2014 Workshop Proceedings: Challenge on Computer-Aided Diagnosis of Dementia Based on Structural MRI Data. Bron, E. E., Smits, M., van Swieten, J. C., Niessen, W. J. & Klein, S. (eds.). Erasmus Universiteit Rotterdam, p. 111-118 8 p.

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

  90. Published

    Designing usable web forms- Empirical evaluation of web form improvement guidelines

    Seckler, M., Heinz, S., Bargas-Avila, J. A., Opwis, K. & Tuch, A. N., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 1275-1284 10 p.

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

  91. Published

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).

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

  92. Published

    Dynamic and multi-functional labeling schemes

    Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2014, Algorithms and Computation: 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer, p. 141-153 13 p. (Lecture notes in computer science).

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

  93. Published

    Estimating the thickness of ultra thin sections for electron microscopy by image statistics

    Sporring, Jon, Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R. & Jensen, E. B. V., 2014, 2014 IEEE International Symposium on Biomedical Imaging. IEEE, p. 157-160 4 p.

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

  94. Published

    Evaluating the governance model of hardware-dependent software ecosystems - a case study of the axis ecosystem

    Wnuk, K., Manikas, K., Runeson, P., Lantz, M., Weijden, O. & Munir, H., 2014, Software business. Towards continuous value delivery: 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014. Proceedings. Lassenius, C. & Smolander, K. (eds.). Springer, p. 212-226 15 p. (Lecture Notes in Business Information Processing, Vol. 182).

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

  95. Published

    Expressive touch: studying tapping force on tabletops

    Pedersen, E. W. & Hornbæk, Kasper, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 421-430 10 p.

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

  96. Published

    Faster separators for shallow minor-free graphs via dynamic approximate distance oracles

    Wulff-Nilsen, Christian, 2014, Automata, languages, and programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E. (eds.). Springer, p. 1063-1074 12 p. (Lecture notes in computer science, Vol. 8572).

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

  97. Published

    Finite element modeling of the vocal folds with deformable interface tracking

    Granados, A., Brunskog, J., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014, Forum Acusticum. European Acoustics Association, 9 p.

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

  98. Published

    Governance mechanisms for healthcare apps

    Manikas, K., Hansen, K. M. & Kyng, M., 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops. Association for Computing Machinery, p. 10:1-10:6 6 p. 10

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

  99. Published

    Grassmann averages for scalable robust PCA

    Hauberg, S., Feragen, A. & Black, M. J., 2014, Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition: CVPR 2014. IEEE, p. 3810-3817 8 p. (I E E E Conference on Computer Vision and Pattern Recognition. Proceedings, Vol. 2014).

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

  100. Published

    Hover Pad: interacting with autonomous and self-actuated displays in space

    Seifert, J., Boring, S., Winkler, C., Schaub, F., Schwab, F., Herrdum, S., Maier, F., Mayer, D. & Rukzio, E., 2014, Proceedings of the 27th annual ACM symposium on User Interface Software and Technology. Association for Computing Machinery, p. 139-147 9 p.

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

  101. Published

    Improving the performance of photometric regression models via massive parallel feature selection

    Polsterer, K. L., Gieseke, Fabian Cristian, Igel, Christian & Goto, T., 2014, Astronomical Data Analysis Software and Systems XXIII. Manset, N. & Forshay, P. (eds.). Astronomical Society of the Pacific, Vol. 485. p. 425-428 4 p. (Astronomical Society of the Pacific. Conference Proceedings, Vol. 485).

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

  102. Published

    Investigating situated use of the MUST method

    Bødker, K., Kensing, Finn & Simonsen, J., 2014, Situated design methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). MIT Press, p. 59-76 18 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review