Department of Computer Science

Read more
1001 - 1500 out of 1,702Page size: 500
  1. 2015
  2. Published

    Reply: Excess risk of cancer from computed tomography scan is small but not so low as to be incalculable

    Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 192, 11, p. 1397-1399 3 p.

    Research output: Contribution to journal › Journal article › Research

  3. Published

    Reversibility of trapped air on chest computed tomography in cystic fibrosis patients

    Loeve, M., Rosenow, T., Gorbunova, V., Hop, W. C. J., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2015, In: European Journal of Radiology. 84, 6, p. 1184-1190 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

  7. Published

    Serum AMH levels are lower in healthy boys who develop pubertal gynaecomastia

    Mieritz, M. G., Hagen, C. P., Almstrup, Kristian, Petersen, Jørgen Holm, Raket, L. L., Sommer, Stefan Horst & Juul, A., 2015, In: Hormone Research in Paediatrics. 84, Supplement 1, p. 290-291 2 p., P2-526.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  8. 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 proceeding › Book chapter › Research › peer-review

  9. 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 proceeding › Book chapter › Research › peer-review

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

  11. Published

    Similarity-Based pattern recognition

    Feragen, A. (ed.), Pelillo, M. (ed.) & Loog, M. (ed.), 2015, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9370).

    Research output: Book/Report › Book › Research › peer-review

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

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

  14. Published

    Solving uncalibrated photometric stereo using total variation

    Quéau, Y., Lauze, Francois Bernard & Durou, J., 2015, In: Journal of Mathematical Imaging and Vision. 52, 1, p. 87-107 21 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  16. Published

    Standardized evaluation of algorithms for computer-aided diagnosis of dementia based on structural MRI: The CADDementia challenge

    Bron, E. E., Smits, M., van der Flier, W. M., Vrenken, H., Barkhof, F., Scheltens, P., Papma, J. M., Steketee, R. M. E., Méndez Orellana, C., Meijboom, R., Pinto, M., Meireles, J. R., Garrett, C., Bastos-Leite, A. J., Abdulkadir, A., Ronneberger, O., Amoroso, N., Bellotti, R., Cárdenas-Peña, D., Álvarez-Meza, A. M. & 30 others, Dolph, C. V., Iftekharuddin, K. M., Eskildsen, S. F., Coupé, P., Fonov, V. S., Franke, K., Gaser, C., Ledig, C., Guerrero, R., Tong, T., Gray, K. R., Moradi, E., Tohka, J., Routier, A., Durrleman, S., Sarica, A., Di Fatta, G., Sensi, F., Chincarini, A., Smith, G. M., Stoyanov, Z. V., Sørensen, L. E. B. L., Nielsen, Mads, Tangaro, S., Inglese, P., Wachinger, C., Reuter, M., van Swieten, J. C., Niessen, W. J. & Klein, S., 2015, In: NeuroImage. 111, p. 562-579 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  17. Published

    Statistical Modelling of Synaptic Vesicles Distribution and Analysing their Physical Characteristics

    Khanmohammadi, M., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

    Research output: Book/Report › Ph.D. thesis › Research

  18. 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 proceeding › Book chapter › Research › peer-review

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

  20. Published

    Template-Guided Ionic Self-Assembled Molecular Materials and Thin Films with Nanoscopic Order

    Santella, M., Amini, F., Andreasen, K. B., Aswad, D. S., Ausar, H., Austin, L. M., Bora, I., Boye, I. M. I., Brinkenfeldt, N. K., Boe, M. F., Cakmak, E., Catovic, A., Christensen, J. M., Dalgaard, J. H., Danielsen, H. M. D., El Bouyahyaoui, A. H., El Dib, S. E. H., El Khaiyat, B., Farooq, I., Fjellerup, F. K. & 43 others, Frederiksen, G. W., Frederiksen, Henriette Reventlow S, Gleerup, D., Gold, M., Gruber, M. F., Gylling, M., Heidari, V., Herzberg, M., Holgaard, U. L. D., Hundahl, A. C., Hviid, R., Hohling, J. S., Abd Issa, F. Z., Jakobsen, N. R., Jakobsen, R. K., Jensen, B. L., Jensen, P. W. K., Juelsholt, M., Liao, Z., Le, C. L., Mayanja, I. F., Moustafa, H., Moller, C. B. B., Nielsen, C. L., Nielsen, M. R. J. E. H., Nielsen, S. S. -., Olsen, M. J., Paludan, B. D., Prestholm, I., Qoqaj, I., Riel, C. B., Rostgaard, T. V., Saleh, N., Schultz, H. M., Standland, M., Svenningsen, J. S., Sorensen, R. T., Visby, J., Wolff-Sneedorff, E. L., Zachariassen, M. H., Ziari, E. A., Sorensen, H. O. & Sørensen, Thomas Just, 2015, In: ChemNanoMat. 1, 4, p. 253-258 6 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  23. Published

    The multiple intersecting sites of design in CSCW research

    Bjorn, Pernille & Boulus-Rødje, N., 2015, In: Computer Supported Cooperative Work. 24, 4, p. 319-351 33 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  24. Published

    Thematic series on software engineering from a social network perspective

    Gerosa, M. A., Redmiles, D., Bjorn, Pernille & Sama, A., 2015, In: Journal of Internet Services and Applications. 6, 5 p., 23.

    Research output: Contribution to journal › Editorial › Research › peer-review

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

  26. Published

    Towards a standard testbed for optical music recognition: definitions, metrics, and page images

    Byrd, D. & Simonsen, Jakob Grue, 2015, In: Journal of New Music Research. 44, 3, p. 169-195 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

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

  31. Published

    Transfer learning improves supervised image segmentation across imaging protocols

    van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2015, In: IEEE Transactions on Medical Imaging. 34, 5, p. 1018-1030 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  32. Published

    Triposes, q-toposes and toposes

    Frey, J., 2015, In: Annals of Pure and Applied Logic. 166, 2, p. 232-259 28 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  33. Published

    Type families with class, type classes with family

    Serrano, A., Hage, J. & Bahr, P., 2015, In: ACM SIGPLAN Notices. 50, 12, p. 129-140 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  34. Published

    Universets big data

    Stensbo-Smidt, K., 2015, Naturen i computeren. Det Natur- og Biovidenskabelige Fakultet, Københavns Universitet, p. 14-15 2 p. (Temahæfte, Vol. 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education

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

  36. Published

    Validation of tractography: comparison with manganese tracing

    Knösche, T. R., Anwander, A., Liptrot, M. G. & Dyrby, T. B., 2015, In: Human Brain Mapping. 36, 10, p. 4116-4134 19 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  37. Published

    We must be more wrong in HCI research

    Hornbæk, Kasper, 2015, In: interactions. 22, 6, p. 20-21 2 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  38. Published

    Weighting training images by maximizing distribution similarity for supervised segmentation across scanners

    van Opbroek, A., Vernooij, M. W., Ikram, M. A. & de Bruijne, Marleen, 2015, In: Medical Image Analysis. 24, 1, p. 245-254 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

  42. Published

    Opfront: mesh

    Petersen, Jens, 16 Aug 2015

    Research output: Non-textual form › Computer programme › Research

  43. Published

    Interpretation and programming of the reversible functional language RFUN

    Thomsen, Michael Kirkedal & Axelsen, H. B., 14 Sep 2015, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015. Association for Computing Machinery, Inc., 13 p. 8. (ACM International Conference Proceeding Series, Vol. 14-16-September-2015).

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

  44. 2016
  45. Published

    2016 POPL impressions

    Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

    Research output: Contribution to journal › Comment/debate › Research

  46. Published

    A batch algorithm for estimating trajectories of point targets using expectation maximization

    Rahmathullah, A., Selvan, Raghav & Svensson, L., 2016, In: IEEE Transactions on Signal Processing. 64, 18, p. 4792-4804 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  48. Published

    A psychophysical investigation of size as a physical variable

    Jansen, Y. & Hornbæk, Kasper, 2016, In: I E E E Transactions on Visualization and Computer Graphics. 22, 1, p. 479-488 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  50. Published

    A synthetic axiomatization of Map Theory

    Berline, C. & Grue, Klaus, 2016, In: Theoretical Computer Science. 614, p. 1-62 62 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  51. Published

    A unified view on multi-class support vector classification

    Doğan, Ü., Glasmachers, T. & Igel, Christian, 2016, In: Journal of Machine Learning Research. 17, 32 p., 45.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  53. Published

    Active and Adaptive Learning from Biased Data with Applications in Astronomy

    Kremer, J., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen. 91 p.

    Research output: Book/Report › Ph.D. thesis › Research

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

  55. Published

    After Rigid Interfaces: Investigating Interaction with Deformable Interfaces and the Design of Shape-Changing Interfaces

    Troiano, G. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

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

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

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

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

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

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

  62. Published

    Anisotropically weighted and nonholonomically constrained evolutions on manifolds

    Sommer, Stefan Horst, 2016, In: Entropy. 18, 12, 21 p., 425.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  65. Published

    Approximation and hardness results for the maximum edge q-coloring problem

    Adamaszek, A. M. & Popa, A., 2016, In: Journal of Discrete Algorithms. 38-41, p. 1-8 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  66. Published

    Architecture-based regulatory compliance argumentation

    Mihaylov, B., Onea, L. & Hansen, K. M., 2016, In: The Journal of Systems and Software. 119, p. 1-30 30 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  67. Published

    Assessing the implications of cellular network performance on mobile content access

    Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2016, In: IEEE Transactions on Network and Service Management. 13, 2, p. 168-180 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  68. Published

    Assessment of rotationally-invariant clustering using streamlet tractography

    Liptrot, M. G. & Lauze, Francois Bernard, 2016.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  69. Published

    Automatic airway-artery analysis on lung CT to quantify airway wall thickening and bronchiectasis

    Perez-Rovira, A., Kuo, W., Petersen, Jens, Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: Medical Physics. 43, 10, p. 5736-5744 9 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  71. Published

    Battling memory requirements of array programming through streaming

    Kristensen, M. R. B., Avery, James Emil, Blum, T., Lund, S. A. F. & Vinter, B., 2016, In: Lecture notes in computer science. 2016, p. 451-469 19 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

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

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

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

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

  76. Published

    Carotid artery wall segmentation in multispectral MRI by coupled optimal surface graph cuts

    Arias-Lorza, A. M., Petersen, Jens, van Engelen, A., Selwaness, M., van der Lugt, A., J. Niessen, W. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 3, p. 901-911 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  77. Published

    Classical realizability in the CPS target language

    Frey, J., 2016, In: Electronic Notes in Theoretical Computer Science. 325, p. 111-126 16 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

  78. Published

    Combining generative and discriminative representation learning for lung CT analysis with convolutional restricted Boltzmann machines

    van Tulder, G. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1262-1272 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

  82. Published

    Cooperative epistemic work in medical practice: an analysis of physicians' clinical notes

    Bansler, Jørgen P., Havn, Erling Carl, Schmidt, K., Mønsted, T., Petersen, H. H. & Svendsen, Jesper Hastrup, 2016, In: Computer Supported Cooperative Work. 25, 6, p. 503-546 44 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  84. Published

    Deep learning relevance: creating relevant information (as opposed to retrieving it)

    Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  85. Published

    Deformation-based atrophy computation by surface propagation and its application to Alzheimer’s disease

    Pai, A. S. U., Sporring, Jon, Darkner, Sune, Dam, Erik Bjørnager, Lillholm, Martin, Jørgensen, D., Oh, J., Chen, G., Suhy, J., Sørensen, L. & Nielsen, Mads, 2016, In: SPIE Journal of Medical Imaging. 3, 1, 11 p., 014005.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

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

  90. Published

    Developing self–control theory: towards digital sensoring by smartphone technologies

    Demant, Jakob Johan, Heinskou, Marie Bruvik, Wac, Katarzyna & Schierff, L. M., 2016. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  91. Published

    Differences in smartphone usage: validating, evaluating, and predicting mobile user intimacy

    Gustarini, M., Scipioni, M. P., Fanourakis, M. & Wac, Katarzyna, 2016, In: Pervasive and Mobile Computing. 33, p. 50-72 23 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  94. Published

    Do dementia biomarkers have a sigmoid trajectory? Insights from non-linear mixed effects modeling

    Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Sørensen, L. & Nielsen, Mads, 2016, In: Alzheimer's & Dementia. 12, 7, Supplement, p. P356 1 p., O4-09-06.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  95. Published

    Droner til monitering af flerårigt ukrudt i korn

    Rasmussen, Jesper, Nielsen, J., Streibig, Jens Carl, Olsen, Søren Ingvor, Steenstrup Pedersen, Kim & Jensen, J. E., 2016, Miljøstyrelsen. 68 p. (Bekæmpelsesmiddelforskning; No. 165).

    Research output: Book/Report › Report › Research › peer-review

  96. Published

    E2eUberIM: end-to-end service management framework for anything-as-a-service

    Wac, Katarzyna, Cummings, M. & Dey, J., 2016, In: IEEE Communications Magazine. 54, 3, p. 54-60 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  97. Published

    Early detection of Alzheimer's disease using MRI hippocampal texture

    Sørensen, L., Igel, Christian, Hansen, N. L., Osler, Merete, Lauritzen, Martin, Rostrup, Egill & Nielsen, Mads, 2016, In: Human Brain Mapping. 37, 3, p. 1148-1161 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  112. Published

    Feature representation of RGB-D images using joint spatial-depth feature pooling

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2016, In: Pattern Recognition Letters. 80, 1, p. 239-248 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  113. Published

    FinPar: a parallel financial benchmark

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  116. Published

    Forms are declarative processes!

    Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 p.

    Research output: Contribution to conference › Paper › Research

  117. Published

    Fundamentals of reversible flowchart languages

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, In: Theoretical Computer Science. 611, p. 87-115 29 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  118. Published

    Fusion de données RVB-D par stéréophotométrie colorée

    Quéau, Y., Durix, B., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2016. 8 p.

    Research output: Contribution to conference › Paper › Research

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

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

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

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

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

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

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

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

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

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

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

  130. 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 journal › Journal article › Research › peer-review

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

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

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

  134. Published

    Join inverse categories as models of reversible recursion

    Axelsen, H. B. & Kaarsgaard, R., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 73-90 18 p. (Lecture notes in computer science, Vol. 9634).

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

  135. Published

    Kernel bundle diffeomorphic image registration using stationary velocity fields and Wendland basis functions

    Pai, A. S. U., Sommer, Stefan Horst, Sørensen, L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2016, In: IEEE Transactions on Medical Imaging. 35, 6, p. 1369-1380 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  136. Published

    Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

    Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 284-297 14 p.

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

  137. Published

    Learning connective-based word representations for implicit discourse relation identification

    Braud, C. E. & Denis, P., 2016, Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP-16). Association for Computational Linguistics, p. 203-213 11 p.

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

  138. Published

    Learning density independent texture features

    Kallenberg, M. G. J., Nielsen, Mads, Holland, K., Karssemeijer, N., Igel, Christian & Lillholm, Martin, 2016, Breast Imaging: 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings. Tingberg, A., Lång, K. & Timberg, P. (eds.). Springer, p. 299-306 8 p. (Lecture notes in computer science, Vol. 9699).

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

  139. Published

    Leisure and work, good and bad: the role of activity domain and valence in modeling user experience

    Tuch, A. N., van Schaik, P. & Hornbæk, Kasper, 2016, In: ACM Transactions on Computer Human Interaction. 23, 6, 32 p., 35.

    Research output: Contribution to journal › Journal article › Research › peer-review

  140. Published

    Let’s look outside the office: analytical lens unpacking collaborative relationships in global work

    Matthiesen, S. & 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. 107-122 16 p.

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

  141. Published

    Linear hashing is awesome

    Knudsen, M. B. T., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 345-352 8 p.

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

  142. Published

    Low-level functional GPU programming for parallel algorithms

    Dybdal, M., Elsman, Martin, Svensson, B. J. & Sheeran, M., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-37 7 p.

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

  143. Published

    MCI trial enrichment using MRI hippocampus texture

    Sørensen, L., Igel, Christian & Nielsen, Mads, 2016, In: Alzheimer's & Dementia. 12, 7, Supplement, p. P108–P109 2 p., IC-P-146.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  144. Published

    Making sense of medical records in a non-medical practice

    Møller, Naja Holten & Jensen, Klaus Bruhn, 2016. 7 p.

    Research output: Contribution to conference › Paper › Research

  145. Published

    Mammographic density and structural features can individually and jointly contribute to breast cancer risk assessment in mammography screening: a case-control study

    Winkel, R. R., von Euler-Chelpin, My Catarina, Nielsen, Mads, Petersen, P. K., Lillholm, Martin, Nielsen, Michael Bachmann, Lynge, Elsebeth, Uldall, W. Y. & Vejborg, I. M. M., 2016, In: B M C Cancer. 16, 12 p., 414.

    Research output: Contribution to journal › Journal article › Research › peer-review

  146. Published

    Maximal unbordered factors of random strings

    Cording, P. H. & Knudsen, M. B. T., 2016, String Processing and Information Retrieval: 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings. Inenaga, S., Sadakane, K. & Sakai, T. (eds.). Springer, p. 93-96 4 p. (Lecture notes in computer science, Vol. 9954).

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

  147. Published

    Message from the organizing committee

    Elsman, Martin, Grelck, C., Klöckner, A. & Padua, D., 2016, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016. Association for Computing Machinery, p. iii-iv

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

  148. Published

    Method of analyzing image for assessing condition of organ e.g. lung of patient represented in image, involves providing quantitative measure of extent of condition in image based on number of identified inspection regions

    Stick, S. M., Rosenow, T., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, IPC No. G06T-007/00, Patent No. WO2016183609-A1, 24 Nov 2016, Priority date 20 May 2015, Priority No. AU901841

    Research output: Patent

  149. Published

    Mobile energy sharing futures

    Worgan, P., Knibbe, J., Plasencia, D. M. & Fraser, M., 2016, Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. Association for Computing Machinery, p. 1134-1137 4 p.

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

  150. Published

    Modal intersection types, two-level languages, and staged synthesis

    Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).

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

  151. Published

    Momentary pleasure or lasting meaning? distinguishing eudaimonic and hedonic user experiences

    Mekler, E. D. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4509-4520 12 p.

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

  152. Published

    Multi-dueling bandits and their application to online ranker evaluation

    Brost, B., Seldin, Yevgeny, Cox, Ingemar Johansson & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2161-2166 6 p. (ACM International Conference on Information and Knowledge Management).

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

  153. Published

    Multi-objective optimization with unbounded solution sets

    Krause, Oswin, Glasmachers, T. & Igel, Christian, 2016. 6 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  154. Published

    Multi-view and multi-task training of RST discourse parsers

    Braud, C. E., Plank, B. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 1903-1913 11 p.

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

  155. Published

    Multicentre chest computed tomography standardisation in children and adolescents with cystic fibrosis: the way forward

    Kuo, W., Kemner-van de Corput, M. P. C., Perez-Rovira, A., de Bruijne, Marleen, Fajac, I., Tiddens, H. A. W. M. & van Straten, M., 2016, In: The European Respiratory Journal. 47, 6, p. 1706-1717 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  156. Published

    Multiple hypothesis tracking based extraction of airway trees from CT data: using statistical ranking of template-matched hypotheses

    Selvan, Raghav, Petersen, Jens & de Bruijne, Marleen, 2016. 1 p.

    Research output: Contribution to conference › Poster › Research › peer-review

  157. Published

    Near optimal adjacency labeling schemes for power-law graphs

    Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 133. (Leibniz International Proceedings in Informatics, Vol. 55).

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

  158. Published

    Near-optimal light spanners

    Chechik, S. & Wulff-Nilsen, Christian, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 883-892 10 p.

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

  159. Published

    Negotiating for space? collaborative work using a wall display with mouse and touch input

    Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2050-2061 12 p.

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

  160. Published

    New Ideas on Labeling Schemes

    Rotbart, N. G., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  161. Published

    New fundamentals for CSCW research: from distance to politics

    Bjorn, Pernille, 2016, In: interactions. 23, 3, p. 50-53 4 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  162. Published

    Nine questions for HCI researchers in the making

    Bødker, S., Hornbæk, Kasper, Oulasvirta, A. & Reeves, S., 2016, In: interactions. 23, 4, p. 58-61 4 p.

    Research output: Contribution to journal › Journal article › Communication

  163. Published

    Nonlinear configurations for superlinear speedup by supercompilation

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

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

  164. Published

    Off-limits: interacting beyond the boundaries of large displays

    Markussen, A., Boring, S., Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5862-5873 12 p.

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

  165. Published

    On infectious intestinal disease surveillance using social media content

    Zou, B., Lampos, V., Gorton, R. & Cox, Ingemar Johansson, 2016, DH '16: Proceedings of the 2016 Digital Health Conference. Association for Computing Machinery, p. 157-161 5 p.

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

  166. Published

    On reversible Turing machines and their function universality

    Axelsen, H. B. & Glück, Robert, 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  167. Published

    On the k-independence required by linear probing and minwise independence

    Pǎtraşcu, M. & Thorup, Mikkel, 2016, In: ACM Transactions on Algorithms. 12, 1, 27 p., 8.

    Research output: Contribution to journal › Journal article › Research › peer-review

  168. Published

    On the Estimation and Use of Statistical Modelling in Information Retrieval

    Petersen, C., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  169. Published

    On the computational meaning of axioms

    Naibo, A., Petrolo, M. & Seiller, T., 2016, Epistemology, knowledge and the impact of interaction. Redmond, J., Pombo Martins, O. & Nepomuceno Fernández, Á. (eds.). Springer, p. 141-184 44 p. (Logic, Epistemology, and the Unity of Science, Vol. 38).

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

  170. Published

    On the hardness of partially dynamic graph problems and connections to diameter

    Dahlgaard, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 48. (Leibniz International Proceedings in Informatics, Vol. 55).

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

  171. Published

    On the impact of medical device regulations on software architecture

    Hansen, K. M. & Manikas, K., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF. SCITEPRESS Digital Library, Vol. 5. p. 389-394 6 p.

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

  172. Published

    On the intriguing number 1001

    Krarup, J., 2016, In: Central European Journal of Operations Research. 24, 3, p. 787-795 9 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  173. Published

    On the need for and provision of an 'IDEAL' scholarly information retrieval test collection

    Larsen, B. & Lioma, Christina, 2016, Proceedings of the Third Workshop on Bibliometric-enhanced Information Retrieval (BIR 2016), Padova, Italy, March 20, 2016. Mayr, P., Frommholz, I. & Cabanac, G. (eds.). CEUR-WS.org, p. 73-81 9 p. (CEUR Workshop Proceedings, Vol. 1567).

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

  174. Published

    Open problem: kernel methods on manifolds and metric spaces: what is the probability of a positive definite geodesic exponential kernel?

    Feragen, A. & Hauberg, S., 2016, 29th Annual Conference on Learning Theory. Feldman, V., Rakhlin, A. & Shamir, O. (eds.). p. 1647–1650 4 p. (JMLR: Workshop and Conference Proceedings, Vol. 49).

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

  175. Published

    Outer common tangents and nesting of convex hulls in linear time and constant workspace

    Abrahamsen, Mikkel & Walczak, B., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 57).

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

  176. Published

    PAEAN: portable and scalable runtime support for parallel Haskell dialects

    Berthold, J., Loidl, H. & Hammond, K., 2016, In: Journal of Functional Programming. 26, 39 p., e10.

    Research output: Contribution to journal › Journal article › Research › peer-review

  177. Published

    Parallelized rotation and flipping INvariant Kohonen maps (PINK) on GPUs

    Polsterer, K. L., Gieseke, Fabian Cristian, Igel, Christian, Doser, B. & Gianniotis, N., 2016, Proceedings of the 24th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2016). i6doc.com, p. 405-410 6 p.

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

  178. Published

    Popular conjectures as a barrier for dynamic planar graph algorithms

    Abboud, A. & Dahlgaard, S., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 477-486 10 p.

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

  179. Published

    Possibilities and barriers for e-learning in primary school in Denmark

    Alstrup, Stephen & Rootzen, H., 2016, Proceedings of the 15th European Conference on e-Learning. Novotná, J. & Jancarík, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.

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

  180. Published

    Power law distributions in information retrieval

    Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2016, In: A C M Transactions on Information Systems. 34, 2, 37 p., 8.

    Research output: Contribution to journal › Journal article › Research › peer-review

  181. Published

    PowerShake: power transfer interactions for mobile devices

    Worgan, P., Knibbe, J., Fraser, M. & Plasencia, D. M., 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4734-4745 12 p.

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

  182. Published

    Practice-based CSCW research: ECSCW bridging across the atlantic

    Bjorn, Pernille, Ciolfi, L., Ackerman, M., Fitzpatrick, G. & Wulf, V., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 210-220 11 p.

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

  183. Published

    Pre-vaccination care-seeking in females reporting severe adverse reactions to HPV vaccine. A registry based case-control study

    Mølbak, K., Hansen, N. D. & Valentiner-Branth, P., 2016, In: P L o S One. 11, 9, 12 p., e0162520.

    Research output: Contribution to journal › Journal article › Research › peer-review

  184. Published

    Probing RNA native conformational ensembles with structural constraints

    Fonseca, R., van den Bedem, H. & Bernauer, J., 2016, In: Journal of Computational Biology. 23, 5, p. 362-371 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  185. Published

    Quantification of diaphragm mechanics in Pompe disease using dynamic 3D MRI

    Mogalle, K., Perez-Rovira, A., Ciet, P., Wens, S. C. A., van Doorn, P. A., Tiddens, H. A. W. M., van der Ploeg, A. T. & de Bruijne, Marleen, 2016, In: P L o S One. 11, 7, 24 p., e0158912.

    Research output: Contribution to journal › Journal article › Research › peer-review

  186. Published

    Quantifying emphysema extent from weakly labeled CT scans of the lungs using label proportions learning

    Ørting, S. N., Petersen, Jens, Wille, M., Thomsen, L. & de Bruijne, Marleen, 2016, The Sixth International Workshop on Pulmonary Image Analysis. Beichel, R. R., Farahani, K., Jacobs, C., Kabus, S., Kiraly, A. P., Kuhnigk, J-M., McClelland, J. R., Mori, K., Petersen, J. & S. R. (eds.). CreateSpace Independent Publishing Platform , p. 31-42 11 p.

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

  187. Published

    RSSA: a reversible SSA form

    Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).

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

  188. Published

    ReFlex: a flexible smartphone with active haptic feedback for bend input

    Strohmeier, P., Burstyn, J., Carrascal, J. P., Levesque, V. & Vertegaal, R., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 185-192 8 p.

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

  189. Published

    Recycling on a Cosmic Scale: Extracting New Information from Old Data Sets

    Stensbo-Smidt, K., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  190. Published

    Relation between wall shear stress and carotid artery wall thickening MRI versus CFD

    Cibis, M., Potters, W. V., Selwaness, M., Gijsen, F. J., Franco, O. H., Arias Lorza, A. M., de Bruijne, Marleen, Hofman, A., van der Lugt, A., Nederveen, A. J. & Wentzel, J. J., 2016, In: Journal of Biomechanics. 49, 5, p. 735-741 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  191. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  192. Published

    Removal of vesicle structures from transmission electron microscope images

    Jensen, K. H., Sigworth, F. J. & Brandt, S. S., 2016, In: IEEE Transactions on Image Processing. 25, 2, p. 540-552 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  193. Published

    Reversible shrinking two-pushdown automata

    Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer, p. 579-591 13 p.

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

  194. Published

    Revisiting software ecosystems research: a longitudinal literature study

    Manikas, K., 2016, In: The Journal of Systems and Software. 117, p. 84-103 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  195. Published

    Rotationally invariant clustering of diffusion MRI data using spherical harmonics

    Liptrot, M. G. & Lauze, Francois Bernard, 2016, Medical Imaging 2016: Image Processing. SPIE - International Society for Optical Engineering, Vol. 1. 7 p. 97843C. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

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

  196. Published

    SCI-FI: shape-changing interfaces, future interactions

    Troiano, G. M., Tiab, J. & Lim, Y. K., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 45

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

  197. Published

    Scalable robust principal component analysis using Grassmann averages

    Hauberg, S., Feragen, A., Enficiaud, R. & Black, M. J., 2016, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 38, 11, p. 2298-2311 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  198. Published

    Separating timing, movement conditions and individual differences in the analysis of human movement

    Raket, L. L., Grimme, B., Schöner, G., Igel, Christian & Markussen, Bo, 2016, In: PLoS Computational Biology. 12, 9, p. e1005092 27 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  199. Published

    Sharing perspectives on the design of shape-changing interfaces

    Strohmeier, P., Gomes, A., Troiano, G. M., Mottelson, A., Merritt, T. & Alexander, J., 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3492-3499 8 p.

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

  200. Published

    Simpler, faster and shorter labels for distances in graphs

    Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.

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

  201. Published

    Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances

    Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2740-2751 12 p.

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

  202. Published

    Some remarks on real numbers induced by first-order spectra

    Jakobsen, S. & Simonsen, Jakob Grue, 2016, In: Notre Dame Journal of Formal Logic. 57, 3, p. 355-368 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  203. Published

    Space-efficient path-reporting approximate distance oracles

    Elkin, M., Neiman, O. & Wulff-Nilsen, Christian, 2016, In: Theoretical Computer Science. 651, p. 1-10 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  204. Published

    Special section on 19th Scandinavian conference on image analysis (SCIA 2015)

    Steenstrup Pedersen, Kim & R. Paulsen, R., 2016, In: Pattern Recognition Letters. 80, p. 238 1 p.

    Research output: Contribution to journal › Editorial › Research

  205. Published

    Statistical modeling and removal of lipid membrane projections for cryo-EM structure determination of reconstituted membrane proteins

    Jensen, K. H., Brandt, S. S., Shigematsu, H. & Sigworth, F. J., 2016, In: Journal of Structural Biology. 194, 1, p. 49-60 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  206. Published

    Steiner tree heuristic in the Euclidean d-space using bottleneck distances

    Lorenzen, S. S. & Winter, Pawel, 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 217-230 14 p. (Lecture notes in computer science, Vol. 9685).

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

  207. Published

    Stream Processing Using Grammars and Regular Expressions

    Rasmussen, U. T., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  208. Published

    Streaming for Functional Data-Parallel Languages

    Madsen, F. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  209. Published

    Streaming nested data parallelism on multicores

    Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.

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

  210. Published

    Structural parcellation of the thalamus using shortest-path tractography

    Kasenburg, N., Darkner, Sune, Hahn, U., Liptrot, M. G. & Feragen, A., 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 559-563 5 p. 7493330

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

  211. Published

    Sublinear distance labeling

    Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).

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

  212. Published

    Submodular unsplittable flow on trees

    Adamaszek, A. M., Chalermsook, P., Ene, A. & Wiese, A., 2016, Integer Programming and Combinatorial Optimization: 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings. Louveaux, Q. & Skutella, M. (eds.). Springer, p. 337-349 13 p. (Lecture notes in computer science, Vol. 9682).

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

  213. Published

    Supervised hub-detection for brain connectivity

    Kasenburg, N., Liptrot, M. G., Reislev, N. L., Garde, Ellen, Nielsen, Mads & Feragen, A., 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 9 p. 978409. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

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

  214. Published

    Supporting the evolution of research in software ecosystems: reviewing the empirical literature.

    Manikas, K., 2016, Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings. Maglyas, A. & Lamprecht, A-L. (eds.). Springer, p. 63-78 16 p.

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

  215. Published

    TableHop: an actuated fabric display using transparent electrodes

    Sahoo, D. R., Hornbæk, Kasper & Subramanian, S., 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3767-3780 14 p.

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

  216. Published

    Tangible data, explorations in data physicalization

    Hogan, T., Hornecker, E., Stusak, S., Jansen, Y., Alexander, J., Vande Moere, A., Hinrichs, U. & Nolan, K., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 753-756 4 p.

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

  217. Published

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 15-26 12 p. (Lecture notes in computer science, Vol. 9705).

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

  218. Published

    The development of bronchiectasis on chest computed tomography in children with cystic fibrosis: can pre-stages be identified?

    Tepper, L. A., Caudri, D., Rovira, A. P., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: European Radiology. 26, 12, p. 4563-4569 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  219. Published

    The longest link node deployment problem in cloud computing: a heuristic approach

    Ataíde, M. S., Souza, C. C. D., Rezende, P. J. D. & Vaz Salles, M. A., 2016, Proceedings of the XVIII Latin-Iberoamerican Conference on Operations Research, CLAIO 2016. Maturana, S. (ed.). Instituto Chileno de Investigacion Operativa, p. 69-76 8 p.

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

  220. Published

    The power of two choices with simple tabulation

    Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (ed.). Society for Industrial and Applied Mathematics, p. 1631-1642 12 p.

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

  221. Published

    The semantics of hybrid process models

    Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.

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

  222. Published

    Towards optimal Takacs–Fiksel estimation

    Coeurjolly, J. F., Guan, Y., Khanmohammadi, M. & Waagepetersen, R., 2016, In: Spatial Statistics. 18, Part B, p. 396-411 16 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  223. Published

    Towards reference architectures as an enabler for software ecosystems

    Knodel, J. & Manikas, K., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Association for Computing Machinery, 4 p. 26

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

  224. Published

    Training shortest-path tractography: automatic learning of spatial priors

    Kasenburg, N., Liptrot, M. G., Reislev, N. L., Ørting, S. N., Nielsen, Mads, Garde, E. & Feragen, A., 2016, In: NeuroImage. 130, p. 63-76 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  225. Published

    Transforming perceptions of presence: reporting from an action research project

    Lindekilde, R. & Bjorn, Pernille, 2016, In: International Journal of Systems and Society. 3, 1, 16 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  226. Published

    Unary resolution: characterizing PTIME

    Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).

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

  227. Published

    Unbounded population MO-CMA-ES for the bi-objective BBOB test suite

    Krause, Oswin, Glasmachers, T., Hansen, N. & Igel, Christian, 2016, Proceedings of the 2016 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 1177-1184 8 p.

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

  228. Published

    Understanding affordance, system state, and feedback in shape-changing buttons

    Tiab, J. S. S. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2752-2763 12 p.

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

  229. Published

    Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring

    Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1322-1331 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  230. Published

    Use and misuse of mobile health information technologies for health self-management

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., 2016, In: Annals of Behavioral Medicine. 50, Supplement 1, p. 314 1 p., D106.

    Research output: Contribution to journal › Conference abstract in journal › Research

  231. Published

    Using concrete and realistic data in evaluating initial visualization designs

    Knudsen, S., Pedersen, J. G., Herdal, T. & Larsen, J. E., 2016, Proceedings of the Sixth Workshop on Beyond Time and Errors on Novel Evaluation Methods for Visualization. Association for Computing Machinery, p. 27-35 9 p.

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

  232. Published

    View relations: an exploratory study on between-view meta-visualizations

    Knudsen, S. & Carpendale, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 15

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

  233. Published

    Visual assessment of early emphysema and interstitial abnormalities on CT is useful in lung cancer risk analysis

    Wille, M. M. W., Thomsen, L. H., Petersen, Jens, de Bruijne, Marleen, Dirksen, A., Pedersen, J. H. & Shaker, S. B., 2016, In: European Radiology. 26, 2, p. 487-494 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  234. Published

    What can doodles on the arm teach us about on-body interaction?

    Strohmeier, P., Carrascal, J. P. & Hornbæk, Kasper, 2016, Extended abstracts - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2726-2735 10 p.

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

  235. Published

    What did authors value in the CHI'16 reviews they received?

    Jansen, Y., Hornbæk, Kasper & Dragicevic, P., 2016, Proceedings of the 2016 CHI Conference - extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 596-606 11 p.

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

  236. Published

    Worst-case-efficient dynamic arrays in practice

    Katajainen, J., 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 167-183 17 p. (Lecture notes in computer science, Vol. 9685).

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

  237. Published

    mQoL smart lab: quality of life living lab for interdisciplinary experiments

    De Masi, A., Ciman, M., Gustarini, M. & Wac, Katarzyna, 2016, UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 635-640 6 p.

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

  238. Published

    Éalonnage de sources lumineuses de type LED

    Durix, B., Quéau, Y., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2016. 8 p.

    Research output: Contribution to conference › Paper › Research

  239. Published

    Method for linking a media work to perform an action, involves linking an electronic media work with a reference electronic media work identifier associated with a reference electronic media work using an approximate neighbor search

    Cox, Ingemar Johansson, 9 Feb 2016, IPC No. H04N-021/43, Patent No. US9256885-B1, 9 Feb 2016, Priority date 13 Mar 2013, Priority No. US800890

    Research output: Patent

  240. Published

    Dynamic-array kernels

    Katajainen, J., 28 Mar 2016, Department of Computer Science, University of Copenhagen. 100 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/Report › Report › Research

  241. Published

    MIQModel: predictive model for mobile internet

    de Masi, A. & Wac, Katarzyna, Apr 2016. 1 p.

    Research output: Contribution to conference › Poster › Research

  242. Published

    Editorial, SEA 2014 Special Issue

    Gudmundsson, J. & Katajainen, J., 5 Apr 2016, In: Journal of Experimental Algorithmics. 21, 1 p., 1.1.

    Research output: Contribution to journal › Editorial › Research

  243. Published

    800.000 gode grunde til datalogi i skolen

    Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 Apr 2016, In: Berlingske Tidende. p. 31 1 p.

    Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

  244. Published

    Mapping sense(s) of place

    Skovse, A. R., Hovy, D. & Johannsen, A. T., 16 Jun 2016. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  245. Published

    Maurice F. Shutler (1931-2015) obituary

    Krarup, J. & Rand, G. K., 1 Aug 2016, In: European Journal of Operational Research. 252, 3, p. 699-700 2 p.

    Research output: Contribution to journal › Comment/debate › Research

  246. Published

    Lower bounds for locally highly connected graphs

    Adamaszek, A. M., Adamaszek, M. J., Mnich, M. & Schmidt, J. M., Sep 2016, In: Graphs and Combinatorics. 32, 5, p. 1641-1650 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  247. Published

    Streamlets for visualisation and data exploration

    Liptrot, M. G., 14 Sep 2016. 1 p.

    Research output: Contribution to conference › Poster › Research › peer-review

  248. Published

    Heap-construction programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 4 Nov 2016, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/Report › Report › Research

  249. 2017
  250. Published

    3D analysis of synaptic vesicle density and distribution after acute foot-shock stress by using serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  251. Published

    3D estimation of synaptic vesicle distributions in serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 1 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  252. Published

    A chainlike relative coordinate system for few-particle problems

    Avery, James Emil & Avery, J. S., 2017, In: Journal of Mathematical Chemistry. 55, 2, p. 584-597 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  253. Published

    A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (eds.). The Eurographics Association, p. 39-48 10 p.

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

  254. Published

    A numerical strategy for finite element modeling of frictionless asymmetric vocal fold collision

    Granados, A., Misztal, M. K., Brunskog, J., Visseq, V. & Erleben, Kenny, 2017, In: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 p., e02793.

    Research output: Contribution to journal › Journal article › Research › peer-review

  255. Published

    A statistical model for simultaneous template estimation, bias correction, and registration of 3D brain images

    Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Kühnel, L., Darkner, Sune, Sørensen, L. & Nielsen, Mads, 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. 151-159 9 p. (Lecture notes in computer science, Vol. 10081).

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

  256. Published

    A stochastic large deformation model for computational anatomy

    Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 571-582 12 p. (Lecture notes in computer science, Vol. 10265).

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

  257. Published

    A strongly quasiconvex PAC-Bayesian bound

    Thiemann, N., Igel, Christian, Wintenberger, O. & Seldin, Yevgeny, 2017, Proceedings of International Conference on Algorithmic Learning Theory, 15-17 October 2017, Kyoto University, Kyoto, Japan . Hanneke, S. & Reyzin, L. (eds.). Proceedings of Machine Learning Research, p. 466-492 (Proceedings of Machine Learning Research, Vol. 76).

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

  258. Published

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  259. Published

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2017, In: Software: Practice and Experience. 47, 4, p. 523-558 36 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  260. Published

    An improved parametrization and analysis of the EXP3++ algorithm for stochastic and adversarial bandits

    Seldin, Yevgeny & Lugosi, G., 2017, Proceedings of Conference on Learning Theory, 7-10 July 2017, Amsterdam, Netherlands. Kale, S. & Shamir, O. (eds.). Proceedings of Machine Learning Research, p. 1743-1759 (Proceedings of Machine Learning Research, Vol. 65).

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

  261. Published

    An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, C., Hirschowitz, T. & Seiller, T., 2017, In: Logical Methods in Computer Science. 13, 4, 76 p., 9.

    Research output: Contribution to journal › Journal article › Research › peer-review

  262. Published

    Aspects you should consider in your action plan when implementing an improvement strategy

    Carstensen, Peter & Vinter, O., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Mas, A., Mesquida, A., O'Connor, R. V., Rout, T. & Dorling, A. (eds.). Springer, p. 467-480 14 p. (Communications in Computer and Information Science, Vol. 770).

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

  263. Published

    Automatic Calibration of High Density Electric Muscle Stimulation

    Knibbe, J., Strohmeier, P., Boring, S. & Hornbæk, Kasper, 2017, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 1, 3, 17 p., 68.

    Research output: Contribution to journal › Journal article › Research › peer-review

  264. Published

    BASELINE RELIABILITY OF EEG AND ERP IN A FOUR-WAY CROSSOVER STUDY IN HEALTHY SUBJECTS

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Kundsen, G. & Christensen, S., 2017, p. S59. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  265. Published

    Best laid plans of lions and men

    Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 6. (Leibniz International Proceedings in Informatics, Vol. 77).

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

  266. Published

    Big universe, big data: machine learning and image analysis for astronomy

    Kremer, J., Stensbo-Smidt, K., Gieseke, Fabian Cristian, Steenstrup Pedersen, Kim & Igel, Christian, 2017, In: IEEE Intelligent Systems. 32, 2, p. 16-22 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  267. Published

    Bridge simulation and metric estimation on landmark manifolds

    Sommer, Stefan Horst, Arnaudon, A., Kühnel, L. & Joshi, S., 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 79-91 13 p. (Lecture notes in computer science, Vol. 10551).

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

  268. Published

    Bringing content understanding into usability testing in complex application domains—a case study in eHealth

    Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Vol. Part 1. p. 327-341 15 p. (Lecture notes in computer science, Vol. 10288).

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

  269. Published

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, p. 187-204 18 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

  270. Published

    Characterization of errors in deep learning-based brain MRI segmentation

    Pai, A. S. U., Teng, Y., Blair, J. P. M., Kallenberg, M. G. J., Dam, Erik Bjørnager, Sommer, Stefan Horst, Igel, Christian & Nielsen, Mads, 2017, Deep learning for medical image analysis. Zhou, S. K., Greenspan, H. & Shen, D. (eds.). Academic Press, p. 223–242 20 p.

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

  271. Published

    Complexity of conditional term rewriting

    Kop, C. L. M., Middeldorp, A. & Sternagel, T., 2017, In: Logical Methods in Computer Science. 13, 1, 56 p., 6.

    Research output: Contribution to journal › Journal article › Research › peer-review

  272. Published

    Computability in the lattice of equivalence relations

    Moyen, J. & Simonsen, Jakob Grue, 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. 38-46 9 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

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

  273. Published

    Computational anatomy in Theano

    Kühnel, L. & Sommer, Stefan Horst, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 164-176 13 p. (Lecture notes in computer science, Vol. 10551).

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

  274. Published

    Computer-supported patient involvement in heart rehabilitation

    Kensing, Finn, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work: Exploratory Papers. European Society for Socially Embedded Technologies, p. 177-186 10 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

  275. Published

    Computing continuous-time Markov chains as transformers of unbounded observables

    Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 338-354 17 p. (Lecture notes in computer science, Vol. 10203).

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

  276. Published

    Constraint reordering for iterative multi-body simulation with contact

    Andrews, S., Erleben, Kenny & Teichmann, M., 2017. 2 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  277. Published

    Convolutional neural networks for segmentation and object detection of human semen

    Nissen, M. S., Krause, Oswin, Almstrup, Kristian, Kjærulff, S., Nielsen, T. T. & Nielsen, Mads, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part I. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part 1. p. 397-406 10 p. (Lecture notes in computer science, Vol. 10269).

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

  278. Published

    Coupling motion and perception in body based UI

    Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 697-701 5 p.

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

  279. Published

    Cross-lingual RST discourse parsing

    Braud, C. E., Coavoux, M. & 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. 292-304 13 p.

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

  280. Published

    Cross-lingual tagger evaluation without test data

    Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: short papers. Association for Computational Linguistics, Vol. 2. p. 248-253 6 p.

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

  281. Published

    Crowdsourced emphysema assessment

    Ørting, S. N., Cheplygina, V., Petersen, Jens, Thomsen, L. H., Wille, M. M. W. & de Bruijne, Marleen, 2017, Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis: 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Lee, S-L., Cheplygina, V., Balocco, S., Mateus, D., Zahnd, G., Maier-Hein, L., Dermirci, S., Granger, E., Duong, L., Carbonneau, M-A., Albarquoni, S. & Carneiro, G. (eds.). Springer, p. 126-135 10 p. (Lecture notes in computer science, Vol. 10552).

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

  282. Published

    Data tracking in search of workflows

    Møller, Naja Holten, Bjorn, Pernille, C. Villumsen, J., Hancock, T. C. H., Aritake, T. & Tani, S., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 2153-2165 13 p.

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

  283. Published

    Deep-learnt classification of light curves

    Mahabal, A., Gieseke, F., Pai, A. S. U., Djorgovski, S. G., Drake, A. J., Graham, M. J. & CSS/CRTS/PTF Teams, C. 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

  284. Published

    Design and Implementation of the Futhark Programming Language

    Henriksen, Troels, 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  285. Published

    Designing a multi-touch eTextile for music performances

    Donneaud, M., Honnet, C. & Strohmeier, P., 2017, Proceedings of the 17th International Conference on New Interfaces for Musical Expression (NIME’17). Erkut, C. (ed.). p. 7-12 6 p.

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

  286. Published

    Designing a self-management app for young people with type 1 Diabetes: methodological challenges, experiences, and recommendations

    Castensøe-Seidenfaden, P., Husted, G. R., Teilmann, Grete Katrine, Hommel, E., Olsen, B. S. & Kensing, Finn, 2017, In: JMIR mHealth and uHealth. 5, 10, p. e124 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  287. Published

    Designing, developing, and implementing software ecosystems: towards a step-wise guide

    Manikas, K., Hämäläinen, M. & Tyrväinen, P., 2017, Proceedings of the 8th Workshop on Software Ecosystems. Jansen, S., Alves, C. & Bosch, J. (eds.). CEUR-WS.org, p. 70-79 10 p. (CEUR Workshop Proceedings).

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

  288. Published

    Differential diagnosis of mild cognitive impairment and Alzheimer’s disease using structural MRI cortical thickness, hippocampal shape, hippocampal texture, and volumetry

    Sørensen, L., Igel, Christian, Pai, A. S. U., Balas, I., Anker, C., Lillholm, Martin & Nielsen, Mads, 2017, In: NeuroImage: Clinical. 13, p. 470-482 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  289. Published

    Do you trust your multiple instance learning classifier?

    Cheplygina, V., Sørensen, L., Tax, D. M. J., de Bruijne, Marleen & Loog, M., 2017, Benelearn 2017: Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning. Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 72-73 2 p.

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

  290. Published

    Does syntax help discourse segmentation? Not so much

    Braud, C. E., Lacroix, O. & Søgaard, Anders, 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2432–2442 11 p.

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

  291. Published

    Dynamic Minimum Spanning Forest with Subpolynomial Worst-case Update Time

    Nanongkai, D., Saranurak, T. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual IEEE Symposium on Foundations of Computer Science (FOcS). IEEE, p. 950-961

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

  292. Published

    Embedded data representations

    Willett, W., Jansen, Y. & Dragicevic, P., 2017, In: IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 461-470 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  293. Published

    Estimation of sample spacing in stochastic processes

    Rønn-Nielsen, A., Sporring, Jon & Jensen, E. B. V., 2017, In: Image Analysis and Stereology. 36, 1, p. 43-49 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  294. Published

    Evaluating hypotheses in geolocation on a very large sample of Twitter

    Salehi, B. & Søgaard, Anders, 2017, Proceedings of the 3rd Workshop on Noisy User-generated Text. Association for Computational Linguistics, p. 62-67 6 p.

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

  295. Published

    Evaluation measures for relevance and credibility in ranked lists

    Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, p. 91-98 8 p.

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

  296. Published

    Evolution Strategies with Optimal Covariance Matrix Update Applied to Sustainable Wave Energy

    Rodríguez Arbonès, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 76 p.

    Research output: Book/Report › Ph.D. thesis › Research

  297. Published

    Evolving relations between the practices of nurses and patients and a new patient portal

    Kensing, Finn, Lomborg, Stine & Moring, Camilla, 2017.

    Research output: Contribution to conference › Paper › Research › peer-review

  298. Published

    Exploration of a Vision for Actor Database Systems

    Shah, V., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  299. Published

    Extraction of Airways with Probabilistic State-Space Models and Bayesian Smoothing

    Selvan, Raghav, Petersen, Jens, Pedersen, J. J. H. & de Bruijne, Marleen, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A. V., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 53-63 (Lecture notes in computer science, Vol. 10551).

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

  300. Published

    Fast and Compact Exact Distance Oracle for Planar Grap

    Cohen-Addad, V. P., Dahlgaard, S. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual IEEE Symposium on Foundations of Computer Science (FOcS). IEEE, p. 962-973

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

  301. Published

    Fast and powerful hashing using tabulation

    Thorup, Mikkel, 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Chatzigiannakis, I., Indyk, P., Kuhn, F. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 p. 4. (Leibniz International Proceedings in Informatics, Vol. 80).

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

  302. Published

    Fast similarity sketching

    Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 663-671 9 p.

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

  303. Published

    Fostering cooperative activism through critical design

    Menendez Blanco, M., Bjorn, Pernille & De Angeli, A., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 618-629 12 p.

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

  304. Published

    From Thesaurus to Framenet

    Nimb, S., Braasch, Anna, Olsen, Sussi, Pedersen, Bolette Sandford & Søgaard, Anders, 2017, Electronic Lexicography in the 21st Century : Proceedings of eLex 2017 conference. Kosem, I., Tiberius, C., Jakubíček, M., Kallas, J., Krek, S. & Baisa, V. (eds.). Lexical Computing CZ, p. 1-22 23 p.

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

  305. Published

    From prototype to product: making participatory design of mHealth commercially viable

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn & Moll, J., 2017, Participatory design and health information technology. Kanstrup, A. M., Bygholm, A., Bertelsen, P. & Nøhr, C. (eds.). IOS Press, p. 95-112 18 p. (Studies in Health Technology and Informatics, Vol. 233).

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

  306. Published

    Fully-dynamic minimum spanning forest with improved worst-case update time

    Wulff-Nilsen, Christian, 2017, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 1130-1143 14 p.

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

  307. Published

    Fusion de données RVB-D par stéréophotométrie colorée

    Quéau, Y., Durix, B., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2017, In: hal.archives-ouvertes.fr. p. 1-25 hal-01409663.

    Research output: Contribution to journal › Journal article › Research

  308. Published

    Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

    Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

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

  309. Published

    Generating and checking control logic in the HDL-based design of reversible circuits

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, p. 7-12 6 p. 7977045

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

  310. Published

    Generating haptic textures with a vibrotactile actuator

    Strohmeier, P. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4994-5005 12 p.

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

  311. Published

    Geometries and interpolations for symmetric positive definite matrices

    Feragen, A. & Fuster, A., 2017, Modeling, analysis, and visualization of anisotropy. Schultz, T., Özarslan, E. & Hotz, I. (eds.). Springer, p. 85-113 29 p. (Mathematics and Visualization).

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

  312. Published

    Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings

    Cardoso, M. J. (ed.), Arbel, T. (ed.), Ferrante, E. (ed.), Pennec, X. (ed.), Dalca, A. V., Parisot, S. (ed.), Joshi, S. (ed.), Batmanghelich, N. K. (ed.), Sotiras, A. (ed.), Nielsen, Mads (ed.), Sabuncu, M. R. (ed.), Fletcher, T. (ed.), Shen, L. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2017, Springer. 248 p. (Lecture notes in computer science, Vol. 10551).

    Research output: Book/Report › Anthology › Research › peer-review

  313. Published

    Growing the Blockchain information infrastructure

    Jabbar, K. & Bjorn, Pernille, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 6487-6498 12 p.

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

  314. Published

    Hardness of deriving invertible sequences from finite state machines

    Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Springer, p. 147-160 14 p. (Lecture notes in computer science, Vol. 10139).

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

  315. Published

    Huntsville, hospitals, and hockey teams: Names can reveal your location

    Salehi, B., Hovy, D., Hovy, E. & Søgaard, Anders, 2017, Proceedings of the 3rd Workshop on Noisy User-generated Text. Association for Computational Linguistics, p. 161-121

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

  316. Published

    Hybrid LSH: faster near neighbors reporting in high-dimensional space

    Pham, D. N., 2017, Advances in Database Technology — EDBT 2017: proceedings of the 20th International Conference on Extending Database Technology. Markl, V., Orlando, S., Mitschang, B., Andritsos, P., Sattler, K-U. & Breß, S. (eds.). OpenProceedings.org, p. 454-457 4 p.

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

  317. Published

    Identifying beneficial task relations for multi-task learning in deep neural networks

    Bingel, J. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: volume 2, short papers. Association for Computational Linguistics, Vol. 2. p. 164-169 6 p.

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

  318. Published

    Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

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

  319. Published

    Implicit computational complexity and compilers

    Rubiano, T., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 98 p.

    Research output: Book/Report › Ph.D. thesis › Research

  320. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, In: Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  321. Published

    Inverse kinematics problems with exact Hessian matrices

    Erleben, Kenny & Andrews, S., 2017, Proceedings of the Tenth International Conference on Motion in Games. Association for Computing Machinery, 6 p. 14

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

  322. Published

    Investigating the use of a dynamic physical bar chart for data exploration and presentation

    Taher, F., Jansen, Y., Woodruff, J., Hardy, J., Hornbæk, Kasper & Alexander, J., 2017, In: IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 451-460 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  323. Published

    Irrational Guards are Sometimes Needed

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-15 3. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 77).

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

  324. Published

    Is writing style predictive of scientific fraud?

    Braud, C. E. & Søgaard, Anders, 2017, Proceedings of the Workshop on Stylistic VariationAssociation for Computational Linguistics. Association for Computational Linguistics, p. 37-42 6 p.

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

  325. Published

    Join inverse categories and reversible recursion

    Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  326. Published

    Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs

    Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, p. 295–305

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

  327. Published

    Learning from graphs with structural variation

    Nielsen, R. K., Holm, Andreas Nugaard & Feragen, A., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 5 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  328. Published

    Learning from uncertain curves: The 2-Wasserstein metric for Gaussian processes

    Mallasto, A. & Feragen, A., 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

  329. Published

    Lever: towards low-latency batched stream processing by pre-scheduling

    Chen, F., Wu, S., Jin, H., Yao, Y., Liu, Z., Gu, L. & Zhou, Yongluan, 2017, Proceedings of the 2017 Symposium on Cloud Computing. Association for Computing Machinery, p. 643-643 1 p.

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

  330. Published

    Local mean multiphase segmentation with HMMF models

    Hansen, J. D. K. & Lauze, Francois Bernard, 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 396-407 12 p. (Lecture notes in computer science, Vol. 10302).

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

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

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

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

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

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

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

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

  338. Published

    Modelling anisotropic covariance using stochastic development and sub-Riemannian frame bundle geometry

    Sommer, Stefan Horst & Svane, A. M., 2017, In: Journal of Geometric Mechanics. 9, 3, p. 391-410 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  339. Published

    Most Likely Separation of Intensity and Warping Effects in Image Registration

    Kuhnel, L., Sommer, Stefan Horst, Pai, A. & Raket, L. L., 2017, In: S I A M Journal on Imaging Sciences. 10, 2, p. 578-601

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

  342. Published

    Multiple-source multiple-sink maximum flow in directed planar graphs in near-linear time

    Borradaile, G., Klein, P. N., Mozes, S., Nussbaum, Y. & Wulff-Nilsen, Christian, 2017, In: SIAM Journal on Computing. 46, 4, p. 1280-1303 24 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  344. Published

    New Results on Hashing, Labeling Schemes and Algorithms

    Knudsen, M. B. T., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 349 p.

    Research output: Book/Report › Ph.D. thesis › Research

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

  346. Published

    Ordered combinatory algebras and realizability

    Santos, W. F., Frey, J., Guillermo, M., Malherbe, O. & Miquel, A., 2017, In: Mathematical Structures in Computer Science. 27, 3, p. 428-458 31 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

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

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

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

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

  354. Published

    Reducing artifacts from varying projection truncations

    Borg, L., Jørgensen, J. S., Frikel, J., Quinto, E. T. & Sporring, Jon, 2017. 2 p.

    Research output: Contribution to conference › Paper › Research › peer-review

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

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

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

  358. Published

    Sacrificing information for the greater good: how to select photometric bands for optimal accuracy

    Stensbo-Smidt, K., Gieseke, Fabian Cristian, Igel, Christian, Zirm, A. W. & Steenstrup Pedersen, Kim, 2017, In: Monthly Notices of the Royal Astronomical Society. 464, 3, p. 2577-2596 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

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

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

  362. Published

    Separating shape and intensity variation in images

    Kühnel, L., Sommer, Stefan Horst, Pai, A. S. U. & Raket, L. L., 2017, In: SIAM News. 50, 8, p. 12 1 p.

    Research output: Contribution to journal › Journal article › Research

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

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

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

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

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

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

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

  370. Published

    Technology Acceptance and User Experience: A Review of the Experiential Component in HCI

    Hornbæk, Kasper & Hertzum, M., 2017, In: A C M Transactions on Computer - Human Interaction. 24, 5, 30 p., 33.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  372. Published

    The Development of Pubertal Gynaecomastia and the Association to Endogenous Hormones, Growth, and Body Composition

    Mieritz, M. G., Juul, A., Raket, L. L., Hagen, C. P., Nielsen, J. E., Talman, M. M., Petersen, Jørgen Holm, Sommer, Stefan Horst, Main, Katharina Maria, Jørgensen, N., Sørensen, K., Aksglaede, L., Mouritsen, Annette Korsholm, Hilsted, L. & Andersson, A. M., 2017, In: Birth Defects Research. 109, 9, p. 637 1 p.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

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

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

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

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

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

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

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

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

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

  382. Published

    Web Data Mining for Public Health Purposes

    Hansen, N. D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

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

  384. Published

    Objective airway artery dimensions compared to CT scoring methods assessing structural cystic fibrosis lung disease

    Kuo, W., Andrinopoulou, E., Perez-Rovira, A., Ozturk, H., de Bruijne, Marleen & Tiddens, H. A. W. M., Jan 2017, In: Journal of Cystic Fibrosis. 16, 1, p. 116–123 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  385. Published

    The global brain and the emerging economy of abundance: mutualism, open collaboration, exchange networks and the automated commons

    Goertzel, B., Goertzel, T. & Goertzel, Z. A., Jan 2017, In: Technological Forecasting and Social Change. 114, p. 65-73 9 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  386. Published

    Cross-lingual and cross-domain discourse segmentation of entire documents

    Braud, C., Lacroix, O. & Søgaard, Anders, 1 Jan 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Vol. 2. p. 237-243 7 p.

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

  387. Published

    DABAI: A data driven project for e-Learning in Denmark

    Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 Jan 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.

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

  388. Published

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 35-46 12 p.

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

  389. Published

    Enabling work migration in CoMD to study dynamic load imbalance solutions

    Pearce, O., Ahmed, H., Larsen, R. W. & Richards, D. F., 30 Jan 2017, Proceedings of PMBS 2016: 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems. p. 98-107 10 p.

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

  390. Published

    Interaction graphs: graphings

    Seiller, T., Feb 2017, In: Annals of Pure and Applied Logic. 168, 2, p. 278-320 43 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  391. Published

    WSDM 2017 Workshop on Mining Online Health Reports: WSDM workshop summary

    Collier, N., Limsopatham, N., Culotta, A., Conway, M., Cox, Ingemar Johansson & Lampos, V., 2 Feb 2017, Proceedings of the Tenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 825-826 2 p.

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

  392. Published

    Towards characterizing and reducing artifacts caused by varying projection truncation

    Borg, L., Jørgensen, J. S. & Sporring, Jon, 24 Feb 2017, Department of Computer Science, University of Copenhagen. 42 p. (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 1, Vol. 2017).

    Research output: Book/Report › Report › Research

  393. Published

    Digital Health Tools for Sleep Self-Management: Working Mothers Use Case

    Wac, Katarzyna, Montanini, L., Ryager, K. B. & Rivas, H., Mar 2017, p. 52555-52556.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  394. Published

    Editorial: project reports

    Igel, Christian, Mar 2017, In: KI - Künstliche Intelligenz. 31, 1, p. 1-1 1 p.

    Research output: Contribution to journal › Editorial › Research

  395. Published

    Quality-of-life technologies

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., Mar 2017, In: Computer. 50, 3, p. 15-19 5 p.

    Research output: Contribution to journal › Editorial › Research

  396. Published

    bufferkdtree: a Python library for massive nearest neighbor queries on multi-many-core devices

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen & Igel, Christian, 15 Mar 2017, In: Knowledge-Based Systems. 120, p. 1-3 3 p.

    Research output: Contribution to journal › Journal article › Research

  397. Published

    Boosting active contours for weld pool visual tracking in automatic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., Apr 2017, In: IEEE Transactions on Automation Science and Engineering. 14, 2, p. 1096-1108 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  398. Published

    Density-based non-rigid registration of diffusion-weighted images

    Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, Apr 2017.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  399. Published

    Heap Construction—50 Years Later

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Apr 2017, In: The Computer Journal. 60, 5, p. 657-674 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  400. Published

    Streamlet Tractography

    Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, Apr 2017.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  401. Published

    Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards

    Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, Apr 2017, In: Journal of Medical Internet Research. 19, 4, 12 p., e123.

    Research output: Contribution to journal › Journal article › Research › peer-review

  402. Published

    Tolerance analysis for 0-1 knapsack problems

    Pisinger, D. & Saidi, A., 1 May 2017, In: European Journal of Operational Research. 258, 3, p. 866-876 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  403. Published

    Artistic movement recognition by boosted fusion of color structure and topographic description

    Florea, C., Toca, C. & Gieseke, Fabian Cristian, 11 May 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision. IEEE, p. 569-577 9 p.

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

  404. Published

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, Jun 2017, In: Journal of Real-Time Image Processing. 13, 2, p. 345–361 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  405. Published

    Simultaneous reconstruction and segmentation of CT scans with shadowed data

    Lauze, Francois Bernard, Quéau, Y. & Plenge, E., Jun 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 308-319 12 p. (Lecture notes in computer science, Vol. 10302).

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

  406. Published

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.

    Research output: Contribution to journal › Journal article › Research › peer-review

  407. Published

    Popular Politics: Comparing Popular Stories across News Media in Election Seasons

    Ørmen, Jacob & Petersen, C., 1 Jun 2017.

    Research output: Contribution to conference › Conference abstract for conference › Research

  408. Published

    A non-convex variational approach to photometric stereo under inaccurate lighting

    Quéau, Y., Wu, T., Lauze, Francois Bernard, Durou, J. & Cremers, D., Jul 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 350-359 10 p.

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

  409. Published

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., Jul 2017, In: RAIRO - Theoretical Informatics and Applications. 51, 3, p. 121-133 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  410. Published

    Hippocampal texture predicts rate of cognitive decline in mild cognitive impairment

    Pai, A. S. U., Pillai, J. A., Sørensen, L., Darkner, Sune, Sommer, Stefan Horst & Nielsen, Mads, Jul 2017, In: Alzheimer's & Dementia. 13, 7, supplement, p. P1356 1 p., P4-225.

    Research output: Contribution to journal › Conference abstract in journal › Research

  411. Published

    Supervised scale-regularized linear convolutionary filters

    Loog, M. & Lauze, Francois Bernard, Jul 2017, Proceedings of BMVC 2017. British Machine Vision Conference, 12 p.

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

  412. Published

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 Jul 2017, In: Monthly Notices of the Royal Astronomical Society. 468, 4, p. 4323-4339 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  413. Published

    A study of metrics of distance and correlation between ranked lists for compositionality detection

    Lioma, Christina & Hansen, N. D., Aug 2017, In: Cognitive Systems Research. 44, p. 40-49 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  414. Published

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Aug 2017, In: Theory of Computing Systems. 61, 2, p. 606-636 31 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  415. Published

    Risk stratification of women with false-positive test results in mammography screening based on mammographic morphology and density: a case control study

    Winkel, R. R., von Euler-Chelpin, My Catarina, Lynge, Elsebeth, Diao, P., Lillholm, Martin, Kallenberg, M., Forman, Julie Lyng, Nielsen, Michael Bachmann, Uldall, W. Y., Nielsen, Mads & Vejborg, I. M. M., Aug 2017, In: Cancer Epidemiology. 49, p. 53-60 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  416. Published

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., Aug 2017, In: International Journal of Foundations of Computer Science. 28, 5, p. 503-522 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  417. Published

    I/O-Efficient Similarity Join

    Pagh, R., Pham, N., Silvestri, F. & Stöckel, M., 1 Aug 2017, In: Algorithmica. 78, 4, p. 1263-1283

    Research output: Contribution to journal › Journal article › Research › peer-review

  418. Published

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 Aug 2017, In: Logical Methods in Computer Science. 13, 3, 29 p., 8.

    Research output: Contribution to journal › Journal article › Research › peer-review

  419. Published

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 Aug 2017, In: Politiken. p. 7-8 2 p.

    Research output: Contribution to journal › Contribution to newspaper - Feature article › Communication

  420. Published

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., Sep 2017, In: Annals of Operations Research. 256, 1, p. 21-40 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  421. Published

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., Sep 2017, In: ACM Transactions on Computation Theory. 9, 3, 7 p., 14.

    Research output: Contribution to journal › Journal article › Research › peer-review

  422. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., Sep 2017, In: Journal of the ACM. 64, 4, 22 p., 27.

    Research output: Contribution to journal › Journal article › Research › peer-review

  423. Published

    Synchrotron radiation μCT and histology evaluation of bone-to-implant contact

    Neldam, C. A., Sporring, Jon, Rack, A., Lauridsen, T., Hauge, E. M., Jørgensen, H. L., Jørgensen, Niklas Rye, Feidenhans'l, Robert Krarup & Pinholt, E. M., Sep 2017, In: Journal of Cranio-Maxillofacial Surgery. 45, 9, p. 1448-1457 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  424. Published

    Confluence of an extension of combinatory logic by Boolean constants

    Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).

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

  425. Published

    Contracting a planar graph efficiently

    Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).

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

  426. Published

    Isolated thoughts and feelings and unsolved concerns: adolescents' and parents' perspectives on living with type 1 diabetes - a qualitative study using visual storytelling

    Carstensøe-Seidenfaden, P., Teilmann, Grete Katrine, Kensing, Finn, Hommel, E., Olsen, B. S. & Husted, G. R., Oct 2017, In: Journal of Clinical Nursing. 26, 19-20, p. 3018-3030 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  427. Published

    On predicting student performance using low-rank matrix factorization techniques

    Lorenzen, S. S., Pham, D. N. & Alstrup, Stephen, Oct 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 326-334 9 p.

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

  428. Published

    On-Skin Interaction Using Body Landmarks

    Steimle, J., Bergström, Joanna, Weigel, M., Nittala, A. S., Boring, S., Olwal, A. & Hornbæk, Kasper, Oct 2017, In: Computer. 50, 10, p. 19-27

    Research output: Contribution to journal › Journal article › Research › peer-review

  429. Published

    Reordering buffer management with advice

    Adamaszek, A. M., Renault, M. P., Rosén, A. & van Stee, R., Oct 2017, In: Journal of Scheduling. 20, 5, p. 423-442 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  430. Published

    Neuroanatomical correlates of perceived usability

    Vi, C. T., Hornbæk, Kasper & Subramanian, S., 20 Oct 2017, UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 519-532 14 p.

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

  431. Published

    Coding as a social and tangible activity

    Tabel, O. L., Jensen, J., Dybdal, M. & Bjorn, Pernille, 25 Oct 2017, In: interactions. 24, 6, p. 70-73 4 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  432. Published

    Diagnosis of bronchiectasis and airway wall thickening in children with cystic fibrosis: objective airway-artery quantification

    Kuo, W., de Bruijne, Marleen, Petersen, Jens, Nasserinejad, K., Ozturk, H., Chen, Y., Perez-Rovira, A. & Tiddens, H. A. W. M., Nov 2017, In: European Radiology. 27, 11, p. 4680-4689 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  433. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., Nov 2017, In: Theory of Computing Systems. 61, 4, p. 1054-1083 30 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  434. Published

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., Nov 2017, In: IEEE Computer Graphics and Applications. 37, 6, p. 26-27 2 p.

    Research output: Contribution to journal › Editorial › Research

  435. Published

    Virtual reality studies outside the laboratory

    Mottelson, A. & Hornbæk, Kasper, Nov 2017, Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology. Association for Computing Machinery, 10 p. 9

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

  436. Published

    When Distribution of Tasks and Skills Are Fundamentally Problematic: A Failure Story from Global Software Outsourcing

    Matthiesen, S. & Bjorn, Pernille, Nov 2017, In: Proceedings of the ACM on Human-Computer Interaction (PACMHCI). 1, CSCW, 16 p., 74.

    Research output: Contribution to journal › Journal article › Research › peer-review

  437. Published

    Testing a Smartphone App (Young with Diabetes) to Improve Self-Management of Diabetes Over 12 Months: Randomized Controlled Trial (Preprint)

    Castensøe-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contribution › Research

  438. Published

    The Young-with-Diabetes App-Study: A 12-month Randomized Controlled Trial

    Castens�e-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contribution › Research

  439. Published

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  440. Published

    An automated approach for generating and checking control logic for reversible hardware description language-based designs

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., Dec 2017, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

  441. Published

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  442. Published

    Convolutional neural networks for transient candidate vetting in large-scale surveys

    Gieseke, F., Bloemen, S., van den Bogaard, C., Heskes, T., Kindler, J., Scalzo, R. A., Ribeiro, V. A. R. M., van Roestel, J., Groot, P. J., Yuan, F., Möller, A. & Tucker, B. E., Dec 2017, In: Monthly Notices of the Royal Astronomical Society. 472, 3, p. 3101-3114 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  443. Published

    Functional benefits and patient satisfaction with upper blepharoplasty - evaluated by objective and subjective outcome measures

    Jacobsen, A. G., Brost, B., Vorum, H. & Hargitai, J., Dec 2017, In: Acta Ophthalmologica. 95, 8, p. 820-825 6 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  444. Published

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 411-423 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  445. Published

    Reduction of variable-truncation artifacts from beam occlusion during in situ x-ray tomography

    Borg, L., Jørgensen, J. S., Frikel, J. & Sporring, Jon, Dec 2017, In: Measurement Science and Technology. 28, 12, 19 p., 124004.

    Research output: Contribution to journal › Journal article › Research › peer-review

  446. Published

    Estimating the population impact of a new pediatric influenza vaccination program in England using social media content

    Wagner, M., Lampos, V., Yom-Tov, E., Pebody, R. & Cox, Ingemar Johansson, 21 Dec 2017, In: Journal of Medical Internet Research. 19, 12, 12 p., e416.

    Research output: Contribution to journal › Journal article › Research › peer-review

  447. 2018
  448. Published

    A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals

    Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 1439-1458

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

  449. Published

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

    Research output: Contribution to journal › Journal article › Research › peer-review

  450. Published

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

    Research output: Contribution to journal › Journal article › Research › peer-review

  451. Published

    A fast approximation scheme for low-dimensional k-means

    Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 430-440

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

  452. Published

    ARRIVAL: Next stop in CLS

    Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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

  453. Published

    Analysis of synchrotron X-ray tomographic data: Reconstruction and application

    Borg, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  454. Published

    Automatic Motility Analysis of Human Sperm

    Nissen, M. S., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  455. Published

    Better tradeoffs for exact distance oracles in planar graphs

    Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529

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

  456. Published

    Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings

    Klein, S. (ed.), Staring, M. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2018, Springer. 127 p. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 10883).

    Research output: Book/Report › Anthology › Research › peer-review

  457. Published

    Brain Segmentation in Rodent MR-Images Using Convolutional Neural Networks

    Sigurdsson, B., Darkner, Sune, Sommer, Stefan Horst, Mortensen, K. N., Sanggaard, S., Kostrikov, S. & Nedergaard, Maiken, 2018.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  458. Published

    Chains, antichains, and complements in infinite partition lattices

    Avery, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, In: Algebra Universalis. 79, 37, 21 p., 37.

    Research output: Contribution to journal › Journal article › Research › peer-review

  459. Published

    Chunked Bounding Volume Hierarchies for fast digital prototyping using volumetric meshes

    Schmidtke, R. & Erleben, Kenny, 2018, In: IEEE Transactions on Visualization and Computer Graphics. 24, 12, p. 3044-3057

    Research output: Contribution to journal › Journal article › Research › peer-review

  460. Published

    Classification of Alzheimer and MCI phenotypes on MRI data using SVM

    Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, p. 263-275 (Advances in Intelligent Systems and Computing, Vol. 678).

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

  461. Published

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 p.

    Research output: Contribution to conference › Paper › Research

  462. Published

    Collocation for diffeomorphic deformations in medical image registration

    Darkner, Sune, Pai, A. S. U., Liptrot, M. G. & Sporring, Jon, 2018, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 40, 7, p. 1570-1583

    Research output: Contribution to journal › Journal article › Research › peer-review

  463. Published

    Commentary: Usability and Theory Building

    Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, 2, p. 186-189

    Research output: Contribution to journal › Comment/debate › Research

  464. Published

    Comparing fully automated state-of-the-art cerebellum parcellation from magnetic resonance images

    Carass, A., Cuzzocreo, J. L., Han, S., Hernandez-Castillo, C. R., Rasser, P. E., Ganz, M., Beliveau, V., Dolz, J., Ben Ayed, I., Desrosiers, C., Thyreau, B., Romero, J. E., Coupé, P., Manjón, J. V., Fonov, V. S., Collins, D. L., Ying, S. H., Onyike, C. U., Crocetti, D., Landman, B. A. & 3 others, Mostofsky, S. H., Thompson, P. M. & Prince, J. L., 2018, In: NeuroImage. 183, p. 150-172 23 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  465. Published

    Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction

    Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  466. Published

    Computerlingvistik: Metoder til visualisering af regional variation i sociale medier

    Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (eds.). Frederiksberg: Samfundslitteratur, p. 121-143 23 p. (Medier, Kommunikation, Journalistik).

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

  467. Published

    Consistent Hashing with bounded loads

    Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.

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

  468. Published

    CoreFun: A typed functional reversible core language

    Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).

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

  469. Published

    Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

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

  470. Published

    Deep Learning from Label Proportions for Emphysema Quantification

    Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).

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

  471. Published

    Designing eTextiles for the Body: Shape, Volume Motion

    Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731

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

  472. Published

    Dynamic bridge-finding in Õ(log2 n) amortized time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 35-52 18 p.

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

  473. Published

    Eight Aspects of Actions in Improvement Plans

    Carstensen, Peter & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 147-158 (Communications in Computer and Information Science, Vol. 896).

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

  474. Published

    Encryption and reversible computations: Work-in-progress paper

    Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 331-338 (Lecture notes in computer science, Vol. 11106).

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

  475. Published

    Ensemble support vector machine classification of dementia using structural MRI and mini-mental state examination

    Sørensen, L. & Nielsen, Mads, 2018, In: Journal of Neuroscience Methods. 302, SI, p. 66-74

    Research output: Contribution to journal › Journal article › Research › peer-review

  476. Published

    Fast fencing

    Abrahamsen, Mikkel, Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, Mikkel, 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 564-573

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

  477. Published

    Foreword to the Special Section on VRIPHYS 2018

    Andrews, S., Erleben, Kenny, Jaillet, F. & Zachmann, G., 2018, In: Computers and Graphics (Pergamon). 76, p. A3-A4

    Research output: Contribution to journal › Journal article › Research › peer-review

  478. Published

    Formal proof of polynomial-time complexity with quasi-interpretations

    Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, p. 146-157

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

  479. Published

    From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 907-916 10 p.

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

  480. Published

    From Quantified Self to Quality of Life

    Wac, Katarzyna, 2018, Digital Health: Scaling Healthcare to the World. Rivas, H. & Wac, K. (eds.). Springer, p. 83-108 (Health Informatics Series).

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

  481. Published

    From image acquisition with unmanned aerial vehicles (UAV) to patch spraying in farmer's fields

    Rasmussen, Jesper, Nielsen, J., Olsen, Søren Ingvor, Steenstrup Pedersen, Kim, Jensen, J. E. & Horfarter, R., 2018, 18th European Weed Research Society Symposium: book of abstracts. European Weed Research Society, p. 75 1 p.

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

  482. Published

    Generating graphs packed with paths: Estimation of linear approximations and differentials

    Hall-Andersen, M. & Vejre, P. S., 2018, In: IACR Transactions on Symmetric Cryptology. 2018, 3, p. 265-289 25 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  483. Published

    I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction

    Bergström, Joanna, Coyle, D., Knibbe, J. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 378

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

  484. Published

    Improving the Choice of Organizational Change Strategy

    Pries-Heje, J., Carstensen, Peter, Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 83-94 (Communications in Computer and Information Science, Vol. 896).

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

  485. Published

    Infrastructures for healthcare: from synergy to reverse synergy

    Langhoff, T. O., Amstrup, M. H., Mørck, P. & Bjorn, Pernille, 2018, In: Health Informatics Journal. 24, 1, p. 43-53

    Research output: Contribution to journal › Journal article › Research › peer-review

  486. Published

    Interactive Instruction in Bayesian Inference

    Khan, A., Breslav, S. & Hornbæk, Kasper, 2018, In: Human-Computer Interaction. 33, p. 207–233

    Research output: Contribution to journal › Journal article › Research › peer-review

  487. Published

    LED-based Photometric Stereo: Modeling, Calibration and Numerical Solutions

    Quéau, Y., Durix, B., Wu, T., Cremers, D., Lauze, Francois Bernard & Durou, J., 2018, In: Journal of Mathematical Imaging and Vision. 60, 3, p. 313-340

    Research output: Contribution to journal › Journal article › Research › peer-review

  488. Published

    Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl

    Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, p. 427-434

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

  489. Published

    Local Models for Data Driven Inverse Kinematics of Soft Robots

    Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, Kenny, 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (ed.). The Eurographics Association, 1 p.

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

  490. Published

    Mean Field Network Based Graph Refinement with Application to Airway Tree Extraction

    Selvan, Raghav, Welling, M., Pedersen, J. J. H., Petersen, Jens & de Bruijne, Marleen, 2018, Medical Image Computingand Computer AssistedIntervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16–20, 2018, Proceedings, Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 750-758 (Lecture notes in computer science, Vol. 11071).

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

  491. Published

    Modular Acceleration: Tricky Cases of Functional High-performance Computing

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.

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

  492. Published

    Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces

    Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 1896–1906 11 p.

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

  493. Published

    Multitask and Multilingual Modelling for Lexical Analysis

    Bjerva, J., 2018, In: KI - Künstliche Intelligenz. 32, 4, p. 287-290

    Research output: Contribution to journal › Journal article › Research › peer-review

  494. Published

    Reactors: A Case for Predictable, Virtualized Actor Database Systems

    Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 259-274

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

  495. Published

    Return of the features: efficient feature selection and interpretation for photometric redshifts

    D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, In: Astronomy & Astrophysics. 616, 21 p., A97.

    Research output: Contribution to journal › Journal article › Research › peer-review

  496. Published

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144

    Research output: Contribution to journal › Editorial › Research

  497. Published

    Robust Active Label Correction

    Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Vol. 84. p. 308-316 9 p. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Vol. 84).

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

  498. Published

    Robust training of recurrent neural networks to handle missing data for disease progression modeling

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2018. 9 p.

    Research output: Contribution to conference › Paper › Research

  499. Published

    Segmentation of Brains and Rocks from Tomographic Reconstructions

    Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

    Research output: Book/Report › Ph.D. thesis › Research

  500. Published

    Simultaneous synthesis of FLAIR and segmentation of white matter hypointensities from T1 MRIs

    Orbes-Arteaga, M., Cardoso, M. J., Sørensen, L., Modat, M., Ourselin, S., Nielsen, Mads & Pai, A. S. U., 2018. 8 p.

    Research output: Contribution to conference › Paper › Research

  501. Published

    Sluice resolution without hand-crafted features over brittle syntax trees

    Rønning, Ola, Hardt, D. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 236–241

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

  502. Published

    Special Topic: Taking Action in a Changing World

    Light, A., Frauenberger, C., Preece, J., Strohmeier, P. & Ferrario, M. A., 2018, In: interactions. 25, 1, p. 34-45 12 p.

    Research output: Contribution to journal › Journal article › Communication

  503. Published

    State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation

    Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, In: International Affairs. 95, 5, p. 975-994

    Research output: Contribution to journal › Journal article › Research › peer-review

  504. Published

    Stochastic Modelling on Manifolds

    Kühnel, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

Previous 1 2 3 4 Next