Department of Computer Science

Read more
1 - 500 out of 1,697Page size: 500
Sort by: 1st author
  1. Published

    Non-empty Bins with Simple Tabulation Hashing

    Aamand, Anders & Thorup, Mikkel, 2 Jan 2019, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. Chan, T. M. (ed.). Society for Industrial and Applied Mathematics, p. 2498-2512

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

  2. Published

    Fast hashing with strong concentration bounds

    Aamand, Anders, Houen, Jakob Bæk Tejs, Knudsen, M. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 1265-1278 (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  3. Published

    Optimal Decremental Connectivity in Non-Sparse Graphs

    Aamand, A., Karczmarz, A., Łącki, J., Parotsidis, N., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-17 6. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).

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

  4. Published

    Tiling with Squares and Packing Dominos in Polynomial Time

    Aamand, A., Abrahamsen, Mikkel, Rasmussen, Peter Michael Reichstein & Ahle, T. D., 2023, In: ACM Transactions on Algorithms. 19, 3, p. 1-28 30.

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

  5. Published

    Tiling with Squares and Packing Dominos in Polynomial Time

    Aamand, Anders, Abrahamsen, Mikkel, Ahle, T. & Rasmussen, Peter Michael Reichstein, 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 224).

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

  6. Published

    Classifying convex bodies by their contact and intersection graphs

    Aamand, Anders, Abrahamsen, Mikkel, Houen, Jakob Bæk Tejs & 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

  7. Published

    No Repetition: Fast and Reliable Sampling with Highly Concentrated Hashing

    Aamand, A., Das, D., Kipouridis, Evangelos, Knudsen, J. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2022, In: Proceedings of the VLDB Endowment. 15, 13, p. 3989-4001

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

  8. Published

    Power of d choices with simple tabulation

    Aamand, Anders, Knudsen, M. B. T. & Thorup, Mikkel, 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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

  9. Published

    Popular conjectures as a barrier for dynamic planar graph algorithms

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

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

  10. Published

    X-WikiRE: A Large, Multilingual Resource for Relation Extraction as Machine Comprehension

    Abdou, M., Sas, C., Aralikatte, R., Augenstein, Isabelle & Søgaard, Anders, 2019, Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP (DeepLo 2019). Association for Computational Linguistics, p. 265-274

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

  11. Published

    Numerical methods for linear complementarity problems in physics-based animation

    Abel, S. M. N. & Erleben, Kenny, 2015, Morgan & Claypool Publishers. 159 p. (Synthesis Lectures on Computer Graphics and Animation; No. 1, Vol. 7).

    Research output: Book/Report › Compendium/lecture notes › Education

  12. Published

    Euclidean TSP between two nested convex obstacles

    Abrahamsen, J., Shokoufandeh, A. & Winter, Pawel, 2005, In: Information Processing Letters. 95, p. 370-375

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

  13. Published

    Best laid plans of lions and men

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

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

  14. Published

    The Art Gallery Problem is ∃ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 28 Feb 2022, In: Journal of the ACM. 69, 1, p. 1-70 4.

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

  15. Published

    Minimum perimeter-sum partitions in the plane

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2020, In: Discrete & Computational Geometry. 63, p. 483–505

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

  16. Published

    Graph reconstruction with a betweenness oracle

    Abrahamsen, Mikkel, Bodwin, G., Rotenberg, E. & Stöckel, M. D., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:14 14 p. 5. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  17. Published

    Near-optimal induced universal graphs for cycles and paths

    Abrahamsen, Mikkel, Alstrup, Stephen, Holm, Jacob, Knudsen, M. B. T. & Stöckel, M., 2020, In: Discrete Applied Mathematics. 282, p. 1-13 13 p.

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

  18. Published

    Irrational Guards are Sometimes Needed

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

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

  19. Published

    Near-Optimal Induced Universal Graphs for Bounded Degree Graphs

    Abrahamsen, Mikkel, Alstrup, Stephen, Holm, Jacob, Knudsen, M. B. T. & Stöckel, M., 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 201. Chatzigiannaki, I., Indyk, P., Kuhn, F. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-14 128. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 80).

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

  20. Published

    Fast fencing

    Abrahamsen, Mikkel, Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, Mikkel, 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 564-573

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

  21. Published

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

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

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

  22. Published

    Constructing Concise Convex Covers via Clique Covers

    Abrahamsen, Mikkel, Meyling, William Bille & Nusser, André Fritz, 2023, 39th International Symposium on Computational Geometry, SoCG 2023. Chambers, E. W. & Gudmundsson, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 258).

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

  23. Published

    The art gallery problem is ∃ ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2018, STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 65-73

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

  24. Published

    Finding the maximum subset with bounded convex curvature

    Abrahamsen, Mikkel & Thorup, Mikkel, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 4. (Leibniz International Proceedings in Informatics, Vol. 51).

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

  25. Published

    Minimum perimeter-sum partitions in the plane

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 77).

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

  26. Published

    Spiral toolpaths for high-speed machining of 2d pockets with or without islands

    Abrahamsen, Mikkel, 2015, Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2015. American Society of Mechanical Engineers, Vol. 2B. 10 p. DETC2015-46255

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

  27. Published

    An optimal algorithm for the separating common tangents of two polygons

    Abrahamsen, Mikkel, 2015, In: Leibniz International Proceedings in Informatics. 34, p. 198-208 11 p.

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

  28. Published

    Range-clustering queries

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 5. (Leibniz International Proceedings in Informatics, Vol. 77).

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

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

  30. Published

    Constraining the Chiral Magnetic Effect with charge-dependent azimuthal correlations in Pb-Pb collisions at root s(NN)=2.76 and 5.02 TeV

    Acharya, S., Torals-Acosta, F., Adam, J., Adamova, D., Adler, A., Adolfsson, J., Aggarwal, MM., Rinella, G. A., Agnello, M., Agrawal, N., Ahn, S. U., Aiola, S., Akindinov, A., Al-Turany, M., Alam, SN., Bearden, I., Bourjau, C. A., rtc312, R., bsm989, B., Gaardhøje, J. J. & 8 others, Ozelin De Lima Pimentel, L., Pacik, V., Nielsen, Børge Svane, Thoresen, F., Vislavicius, V., Schukraft, J., Zhou, You & Alice Collaboration, A. C., 24 Sep 2020, In: Journal of High Energy Physics (Online). 2020, 9, 34 p., 160.

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

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

  32. Published

    Hippocampal shape is predictive for the development of dementia in a normal, elderly population

    Achterberg, H. C., van der Lijn, F., den Heijer, T., Vernooij, M. W., Ikram, M. A., Niessen, W. J. & de Bruijne, Marleen, 2014, In: Human Brain Mapping. 35, 5, p. 2359-2371 13 p.

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

  33. Published

    Approximation schemes for independent set and sparse subsets of polygons

    Adamaszek, A., Har-Peled, S. & Wiese, A., 2019, In: Journal of the ACM. 66, 4, 40 p., 29.

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

  34. Published

    An O(log k)-Competitive Algorithm for Generalized Caching

    Adamaszek, A., Czumaj, A., Englert, M. & Räcke, H., 16 Nov 2018, In: ACM Transactions on Algorithms. 15, 1, p. 1-18 6.

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

  35. Published

    Lower bounds for locally highly connected graphs

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

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

  36. Published

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

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

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

  37. Published

    Reordering buffer management with advice

    Adamaszek, A. M., Renault, M. P., Rosén, A. & van Stee, R., Oct 2017, In: Journal of Scheduling. 20, 5, p. 423-442 20 p.

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

  38. Published

    How to tame rectangles: solving independent set and coloring of rectangles via shrinking

    Adamaszek, A. M., Chalermsook, P. & Wiese, A., 2015, In: Leibniz International Proceedings in Informatics. 40, p. 43-60 18 p.

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

  39. Published

    Airports and railways: facility location meets network design

    Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  40. Published

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., Sep 2017, In: ACM Transactions on Computation Theory. 9, 3, 7 p., 14.

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

  41. Published

    Submodular unsplittable flow on trees

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

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

  42. Published

    Labeling schemes for bounded degree graphs

    Adjiashvili, D. & Rotbart, N. G., 2014, Automata, languages, and programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E. (eds.). Springer, p. 375-386 12 p. (Lecture notes in computer science, Vol. 8573).

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

  43. Published

    Cross-lingual tagger evaluation without test data

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

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

  44. Published

    Oblivious sketching of high-degree polynomial kernels

    Ahle, T. D., Kapralov, M., Houen, Jakob Bæk Tejs, Pagh, R., Velingker, A., Woodruff, D. P. & Zandieh, A., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 141-160 20 p.

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

  45. Published

    Exploring the challenges of making data physical

    Alexander, J., Jansen, Y., Hornbæk, Kasper, Kildal, J. & Karnik, A., 2015, CHI EA '15: proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2417-2420 4 p.

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

  46. Published

    Fast detection of slender bodies in high density microscopy data

    Alonso, Albert & Kirkegaard, Julius Bier, 2023, In: Communications Biology . 6, 1, 12 p., 754.

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

  47. Published

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

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

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

  48. Published

    Danmark: et digitalt uland?

    Alstrup, Stephen, 21 Oct 2014

    Research output: Other contribution › Net publication - Internet publication › Communication

  49. Published

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

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

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

  50. Published

    Optimal on-line decremental connectivity in trees

    Alstrup, Stephen, Secher, J. P. & Spork, M., 1997, In: Information Processing Letters. 64, 4, p. 161-164 4 p.

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

  51. Published

    Maintaining center and median in dynamic trees

    Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Vol. 1851. p. 46-56 11 p. (Lecture notes in computer science).

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

  52. Published

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 12 Mar 2022, In: Theoretical Computer Science. 907, p. 82-112

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

  53. Published

    Finding cores of limited length

    Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).

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

  54. Published

    Near-optimal labeling schemes for nearest common ancestors

    Alstrup, Stephen, Halvorsen, E. B. & Larsen, K. G., 2014, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms . Chekuri, C. (ed.). Society for Industrial and Applied Mathematics, p. 972-982 11 p.

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

  55. Published

    Danish cross-disciplinary consortium with a focus on utilizing IT in schools: results and future directions

    Alstrup, Stephen, 2014. 1 p.

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

  56. Published

    Sublinear distance labeling

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

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

  57. Published

    Union-find with constant time deletions

    Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, In: A C M Transactions on Algorithms. 11, 1, 28 p., 6.

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

  58. Published

    Adjacency labeling schemes and induced-universal graphs

    Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.

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

  59. Published

    800.000 gode grunde til datalogi i skolen

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

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

  60. Published

    Distance labeling schemes for trees

    Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).

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

  61. Published

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

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

  62. Published

    Direct Routing on Trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).

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

  63. Published

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.

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

  64. Published

    Minimizing diameters of dynamic trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).

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

  65. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., Sep 2017, In: Journal of the ACM. 64, 4, 22 p., 27.

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

  66. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 1311-1326 16 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

  67. Published

    Simpler, faster and shorter labels for distances in graphs

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

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

  68. Published

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

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

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

  69. Published

    Quantification and visualization of variation in anatomical trees

    Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).

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

  70. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

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

  71. Published

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).

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

  72. Published

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.

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

  73. Published

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

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

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

  74. Published

    Opfølgning af børn født med medfødt toxoplasmose

    Andersen, Ove, Fledelius, H. C., Fuchs, Helle Josefine, Høgh, Birthe, Petersen, E. & Schmidt, D. R., 5 Nov 2001, In: Ugeskrift for Laeger. 163, 45, p. 6292

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

  75. Published

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

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

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

  76. Published

    SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients

    Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 444-447 4 p.

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

  77. Published

    Understanding patient experience: a deployment study in cardiac remote monitoring

    Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.

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

  78. Published

    Designantropologiske undersøgelser af Patient 2.0

    Andersen, Tariq Osman, 2014, In: Tidsskrift for forskning i sygdom og samfund. 2014, 21, p. 77-107 31 p.

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

  79. Published

    From research prototypes to a marketable eHealth system

    Andersen, Tariq Osman, Kensing, Finn, Kjellberg, L. & Moll, J., 2015, Context sensitive health informatics: many places, many users, many contexts, many uses. Borycki, E. M. (ed.). IOS Press, p. 9-14 6 p. (Studies in Health Technology and Informatics, Vol. 218).

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

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

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

  82. Published

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

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

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

  83. Published

    Markov random fields on triangle meshes

    Andersen, V., Aanæs, H., Bærentzen, J. A. & Nielsen, Mads, 2010, WSCG 2010: communication papers proceedings . Skala, V. (ed.). Vaclav Skala - Union Agency, p. 265-270 6 p.

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

  84. Published

    A financial benchmark for GPGPU compilation

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

    Research output: Book/Report › Report › Research

  85. Published

    FinPar: a parallel financial benchmark

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

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

  86. Published

    Foreword to the Special Section on VRIPHYS 2018

    Andrews, S., Erleben, Kenny, Jaillet, F. & Zachmann, G., 2018, In: Computers and Graphics (Pergamon). 76, p. A3-A4

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

  87. Published

    Constraint reordering for iterative multi-body simulation with contact

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

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

  88. 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 conference › Conference abstract for conference › Research › peer-review

  89. Published

    Automated hippocampal segmentation using new standardized manual segmentations from the harmonized hippocampal protocol

    Anker, C., Pai, A. S. U., Sørensen, L., Lyksborg, M., Conradsen, K., Larsen, R. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P33 1 p., IC-P-058.

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

  90. Published

    Automated hippocampal segmentation using new standardized manual segmentations from the harmonized hippocampal protocol

    Anker, C., Pai, A. S. U., Sørensen, L., Lyksborg, M., Conradsen, K., Larsen, R. & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P415-P416 2 p., P1-288.

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

  91. Published

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

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

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

  92. Published

    Identifying Partial Mouse Brain Microscopy Images from the Allen Reference Atlas Using a Contrastively Learned Semantic Space

    Antanavicius, J., Leiras, Roberto & Selvan, Raghav, 2022, Biomedical Image Registration - 10th International Workshop, WBIR 2022, Proceedings. Hering, A., Schnabel, J., Zhang, M., Ferrante, E., Heinrich, M. & Rueckert, D. (eds.). 1 ed. Springer Science and Business Media Deutschland GmbH, p. 166-176 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13386 LNCS).

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

  93. 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 conference › Paper › Research › peer-review

  94. Published

    Sparse incomplete LU-decomposition for wave farm designs under realistic conditions

    Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).

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

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

  96. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2015, In: Algorithmica. 73, 4, p. 623-636 14 p.

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

  97. Published

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

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

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

  98. Published

    A stochastic large deformation model for computational anatomy

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

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

  99. Published

    Probing Pre-Trained Language Models for Cross-Cultural Differences in Values

    Arora, Arnav, Kaffee, L. F. & Augenstein, Isabelle, 2022, arxiv.org, 11 p.

    Research output: Working paper › Preprint › Research

  100. Published

    Probing Pre-Trained Language Models for Cross-Cultural Differences in Values

    Arora, Arnav, Kaffee, L. & Augenstein, Isabelle, 2023, Proceedings of the First Workshop on Cross-Cultural Considerations in NLP (C3NLP). Association for Computational Linguistics (ACL), p. 114-130

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

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

  102. Published

    SMEIL: A domain-specific language for synchronous message exchange networks

    Asheim, T., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 389-414 (Concurrent Systems Engineering Series, Vol. 70).

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

  103. Published

    Low pain vs no pain multi-core Haskells

    Aswad, M., Trinder, P., Al Zain, A., Michaelson, G. & Berthold, J., 2011, Trends in Functional Programming 10. Horváth, Z., Zsók, V., Achten, P. & Koopman, P. (eds.). Intellect, p. 49-64 16 p.

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

  104. Published

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

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

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

  105. Published

    Unary resolution: characterizing PTIME

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

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

  106. Published

    Multi-Task Learning of Keyphrase Boundary Classification

    Augenstein, Isabelle & Søgaard, Anders, 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics : (Short Papers). Barzilay, R. & Kan, M-Y. (eds.). Association for Computational Linguistics, Vol. 2. p. 341-346 6 p.

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

  107. Published

    Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces

    Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 1896–1906 11 p.

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

  108. Published

    A chainlike relative coordinate system for few-particle problems

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

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

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

  110. Published

    Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates

    Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  111. Published

    Reversible shrinking two-pushdown automata

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

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

  112. Published

    Boosting reversible pushdown machines by preprocessing

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

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

  113. Published

    A hierarchy of fast reversible turing machines

    Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 29-44 16 p. (Lecture notes in computer science, Vol. 9138).

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

  114. Published

    On reversible Turing machines and their function universality

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

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

  115. Published

    The degree of irreversibility in deterministic finite automata

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

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

  116. Published

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).

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

  117. Published

    The degree of irreversibility in deterministic finite automata

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

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

  118. Published

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

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

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

  120. Published

    Join inverse categories as models of reversible recursion

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

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

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

  122. Published

    Graph archive

    Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 52-53 2 p.

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

  123. Published

    Imperative versus Declarative Process Mining: An Empirical Comparison

    Back, C.O., Debois, S. & Slaats, Tijs, 2020, Department of Computer Science, University of Copenhagen, 14 p.

    Research output: Working paper › Research

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

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

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

  127. Published

    Generalising tree traversals to DAGs: exploiting sharing without the pain

    Bahr, P. & Axelsson, E., 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 27-38 12 p.

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

  128. Published

    Towards certified management of financial contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 p.

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

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

  130. Published

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).

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

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

  132. Published

    Partial order infinitary term rewriting

    Bahr, P., 2014, In: Logical Methods in Computer Science. 10, 2, 52 p., 6.

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

  133. Published

    Calculating correct compilers

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

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

  134. Published

    Composing and decomposing data types: a closed type families implementation of data types à la carte

    Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 71-82 12 p.

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

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

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

  137. Published

    Evaluation of automated statistical shape model based knee kinematics from biplane fluoroscopy

    Baka, N., Kaptein, B. L., Giphart, J. E., Staring, M., de Bruijne, Marleen, Lelieveldt, B. P. F. & Valstar, E., 2014, In: Journal of Biomechanics. 47, 1, p. 122-129 8 p.

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

  138. Published

    Energy Consumption-Aware Tabular Benchmarks for Neural Architecture Search

    Bakhtiarifard, Pedram, Igel, Christian & Selvan, Raghav, 12 Oct 2022, arxiv.org, 13 p.

    Research output: Working paper › Preprint › Research

  139. Published

    Energy saving approaches for video streaming on smartphone based on QoE modeling

    Ballesteros, L. G. M., Ickin, S., Fiedler, M., Markendahl, J., Tollmar, K. & Wac, Katarzyna, 2016, 2016 13th IEEE Annual Consumer Communications and Networking Conference (CCNC 2016). IEEE, p. 103-106 4 p.

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

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

  141. Published

    Fire perspektiver på systemudvikling (DIKU rapport 89/15)

    Bansler, Jørgen P. & Clausen, H., 1989, In: Copenhagen: diku tryk.

    Research output: Contribution to journal › Journal article › Research

  142. Published

    The nature of software work. Systems development as labour process

    Bansler, Jørgen P. & Havn, E. C., 1991, In: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. p. 145-153 9 p.

    Research output: Contribution to journal › Journal article › Research

  143. Published

    A reappraisal of structured analysis: design in an organizational context

    Bansler, Jørgen P. & Bødker, K., 1993, In: ACM Transactions on Information Systems (TOIS). 11, 2, p. 165-193 29 p.

    Research output: Contribution to journal › Journal article › Research

  144. Published

    Information systems development with generic systems

    Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. p. 707-718 12 p.

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

  145. Published

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  146. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  147. Published

    Trade unions and alternative technology in Scandinavia

    Bansler, Jørgen P., 1989, In: New Technology, Work and Employment. 4, 2, p. 92-99 8 p.

    Research output: Contribution to journal › Journal article › Research

  148. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1988, In: Information Technology and People. 4, 2, p. 117-133 17 p.

    Research output: Contribution to journal › Journal article › Research

  149. Published

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, In: Scandinavian Journal of Information Systems. 1, 1, p. 1 1 p.

    Research output: Contribution to journal › Journal article › Research

  150. Published

    Systemutveckling-teori och historia i skandinaviskt perspektiv

    Bansler, Jørgen P., 1990, In: Studentlitteratur, Lund.

    Research output: Contribution to journal › Journal article › Research

  151. Published

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

    Research output: Book/Report › Book › Research

  152. Published

    Privilege and invisibility in the new work order: a reply to Kyng

    Bansler, Jørgen P. & Kraft, P., 1994, In: Scandinavian Journal of Information Systems. 6, 1, p. 97-106 10 p.

    Research output: Contribution to journal › Journal article › Research

  153. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993

    Bansler, Jørgen P., 1993, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  154. Published

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 Aug 2017, In: Politiken. p. 7-8 2 p.

    Research output: Contribution to journal › Contribution to newspaper - Feature article › Communication

  155. Published

    Connecting Practices : ICT Infrastructures to Support Integrated care: Guest Editorial

    Bansler, Jørgen P., 2007, In: International Journal of Integrated Care. 7, p. 1-2 2 p.

    Research output: Contribution to journal › Editorial › Research

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

  157. Published

    Pilot Implementation of Health Information Systems: Issues and challenges

    Bansler, Jørgen P. & Havn, E. C., 2009, Proceedings of the Fifteenth Americas Conference on Information Systems. San Francisco, CA, 6 p.

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

  158. Published

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

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

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

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

  160. Published

    Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing

    Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.

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

  161. Published

    Cross-lingual transfer of correlations between parts of speech and gaze features

    Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.

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

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

  163. Published

    A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery

    Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).

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

  164. Published

    Math in the cabin - shape analysis workshop in Bad Gastein

    Bauer, M., Bruveris, M., Harms, P., Khesin, B., Marsland, S., Michor, P., Modin, K., Müller, O., Pennec, X., Sommer, Stefan Horst & Vialard, F., 2014, Brunel University London. 29 p.

    Research output: Book/Report › Report › Research

  165. Published

    Enzyme-linked immunosorbent assay (ELISAs) for metalloproteinase derived type II collagen neoepitope, CIIM--increased serum CIIM in subjects with severe radiographic osteoarthritis

    Bay-Jensen, A., Liu, Q., Byrjalsen, I., Li, Y., Wang, J., Pedersen, C., Leeming, D. J., Dam, Erik Bjørnager, Zheng, Q., Qvist, P. & Karsdal, M. A., Apr 2011, In: Clinical Biochemistry. 44, 5-6, p. 423-9 7 p.

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

  166. Published

    Which elements are involved in reversible and irreversible cartilage degradation in osteoarthritis?

    Bay-Jensen, A., Hoegh-Madsen, S., Dam, Erik Bjørnager, Henriksen, K., Sondergaard, B. C., Pastoureau, P., Qvist, P. & Karsdal, M. A., Feb 2010, In: Rheumatology International. 30, 4, p. 435-42 8 p.

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

  167. Published

    On the realistic validation of photometric redshifts

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

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

  168. 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/Report › Book › Research › peer-review

  169. Published

    Markovian domain fingerprinting: statistical segmentation of protein sequences

    Bejerano, G., Seldin, Yevgeny, Tishby, N. & Margalit, H., 2001, In: Bioinformatics.

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

  170. Published

    The structure of the serotonin system: a PET imaging study

    Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, p. 614-615 2 p.

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

  171. Published

    The structure of the serotonin system: A PET imaging study

    Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2020, In: NeuroImage. 205, 116240.

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

  172. Published

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011

    Research output: Book/Report › Anthology › Research

  173. Published

    Preface

    Bender, J., Erleben, Kenny & Galin, E., 2011, In: VRIPHYS 2011 - 8th Workshop on Virtual Reality Interactions and Physical Simulations.

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

  174. Published

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., Nov 2017, In: IEEE Computer Graphics and Applications. 37, 6, p. 26-27 2 p.

    Research output: Contribution to journal › Editorial › Research

  175. Published

    Interactive simulation of rigid body dynamics in computer graphics

    Bender, J., Erleben, Kenny & Trinkle, J., 2014, In: Computer Graphics Forum. 33, 1, p. 246-270 25 p.

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

  176. Published

    I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction

    Bergström, Joanna, Coyle, D., Knibbe, J. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 378

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

  177. Published

    It’s a Wrap: Mapping On-Skin Input to Off-Skin Displays

    Bergström, Joanna, Hornbæk, Kasper & Boring, S., 20 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 564

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

  178. Published

    Placing and recalling virtual items on the skin

    Bergström, Joanna, Boring, S. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1497-1507 11 p.

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

  179. Published

    A Comparative Field Study of Four Crane Control Interfaces

    Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4

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

  180. Published

    A synthetic axiomatization of Map Theory

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

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

  181. Published

    PAEAN: portable and scalable runtime support for parallel Haskell dialects

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

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

  182. Published

    Passive immunization of Aotus monkeys with human antibodies to the Plasmodium falciparum antigen Pf155/RESA

    Berzins, K., Perlmann, H., Wåhlin, B., Ekre, H. P., Høgh, Birthe, Petersen, E., Wellde, B., Schoenbechler, M., Williams, J. & Chulay, J., Apr 1991, In: Infection and Immunity. 59, 4, p. 1500-6 7 p.

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

  183. Published

    Longest common extensions in sublinear space

    Bille, P., Gørtz, I. L., Knudsen, M. B. T., Lewenstein, M. & Vildhøj, H. W., 2015, Combinatorial Pattern Matching: 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings. Cicalese, F., Porat, E. & Vaccaro, U. (eds.). Springer, p. 65-76 12 p. (Lecture notes in computer science, Vol. 9133).

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

  184. Published

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

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

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

  185. Published

    Risk factors for infection with highly pathogenic influenza A virus (H5N I) in commercial chickens in Bangladesh

    Biswas, P. K., Christensen, Jens Peter, Ahmed, S. S. U., Barua, H., Das, A., Rahman, M. H., Giasuddin, M., Hannan, A. S. M. A., Habib, A. M. & Debnath, N. C., 13 Jun 2009, In: Veterinary Record. 164, 24, p. 743-746 4 p.

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

  186. Published

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., Sep 2017, In: Annals of Operations Research. 256, 1, p. 21-40 20 p.

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

  187. Published

    Back to the Future: Sequential Alignment of Text Representations

    Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 p.

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

  188. Published

    From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 907-916 10 p.

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

  189. Published

    Tracking Typological Traits of Uralic Languages in Distributed Language Representations

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, Fourth International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics, p. 78-88

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

  190. Published

    Multitask and Multilingual Modelling for Lexical Analysis

    Bjerva, J., 2018, In: KI - Künstliche Intelligenz. 32, 4, p. 287-290

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

  191. Published

    SIGTYP 2020 Shared Task: Prediction of Typological Features

    Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, Isabelle, 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Association for Computational Linguistics, p. 1-11

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

  192. Published

    Longitudinal study of seroreactivities to Pf155/RESA and its repetitive sequences in small children from a holoendemic area of Liberia

    Björkman, A., Lebbad, M., Perlmann, H., Freeman, T., Høgh, Birthe, Petersen, E., Gille, E., Lindgren, A., Willcox, M. & Hanson, A. P., May 1991, In: Parasite Immunology. 13, 3, p. 301-11 11 p.

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

  193. Published

    Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies

    Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).

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

  194. Published

    Practice-based CSCW research: ECSCW bridging across the atlantic

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

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

  195. Published

    New fundamentals for CSCW research: from distance to politics

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

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

  196. 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 journal › Editorial › Research › peer-review

  197. Published

    The multiple intersecting sites of design in CSCW research

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

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

  198. Published

    Random walk term weighting for information retrieval

    Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.

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

  199. Published

    User generated content search

    Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).

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

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

  201. 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/Report › Book › Research › peer-review

  202. Published

    Diffusivity-limited q-space trajectory imaging

    Boito, D., Herberthson, M., Dela Haije, T., Blystad, I. & Özarslan, E., 2023, In: Magnetic Resonance Letters. 3, 2, p. 187-196

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

  203. Published

    Interchanging two segments of an array in a hierarchical memory system

    Bojesen, J. & Katajainen, J., 2001, Ikke angivet. Springer, p. 159--170

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

  204. Published

    Performance engineering case study: Heap construction

    Bojesen, J., Katajainen, J. & Spork, M., 2000, In: The ACM Journal of Experimental Algorithmics. 5, p. article 15

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

  205. Published

    Interchanging two segments of an array in a hierarchical memory system

    Bojesen, J. & Katajainen, J., 2002, Proceedings of the 4th International Workshop on Algorithm Engineering. Springer, p. 159-170

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

  206. Published

    Improving historical spelling normalization with bi-directional LSTMs and multi-task learning

    Bollman, M. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 131-139 9 p.

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

  207. Published

    Disjoint domains interactions framework for hyperelastic simulations

    Bonde, U., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014. 2 p.

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

  208. Published

    Quasi-interpretations and small space bounds

    Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164

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

  209. Published

    Spherical convolutions and their application in molecular modelling

    Boomsma, Wouter & Frellsen, J., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  210. Published

    Muscle fibre morphology and microarchitecture in cerebral palsy patients obtained by 3D synchrotron X-ray computed tomography

    Borg, L., Sporring, Jon, Dam, Erik Bjørnager, Dahl, V. A., Dyrby, T. B., Feidenhans'l, Robert Krarup, Dahl, A. B. & Pingel, Jessica, 2019, In: Computers in Biology and Medicine. 107, p. 265-269 5 p.

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

  211. Published

    Reduction of variable-truncation artifacts from beam occlusion during in situ x-ray tomography

    Borg, L., Jørgensen, J. S., Frikel, J. & Sporring, Jon, Dec 2017, In: Measurement Science and Technology. 28, 12, 19 p., 124004.

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

  212. Published

    Reducing artifacts from varying projection truncations

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

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

  213. Published

    Analysis of synchrotron X-ray tomographic data: Reconstruction and application

    Borg, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  214. Published

    Towards characterizing and reducing artifacts caused by varying projection truncation

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

    Research output: Book/Report › Report › Research

  215. Published

    The dark patterns of proxemic sensing

    Boring, S., Greenberg, S., Vermeulen, J., Dostal, J. & Marquardt, N., 2014, In: Computer. 47, 8, p. 56-60 5 p.

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

  216. Published

    All-pairs minimum cuts in near-linear time for surface-embedded graphs

    Borradaile, G., Eppstein, D., Nayyeri, A. & Wulff-Nilsen, Christian, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. (Leibniz International Proceedings in Informatics, Vol. 51).

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

  217. Published

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

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

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

  218. Published

    Min st-cut oracle for planar graphs with near-linear preprocessing time

    Borradaile, G., Sankowski, P. & Wulff-Nilsen, Christian, 2015, In: A C M Transactions on Algorithms. 11, 3, p. 16:1-16:29 16.

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

  219. Published

    Minor-free graphs have light spanners

    Borradaile, G., Le, H. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 767-778 12 p.

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

  220. Published

    Segmentation of intracranial arterial calcification with deeply supervised residual dropout networks

    Bortsova, G., van Tulder, G., Dubost, F., Peng, T., Navab, N., van der Lugt, A., Bos, D. & de Bruijne, Marleen, 2017, Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Descoteaux, M., Maier-Hein, L., Franz, A., Jannin, P., Collins, D. L. & Duchesne, S. (eds.). Springer, p. 356-364 9 p. (Lecture notes in computer science, Vol. 10435).

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

  221. Published

    Deep Learning from Label Proportions for Emphysema Quantification

    Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).

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

  222. Published

    Letter by Bos et al regarding article, "Intracranial Carotid Calcification on Cranial Computed Tomography: Visual Scoring Methods, Semiautomated Scores, and Volume Measurements in Patients With Stroke"

    Bos, D., de Bruijne, Marleen & van der Lugt, A., 2015, In: Stroke. 46, 1 p.

    Research output: Contribution to journal › Comment/debate › Research › peer-review

  223. Published

    Efficient Self-Supervision using Patch-based Contrastive Learning for Histopathology Image Segmentation

    Boserup, Nicklas & Selvan, Raghav, 2023, Proceedings of the Northern Lights Deep Learning Workshop 2023. Septentrio Academic Publishing, 8 p. (Proceedings of the Northern Lights Deep Learning Workshop, Vol. 4).

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

  224. Published

    Efficient Self-Supervision using Patch-based Contrastive Learning for Histopathology Image Segmentation

    Boserup, Nicklas & Selvan, Raghav, 2022, arxiv.org, 15 p.

    Research output: Working paper › Preprint › Research

  225. Published

    ECSCW 2015: Proceedings of the 14th European Conference on Computer-Supported Cooperative Work, 19-23 September 2015, Oslo, Norway

    Boulus-Rødje, N. (ed.), Ellingsen, G. (ed.), Bratteteig, T. (ed.), Aanestad, M. (ed.) & Bjorn, Pernille (ed.), 2015, Springer. 316 p.

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

  226. Published

    "It’s about Business not Politics”: software development between Palestinians and Israelis

    Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, p. 43-61 19 p.

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

  227. Published

    Conflict IT: Technologies and collaborative practices in conflict areas

    Boulus-Rødje, N., Bjorn, Pernille, Randall, D., Wulf, V. & Ghazawneh, A., 2015. 7 p.

    Research output: Contribution to conference › Paper › Research

  228. Published

    In vivo study of experimental pneumococcal meningitis using magnetic resonance imaging: BMC Medical Imaging

    Brandt, C. T., Simonsen, H., Liptrot, M. G., Søgaard, L. V., Lundgren, Jens, Østergaard, C., Frimodt-Møller, N. & Rowland, I. J., 2008, In: BMC Med. Imaging. 8

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

  229. Published

    Impact of bacteremia on the pathogenesis of experimental pneumococcal meningitis: Journal of Infectious Diseases

    Brandt, C. T., Holm, D., Liptrot, M. G., Østergaard, C., Lundgren, Jens, Frimodt-Møller, N., Skovsted, I. C. & Rowland, I. J., 2008, In: J. Infect. Dis.. 197, 2, p. 235-244 10 p.

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

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

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

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

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

  234. Published

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

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

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

  235. Published

    Does syntax help discourse segmentation? Not so much

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

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

  236. Published

    Cross-lingual RST discourse parsing

    Braud, C. E., Coavoux, M. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Vol. 1. p. 292-304 13 p.

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

  237. Published

    Is writing style predictive of scientific fraud?

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

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

  238. Published

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

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

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

  239. Published

    Learning connective-based word representations for implicit discourse relation identification

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

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

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

  241. Published

    The structure and flexibility of Steiner trees in uniform orientation metrics

    Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11

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

  242. Published

    On the history of the Euclidean Steiner tree problem

    Brazil, M., Graham, R. L., Thomas, D. A. & Zachariasen, M., 2014, In: Archive for History of Exact Sciences. 68, 3, p. 327-354 28 p.

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

  243. Published

    Rotationally optimal spanning and Steiner trees in uniform orientation metrics

    Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2004, In: Computational Geometry: Theory and Applications. 29, p. 251-263

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

  244. Published

    Flexibility of Steiner trees in uniform orientation metrics

    Brazil, M., Winter, Pawel & Zachariasen, M., 2004, Proc. of the 15th International Symposium, ISAAC. Springer, p. 196-205 10 p. (Lecture notes in computer science; No. 3341).

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

  245. Published

    Optimal interconnection trees in the plane: theory, algorithms and applications

    Brazil, M. & Zachariasen, M., 2015, Springer. 344 p. (Algorithms and Combinatorics, Vol. 29).

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

  246. Published

    The uniform orientation Steiner tree problem is NP-hard

    Brazil, M. & Zachariasen, M., 2014, In: International Journal of Computational Geometry and Applications. 24, 2, p. 87-105 19 p.

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

  247. Published

    Flexibility of Steiner Trees in Uniform Orientation Metrics

    Brazil, M., Winter, Pawel & Zachariasen, M., 2004, University of Copenhagen, Institute of Computer Science: DIKU. 27 p.

    Research output: Book/Report › Report › Research

  248. Published

    Rotationally Optimal Spanning and Steiner Trees in Uniform Orientation Metrics

    Brazil, M., Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2003, København: Department of Computer Science, University of Copenhagen.

    Research output: Book/Report › Report › Research

  249. Published

    Flexibility of Steiner trees in uniform orientation metrics

    Brazil, M., Winter, Pawel & Zachariasen, M., 2005, In: NETWORKS. 46, p. 142-153

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

  250. Published

    Mimic: visual analytics of online micro-interactions

    Breslav, S., Khan, A. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 245-252 8 p.

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

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

  252. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  253. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  254. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  255. Published

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Research output: Working paper › Research

  256. Published

    Towards an application framework for context-aware m-health applications

    Broens, T., van Halteren, A., van Sinderen, M. & Wac, Katarzyna, 18 May 2007, In: International Journal of Internet Protocol Technology. 2, 2, p. 109-116 8 p.

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

  257. Published

    Touch to play - Exploring touch-based mobile interaction with public displays

    Broll, G., Graebsch, R., Scherr, M., Boring, S., Holleis, P. & Wagner, M., 12 May 2011, Proceedings - 3rd International Workshop on Near Field Communication, NFC 2011. p. 15-20 6 p. 12

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

  258. Published

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

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

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

  259. Published

    An improved multileaving algorithm for online ranker evaluation

    Brost, B., Cox, Ingemar Johansson, Seldin, Yevgeny & Lioma, Christina, 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval: SIGIR '16. Association for Computing Machinery, p. 745-748 4 p.

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

  260. Published

    Multi-dueling bandits and their application to online ranker evaluation

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

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

  261. Published

    Multileaving for online evaluation of rankers

    Brost, B., 2017, Proceedings of the 1st International Workshop on LEARning Next gEneration Rankers co-located with the 3rd ACM International Conference on the Theory of Information Retrieval (ICTIR 2017). Ferro, N., Lucchese, C., Maistro, M. & Perego, R. (eds.). CEUR-WS.org, 2 p. (CEUR Workshop Proceedings, Vol. 2007).

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

  262. Published

    Jean-Pierre Brans: portrait of a fiery soul

    Brugha, C. M. & Krarup, J., 2019, In: Central European Journal of Operations Research. 27, 1, p. 275-281

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

  263. Published

    Putting your data structure on a diet

    Brönnimann, H., Katajainen, J. & Morin, P., 2007.

    Research output: Working paper › Research

  264. Published

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Proceedings of the 5th Latin American Symposium on Theoretical Informatics. Springer, p. 197-205

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

  265. Published

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Ikke angivet. Springer, p. 197-205

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

  266. Published

    Space-efficient planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2004, In: Theoretical Computer Science. 321, 1, p. 25-40

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

  267. Published

    In-place planar convex hull algorithms

    Brönnimann, H., Iacono, J., Katajainen, J., Morin, P., Morrison, J. & Toussaint, G., 2002, Proceedings of the 5th Latin Theoretical Informatics Symposium, Lecture Notes in Computer Science 2286. Berlin/Heidelberg: Springer, p. 14

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

  268. Published

    Efficiency of various forms of red-black trees

    Brönnimann, H. & Katajainen, J., 2006.

    Research output: Working paper › Research

  269. Published

    Putting your data structure on a diet (Abstract)

    Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3

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

  270. Published

    Service Oriented Architecture for Inter-vehicle Applications

    Brønsted, J. R. & Hansen, K. M., 1 Nov 2008, Proceedings of the 15th World Congress on Intelligent Transportation Systems (ITS 2008).

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

  271. Published

    A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments

    Brønsted, J. R., Hansen, K. M. & Thorup, R., 2006, 6th International Conference on ITS Telecommunications (ITST2006). p. 1145-1150 6 p.

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

  272. Published

    On the convergence of the Metropolis algorithm with fixed-order updates for multivariate binary probability distributions.

    Brügge, K., Fischer, A. & Igel, Christian, 2021, Proceedings of The 24th International Conference on Artificial Intelligence and Statistic. PMLR, p. 469-477 (Proceedings of Machine Learning Research, Vol. 130).

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

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

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

  275. Published

    Goodput analysis of 3G wireless networks supporting m-health services

    Bults, R., Wac, Katarzyna, Van Halteren, A., Nicola, V. & Konstantas, D., 1 Dec 2005, Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005. p. 99-106 8 p. 1458461. (Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005, Vol. 1).

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

  276. Published

    SpaceFold and PhysicLenses: simultaneous multifocus navigation on touch surfaces

    Butscher, S., Hornbæk, Kasper & Reiterer, H., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 209-216 8 p.

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

  277. Published

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

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

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

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

  279. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia

    Bødker, K., Bansler, Jørgen P., Kensing, Finn, Nørbjerg, J. & Pries-Heje, J., 1993, Københavns Universitet.

    Research output: Book/Report › Book › Research

  280. Published

    Investigating situated use of the MUST method

    Bødker, K., Kensing, Finn & Simonsen, J., 2014, Situated design methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). MIT Press, p. 59-76 18 p.

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

  281. Published

    Nine questions for HCI researchers in the making

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

    Research output: Contribution to journal › Journal article › Communication

  282. Published

    Recidiv og overlevelse efter konventionel lav anterior resektion for cancer recti

    Bülow, S., Moesgaard, F. A., Crone, P. O., Gandrup, P., Holm, J., Kronborg, O., Hemmert-Lund, H., Myrhøj, T., Petersen, René Horsleben, Qvist, N., Raskov, H. H. & Thomsen, H., 2 Jul 2001, In: Ugeskrift for Laeger. 163, 27, p. 3793-7 5 p.

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

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

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

  285. Published

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

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

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

  286. Published

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

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

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

  287. Published

    Eight Aspects of Actions in Improvement Plans

    Carstensen, Peter & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 147-158 (Communications in Computer and Information Science, Vol. 896).

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

  288. Published

    Isolated thoughts and feelings and unsolved concerns: adolescents' and parents' perspectives on living with type 1 diabetes - a qualitative study using visual storytelling

    Carstensøe-Seidenfaden, P., Teilmann, Grete Katrine, Kensing, Finn, Hommel, E., Olsen, B. S. & Husted, G. R., Oct 2017, In: Journal of Clinical Nursing. 26, 19-20, p. 3018-3030 13 p.

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

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

  290. Published

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

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

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

  291. Published

    Testing a Smartphone App (Young with Diabetes) to Improve Self-Management of Diabetes Over 12 Months: Randomized Controlled Trial (Preprint)

    Castensøe-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contribution › Research

  292. Published

    The Young-with-Diabetes App-Study: A 12-month Randomized Controlled Trial

    Castens�e-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contribution › Research

  293. Published

    Model playground for autistic children: teaching social skills through tangible collaboration

    Castro, T., Castro, A., Lima, D. & Bjorn, Pernille, 2017, 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT). IEEE, p. 441-445 5 p.

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

  294. Published

    Improved Multi-label Classification under Temporal Concept Drift: Rethinking Group-Robust Algorithms in a Label-Wise Setting

    Chalkidis, Ilias & Søgaard, Anders, 2022, FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022). ASSOC COMPUTATIONAL LINGUISTICS-ACL, p. 2441-2454 14 p.

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

  295. Published

    Near-optimal light spanners

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

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

  296. Published

    Bottleneck paths and trees and deterministic graphical games

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

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

  297. Published

    Multi-keyword multi-click advertisement option contracts for sponsored search

    Chen, B., Wang, J., Cox, Ingemar Johansson & Kankanhalli, M. S., 2015, In: ACM Transactions on Intelligent Systems and Technology. 7, 1, 29 p., 5.

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

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

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

  300. Published

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

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

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

  301. Published

    Do you trust your multiple instance learning classifier?

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

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

  302. Published

    Network-guided group feature selection for classification of autism spectrum disorder

    Cheplygina, V., Tax, D. M. J., Loog, M. & Feragen, A., 2014, Machine learning in medical imaging: 5th International Workshop, MLMI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings. Wu, G., Zhang, D. & Zhou, L. (eds.). Springer, p. 190-197 8 p. (Lecture notes in computer science, Vol. 8679).

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

  303. Published

    Transfer learning for multicenter classification of chronic obstructive pulmonary disease

    Cheplygina, V., Peña, I. P., Pedersen, J. J. H., Lynch, D. A., Sørensen, L. & de Bruijne, Marleen, Sep 2018, In: IEEE Journal of Biomedical and Health Informatics. 22, 5, p. 1486 - 1496

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

  304. Published

    Label stability in multiple instance learning

    Cheplygina, V., Sørensen, L., Tax, D. M. J., de Bruijne, Marleen & Loog, M., 2015, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer, p. 539-546 8 p. (Lecture notes in computer science).

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

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

  306. Published

    Early experiences with crowdsourcing airway annotations in chest CT

    Cheplygina, V., Perez-Rovira, A., Kuo, W., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, Deep Learning and Data Labeling for Medical Applications: First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. Carneiro, G., Mateus, D., Peter, L., Bradley, A., Tavares, J. M. R. S., Belagiannis, V., Papa, J. P., Nascimento, J. C., Loog, M., Lu, Z., Cardoso, J. S. & Cornebise, J. (eds.). Springer, p. 209-218 10 p. (Lecture notes in computer science, Vol. 10008).

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

  307. Published

    Two dimensional shape representation manipulation method for improving general procrustes alignment process, involves relating probable relative depth of landmark in three dimensional shape of body part

    Chernoff, K., Nielsen, Mads & Lillholm, Martin, 2010, IPC No. G06T-007/00, Patent No. WO2010142595-A1, 16 Dec 2010, Priority date 11 Jun 2009, Priority No. US268370

    Research output: Patent

  308. Published

    Effect of modified ultrafiltration on the inflammatory response in paediatric open-heart surgery: a prospective, randomized study

    Chew, M. S., Christensen, Vibeke Brix, Ravn, H. B., Brandslund, I., Ditlevsen, E., Pedersen, J., Hjortholm, K., Tønnesen, E., Hjortdal, Vibeke Elisabeth & Hansen, O. K., Sep 2002, In: Perfusion. 17, 5, p. 327-33 7 p.

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

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

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

  311. Published

    Architectures of Prototypes and Architectural Prototyping

    Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M., 1998, Proceedings of NWPER'98. p. 247-267 21 p.

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

  312. Published

    Integrity Improvements in Classically Deformable Solids

    Christensen, M., Fleron, A. & Sporring, Jon, 2004

    Research output: Book/Report › Report › Research

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

  314. Published

    From independence to expansion and back again

    Christiani, T. L., Pagh, R. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 813-820 8 p.

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

  315. Published

    Morphological Atherosclerosis Calcification Distribution (MACD) Index is a Strong Predictor of Cardio-Vascular Death and Include Predictive Power of BMD

    Christiansen, C., Karsdal, M., Ganz, Melanie, Dam, E. & Nielsen, Mads, 2008. 1 p.

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

  316. Published

    Automated Quantification of the Morphological Atherosclerotic Calcification Distribution on X-Rays Is a Strong Predictor of Mortality in Postmenopausal Women

    Christiansen, C., Karsdal, M., Lauze, Francois Bernard, Dam, E., Ganz, Melanie, de Bruijne, Marleen, Sørensen, M., Barascuk, N. & Nielsen, Mads, 2008, In: Arteriosclerosis, Thrombosis, and Vascular Biology. 6, p. e48-e48 1 p.

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

  317. Published

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

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

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

  318. 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 conference › Conference abstract for conference › Research › peer-review

  319. Published

    Spirometer-controlled cine magnetic resonance imaging to diagnose tracheobronchomalacia in pediatric patients

    Ciet, P., Wielopolski, P., Manniesing, R., Lever, S., de Bruijne, Marleen, Morana, G., Muzzio, P. C., Lequin, M. H. & Tiddens, H. A. W. M., 2014, In: European Respiratory Journal. 43, 1, p. 115-124 10 p.

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

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

  321. Published

    iSenseStress: assessing stress through human-smartphone interaction analysis

    Ciman, M., Wac, Katarzyna & Gaggi, O., 2015, 2015 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth). IEEE, p. 84-91 8 p.

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

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

  323. Published

    Towards optimal Takacs–Fiksel estimation

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

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

  324. Published

    The bane of low-dimensionality clustering

    Cohen-Addad, V., De Mesmay, A., Rotenberg, E. & Roytman, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 441-456

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

  325. Published

    A fast approximation scheme for low-dimensional k-means

    Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 430-440

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

  326. Published

    Fast and Compact Exact Distance Oracle for Planar Grap

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

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

  327. Published

    A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals

    Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 1439-1458

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

  328. Published

    Hierarchical Clustering: Objective Functions and Algorithms

    Cohen-addad, V., Kanade, V., Mallmann-trenn, F. & Mathieu, C., 2 Jan 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 378-397

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

  329. Published

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

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

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

  330. Published

    Maximal unbordered factors of random strings

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

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

  331. Published

    Maximal unbordered factors of random strings

    Cording, P. H., Gagie, T., Knudsen, M. B. T. & Kociumaka, T., 2021, In: Theoretical Computer Science. 852, p. 78-83 6 p.

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

  332. Published

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

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

    Research output: Patent

  333. Published

    Method for tagging electronic media work to perform action, involves generating and providing machine-readable instructions to perform action in response to request from computer system to user electronic device

    Cox, Ingemar Johansson, 2014, IPC No. H04N-007/173, 2 Dec 2014, Priority No. US8904464-B1

    Research output: Patent

  334. Published

    Bayes estimation of shape model with application to vertebrae boundaries

    Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Vol. 7259. 8 p.

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

  335. Published

    Prior knowledge regularization in statistical medical image tasks

    Crimi, A., Sporring, Jon, de Bruijne, Marleen, Lillholm, Martin & Nielsen, Mads, 2009, Proceedings of the MICCAI Workshop on Probabilistic Models for Medical Image Analysis. 12 p.

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

  336. Published

    Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

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

  337. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2006, International ed. Jyrki Katajainen and Company.

    Research output: Book/Report › Book › Research

  338. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2003

    Research output: Book/Report › Book › Research

  339. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen, International Edition

    Curry, C. D. & Katajainen, J., 2006, Søborg, Danmark: Jyrki Katajainen and Company. 224 p.

    Research output: Book/Report › Book › Research

  340. Published

    Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183

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

  341. Published

    Field of Particle Filters Image Inpainting

    Cuzol, A., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 147-156 10 p.

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

  342. Published

    Concrete Semantics with Coq and CoqHammer

    Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 Jul 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (eds.). Springer, p. 53-59 5. (Lecture Notes in Computer Science, Vol. 11006).

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

  343. Published

    Confluence of an extension of combinatory logic by Boolean constants

    Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).

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

  344. Published

    Return of the features: efficient feature selection and interpretation for photometric redshifts

    D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, In: Astronomy & Astrophysics. 616, 21 p., A97.

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

  345. Published

    Fast similarity sketching

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

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

  346. Published

    Practical hash functions for similarity estimation and dimensionality reduction

    Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  347. Published

    Hashing for statistics over k-partitions

    Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1292-1310 19 p.

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

  348. Published

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

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

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

  349. Published

    The power of two choices with simple tabulation

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

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

  350. Published

    Approximately minwise independence with twisted tabulation

    Dahlgaard, S. & Thorup, Mikkel, 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. 134-145 12 p. (Lecture notes in computer science, Vol. 8503).

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

  351. Published

    Dynamic and multi-functional labeling schemes

    Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2014, Algorithms and Computation: 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer, p. 141-153 13 p. (Lecture notes in computer science).

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

  352. Published

    A simple and optimal ancestry labeling scheme for trees

    Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2015, Automata, languages, and programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (eds.). Springer, p. 564-574 11 p. (Lecture notes in computer science, Vol. 9135).

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

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

  354. Published

    Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries

    Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, p. 773-774

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

  355. Published

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 p. (DIKU teknisk rapport; No. 5, Vol. 98).

    Research output: Working paper › Research

  356. Published

    Toward integrated automated analysis of articular cartilage and trabecular bone in osteoarthritis

    Dam, Erik Bjørnager, Dec 2008, In: Academic Radiology. 15, 12, p. 1479-81 3 p.

    Research output: Contribution to journal › Journal article › Research

  357. Published

    Automatic shape model building based on principal geodesic analysis bootstrapping

    Dam, Erik Bjørnager, Fletcher, P. T. & Pizer, S. M., Apr 2008, In: Medical Image Analysis. 12, 2, p. 136-51 16 p.

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

  358. Published

    Three-dimensional scan data analysis method for diagnosis of joint pathology, involves determining measure of three-dimensional local curvature within load bearing area of cartilage, at scale arranged to result in specific measure

    Dam, E. B., Folkesson, J. M., Pettersen, P., Olsen, O. F., Nielsen, Mads & Christiansen, C., 2007, IPC No. G06T-007/00, Patent No. WO2007048463-A1, 3 May 2007, Priority date 24 Oct 2005, Priority No. GB021640

    Research output: Patent

  359. Published

    Method for identifying region of interest (ROI) in human organ for performing e.g. knee cartilage quantification, involves calculating weight of feature of image in map for minimizing sample size needed to discriminate between groups

    Dam, E. B., Nielsen, Mads, Qazi, A. A., Lillholm, Martin & Jørgensen, D. R., 2010, IPC No. G06K-009/00, Patent No. US2010232671-A1, 16 Sep 2010, Priority date 17 Dec 2008, Priority No. US203094P

    Research output: Patent

  360. Published

    Three dimensional image data analysis method for diagnosis and prognosis of e.g. osteoarthritis, involves comparing measured value representative of homogeneity of medial area with previously obtained values of healthy joints

    Dam, E. B., Qazi, A. A., Karsdal, M., Petterson, P. C., Nielsen, Mads & Christiansen, C., 2008, IPC No. G06T-007/00, Patent No. WO2008034845-A2 , 27 Mar 2008, Priority date 19 Sep 2006, Priority No. GB018417

    Research output: Patent

  361. Published

    Automatic segmentation of high-and low-field knee MRIs using knee image quantification with data from the osteoarthritis initiative

    Dam, Erik Bjørnager, Lillholm, Martin, Marques, J. & Nielsen, Mads, 2015, In: SPIE Journal of Medical Imaging. 2, 2, 13 p., 024001.

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

  362. Published

    GPU accelerated tandem traversal of blocked bounding volume hierarchy collision detection for multibody dynamics

    Damkjær, J. & Erleben, Kenny, 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. p. 115-124

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

  363. Published

    Computing continuous-time Markov chains as transformers of unbounded observables

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

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

  364. Published

    A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520

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

  365. Published

    Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

    Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.

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

  366. Published

    A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.

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

  367. Published

    FDG-PET template MNI152 1mm

    Darkner, Sune, 2013

    Research output: Non-textual form › Dataset › Research

  368. Published

    A hyper elasticity method for interactive virtual design of hearing aids: a parallel method for general non-linear hyper elasticity modeling

    Darkner, Sune & Erleben, Kenny, 2011, In: Visual Computer. 27, 6, p. 645-653 9 p.

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

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

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

  371. Published

    Benefits of auxiliary information in deep learning-based teeth segmentation

    Dascalu, Tudor-Laurentiu, Kuznetsov, A. & Ibragimov, Bulat, 2022, Medical Imaging 2022: Image Processing. Colliot, O., Isgum, I., Landman, B. A. & Loew, M. H. (eds.). SPIE, p. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Vol. 12032).

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

  372. Published

    Effects of Sleep Deprivation on Blood Glucose, Food Cravings, and Affect in a Non-Diabetic: An N-of-1 Randomized Pilot Study

    Daza, E. J., Wac, Katarzyna & Oppezzo, M., 2020, In: Healthcare. 8, 1, 17 p., 6.

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

  373. Published

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

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

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

  374. Published

    Designing garbage-free reversible implementations of the integer cosine transform

    De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

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

  375. Published

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

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

  376. Published

    Structural connectivity analysis using finsler geometry

    Dela Haije, T., Savadjiev, P., Fuster, A., Schultz, R. T., Verma, R., Florack, L. & Westin, C. F., 2019, In: SIAM Journal on Imaging Sciences. 12, 1, p. 551-575 25 p.

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

  377. Published

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

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

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

  378. Published

    Measurement challenge: protocol for international case–control comparison of mammographic measures that predict breast cancer risk

    Dench, E., Bond-smith, D., Darcey, E., Lee, G., Aung, Y. K., Chan, A., Cuzick, J., Ding, Z. Y., Evans, C. F., Harvey, J., Highnam, R., Hsieh, M., Kontos, D., Li, S., Mariapun, S., Nickson, C., Nguyen, T. L., Pertuz, S., Procopio, P., Rajaram, N. & 12 others, Repich, K., Tan, M., Teo, S., Trinh, N. H., Ursin, G., Wang, C., Dos-santos-silva, I., Mccormack, V., Nielsen, Mads, Shepherd, J., Hopper, J. L. & Stone, J., 2019, In: BMJ Open. 9, 12, p. 1-6 e031041.

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

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

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

  381. Published

    Fast training of multi-class support vector machines

    Dogan, Ü., Glasmachers, T. & Igel, Christian, 2011, University of Copenhagen. 19 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 03, Vol. 2011).

    Research output: Book/Report › Report › Research

  382. Published

    Designing a multi-touch eTextile for music performances

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

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

  383. Published

    A unified view on multi-class support vector classification

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

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

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

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

  386. Published

    Hyperspectral imaging for classification of bulk grain samples with deep convolutional neural networks

    Dreier, E. S., Sørensen, Klavs Martin, Lund-Hansen, T., Jespersen, Birthe P Møller & Steenstrup Pedersen, Kim, 2022, In: Journal of Near Infrared Spectroscopy. 30, 3, p. 107–121

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

  387. Published

    A context-dependent and disordered ubiquitin-binding motif

    Dreier, Jesper Elmsted, Prestel, Andreas, Martins, J. M., Brøndum, S. S., Nielsen, Olaf, Garbers, Anna Engstrøm, Suga, H., Boomsma, Wouter, Rogers, Joseph Matthew, Hartmann-Petersen, Rasmus & Kragelund, Birthe Brandt, 2022, In: Cellular and molecular life sciences : CMLS. 79, 9, 21 p., 484.

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

  388. Published

    Éalonnage de sources lumineuses de type LED

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

    Research output: Contribution to conference › Paper › Research

  389. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  390. Published

    Low-level functional GPU programming for parallel algorithms

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

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

  391. Published

    Normalization and Partial Evaluation

    Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, p. 137-192 (Lecture notes in computer science; No. 2395).

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

  392. Published

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  393. Published

    Steiner tree heuristics in Euclidean d-space

    E. Olsen, A., Lorenzen, S. S., Fonseca, R. & Winter, Pawel, 2014. 26 p.

    Research output: Contribution to conference › Paper › Research

  394. Published

    Advances in Quantitative Ethnography: First International Conference, ICQE 2019, Madison, WI, USA, October 20–22, 2019, Proceedings

    Eagan, B. (ed.), Misfeldt, Morten (ed.) & Siebert-Evenstone, A. (ed.), 2019, Springer. 360 p. (Communications in Computer and Information Science).

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

  395. Published

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

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

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

  396. 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 journal › Conference article › Research › peer-review

  397. Published

    Heap Construction—50 Years Later

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

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

  398. Published

    An in-place priority queue with O(1) Time for Push and lg n + O(1) comparisons for pop

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2015, Computer science - theory and applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Beklemishev, L. D. & Musatov, D. V. (eds.). Springer, p. 204-218 15 p. (Lecture notes in computer science, Vol. 9139).

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

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

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

  401. Published

    Strengthened lazy heaps: surpassing the lower bounds for binary heaps

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2014, In: arXiv.org: Computer science. arXiv:1407.3377, 14 p.

    Research output: Contribution to journal › Journal article › Research

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

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

  404. Published

    Heap-construction programs

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

    Research output: Book/Report › Report › Research

  405. Published

    Optimizing binary heaps

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

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

  406. Published

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.

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

  407. Published

    Pre-harvest assessment of perennial weeds in cereals based on images from unmanned aerial systems (UAS)

    Egilsson, J., Steenstrup Pedersen, Kim, Olsen, Søren Ingvor, Nielsen, J., Ntakos, G. & Rasmussen, Jesper, 2015. 1 p.

    Research output: Contribution to conference › Poster › Research

  408. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13

    Research output: Contribution to journal › Journal article › Research

  409. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14

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

  410. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

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

  411. Published

    Distance-based Classification Methods

    Ekin, O., Hammer, P. L., Kogan, A. & Winter, Pawel, 1999, In: INFOR, Canadian OR Society. Vol.37, p. 337-352

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

  412. Published

    Space-efficient path-reporting approximate distance oracles

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

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

  413. Published

    On the power of structural violations in priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 18 p.

    Research output: Working paper › Research

  414. Published

    A framework for speeding up priority-queue operations

    Elmasry, A., Jensen, C. & Katajainen, J., 2004, Department of Computer Science, University of Copenhagen, 31 p.

    Research output: Working paper › Research

  415. Published

    Two-tier relaxed heaps: Lecture Notes in Computer Science

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).

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

  416. Published

    Bipartite binomial heaps

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

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

  417. 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/Report › Report › Research

  418. Published

    Relaxed weak queues: An alternative to run-relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 23 p.

    Research output: Working paper › Research

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

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

  421. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 14 Feb 2008, In: Acta Informatica. 45, 3, p. 193-210 17 p.

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

  422. Published

    Two new methods for constructing double-ended priority queues from priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2008, In: Computing. 83, 4, p. 193-204 13 p.

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

  423. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2014, In: Theoretical Computer Science. 554, p. 64-73 10 p.

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

  424. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-18.

    Research output: Working paper › Research

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

  426. Published

    Two new methods for transforming priority queues into double-ended priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-14.

    Research output: Working paper › Research

  427. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).

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

  428. Published

    Fat heaps: source code

    Elmasry, A. A. A. E. & Katajainen, J., 2011, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report, Vol. 2010-2).

    Research output: Book/Report › Report › Research

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

  430. Published

    Proceedings of SIMS 2004

    Elmegaard, B., Sporring, Jon & Erleben, Kenny, 2004, Denmark: Technical University of Copenhagen. 452 p.

    Research output: Book/Report › Anthology › Research

  431. Published

    Proceedings of SIMS 2004

    Elmegaard, B. (ed.), Sporring, Jon (ed.), Sørensen, K. (ed.) & Erleben, Kenny (ed.), 2006, Elsevier. (Simulation Modelling Practice and Theory; No. 8, Vol. 14).

    Research output: Book/Report › Anthology › Research

  432. Published

    Editorial

    Elmegaard, B., Sporring, Jon, Sørensen, K. & Erleben, Kenny, 2006, In: Simulation Modelling Practice and Theory. Proceedings of SIMS 2004. 14, 8, p. 1057-1058

    Research output: Contribution to journal › Editorial › Research

  433. Published

    SIMS 2004

    Elmegaard, B., Sporring, Jon, Erleben, Kenny & Sørensen, K., Nov 2006, In: Simulation Modelling Practice and Theory. 14, 8, p. 1057-1058 2 p.

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

  434. Published

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

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

  435. Published

    Message from the organizing committee

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

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

  436. Published

    On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML

    Elsman, Martin & Hallenberg, N., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer VS, p. 95-112 18 p. (Lecture Notes in Computer Science, Vol. 12007 LNCS).

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

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

  438. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/Report › Report › Research

  439. Published

    A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.

    Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).

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

  440. Published

    Distance-field based joint-limits for biomechanic joint models

    Engell-Nørregård, M. P., Niebe, S. M. & Erleben, Kenny, 2011.

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

  441. Published

    Interactive inverse kinematics for human motion estimation

    Engell-Nørregård, M. P., Hauberg, S., Lapuyade, J., Erleben, Kenny & Steenstrup Pedersen, Kim, 2009, Vriphys 09: 6th Workshop on Virtual reality Interactions and Physical Simulations. Prautzsch, H., Schmitt, A., Bender, J. & Teschner, M. (eds.). p. 77-84

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

  442. Published

    Estimation of Joint types and Joint Limits from Motion capture data

    Engell-Nørregård, M. P. & Erleben, Kenny, 2009, WSCG '2009 : the 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in co-operation with Eurographics : University of West Bohemia, Plzen, Czech Republic, February 2-5, 2009: 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2009, Computer Graphics, Visualization and Computer Vision 2009. Scala, V. & Chen, M. (eds.). p. 9-16

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

  443. Published

    Local joint-limits using distance field cones in euler angle space

    Engell-Nørregård, M. P., Abel, S. M. N. & Erleben, Kenny, 2010. 4 p.

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

  444. Published

    A projected back-tracking line-search for constrained interactive inverse kinematics

    Engell-Nørregård, M. P. & Erleben, Kenny, 2011, In: Computers & Graphics. 35, 2, p. 288-298 11 p.

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

  445. Published

    Physics-based Animation

    Erleben, Kenny, Sporring, Jon, Henriksen, Knud & Dohlmann, H., 2005, Hingham, Mass.: Charles River Media. 817 p.

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

  446. Published

    Preface

    Erleben, Kenny, Bender, J. & Teschner, M., 2010, In: VRIPHYS 2010 - 7th Workshop on Virtual Reality Interactions and Physical Simulations.

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

  447. Published

    Interactive rigid body contact force problems: experiences on bridging the gap between eye–candy and real–world

    Erleben, Kenny, 2011. 2 p.

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

  448. Published

    Using Implicit Skeleton Shape Representations for Volumetric Shell Meshing

    Erleben, Kenny, 2007, København: Museum Tusculanum. 34 p. (Rapport. Datalogisk Institut, Københavns Universitet; No. 07/04).

    Research output: Book/Report › Report › Research

  449. Published

    Moving conforming contact manifolds and related numerical problems

    Erleben, Kenny, 2014

    Research output: Non-textual form › Sound/Visual production (digital) › Research

  450. Published

    Volumetric shells using path tracing

    Erleben, Kenny, 2008. 8 p.

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

  451. Published

    Scan Conversion of Signed Distance Fields

    Erleben, Kenny & Dohlmann, H., 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedbehandling. 06/08 ed. Museum Tusculanum, p. 81-91

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

  452. Published

    Solving inverse kinematics using exact Hessian matrices

    Erleben, Kenny & Andrews, S., Feb 2019, In: Computers & Graphics. 78, p. 1-11

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

  453. Published

    Inverse kinematics problems with exact Hessian matrices

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

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

  454. Published

    The Adaptive Thin Shell Tetrahedral Mesh

    Erleben, Kenny, Dohlmann, H. & Sporring, Jon, 2005, In: Journal of W S C G. 13, 1, p. 17-24

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

  455. Published

    OpenTissue - An Open Source Toolkit for Physics-Based Animation

    Erleben, Kenny, Sporring, Jon & Dohlmann, H., 2005, ISC / NA-MIC / MICCAI Workshop on Open-Source Software. p. -

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

  456. Published

    Line-Stepping for Shell Meshes

    Erleben, Kenny & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 472-481 (Lecture notes in computer science; No. 4522).

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

  457. Published

    Rigid body contact problems using proximal operators

    Erleben, Kenny, 2017, Proceedings of the ACM SIGGRAPH / Eurographics Symposium on Computer Animation. Association for Computing Machinery, 12 p. 13

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

  458. Published

    A Simple Plane Patcher Algorithm

    Erleben, Kenny & Henriksen, Knud, 2006, 06/09 ed. Department of Computer Science, University of Copenhagen.

    Research output: Book/Report › Report › Research

  459. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

    Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).

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

  460. Published

    Maximal independent set graph partitions for representations of body-centered cubic lattices

    Erleben, Kenny, 2009, In: Visual Computer. 25, 5-7, p. 423-430 8 p.

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

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

  462. Published

    Velocity-based shock propagation for multibody dynamics animation

    Erleben, Kenny, 2007, In: ACM Transactions on Graphics. 26, 2, 20 p.

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

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

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

  465. Published

    Shapes related to longitudinal studies of disease

    Erleben, L. L., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 90 p.

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

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

  467. Published

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Ersbøll, B. K. & Steenstrup Pedersen, Kim, 1 Dec 2007, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4522 LNCS

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

  468. Published

    Deriving consistent GSM schemas from DCR graphs

    Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).

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

  469. Published

    Delayed Bandits: When Do Intermediate Observations Help?

    Esposito, E., Masoudian, Saeed, Qiu, H., van der Hoeven, D., Cesa-Bianchi, N. & Seldin, Yevgeny, 2023, Proceedings of the 40 th International Conference on Machine Learnin. PMLR, p. 9374-9395 22 p. (Proceedings of Machine Learning Research, Vol. 202).

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

  470. Published

    Near-Optimal Distance Oracles for Vertex-Labeled Planar Graphs

    Evald, J., Fredslund-Hansen, V. & Wulff-Nilsen, Christian, 2021, 32nd International Symposium on Algorithms and Computation, ISAAC 2021. Ahn, H-K. & Sadakane, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 212).

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

  471. Published

    ReNLoc: an anchor-free localization algorithm for indirect ranging

    Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.

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

  472. Published

    Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

    Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.

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

  473. Published

    Similarity-Based pattern recognition

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

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

  474. Published

    Geodesic atlas-based labeling of anatomical trees: application and evaluation on airways extracted from CT

    Feragen, A., Petersen, Jens, Owen, M., Lo, P., Thomsen, L. H., Wille, M. M. W., Dirksen, A. & de Bruijne, Marleen, 2015, In: IEEE Transactions on Medical Imaging. 34, 6, p. 1212-1226 15 p.

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

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

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

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

  478. Published

    Geometry and statistics: manifolds and stratified spaces

    Feragen, A., Nielsen, Mads, Jensen, E. B. V., Plessis, A. D. & Lauze, Francois Bernard, 2014, In: Journal of Mathematical Imaging and Vision. 50, 1, p. 1-4 4 p.

    Research output: Contribution to journal › Editorial › Research

  479. Published

    Geometries and interpolations for symmetric positive definite matrices

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

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

  480. Published

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

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

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

  481. Published

    Geodesic exponential kernels: when curvature and linearity conflict

    Feragen, A., Lauze, Francois Bernard & Hauberg, S., 2015, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2015). IEEE, p. 3032-3042 11 p.

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

  482. Published

    Mini-workshop: asymptotic statistics on stratified spaces

    Feragen, A., Huckemann, S., Marron, J. S. & Miller, E., 2014, Mathematisches Forschungsinstitut Oberwolfach. 47 p. (Oberwolfach Reports; No. 4, Vol. 11).

    Research output: Book/Report › Report › Research

  483. Published

    On geodesic exponential kernels

    Feragen, A., Lauze, Francois Bernard & Hauberg, S., 2015, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer, p. 211-213 3 p.

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

  484. Published

    Digital Game Interventions for Youth Mental Health Services (Gaming My Way to Recovery): Protocol for a Scoping Review

    Ferrari, M., McIlwaine, S., Reynolds, J. A., Archie, S., Boydell, K., Lal, S., Shah, J. L., Henderson, J., Alvarez-Jimenez, M., Andersson, N., Boruff, J., Nielsen, R. K. L. & Iyer, S. N., Jun 2020, In: JMIR Research Protocols. 9, 6, 10 p., 13834.

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

  485. Published

    Taking action in a changing world: research and community

    Fiesler, C., Anthony, L., Strohmeier, P., Fussell, S. & Mark, G., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1368-1371 4 p.

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

  486. Published

    Towards a comprehensive theory of monadic effects

    Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.

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

  487. Published

    A Denotational Account of Untyped Normalization by Evaluation

    Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

  488. Published

    On the relations between monadic semantics

    Filinski, Andrzej, 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75

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

  489. Published

    Training Restricted Boltzmann Machines

    Fischer, A., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 212 p.

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

  490. Published

    Training restricted Boltzmann machines: an introduction

    Fischer, A. & Igel, Christian, 2014, In: Pattern Recognition. 47, 1, p. 25-39 15 p.

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

  491. Published

    A bound for the convergence rate of parallel tempering for sampling restricted Boltzmann machines

    Fischer, A. & Igel, Christian, 2015, In: Theoretical Computer Science. 598, p. 102-117 16 p.

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

  492. Published

    Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry

    Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 p.

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

  493. Published

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

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

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

  494. Published

    Segmenting articular cartilage automatically using a voxel classification approach

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Pettersen, P. C. & Christiansen, C., Jan 2007, In: IEEE Transactions on Medical Imaging. 26, 1, p. 106-15 10 p.

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

  495. Published

    Accuracy evaluation of automatic quantification of the articular cartilage surface curvature from MRI

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F. & Christiansen, C., Oct 2007, In: Academic Radiology. 14, 10, p. 1221-8 8 p.

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

  496. Published

    Automatic quantification of local and global articular cartilage surface curvature: biomarkers for osteoarthritis?

    Folkesson, J., Dam, Erik Bjørnager, Olsen, O. F., Karsdal, M. A., Pettersen, P. C. & Christiansen, C., Jun 2008, In: Magnetic Resonance in Medicine. 59, 6, p. 1340-6 7 p.

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

  497. Published

    Probing RNA native conformational ensembles with structural constraints

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

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

  498. Published

    Protein Structure Prediction Using Bee Colony Optimization Metaheuristic: Extended Abstract

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, In: Koebenhavns Universitet. Datalogisk Institut. Rapport. 12, 11 p.

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

  499. Published

    Ranking beta sheet topologies with applications to protein structure prediction

    Fonseca, R., Helles, G. & Winter, Pawel, 2011, In: Journal of Mathematical Modelling and Algorithms. 10, 4, p. 357-369 13 p.

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

  500. Published

    KGSrna: efficient 3D kinematics-based sampling for nucleic acids

    Fonseca, R., van den Bedem, H. & Bernauer, J., 2015, Research in Computational Molecular Biology: 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings. Przytycka, T. (ed.). Springer, p. 80-95 16 p. (Lecture Notes in Bioinformatics).

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

Previous 1 2 3 4 Next