Department of Computer Science

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

Fast hashing with strong concentration bounds

Aamand, Anders, Knudsen, J. B. T., 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

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

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

Classifying convex bodies by their contact and intersection graphs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Oblivious sketching of high-degree polynomial kernels

Ahle, T. D., Kapralov, M., Knudsen, J. B. T., 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

"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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

GeckoFTL: Scalable Flash Translation Techniques For Very Large Flash Devices.

Dayan, N., Bonnet, Philippe & Idreos, S., 2016, SIGMOD Conference. p. 327-342 16 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Delayed Bandits: When Do Intermediate Observations Help?

Esposito, E., Masoudian, S., 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Visualization of Tooth Eruption in CT-Scans

Franken, E., Sporring, Jon & Kreiborg, Sven, 2006, International Workshop on Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment: MICCAI 2006 Workshop Proceedings. Darvann, T. A., Hermann, N. V., Larsen, P. & Kreiborg, S. (eds.). IT-Universitetet i København, p. 33-40

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

Designing eTextiles for the Body: Shape, Volume Motion

Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731

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

Second Skin: an exploration of eTextile stretch circuits on the body

Freire, R., Honnet, C. & Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 653-658 6 p.

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

The Managerial Challenges in the Transformation of the Danish Geodata Sector

Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305

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

The Metaphors-of-Human-Thinking Technique for Usability Evaluation Compared to Heuristic Evaluation and Cognitive Walkthrough

Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. 98 ed. Roskilde: University of Roskilde, p. 4

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

Improving web search transparency by using a Venn diagram interface

Frøkjær, Erik & Langer, L., 2008, NordCHI 2008: Building Bridges, Proceedings of the 5th Nordic Conference on Human-Computer Interaction, Lund, Sweden, 20-22 October, 2008. Gulz, A., Magnusson, C., Malmborg, L., Eftring, H., Jönsson, B. & Tollmar, K. (eds.). Association for Computing Machinery, p. 249-256 (ACM International Conference Proceedings; No. 358).

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

Metaphors of Human Thinking: A New Tool in User Interface Design and Evaluation

Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of INTERACT 2003 IFIP TC 13. IOS Press, p. 781-784

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

Studying the Utility of Metaphors of Human Thinking in HCI

Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21

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

Prediction of Usability: Comparing Method Combinations

Frøkjær, Erik & Lárusdóttir, M., 1999, Managing Information Technology Resources in Organizations in the Next Millenium, Information Resources Management Association International Conference (IRMA). Idea Group Publishing, p. 248-257

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

Evaluating User Interfaces with Metaphors of Human Thinking

Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, p. 533-544

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

Evaluating User Interface with Metaphors of Human Thinking

Frøkjær, Erik & Hornbæk, Kasper, 2003, Universal Access. Lecture Notes. 2615 ed. Berlin, Heidelberg: Springer, p. 22

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

Fagfolks dokumentationsarbejde og informationshåndtering

Frøkjær, Erik, Perstrup, K. & Hornbæk, Kasper, 1999, Viden Om, Særnummer om eksperimentelle søgemetoder, April. Dansk Biblioteks Center, p. 15-19

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

Metaphors of Human Thinking in HCI: Habit, Stream of Thought, Awareness, Utterances and Knowing

Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of HF2002 Human Factors Conference, Oz'CHI. ESA and CHISIG, p. 10

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

Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions

Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386

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

Fabrication & HCI: hobbyist making, industrial production, and beyond

Fuchsberger, V., Murer, M., Tscheligi, M., Lindtner, S., Bardzell, S., Bardzell, J., Reiter, A. & Bjorn, Pernille, 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3550-3557 8 p.

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

Formal proof of polynomial-time complexity with quasi-interpretations

Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, p. 146-157

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

Predicting Protein Content in Grain Using Hyperspectral Deep Learning

Engstrøm, Ole-Christian Galbo, Dreier, E. S. & Steenstrup Pedersen, Kim, 2021, Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) . IEEE, p. 1372-1380

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

ReGraDa: Reactive Graph Data

Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

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