Department of Computer Science

Read more
501 - 600 out of 1,703Page size: 100
  1. 2012
  2. Published

    A catalogue of weak-heap programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 36 p. (CPH STL Report; No. 2012-2).

    Research output: Book/Report › Report › Research

  3. Published

    Adaptive heapsort: source code

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 29 p. (CPH STL Report; No. 2011-1).

    Research output: Book/Report › Report › Research

  4. Published

    Adjustable chain trees for proteins

    Winter, Pawel & Fonseca, R., 2012, In: Journal of Computational Biology. 19, 1, p. 83-99 17 p.

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

  5. Published

    Bayesian Image Segmentation with Multiscale Feature Learning

    Petersen, P. K., 2012, Faculty of Science, University of Copenhagen.

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

  6. Published

    Bounding volumes for proteins: a comparative study

    Fonseca, R. & Winter, Pawel, 2012, In: Journal of Computational Biology. 19, 10, p. 1203-1213 11 p.

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

  7. Published

    Breast density scoring with multiscale denoising autoencoders

    Petersen, P. K., Chernoff, K., Nielsen, Mads & Ng, A. Y., 2012. 8 p.

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

  8. Published

    Challenges of participatory design for social innovation: a case study in aging society

    Obata, A., Ohori, K., Kobayashi, N., Hochreuter, H. L. & Kensing, Finn, 2012, Proceedings of the 12th Participatory Design Conference: exploratory papers, workshop descriptions, industry cases - volume 2. Association for Computing Machinery, Vol. 2. p. 9-12 4 p.

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

  9. Published

    Characterizing languages by normalization and termination in string rewriting

    Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

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

  10. Published

    Design of Reversible Computing Systems: Logic, Languages, and Circuits

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 p.

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

  11. Published

    Extending distributed shared memory for the cell broadband engine to a channel model

    Skovhede, K., Larsen, M. N. & Vinter, B., 2012, Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I. Jónasson, K. (ed.). Springer, Vol. Part I. p. 108-118 11 p. (Lecture notes in computer science, Vol. 7133).

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

  12. Published

    Fluoroscopic assessment of femoral kinematics using a statistical shape model

    Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , p. 147148 2 p. 5B.2

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

  13. Published

    Grab and Touch: Empirical Research on Tangible Computing and Touch Interaction

    Pedersen, E. W., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 70 p.

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

  14. Published

    HUMIM software for articulated tracking

    Hauberg, S. & Steenstrup Pedersen, Kim, 2012, Datalogisk Institut, Københavns Universitet: Faculty of Science, University of Copenhagen. 7 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport).

    Research output: Book/Report › Report › Research

  15. Published

    Hippocampal texture provides volume-independent information for Alzheimer's disease diagnosis

    Sørensen, L., Pai, A. S. U., Darkner, Sune, Suhy, J., Oh, J., Chen, G., Igel, Christian & Nielsen, M., 2012, In: Alzheimer's & Dementia. 8, 4, Supplement, p. P162–P163 2 p.

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

  16. Published

    Improving the efficiency of priority-queue structures. Using data-structural transformations and number systems

    Jensen, C., 2012, Faculty of Science, University of Copenhagen.

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

  17. Published

    Interobserver variability in visual evaluation of thoracic CT scans and comparison with automatic computer measurements of CT lung density

    Wille, M. M. W., Thomsen, L. H., Petersen, Jens, Shaker, S. B., Dirksen, A. & Pedersen , J. H., 2012, In: European Respiratory Journal. 40, Supplement 56, p. 25s 1 p., P270.

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

  18. Published

    Introduction to the special issue on machine learning for traffic sign recognition

    Stallkamp, J., Schlipsing, M., Salmen, J. & Igel, Christian, 2012, In: I E E E Transactions on Intelligent Transportation Systems. 13, 4, p. 1481-1483 3 p.

    Research output: Contribution to journal › Editorial › Research

  19. Published

    Medical emplotment: Designing IT for distributed healthcare

    Mønsted, T. S., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 100 p.

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

  20. Published

    Natural metrics and least-committed priors for articulated tracking

    Hauberg, S., Sommer, Stefan Horst & Steenstrup Pedersen, Kim, 2012, In: Image and Vision Computing. 30, 6-7, p. 453-461 9 p.

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

  21. Published

    Proxemics for information visualization on wall-sized displays

    Jakobsen, M. R. & Hornbæk, Kasper, 2012. 5 p.

    Research output: Contribution to conference › Paper › Research

  22. Published

    Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

    Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 p.

    Research output: Book/Report › Doctoral thesis › Research

  23. Published

    Rock’n’roll computer science

    Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

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

  24. Published

    Standardization of a chest-CT protocol for multi-center trial in cystic fibrosis (CF) infants

    Ciet, P., Graniel, K. G., Stick, S., de Bruijne, Marleen, Tiddens, H. & van Straten, M., 2012, In: Journal of Thoracic Imaging. 27, 5, p. W127 1 p., O47.

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

  25. Published

    Weak-heap and weak-queue frameworks: source code

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 81 p. (CPH STL Report; No. 2011-2).

    Research output: Book/Report › Report › Research

  26. Published

    You move, you move me: exploring lifelikeness in deformable interfaces

    Pedersen, E. W. & Hornbæk, Kasper, 2012. 4 p.

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

  27. Published

    Multiphase Flow of Immiscible Fluids on Unstructured Moving Meshes

    Misztal, M. K., Erleben, Kenny, Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., Jul 2012, EUROSCA'12 Proceedings of the 11th ACM SIGGRAPH / Eurographics conference on Computer Animation. ACM, p. 97 106 p.

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

  28. Published

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 Oct 2012, 466 p.

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

  29. 2013
  30. Published

    A comparison of well-quasi orders on trees

    Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  31. Published

    A note on generalization loss when evolving adaptive pattern recognition systems

    Igel, Christian, 2013, In: I E E E Transactions on Evolutionary Computation. 17, 3, p. 345-352 8 p.

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

  32. Published

    A research roadmap for context-awareness-based self-managed systems

    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, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 275-283 9 p. (Lecture notes in computer science, Vol. 7759).

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

  33. Published

    A swiss pocket knife for computability

    Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  34. Published

    A transfer-learning approach to image segmentation across scanners by maximizing distribution similarity

    van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, held in conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 49-56 8 p. (Lecture notes in computer science, Vol. 8184).

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

  35. Published

    Airway distensibility in chronic obstructive pulmonary disease – evaluation by CT airway segmentation and lung density measurement based on the Danish lung cancer screening trial

    M. W. Wille, M., Petersen, Jens, Dirksen, A., Pedersen, J. J. H. & de Bruijne, Marleen, 2013, In: American Journal of Respiratory and Critical Care Medicine. 187, p. A2871 1 p.

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

  36. Published

    Alignment of concerns: a design rationale for patient participation in e-health

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2013. 4 p.

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

  37. Published

    An automatic system for segmentation, matching, anatomical labeling and measurement of airways from CT images

    Petersen, Jens, Feragen, A., Owen, M., Lo, P., Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 2013. 1 p.

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

  38. Published

    An experimental analysis of iterated spatial joins in main memory

    Sowell, B., Vaz Salles, M. A., Cao, T., Demers, A. & Gehrke, J., 2013, In: Proceedings of the VLDB Endowment. 6, 14, p. 1882-1893 12 p.

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

  39. Published

    An experimental investigation of the normality of irrational algebraic numbers

    Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, In: Mathematics of Computation. 82, p. 1837-1858 22 p.

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

  40. Published

    An improved optimization method for the relevance voxel machine

    Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).

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

  41. Published

    An optimal algorithm computing edge-to-edge visibility in a simple polygon

    Abrahamsen, Mikkel, 2013, Proceedings of the 25th Canadian Conference on Computational Geometry: CCCG 2013. p. 157-162 6 p.

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

  42. Published

    Analyzing users' narratives to understand experience with interactive products

    Tuch, A. N., Trusell, R. & Hornbæk, Kasper, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '13). Association for Computing Machinery, p. 2079-2088 10 p.

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

  43. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 539-549 11 p. (The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings).

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

  44. Published

    Approximation properties of DBNs with binary hidden units and real-valued visible units

    Krause, Oswin, Fischer, A., Glasmachers, T. & Igel, Christian, 2013, Proceedings of the 30th International Conference on Machine Learning. Dasgupta, S. & McAllester, D. (eds.). p. 419-426 8 p. (JMLR: Workshop and Conference Proceedings, Vol. 28).

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

  45. Published

    Architectural slicing: towards automatic harvesting of architectural prototypes

    Christensen, H. B. & Hansen, K. M., 2013, Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Drira, K. (ed.). Springer, p. 316-319 4 p. (Lecture notes in computer science, Vol. 7957).

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

  46. Published

    At the center of the galaxy: the integrative role of medical progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T. & Schmidt, K., 2013. 4 p.

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

  47. Published

    Atlases of cardiac fiber differential geometry

    Piuze, E., Lombaert, H., Sporring, Jon, Strijkers, G. J., Bakermans, A. J. & Siddiqi, K., 2013, Functional Imaging and Modeling of the Heart: 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings. Ourselin, S., Rueckert, D. & Smith, N. (eds.). Springer, p. 442-449 8 p. (Lecture notes in computer science, Vol. 7945).

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

  48. Published

    Automated brain-tissue segmentation by multi-feature SVM classification

    van Opbroek, A., van der Lijn, F. & de Bruijne, Marleen, 2013, The MICCAI Grand Challenge on MR Brain Image Segmentation (MRBrainS13). 8 p. (The MIDAS Journal).

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

  49. Published

    Automated measurement of diagnostic angles for hip dysplasia

    de Raedt, S., Mechlenburg, I. B., Stilling, M., Mikkelsen, L. R., Søballe, K. & de Bruijne, Marleen, 2013, Medical Imaging 2013: Computer-Aided Diagnosis. Novak, C. L. & Aylward, S. (eds.). SPIE - International Society for Optical Engineering, 10 p. 867009. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 8670).

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

  50. Published

    Automated segmentation of atherosclerotic histology based on pattern classification

    van Engelen, A., Niessen, W. J., Klein, S., Groen, H. C., van Gaalen, K., Verhagen, H. J., Wentzel, J. J., van der Lugt, A. & de Bruijne, Marleen, 2013, In: Journal of Pathology Informatics. 4, 7 p., 3.

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

  51. Published

    Automatic measurement of wrist synovitis from contrast-enhanced MRI: a registration-centered approach

    Mysling, P., Darkner, Sune, Sporring, Jon, Dam, E. & Lillholm, Martin, 2013, Medical Imaging 2013: Image Processing. Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 86692U. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  52. Published

    Bayesian epipolar geometry estimation from tomographic projections

    Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, Computer Vision – ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV. Lee, K. M., Matsushita, Y., Rehg, J. M. & Hu, Z. (eds.). Springer, p. 231-242 12 p. (Lecture notes in computer science, Vol. 7727).

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

  53. Published

    Bottom-k and priority sampling, set similarity and subset sums with minimal independence

    Thorup, Mikkel, 2013, STOC '13: Proceedings of the 45th Annual ACM Symposium on Symposium on Theory of Computing. Association for Computing Machinery, p. 371-380 10 p.

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

  54. Published

    Branchless search programs

    Elmasry, A. & Katajainen, J., 2013, Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings. Bonifaci, V., Demetrescu, C. & Marchetti-Spaccamela, A. (eds.). Springer, p. 127-138 12 p. (Lecture notes in computer science, Vol. 7933).

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

  55. Published

    Cardiac fiber inpainting using cartan forms

    Piuze, E., Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Moru, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 509-517 9 p. (Lecture notes in computer science, Vol. 8150).

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

  56. Published

    Carotid artery lumen segmentation in 3D free-hand ultrasound images using surface graph cuts

    Lorza, A. M. A., Carvalho, D. D. B., Petersen, Jens, Dijk, A. C. V., Lugt, A. V. D., Niessen, W. J., Klein, 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, p. 542-549 8 p. (Lecture notes in computer science, Vol. 8150).

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

  57. Published

    Characterizing the Danish telemedicine ecosystem: making sense of actor relationships

    Manikas, K. & Hansen, K. M., 2013, Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems: MEDES '13. Association for Computing Machinery, p. 211-218 8 p.

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

  58. Published

    Chest computed tomography: a validated surrogate endpoint of cystic fibrosis lung disease?

    Loeve, M., Krestin, G. P., Rosenfeld, M., de Bruijne, Marleen, Stick, S. M. & Tiddens, H. A., 2013, In: European Respiratory Journal. 42, 3, p. 844-857 14 p.

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

  59. Published

    Classification in Medical Imaging: Features, Metrics and Insights into Classifiers

    Chen, C., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

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

  60. Published

    Cleaning up: garbage-free reversible circuits by design languages

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

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

  61. Published

    Comparative study of search engine result visualisation: ranked lists versus graphs

    Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (eds.). p. 27-30 4 p. (CEUR Workshop Proceedings, Vol. 1033).

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

  62. Published

    Comparing modalities and feedback for peripheral interaction

    Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.

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

  63. Published

    Computational complexity for uniform orientation Steiner tree problems

    Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (ed.). Australian Computer Society, Vol. 135. p. 107-113 7 p.

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

  64. Published

    Conceptual frameworks for constructing iterators for compound data structures - Electronic appendix I: component-iterator and rank-iterator classes

    Katajainen, J. & Maniotis, A. M., 2013, Department of Computer Science, University of Copenhagen. 47 p. (CPH STL Report; No. 2012-3).

    Research output: Book/Report › Report › Research

  65. Published

    Convergence in infinitary term graph rewriting systems is simple (extended abstract)

    Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).

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

  66. Published

    Copilot: monitoring embedded systems

    Pike, L., Wegmann, N., Niller, S. & Goodloe, A., 2013, In: Innovations in Systems and Software Engineering. 9, 4, p. 235-255 21 p.

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

  67. Published

    Cube propagation for focal brain atrophy estimation

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Mysling, P., Jørgensen, D. R., Dam, E. B., Lillholm, Martin, Oh, J., Chen, G., Suhy, J., Sporring, Jon & Nielsen, Mads, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging. IEEE, p. 402-405 4 p.

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

  68. Published

    Danger to public health: medical devices, toxicity, virus and fraud

    Kierkegaard, S. & Kierkegaard, P., 2013, In: Computer Law & Security Review. 29, 1, p. 13-27 15 p.

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

  69. Published

    Deep feature learning for knee cartilage segmentation using a triplanar convolutional neural network

    Prasoon, A., Petersen, P. K., Igel, Christian, Lauze, Francois Bernard, Dam, Erik Bjørnager & Nielsen, Mads, 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, p. 246-253 8 p. (Lecture notes in computer science, Vol. 8150).

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

  70. Published

    Detection of traffic signs in real-world images: the German traffic sign detection benchmark

    Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.

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

  71. Published

    Diffeomorphic spectral matching of cortical surfaces

    Lombaert, H., Sporring, Jon & Siddiqi, K., 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. 376-389 14 p. (Lecture notes in computer science, Vol. 7917).

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

  72. Published

    Distributed multi-hypothesis coding of depth maps using texture motion information and optical flow

    Salmistraro, M., Zamarin, M., Raket, L. L. & Forchhammer, S., 2013, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing: proceedings. IEEE, p. 1685-1689 5 p.

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

  73. Published

    Do points, levels and leaderboards harm intrinsic motivation? An empirical analysis of common gamification elements

    Mekler, E. D., Brühlmann, F., Opwis, K. & Tuch, A. N., 2013, Gamification '13: Proceedings of the First International Conference on Gameful Design, Research, and Applications. Association for Computing Machinery, p. 66-73 8 p.

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

  74. Published

    Duality based optical flow algorithms with applications

    Rakêt, L. L., 2013, University of Copenhagen. 62 p.

    Research output: Book/Report › Report › Research

  75. Published

    E-prescription across Europe

    Kierkegaard, P., 2013, In: Health and Technology. 3, 3, p. 205-219 15 p.

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

  76. Published

    Echtzeit-Videoanalyse im Fußball

    Schlipsing, M., Salmen, J. & Igel, Christian, 2013, In: KI - Künstliche Intelligenz. 27, 3, p. 235-240 6 p.

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

  77. Published

    Efficient nonrigid registration using ranked order statistics

    Tennakoon, R. B., Bab-Hadiashar, A., de Bruijne, Marleen & Cao, Z., 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 496-499 4 p. (International Symposium on Biomedical Imaging. Proceedings).

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

  78. Published

    Evaluation of WBAA with registration-based cube propagation for brain atrophy quantification

    Lillholm, Martin, Pai, A. S. U., Sørensen, L., Nielsen, Mads, Sporring, Jon, Darkner, Sune & Dam, E., 2013. 1 p.

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

  79. Published

    Extracting usability and user experience information from online user reviews

    Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.

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

  80. Published

    FDG-PET template MNI152 1mm

    Darkner, Sune, 2013

    Research output: Non-textual form › Dataset › Research

  81. Published

    Faster deterministic fully-dynamic graph connectivity

    Wulff-Nilsen, Christian, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 1757-1769 13 p.

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

  82. Published

    Fat heaps without regular counters

    Elmasry, A. & Katajainen, J., 2013, In: Discrete Mathematics, Algorithms and Applications. 5, 21 p., 1360006.

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

  83. Published

    Femoral cartilage segmentation in knee MRI scans using two stage voxel classification

    Prasoon, A., Igel, Christian, Loog, M., Lauze, Francois Bernard, Dam, E. & Nielsen, Mads, 2013, 35th Annual International Conference of the IEEE; Engineering in Medicine and Biology Society (EMBC), 2013. IEEE, p. 5469-5472 4 p.

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

  84. Published

    FindZebra: a search engine for rare diseases

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, Ingemar Johansson, Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: International Journal of Medical Informatics. 82, 6, p. 528-538 11 p.

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

  85. Published

    From focus to context and back: combining mobile projectors and stationary displays

    Weigel, M., Boring, S., Marquardt, N., Steimle, J., Greenberg, S. & Tang, A., 2013. 4 p.

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

  86. Published

    Funding successful research

    Thorup, Mikkel, 2013, In: Communications of the A C M. 56, 3, p. 38-39 2 p.

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

  87. Published

    GECCO '13: Proceedings of the 2013 Genetic and Evolutionary Computation Conference

    Blum, C. (ed.), Alba, E. (ed.), Auger, A. (ed.), Bacardit, J. (ed.), Bongard, J. (ed.), Branke, J. (ed.), Bredeche, N. (ed.), Brockhoff, D. (ed.), Chicano, F. (ed.), Dorin, A. (ed.), Doursat, R. (ed.), Ekart, A. (ed.), Friedrich, T. (ed.), Giacobini, M. (ed.), Harman, M. (ed.), Iba, H. (ed.), Igel, C. (ed.), Jansen, T. (ed.), Kovacs, T. (ed.), Kowaliw, T. (ed.) & 20 others, Lopez-Ibanez, M. (ed.), Lozano, J. A. (ed.), Luque, G. (ed.), McCall, J. (ed.), Moraglio, A. (ed.), Motsinger-Reif, A. (ed.), Neumann, F. (ed.), Ochoa, G. (ed.), Olague, G. (ed.), Ong, Y. (ed.), Palmer, M. E. (ed.), Pappa, G. L. (ed.), Parsopoulos, K. E. (ed.), Schmickl, T. (ed.), Smith, S. L. (ed.), Solnon, C. (ed.), Stuetzle, T. (ed.), Talbi, E. (ed.), Tauritz, D. (ed.) & Vanneschi, L. (ed.), 2013, Association for Computing Machinery.

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

  88. Published

    Garbage-free reversible constant multipliers for arbitrary integers

    Mogensen, Torben Ægidius, 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. 70-83 14 p. (Lecture notes in computer science, Vol. 7948).

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

  89. Published

    Heritage: having a say

    Kensing, Finn & Greenbaum, J., 2013, Routledge international handbook of participatory design. Simonsen, J. & Robertson, T. (eds.). Routledge, p. 21-36 16 p.

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

  90. Published

    Higher-order momentum distributions and locally affine LDDMM registration

    Sommer, Stefan Horst, Nielsen, Mads, Darkner, Sune & Pennec, X., 2013, In: S I A M Journal on Imaging Sciences. 6, 1, p. 341-367 27 p.

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

  91. Published

    Hippocampal texture predicts conversion from MCI to Alzheimer's disease

    Sørensen, L., Pai, A. S. U., Igel, Christian & Nielsen, Mads, 2013, In: Alzheimer's & Dementia. 9, 4, Supplement, p. P581 1 p.

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

  92. Published

    Hippocampal texture predicts conversion from MCI to Alzheimer's disease

    Sørensen, L., Igel, Christian & Nielsen, Mads, 2013, In: Alzheimer's & Dementia. 9, 4, Supplement, p. P52 1 p.

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

  93. Published

    Hippocampal texture predicts one-year hippocampal atrophy in mild cognitively impaired subjects

    Sørensen, L., Pai, A. S. U., Mysling, P., Darkner, Sune, Chen, G., Oh, J., Suhy, J., Igel, Christian & Nielsen, Mads, 2013. 1 p.

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

  94. Published

    Hippocampus atrophy in early Alzheimer's disease quantified using non-rigid registration with cube propagation

    Pai, A. S. U., Sørensen, L. E. B. L., Mysling, P., Erleben, L. L., Sporring, Jon, Dam, E., Lillholm, M., Jørgensen, D. R., Chen, G., Oh, J., Suhy, J. & Nielsen, Mads, 2013.

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

  95. Published

    In-place binary counters

    Elmasry, A. A. A. E. & Katajainen, J., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer, p. 349-360 12 p. (Lecture notes in computer science).

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

  96. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).

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

  97. Published

    Information visualization and proxemics: design opportunities and empirical findings

    Jakobsen, M. R., Haile, Y. S., Knudsen, S. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2386-2395 10 p.

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

  98. Published

    Interactive visualizations on large and small displays: the interrelation of display size, information space, and scale

    Jakobsen, M. R. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2336-2345 10 p.

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

  99. Published

    Investigating pointing tasks across angularly coupled display areas

    Hennecke, F., De Luca, A., Nguyen, N. D. H., Boring, S. & Butz, A., 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. (ed.). Springer, Vol. Part I. p. 720-727 8 p. (Lecture notes in computer science, Vol. 8117).

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

  100. Published

    Investigation of kernel-based machine learning techniques for infrasound signal classification

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

    Research output: Contribution to conference › Poster › Research

  101. Published

    Iterated stacked classifiers for lung segmentation in computed tomography

    Ciompi, F., Gatta, C. & de Bruijne, Marleen, 2013, The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan - September 26, 2013. Beichel, R. R., de Bruijne, M., Kabus, S., Kiraly, A. P., Kitasaka, T., Kuhnigk, J-M., McClelland, J. R., van Rikxoort, E. & Rit, S. (eds.). CreateSpace Independent Publishing Platform , p. 63-74 12 p.

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

  102. Published

    Iterating skeletons: structured parallelism by composition

    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.

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

Previous 12 3 4 5 6 7 8 9 ...18 Next