Department of Computer Science

  1. 2013
  2. Published

    Iterating skeletons

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p. (Lecture notes in computer science).

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

  3. Published

    Joint optimization of a signal processing chain for hydroacoustic signal classification

    Tuma, M., Igel, Christian & Prior, M., 2013. 1 p.

    Research output: Contribution to conferencePosterResearch

  4. Published

    Learning models of activities involving interacting objects

    Manfredotti, C., Steenstrup Pedersen, Kim, Hamilton, H. J. & Zilles, S., 2013, Advances in Intelligent Data Analysis XII: 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings. Tucker, A., Höppner, F., Siebes, A. & Swift, S. (eds.). Springer, p. 285-297 13 p. (Lecture notes in computer science, Vol. 8207).

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

  5. Published

    Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus

    Ketema, J. & Simonsen, Jakob Grue, 2013, In: A C M Transactions on Computational Logic. 14, 4, 28 p., 31.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Local appearance features for robust MRI brain structure segmentation across scanning protocols

    Achterberg, H. C., Poot, D. H. J., van der Lijn, F., Vernooij, M. W., Ikram, M. A., Niessen, W. J. & de Bruijne, Marleen, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 7 p. 866905. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  7. Published

    Localized cerebral atrophy acceleration during Alzheimer’s disease

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Lillholm, Martin, Dam, E. B., Sporring, Jon & Nielsen, Mads, 2013, In: Alzheimer's & Dementia. 9, 4, Supplement, p. P36–P37 2 p., IC-P-059.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  8. Published

    Localized cerebral atrophy acceleration during Alzheimer’s disease

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Lillholm, Martin, Dam, E. B., Sporring, Jon & Nielsen, Mads, 2013, In: Alzheimer's & Dementia. 9, 4, Supplement, p. P151 1 p., O1-10-06.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  9. Published

    Locally orderless registration

    Darkner, Sune & Sporring, Jon, 2013, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 6, p. 1437-1450 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Manual airway labeling has limited reproducibility

    Petersen, Jens, Feragen, A., Thomsen, L. H., Wille, M. M. W., Dirksen, A. & de Bruijne, Marleen, 2013. 10 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  11. Published

    Many-core architectures boost the pricing of basket options on adaptive sparse grids

    Heinecke, A., Jepsen, J. & Bungartz, H. J., 2013, WHPCF '13: Proceedings of the 6th Workshop on High Performance Computational Finance. Association for Computing Machinery, 9 p. 1

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

  12. Published

    Mathematical methods for medical imaging

    Pennec, X., Joshi, S. & Nielsen, Mads, 2013, In: International Journal of Computer Vision. 105, 2, p. 109-110 2 p.

    Research output: Contribution to journalEditorialResearch

  13. Published

    Mihai Pätrascu: obituary and open problems

    Thorup, Mikkel, 2013, In: SIGACT News. 44, 1, p. 110-114 5 p.

    Research output: Contribution to journalJournal articleResearch

  14. Published

    More compact oracles for approximate distances in undirected planar graphs

    Kawarabayashi, K., Sommer, C. & Thorup, Mikkel, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 550-563 14 p.

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

  15. Published

    Morphometric connectivity analysis to distinguish normal, mild cognitive impaired, and Alzheimer subjects based on brain MRI

    Erleben, L. L., Sørensen, L., Mysling, P., Pai, A. S. U., Dam, E. B. & Nielsen, Mads, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 866926. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  16. Published

    Moving frames for heart fiber geometry

    Piuze, E., Sporring, Jon & Siddiqi, K., 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 524-535 12 p. (Lecture notes in computer science, Vol. 7917).

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

  17. Published

    Multiple-instance learning as a classifier combining problem

    Li, Y., Tax, D. M. J., Duin, R. P. W. & Loog, M., 2013, In: Pattern Recognition. 46, 3, p. 865-874 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  18. Published

    Nearest neighbor classification using bottom-k sketches

    Dahlgaard, S., Igel, Christian & Thorup, Mikkel, 2013, 2013 IEEE International Conference on Big Data: proceedings. IEEE, p. 28-34 7 p.

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

  19. Published

    Nearest neighbour regression outperforms model-based prediction of specific star formation rate

    Stensbo-Smidt, K., Igel, Christian, Zirm, A. W. & Steenstrup Pedersen, Kim, 2013, 2013 IEEE International Conference on Big Data. IEEE, p. 141-144 4 p.

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

  20. Published

    Numerical methods for linear complementarity problems in physics-based animation

    Erleben, Kenny, 2013, ACM SIGGRAPH 2013 Courses. Association for Computing Machinery, 42 p. 8

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

  21. Published

    On GPU-based nearest neighbor queries for large-scale photometric catalogs in astronomy

    Heinermann, J., Kramer, O., Polsterer, K. L. & Gieseke, Fabian Cristian, 2013, KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Timm, I. J. & Thimm, M. (eds.). Springer, p. 86-97 12 p. (Lecture notes in computer science, Vol. 8077).

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

  22. Published

    On the bayesian reconstruction method for randomly oriented particles in cryo-EM

    Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1166-1169 4 p. (International Symposium on Biomedical Imaging. Proceedings).

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

  23. Published

    On the origins of OR and its institutions

    Fores, S. & Krarup, J., 2013, In: Central European Journal of Operations Research. 21, 2, p. 265-275 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  24. Published

    OneSpace: shared depth-corrected video interaction

    Ledo, D., Aseniero, B. A., Greenberg, S., Boring, S. & Tang, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 997-1002 6 p.

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

  25. Published

    PET/MR imaging of head/neck in the presence of dental implants: reducing image artifacts and increasing accuracy through inpainting

    Ladefoged, C., Beyer, T., Keller, S., Law, I., Højgaard, L., Kjær, A., Lauze, Francois Bernard & Andersen, F., 2013, In: European Journal of Nuclear Medicine and Molecular Imaging. 40, Supplement 2, p. S140 1 p., OP601.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  26. Published

    POWERWALL: int. workshop on interactive, ultra-high-resolution displays

    Rooney, C., Endert, A., Fekete, J., Hornbæk, Kasper & North, C., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3227-3230 4 p.

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

  27. Published

    Physicians’ progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T., Schmidt, K. & Svendsen, Jesper Hastrup, 2013, ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 2013, Paphos, Cyprus. Bertelsen, O. W., Ciolfi, L., Grasso, M. A. & Papadopoulos, G. A. (eds.). Springer, p. 123-142 20 p.

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

  28. Published

    Polynomial runtime bounds for fixed-rank unsupervised least-squares classification

    Gieseke, Fabian Cristian, Pahikkala, T. & Igel, Christian, 2013, Asian Conference on Machine Learning. Ong, C. S. & Ho, T. B. (eds.). Vol. 29. p. 62-71 10 p. (JMLR: Workshop and Conference Proceedings, Vol. 29).

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

  29. Published

    Priority queues and sorting for read-only data

    Asano, T., Elmasry, A. & Katajainen, J., 2013, Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Chan, T-H. H., Lau, L. C. & Trevisan, L. (eds.). Springer, p. 32-41 10 p. (Lecture notes in computer science, Vol. 7876).

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

  30. Published

    Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computation (GECCO 2013)

    Blum, C. (ed.) & Igel, Christian (ed.), 2013, Association for Computing Machinery. 1766 p.

    Research output: Book/ReportBookResearchpeer-review

  31. Published

    Proceedings of the Fourth International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Biological Shape Variability Modeling (MFCA 2013), Nagoya, Japan

    Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2013, INRIA. 134 p.

    Research output: Book/ReportBookResearchpeer-review

  32. Published

    Programming macro tree transducers

    Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.

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

  33. Published

    ProjectorKit: easing rapid prototyping of interactive applications for mobile projectors

    Weigel, M., Boring, S., Steimle, J., Marquardt, N., Greenberg, S. & Tang, A., 2013, MobileHCI '13: Proceedings of the 15th international conference on Human-Computer Interaction with Mobile devices and services. Association for Computing Machinery, p. 247-250 4 p.

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

  34. Published

    Quantification of smoothing requirement for 3D optic flow calculation of volumetric images

    Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, In: IEEE Transactions on Image Processing. 22, 6, p. 2128-2137 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  35. Published

    Quantitative airway analysis in longitudinal studies using groupwise registration and 4D optimal surfaces

    Petersen, Jens, Modat, M., Cardoso, M. J., Dirksen, A., Ourselin, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, Vol. 2. p. 287-294 8 p. (Lecture notes in computer science, Vol. 8150).

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

  36. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).

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

  37. Published

    RPI-MATLAB-simulator: a tool for efficient research and practical teaching in multibody dynamics

    Williams, J., Lu, Y., Niebe, S., Andersen, Martin, Erleben, Kenny & Trinkle, J. C., 2013, VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations. Bender, J., Dequidt, J., Duriez, C. & Zachmann, G. (eds.). Eurographics Association, p. 71-80 10 p. (VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations).

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

  38. Published

    Respiratory muscle movement in Pompe disease using cine Magnetic Resonance Imaging

    Ciet, P., Wens, S., Perez-Rovira, A., Logie, K., Wielopolski, P., de Bruijne, Marleen, Ploeg, A. V. D., Doorn, P. V. & Tiddens, H., 2013.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  39. Published

    Reversible representation and manipulation of constructor terms in the heap

    Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

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

  40. Published

    Reviewing the health of software ecosystems – a conceptual framework proposal.

    Manikas, K. & Hansen, K. M., 2013, Proceedings of 5th International Workshop on Software Ecosystems (IWSECO 2013). Alves, C. F., Hanssen, G. K., Bosch, J. & Jansen, S. (eds.). p. 33-44 12 p. (CEUR Workshop Proceedings, Vol. 987).

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

  41. Published

    Rigid Bodies in Contact: and Everything in Between

    Niebe, S. M., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesisResearch

  42. Published

    Scalable kernels for graphs with continuous attributes

    Feragen, A., Kasenburg, N., Petersen, Jens, de Bruijne, Marleen & Borgwardt, K., 2013, 27th Annual Conference on Neural Information Processing Systems 2013: NIPS 2013. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 216-224 9 p. (Advances in Neural Information Processing Systems, Vol. 26).

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

  43. Published

    Seeking for the best priority queue: lessons learnt

    Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 10 p. (CPH STL Report, Vol. 2013-3).

    Research output: Book/ReportReportResearch

  44. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 147-157 11 p. (Lecture notes in computer science, Vol. 7936).

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

  45. Published

    Selection-based mid-air text entry on large displays

    Markussen, A., Jakobsen, M. R. & Hornbæk, Kasper, 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, Vol. 2. p. 401-418 18 p. (Lecture notes in computer science, Vol. 8117).

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

  46. Published

    Shape index descriptors applied to texture-based galaxy analysis

    Steenstrup Pedersen, Kim, Stensbo-Smidt, K., Zirm, A. W. & Igel, Christian, 2013, 2013 IEEE International Conference on Computer Vision (ICCV). IEEE, p. 2440-2447 8 p.

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

  47. Published

    Simple tabulation, fast expanders, double tabulation, and high independence

    Thorup, Mikkel, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 90-99 10 p.

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

  48. Published

    SkyView: a user evaluation of the skyline operator

    Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.

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

  49. Published

    Social design feedback: evaluations with users in online ad-hoc groups

    Følstad, A., Hornbæk, Kasper & Ulleberg, P., 2013, In: Human-centric Computing and Information Sciences. 3, 27 p., 18.

    Research output: Contribution to journalJournal articleResearchpeer-review

  50. Published

    Software ecosystems – a systematic literature review

    Manikas, K. & Hansen, K. M., 2013, In: Journal of Systems and Software. 86, 5, p. 1294–1306 13 p.

    Research output: Contribution to journalReviewResearchpeer-review

  51. Published

    Solving the uncalibrated photometric stereo problem using total variation

    Quéau, Y., Lauze, Francois Bernard & Durou, J., 2013, Scale Space and Variational Methods in Computer Vision: 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings. Kuijper, A., Bredies, K., Pock, T. & Bischof, H. (eds.). Springer, p. 270-281 12 p. (Lecture notes in computer science, Vol. 7893).

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

  52. Published

    Some whys and hows of experiments in human–computer interaction

    Hornbæk, Kasper, 2013, In: Foundations and Trends in Human-Computer Interaction. 5, 4, p. 299-373 75 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  53. Published

    Sorting and searching by distribution: from generic discrimination to generic tries

    Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).

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

  54. Published

    Sparse multi-scale diffeomorphic registration: the kernel bundle framework

    Sommer, Stefan Horst, Lauze, Francois Bernard, Nielsen, Mads & Pennec, X., 2013, In: Journal of Mathematical Imaging and Vision. 46, 3, p. 292-308 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  55. Published

    Specialised tools are needed when searching the web for rare disease diagnoses

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, I., Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: Rare Diseases. 1, 1, 4 p., e25001.

    Research output: Contribution to journalJournal articleResearchpeer-review

  56. Published

    Speeding up many-objective optimization by Monte Carlo approximations

    Bringmann, K., Friedrich, T., Igel, Christian & Voß., T., 2013, In: Artificial Intelligence. 204, p. 22-29 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  57. Published

    Statistical coronary motion models for 2D + t/3D registration of X-ray coronary angiography and CTA

    Baka, N., Metz, C. T., Schultz, C., Neefjes, L., van Geuns, R. J., Lelieveldt, B. P. F., Niessen, W. J., van Walsum, T. & de Bruijne, Marleen, 2013, In: Medical Image Analysis. 17, 6, p. 698-709 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  58. Published

    Strength of the reversible, garbage-free 2k ± 1 multiplier

    Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).

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

  59. Published

    Structural logical relations with case analysis and equality reasoning

    Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

  60. Published

    Sustainability through computation

    Khan, A. & Hornbæk, Kasper, 2013, Computation for humanity: information technology to advance society. Zander, J. & Mosterman, P. J. (eds.). CRC Press, p. 35-68 34 p.

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

  61. Published

    Texture side information generation for distributed video coding of video-plus-depth

    Salmistraro, M., Rakêt, L. L., Zamarin, M., Ukhanova, A. & Forchhammer, S., 2013, 2013 20th IEEE International Conference on Image Processing (ICIP). IEEE, p. 1699-1703 5 p.

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

  62. Published

    The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012)

    Zhang, W., Hansen, K. M. & Bellavista, P., 2013, Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 253-254 2 p. (Lecture notes in computer science, Vol. 7759).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  63. Published

    The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013

    Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.

    Research output: Book/ReportBookResearchpeer-review

  64. Published

    The effect of inspiration on airway dimensions measured in CT images from the Danish Lung Cancer Screening Trial

    Petersen, Jens, Wille, M., Thomsen, L., Feragen, A., Dirksen, A. & de Bruijne, Marleen, 2013, In: Insights into Imaging. 4, Supplement 1, p. 183 1 p., B-0163.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  65. Published

    The effect of target precuing on pointing with mouse and touchpad

    Hertzum, M. & Hornbæk, Kasper, 2013, In: International Journal of Human-Computer Interaction. 29, 5, p. 338-350 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  66. Published

    The flip-the-state transition operator for restricted Boltzmann machines

    Brügge, K., Fischer, A. & Igel, Christian, 2013, In: Machine Learning. 93, 1, p. 53-69 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  67. Published

    The history of bronchiectasis on CT in cystic fibrosis

    Tepper, L. A., de Bruijne, Marleen, Caudri, D., Perez-Rovira, A. & Tiddens, H., 2013, In: Pediatric Pulmonology. 48, S36, p. 354 1 p., 408.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  68. Published

    The improved relevance voxel machine

    Ganz, Melanie, Sabuncu, M. & Leemput, K. V., 2013, Technical University of Denmark. 19 p. (DTU Compute Technical Report, Vol. 2013-10).

    Research output: Book/ReportReportResearch

  69. Published

    The unadorned desk: exploiting the physical space around a display as an input canvas

    Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).

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

  70. Published

    Toward a theory of statistical tree-shape analysis

    Feragen, A., Lo, P. C. P., de Bruijne, Marleen, Nielsen, Mads & Lauze, Francois Bernard, 2013, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 8, p. 2008-2021 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  71. Published

    Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems

    Hansen, K. M. & Manikas, K., 2013, The 25th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).

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

  72. Published

    Towards a streaming model for nested data parallelism

    Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.

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

  73. Published

    Towards ultimate binary heaps

    Elmasry, A. & Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 13 p. (CPH STL Report, Vol. 2013-1).

    Research output: Book/ReportReportResearch

  74. Published

    Tree-space statistics and approximations for large-scale analysis of anatomical trees

    Feragen, A., Owen, M., Petersen, Jens, Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 74-85 12 p. (Lecture notes in computer science, Vol. 7917).

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

  75. Published

    Truncation error for simplex propagation

    Sporring, Jon, 2013, Datalogisk Institut. 8 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 01/2013).

    Research output: Book/ReportReportResearch

  76. Published

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

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

  77. Published

    Twisted tabulation hashing

    Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 209-228 20 p.

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

  78. Published

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.

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

  79. Published

    Unscented Kalman filtering on Riemannian manifolds

    Hauberg, S., Lauze, Francois Bernard & Steenstrup Pedersen, Kim, 2013, In: Journal of Mathematical Imaging and Vision. 46, 1, p. 103-120 18 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  80. Published

    Using Kinect for 2D and 3D pointing tasks: performance evaluation

    Pino, A., Tzemis, E., Ioannou, N. & Kouroupetroglou, G., 2013, Human-Computer Interaction. Interaction Modalities and Techniques: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Kurosu, M. (ed.). Springer, p. 358-367 10 p. (Lecture notes in computer science, Vol. 8007).

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

  81. Published

    Waving to a touch interface: descriptive field study of a multipurpose multimodal public display

    Jurmu, M., Ogawa, M., Boring, S., Riekki, J. & Tokuda, H., 2013, PerDis '13: Proceedings of the 2nd ACM International Symposium on Pervasive Displays. Association for Computing Machinery, p. 7-12 6 p.

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

  82. Published

    Weak heaps and friends: recent developments

    Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (eds.). Springer, p. 1-6 6 p. (Lecture notes in computer science, Vol. 8288).

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

  83. Published

    Weak heaps engineered

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2013, In: Journal of Discrete Algorithms. 23, p. 83-97 15 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  84. Published

    White dots do matter: rewriting reversible logic circuits

    Soeken, M. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 196-208 13 p. (Lecture notes in computer science, Vol. 7948).

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

  85. Published

    eHealth in Denmark: a case study

    Kierkegaard, P., 2013, In: Journal of Medical Systems. 37, 10 p., 9991.

    Research output: Contribution to journalJournal articleResearchpeer-review

  86. Published

    Special issue on information infrastructures for healthcare: The global and local relation

    Bjorn, Pernille & Kensing, Finn, May 2013, In: International Journal of Medical Informatics. 82, 5, p. 281-282

    Research output: Contribution to journalEditorialResearchpeer-review

  87. 2014
  88. Published

    A framework for data mining in wind power time series

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

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

  89. Published

    A hybrid approach to self-management in a pervasive service middleware

    Zhang, W., Hansen, K. M. & Ingstrup, M., 2014, In: Knowledge-Based Systems. 67, p. 143-161 19 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  90. Published

    A method to determine the mammographic regions that show early changes due to the development of breast cancer

    Karemore, G., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, In: Physics in Medicine and Biology. 59, 22, p. 6759-6773 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  91. Published

    A model-free unsupervised method to cluster brain tissue directly From DWI volumes

    Liptrot, M. G. & Lauze, Francois Bernard, 2014. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  92. Published

    A nonlinear mixed-effects model for simultaneous smoothing and registration of functional data

    Raket, L. L., Sommer, Stefan Horst & Markussen, Bo, 2014, In: Pattern Recognition Letters. 38, p. 1-7 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  93. Published

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

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

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

  94. Published

    Active learning with support vector machines

    Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, In: Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery. 4, 4, p. 313-326 14 p.

    Research output: Contribution to journalReviewResearchpeer-review

  95. Published

    Additive spanners: a simple construction

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

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

  96. Published

    Addressing the path-length-dependency confound in white matter tract segmentation

    Liptrot, M. G., Sidaros, K. & Dyrby, T. B., 2014, In: PLoS ONE. 9, 5, 11 p., e96247.

    Research output: Contribution to journalJournal articleResearchpeer-review

  97. Published

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

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

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

  98. Published

    Alzheimer's disease diagnostic performance of a multi-atlas hippocampal segmentation method using the harmonized hippocampal protocol

    Anker, C., Sørensen, L., Pai, A. S. U., Lyksborg, M., Lillholm, Martin, Conradsen, K., Larsen, R. & Nielsen, Mads, 2014. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  99. Published

    An evaluation of dynamic labeling schemes for tree networks

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

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

  100. Published

    An implicit characterization of the polynomial-time decidable sets by cons-free rewriting

    de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

  101. Published

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

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

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

  102. Published

    Analysis and design of software ecosystem architectures – towards the 4S telemedicine ecosystem

    Christensen, H. B., Hansen, K. M., Kyng, M. & Manikas, K., 2014, In: Information and Software Technology. 56, 11, p. 1476-1492 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...18 Next