Department of Computer Science

Read more
301 - 350 out of 1,702Page size: 50
Sort by: Title
  1. Published

    Cellular 3D-reconstruction and analysis in the human cerebral cortex using automatic serial sections

    Larsen, N. Y., Li, X., Tan, X., Ji, G., Lin, J., Rajkowska, G., Møller, J., Vihrs, N., Sporring, Jon, Sun, F. & Nyengaard, J. R., Dec 2021, In: Communications Biology . 4, 1, 15 p., 1030.

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

  2. Published

    Cerebral serotonin transporter measurements with [11C]DASB: A review on acquisition and preprocessing across 21 PET centres

    Nørgaard, M., Ganz, Melanie, Svarer, C., Feng, L., Ichise, M., Lanzenberger, R., Lubberink, M., Parsey, R. V., Politis, M., Rabiner, E. A., Slifstein, M., Sossi, V., Suhara, T., Talbot, P. S., Turkheimer, F., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, 2, p. 210-222 13 p.

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

  3. Published

    Certified symbolic management of financial multi-party contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, p. 315-327 13 p.

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

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

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

  6. Published

    Change in mammographic density across birth cohorts of Dutch breast cancer screening participants

    Napolitano, George, Lynge, Elsebeth, Lillholm, Martin, Vejborg, I. M. M., van Gils, C. H., Nielsen, Mads & Karssemeijer, N., 2019, In: International Journal of Cancer. 145, 11, p. 2954-2962 9 p.

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

  7. Published

    Changes in maximum muscle strength and rapid muscle force characteristics after long-term special support and reconnaissance missions: A preliminary report

    Christensen, P. A., Jacobsen, O., Thorlund, J. B., Madsen, Thomas, Møller, C., Jensen, C., Suetta, Charlotte & Aagaard, P., Sep 2008, In: Military Medicine. 173, 9, p. 889-894 6 p.

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

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

  9. Published

    Characterizing RNA ensembles from NMR data with kinematic models

    Fonseca, R., Pachov, D. V., Bernauer, J. & van den Bedem, H., 2014, In: Nucleic Acids Research. 42, 15, p. 9562-9572 11 p.

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

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

  11. Published

    Characterizing software activity: the influence of software to ecosystem health

    Manikas, K. & Kontogiorgos, D., 2015, Proceedings of the 2015 European Conference on Software Architecture Workshops: ECSAW '15. Association for Computing Machinery, 6 p. 46

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

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

  13. Published

    Charting Subtle Interaction in the HCI Literature

    Pohl, H., Muresan, A. & Hornbæk, Kasper, 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 15 p. 418

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

  14. Published

    Chats with Bots: Balancing Imitation and Engagement

    Muresan, A. & Pohl, H., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 6 p. LBW0252

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

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

  16. Published

    Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases

    Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, Dec 1990, In: International Journal of Legal Medicine (Print). 104, 1, p. 3-7 5 p.

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

  17. Published

    Chronic Obstructive Pulmonary Disease Quantification Using CT Texture Analysis and Densitometry: Results From the Danish Lung Cancer Screening Trial

    Sørensen, L., Nielsen, Mads, Petersen, Jens, Pedersen, J. H., Dirksen, A. & de Bruijne, Marleen, 2020, In: American Journal of Roentgenology. 214, 6, p. 1269-1279

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

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

  19. Published

    Civile droner i Danmark: potentialer, udfordringer og anbefalinger

    Smith Lygum, A. K., Skjødt Nielsen, J., Bang Bådum, N., La Cour-Harbo, A., Paulin Hansen, J., Steenstrup Pedersen, Kim, Larsen, L. M., Kessing, P. V., Madsen Almdal, T., Ploug, T. & Grønbæk, D., 2014, Teknologirådet. 103 p.

    Research output: Book/Report › Report › Commissioned

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

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

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

  23. Published

    Classification of COPD with multiple instance learning

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

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

  24. Published

    Classification of clinical falciparum malaria and its use for the evaluation of chemosuppression in children under six years of age in Liberia, west Africa

    Høgh, Birthe, Marbiah, N. T., Petersen, E., Dolopaye, E., Willcox, M., Björkman, A., Hanson, A. P. & Gottschau, A., Aug 1993, In: Acta Tropica. 54, 2, p. 105-15 11 p.

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

  25. Published

    Classifying VAT Legislation for Automation

    Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

    Research output: Contribution to conference › Paper › Research

  26. Published

    Classifying convex bodies by their contact and intersection graphs

    Aamand, Anders, Abrahamsen, Mikkel, Knudsen, J. B. T. & Rasmussen, Peter Michael Reichstein, 2021, 37th International Symposium on Computational Geometry, SoCG 2021. Buchin, K. & de Verdiere, E. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 189).

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

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

  28. Published

    Clinical and parasitological studies on malaria in Liberian adults living under intense malaria transmission

    Petersen, E., Høgh, Birthe, Marbiah, N. T., Dolopaie, E., Gottschau, A., Hanson, A. P. & Bjorkman, A., Dec 1991, In: Annals of Tropical Medicine and Parasitology. 85, 6, p. 577-84 8 p.

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

  29. Published

    ClouDiA: a deployment advisor for public clouds

    Zou, T., Le Bras, R., Vaz Salles, M. A., Demers, A. & Gehrke, J., 2015, In: V L D B Journal. 21 p.

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

  30. Published

    Coarse-to-Fine Low-Rank Structure-from-Motion

    Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, Søren Ingvor & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, p. 1-8 8 p.

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

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

  32. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338

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

  33. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81

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

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

  35. Published

    Collision Detection of Deformable Volumetric Meshes

    Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (ed.). Charles River Media, p. 51-68

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

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

  37. Published

    Color coding ER-diagrams, one approach to modeling semistructured data. Entity-Relationship diagrams used for aggregate oriented databases.

    Lassen, Anders & Ejstrup, C., Jun 2020, In: International Journal of Innovative Studies in Sciences and Engineering Technology (IJISSET). 6, 6, p. 14-22

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

  38. Published

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

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

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

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

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

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

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

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

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

  45. Published

    Comparing usability problems and redesign proposal as input to practical systems development

    Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400

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

  46. Published

    Comparison of Techniques for Matching of Usability-Problem Descriptions

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Interacting with Computers. 20, 6, p. 505-514

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

  47. Published

    Comparison of several computational pipelines for atrophy computation in longitudinal Alzheimers studies

    Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L. E. B. L., Sporring, Jon & Nielsen, Mads, 2015. 1 p.

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

  48. Published

    Compiling APL to accelerate through a typed array intermediate language

    Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 13-18 6 p.

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

  49. Published

    Compiling a subset of APL into a typed intermediate language

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

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

  50. Published

    Compiling generalized histograms for GPU

    Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244

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

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