Department of Computer Science

  1. Published

    Big Data eller privacy?

    Henglein, Fritz, 2015. 5 p.

    Research output: Contribution to conferencePaperResearch

  2. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Bigger buffer k-d trees on multi-many-core systems

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).

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

  4. Published

    Binocular dense depth reconstruction using isotropy constraint

    Nielsen, Mads & Deriche, R., 1995, In: Theory and Applications of Image Processing IIG. Borgefors, Ed. p. 127-140 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings

    Klein, S. (ed.), Staring, M. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2018, Springer. 127 p. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 10883).

    Research output: Book/ReportAnthologyResearchpeer-review

  6. Published

    Bipartite binomial heaps

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Block Tridiagonal Matrices in Electronic Structure Calculations

    Petersen, D. E., 2008, København: Department of Computer Science, University of Copenhagen. 247 p.

    Research output: Book/ReportPh.D. thesisResearch

  8. Published

    Block Truncation and Planar Image Coding

    Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, p. 75-81

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  9. Published

    Block Truncation and Planar Image Coding

    Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, p. 569-575

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  10. Published

    Block Truncation and planar image coding, Vol.21, no.13-14

    Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  11. Published

    Blockchains for Business Process Management - Challenges and Opportunities

    Mendling, J., Weber, I., van der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., Garcia-Banuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 others, Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, Tijs, Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., Feb 2018, In: ACM Transactions on Management Information Systems. 9, 1, 16 p., 4.

    Research output: Contribution to journalJournal articleResearchpeer-review

  12. Published

    Body-based user interfaces

    Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, Joanna, Jansen, Y. & Hornbæk, Kasper, 2022, The Routledge Handbook of Bodily Awareness. Taylor and Francis/Routledge, p. 478-502

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

  13. Published

    Boneless Pose Editing and Animation

    Bærentzen, J. A., Hansen, K. E. & Erleben, Kenny, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 562-571 (Lecture notes in computer science; No. 4522).

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

  14. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  15. Published

    Boosting reversible pushdown machines by preprocessing

    Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 89-104 16 p. (Lecture notes in computer science, Vol. 9720).

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

  16. Published

    Bottleneck paths and trees and deterministic graphical games

    Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-13 13 p. 27. (Leibniz International Proceedings in Informatics, Vol. 47).

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

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

  18. Published

    Bottom-up, top-down? Connecting software architecture design with use

    Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. & Shapiro, D. K., 2009, Configuring user-designer relations: Interdisciplinary perspectives. Voss, A., Hartswood, M., Ho, K., Procter, A., Rouncefield, M., Slack, R. & Büscher, M. (eds.). Springer Science+Business Media, 35 p.

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

  19. Published

    Bounding component sizes of two-connected Steiner networks

    Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, In: Information Processing Letters. 104, 5, p. 159-163

    Research output: Contribution to journalJournal articleResearchpeer-review

  20. 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 journalJournal articleResearchpeer-review

  21. Published

    Bounds checking: an instance of hybrid analysis

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

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

  22. Published

    Brain Segmentation in Rodent MR-Images Using Convolutional Neural Networks

    Sigurdsson, B., Darkner, Sune, Sommer, Stefan Horst, Mortensen, K. N., Sanggaard, S., Kostrikov, S. & Nedergaard, Maiken, 2018.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  23. Published

    Brain region's relative proximity as marker for Alzheimer's disease based on structural MRI

    Erleben, L. L., Sørensen, L. E., Pai, A. S. U., Dam, Erik Bjørnager, Nielsen, Mads & Initiative, A. D. N., 2014, In: BMC Medical Imaging. 14, 1, 12 p., 21.

    Research output: Contribution to journalJournal articleResearchpeer-review

  24. Published

    Branch and bound algorithm for protein structure prediction  using efficient bounding

    Winter, Pawel, 2007.

    Research output: Contribution to conferencePosterResearch

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

  26. Published

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  27. Published

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  28. 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 conferencePaperResearchpeer-review

  29. Published

    Breast tissue segmentation and mammographic risk scoring using deep learning

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

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

  30. Published

    Breast tissue segmentation from x-ray radiographs

    Chen, C., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, In: Physics in Medicine and Biology. 59, 10, p. 2445-2456 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  31. Published

    Bridge simulation and metric estimation on landmark manifolds

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

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

  32. Published

    Brief announcement: labeling schemes for power-law graphs

    Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 39-41 3 p.

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

  33. Published

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

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

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

  34. Published

    Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process

    Hertzum, M. & Frøkjær, Erik, 1996, In: ACM Transactions on Computer Human Interaction. 3, 2, p. 136-161 26 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  35. Published

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

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

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

  36. Published

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, p. 187-204 18 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

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

  37. Published

    CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks

    Thomas Jankvist, U. & Misfeldt, Morten, 2019, In: REDIMAT - Journal of Research in Mathematics Education. 8, 3, p. 232-266 35 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  38. Published

    CMA-ES with optimal covariance update and storage complexity

    Krause, Oswin, Rodríguez Arbonès, D. & Igel, Christian, 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., Sugiyama, M., Luxburg, U. V., Guyon, I. & Garnett, R. (eds.). Curran Associates, Inc., p. 370-378 9 p.

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

  39. Published

    Calculating certified compilers for non-deterministic languages

    Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Springer, p. 159-186 28 p. (Lecture notes in computer science, Vol. 9129).

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

  40. Published

    Calculating correct compilers

    Bahr, P. & Hutton, G., 2015, In: Journal of Functional Programming. 25, 47 p., e14.

    Research output: Contribution to journalJournal articleResearchpeer-review

  41. Published

    Calibration of an agile camera

    Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  42. Published

    Camera-based seam tracking and nearly-closed-loop control of arc welding

    Liu, J., Christensen, K. H., Fan, Z., Olsen, Søren Ingvor & Kristensen, J. K., 2009. 13 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  43. Published

    Can AMR Assist Legal and Logical Reasoning?

    Schrack, Nikolaus Alexander, Cui, Ruixiang, López, H. A. & Hershcovich, Daniel, 2022, Findings of the Association for Computational Linguistics: EMNLP 2022. Association for Computational Linguistics, p. 1555-1568

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  44. Published

    Carbon Footprint of Selecting and Training Deep Learning Models for Medical Image Analysis

    Selvan, Raghav, Bhagwat, N., Anthony, L. F. W., Kanding, B. & Dam, Erik Bjørnager, 2022, Medical Image Computing and Computer Assisted Intervention – MICCAI 2022: 25th International Conference Singapore, September 18–22, 2022 Proceedings, Part V. Springer, p. 506–516 (Lecture Notes in Computer Science, Vol. 13435).

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

  45. Published

    Carbontracker: Tracking and Predicting the Carbon Footprint of Training Deep Learning Models

    Anthony, L. F. W., Kanding, B. & Selvan, Raghav, 2020. 11 p.

    Research output: Contribution to conferencePaperResearchpeer-review

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

  47. Published

    Caring for Participation in STS: from empowered patients to Ghostbusters

    Nielsen, K. D., 2015, In: EASST Review. 34, 2

    Research output: Contribution to journalJournal articleCommunication

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

  49. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  50. 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 journalJournal articleResearchpeer-review

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