- Published
Non-empty Bins with Simple Tabulation Hashing
Aamand, Anders & Thorup, Mikkel, 2 Jan 2019, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. Chan, T. M. (ed.). Society for Industrial and Applied Mathematics, p. 2498-2512Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
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
- Published
Optimal Decremental Connectivity in Non-Sparse Graphs
Aamand, A., Karczmarz, A., Łącki, J., Parotsidis, N., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-17 6. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tiling with Squares and Packing Dominos in Polynomial Time
Aamand, Anders, Abrahamsen, Mikkel, Ahle, T. & Rasmussen, Peter Michael Reichstein, 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 224).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Classifying convex bodies by their contact and intersection graphs
Aamand, Anders, Abrahamsen, Mikkel, Knudsen, J. B. T. & Rasmussen, Peter Michael Reichstein, 2021, 37th International Symposium on Computational Geometry, SoCG 2021. Buchin, K. & de Verdiere, E. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 189).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Power of d choices with simple tabulation
Aamand, Anders, Knudsen, M. B. T. & Thorup, Mikkel, 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Popular conjectures as a barrier for dynamic planar graph algorithms
Abboud, A. & Dahlgaard, S., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 477-486 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
X-WikiRE: A Large, Multilingual Resource for Relation Extraction as Machine Comprehension
Abdou, M., Sas, C., Aralikatte, R., Augenstein, Isabelle & Søgaard, Anders, 2019, Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP (DeepLo 2019). Association for Computational Linguistics, p. 265-274Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Best laid plans of lions and men
Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 6. (Leibniz International Proceedings in Informatics, Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Graph reconstruction with a betweenness oracle
Abrahamsen, Mikkel, Bodwin, G., Rotenberg, E. & Stöckel, M. D., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:14 14 p. 5. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Irrational Guards are Sometimes Needed
Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-15 3. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Near-Optimal Induced Universal Graphs for Bounded Degree Graphs
Abrahamsen, Mikkel, Alstrup, Stephen, Holm, Jacob, Knudsen, M. B. T. & Stöckel, M., 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 201. Chatzigiannaki, I., Indyk, P., Kuhn, F. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-14 128. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 80).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fast fencing
Abrahamsen, Mikkel, Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, Mikkel, 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 564-573Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Outer common tangents and nesting of convex hulls in linear time and constant workspace
Abrahamsen, Mikkel & Walczak, B., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constructing Concise Convex Covers via Clique Covers
Abrahamsen, Mikkel, Meyling, William Bille & Nusser, André Fritz, 2023, 39th International Symposium on Computational Geometry, SoCG 2023. Chambers, E. W. & Gudmundsson, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 258).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The art gallery problem is ∃ ℝ-complete
Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2018, STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 65-73Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Finding the maximum subset with bounded convex curvature
Abrahamsen, Mikkel & Thorup, Mikkel, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 4. (Leibniz International Proceedings in Informatics, Vol. 51).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Minimum perimeter-sum partitions in the plane
Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spiral toolpaths for high-speed machining of 2d pockets with or without islands
Abrahamsen, Mikkel, 2015, Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2015. American Society of Mechanical Engineers, Vol. 2B. 10 p. DETC2015-46255Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Range-clustering queries
Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 5. (Leibniz International Proceedings in Informatics, Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An optimal algorithm computing edge-to-edge visibility in a simple polygon
Abrahamsen, Mikkel, 2013, Proceedings of the 25th Canadian Conference on Computational Geometry: CCCG 2013. p. 157-162 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Local appearance features for robust MRI brain structure segmentation across scanning protocols
Achterberg, H. C., Poot, D. H. J., van der Lijn, F., Vernooij, M. W., Ikram, M. A., Niessen, W. J. & de Bruijne, Marleen, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 7 p. 866905. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Submodular unsplittable flow on trees
Adamaszek, A. M., Chalermsook, P., Ene, A. & Wiese, A., 2016, Integer Programming and Combinatorial Optimization: 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings. Louveaux, Q. & Skutella, M. (eds.). Springer, p. 337-349 13 p. (Lecture notes in computer science, Vol. 9682).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Airports and railways: facility location meets network design
Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Labeling schemes for bounded degree graphs
Adjiashvili, D. & Rotbart, N. G., 2014, Automata, languages, and programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E. (eds.). Springer, p. 375-386 12 p. (Lecture notes in computer science, Vol. 8573).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual tagger evaluation without test data
Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: short papers. Association for Computational Linguistics, Vol. 2. p. 248-253 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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
- Published
Exploring the challenges of making data physical
Alexander, J., Jansen, Y., Hornbæk, Kasper, Kildal, J. & Karnik, A., 2015, CHI EA '15: proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2417-2420 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
DABAI: A data driven project for e-Learning in Denmark
Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 Jan 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simpler, faster and shorter labels for distances in graphs
Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Possibilities and barriers for e-learning in primary school in Denmark
Alstrup, Stephen & Rootzen, H., 2016, Proceedings of the 15th European Conference on e-Learning. Novotná, J. & Jancarík, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Maintaining center and median in dynamic trees
Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Vol. 1851. p. 46-56 11 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Finding cores of limited length
Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Near-optimal labeling schemes for nearest common ancestors
Alstrup, Stephen, Halvorsen, E. B. & Larsen, K. G., 2014, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms . Chekuri, C. (ed.). Society for Industrial and Applied Mathematics, p. 972-982 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sublinear distance labeling
Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Adjacency labeling schemes and induced-universal graphs
Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Distance labeling schemes for trees
Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constructing light spanners deterministically in near-linear time
Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Direct Routing on Trees
Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Word encoding tree connectivity works
Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Minimizing diameters of dynamic trees
Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Optimal induced universal graphs and adjacency labeling for trees
Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 1311-1326 16 p. (Symposium on Foundations of Computer Science. Annual Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs
Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, p. 295–305Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quantification and visualization of variation in anatomical trees
Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Domain-specific languages for enterprise systems
Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions
Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (eds.). The Eurographics Association, p. 39-48 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bringing content understanding into usability testing in complex application domains—a case study in eHealth
Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Vol. Part 1. p. 327-341 15 p. (Lecture notes in computer science, Vol. 10288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients
Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 444-447 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Understanding patient experience: a deployment study in cardiac remote monitoring
Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (eds.). Association for Computing Machinery, p. 221-230 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
From prototype to product: making participatory design of mHealth commercially viable
Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn & Moll, J., 2017, Participatory design and health information technology. Kanstrup, A. M., Bygholm, A., Bertelsen, P. & Nøhr, C. (eds.). IOS Press, p. 95-112 18 p. (Studies in Health Technology and Informatics, Vol. 233).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
From research prototypes to a marketable eHealth system
Andersen, Tariq Osman, Kensing, Finn, Kjellberg, L. & Moll, J., 2015, Context sensitive health informatics: many places, many users, many contexts, many uses. Borycki, E. M. (ed.). IOS Press, p. 9-14 6 p. (Studies in Health Technology and Informatics, Vol. 218).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Alignment of concerns: a design rationale for patient participation in eHealth
Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2014, 2014 47th Hawaii International Conference on System Sciences (HICSS). IEEE, p. 2587-2596 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Markov random fields on triangle meshes
Andersen, V., Aanæs, H., Bærentzen, J. A. & Nielsen, Mads, 2010, WSCG 2010: communication papers proceedings . Skala, V. (ed.). Vaclav Skala - Union Agency, p. 265-270 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Identifying Partial Mouse Brain Microscopy Images from the Allen Reference Atlas Using a Contrastively Learned Semantic Space
Antanavicius, J., Leiras, Roberto & Selvan, Raghav, 2022, Biomedical Image Registration - 10th International Workshop, WBIR 2022, Proceedings. Hering, A., Schnabel, J., Zhang, M., Ferrante, E., Heinrich, M. & Rueckert, D. (eds.). 1 ed. Springer Science and Business Media Deutschland GmbH, p. 166-176 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13386 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sparse incomplete LU-decomposition for wave farm designs under realistic conditions
Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RAM-efficient external memory sorting
Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A stochastic large deformation model for computational anatomy
Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 571-582 12 p. (Lecture notes in computer science, Vol. 10265).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Probing Pre-Trained Language Models for Cross-Cultural Differences in Values
Arora, Arnav, Kaffee, L. & Augenstein, Isabelle, 2023, Proceedings of the First Workshop on Cross-Cultural Considerations in NLP (C3NLP). Association for Computational Linguistics (ACL), p. 114-130Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Priority queues and sorting for read-only data
Asano, T., Elmasry, A. & Katajainen, J., 2013, Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Chan, T-H. H., Lau, L. C. & Trevisan, L. (eds.). Springer, p. 32-41 10 p. (Lecture notes in computer science, Vol. 7876).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SMEIL: A domain-specific language for synchronous message exchange networks
Asheim, T., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 389-414 (Concurrent Systems Engineering Series, Vol. 70).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Low pain vs no pain multi-core Haskells
Aswad, M., Trinder, P., Al Zain, A., Michaelson, G. & Berthold, J., 2011, Trends in Functional Programming 10. Horváth, Z., Zsók, V., Achten, P. & Koopman, P. (eds.). Intellect, p. 49-64 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The longest link node deployment problem in cloud computing: a heuristic approach
Ataíde, M. S., Souza, C. C. D., Rezende, P. J. D. & Vaz Salles, M. A., 2016, Proceedings of the XVIII Latin-Iberoamerican Conference on Operations Research, CLAIO 2016. Maturana, S. (ed.). Instituto Chileno de Investigacion Operativa, p. 69-76 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unary resolution: characterizing PTIME
Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-Task Learning of Keyphrase Boundary Classification
Augenstein, Isabelle & Søgaard, Anders, 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics : (Short Papers). Barzilay, R. & Kan, M-Y. (eds.). Association for Computational Linguistics, Vol. 2. p. 341-346 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces
Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 1896–1906 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates
Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Reversible shrinking two-pushdown automata
Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer, p. 579-591 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Boosting reversible pushdown machines by preprocessing
Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 89-104 16 p. (Lecture notes in computer science, Vol. 9720).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A hierarchy of fast reversible turing machines
Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 29-44 16 p. (Lecture notes in computer science, Vol. 9138).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Programming techniques for reversible comparison sorts
Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The degree of irreversibility in deterministic finite automata
Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 15-26 12 p. (Lecture notes in computer science, Vol. 9705).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A classical propositional logic for reasoning about reversible logic circuits
Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible representation and manipulation of constructor terms in the heap
Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Join inverse categories as models of reversible recursion
Axelsen, H. B. & Kaarsgaard, R., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 73-90 18 p. (Lecture notes in computer science, Vol. 9634).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Graph archive
Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 52-53 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Composing and decomposing data types: a closed type families implementation of data types à la carte
Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 71-82 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Convergence in infinitary term graph rewriting systems is simple (extended abstract)
Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Programming macro tree transducers
Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generalising tree traversals to DAGs: exploiting sharing without the pain
Bahr, P. & Axelsson, E., 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 27-38 12 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Certified symbolic management of financial multi-party contracts
Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, p. 315-327 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proving correctness of compilers using structured graphs
Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Calculating certified compilers for non-deterministic languages
Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Springer, p. 159-186 28 p. (Lecture notes in computer science, Vol. 9129).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fluoroscopic assessment of femoral kinematics using a statistical shape model
Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , p. 147148 2 p. 5B.2Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Energy saving approaches for video streaming on smartphone based on QoE modeling
Ballesteros, L. G. M., Ickin, S., Fiedler, M., Markendahl, J., Tollmar, K. & Wac, Katarzyna, 2016, 2016 13th IEEE Annual Consumer Communications and Networking Conference (CCNC 2016). IEEE, p. 103-106 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Information systems development with generic systems
Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. p. 707-718 12 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Pilot Implementation of Health Information Systems: Issues and challenges
Bansler, Jørgen P. & Havn, E. C., 2009, Proceedings of the Fifteenth Americas Conference on Information Systems. San Francisco, CA, 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Physicians’ progress notes
Bansler, Jørgen P., Havn, E. C., Mønsted, T., Schmidt, K. & Svendsen, Jesper Hastrup, 2013, ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 2013, Paphos, Cyprus. Bertelsen, O. W., Ciolfi, L., Grasso, M. A. & Papadopoulos, G. A. (eds.). Springer, p. 123-142 20 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing
Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual transfer of correlations between parts of speech and gaze features
Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coarse-to-Fine Low-Rank Structure-from-Motion
Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, Søren Ingvor & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery
Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction
Bergström, Joanna, Coyle, D., Knibbe, J. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 378Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
It’s a Wrap: Mapping On-Skin Input to Off-Skin Displays
Bergström, Joanna, Hornbæk, Kasper & Boring, S., 20 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 564Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Placing and recalling virtual items on the skin
Bergström, Joanna, Boring, S. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1497-1507 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Comparative Field Study of Four Crane Control Interfaces
Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Longest common extensions in sublinear space
Bille, P., Gørtz, I. L., Knudsen, M. B. T., Lewenstein, M. & Vildhøj, H. W., 2015, Combinatorial Pattern Matching: 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings. Cicalese, F., Porat, E. & Vaccaro, U. (eds.). Springer, p. 65-76 12 p. (Lecture notes in computer science, Vol. 9133).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Identifying beneficial task relations for multi-task learning in deep neural networks
Bingel, J. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: volume 2, short papers. Association for Computational Linguistics, Vol. 2. p. 164-169 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Back to the Future: Sequential Alignment of Text Representations
Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings
Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 907-916 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tracking Typological Traits of Uralic Languages in Distributed Language Representations
Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, Fourth International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics, p. 78-88Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SIGTYP 2020 Shared Task: Prediction of Typological Features
Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, Isabelle, 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Association for Computational Linguistics, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies
Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Practice-based CSCW research: ECSCW bridging across the atlantic
Bjorn, Pernille, Ciolfi, L., Ackerman, M., Fitzpatrick, G. & Wulf, V., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 210-220 11 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research › peer-review
- Published
Random walk term weighting for information retrieval
Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
User generated content search
Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Interchanging two segments of an array in a hierarchical memory system
Bojesen, J. & Katajainen, J., 2001, Ikke angivet. Springer, p. 159--170Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Interchanging two segments of an array in a hierarchical memory system
Bojesen, J. & Katajainen, J., 2002, Proceedings of the 4th International Workshop on Algorithm Engineering. Springer, p. 159-170Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Improving historical spelling normalization with bi-directional LSTMs and multi-task learning
Bollman, M. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 131-139 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quasi-interpretations and small space bounds
Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Spherical convolutions and their application in molecular modelling
Boomsma, Wouter & Frellsen, J., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
All-pairs minimum cuts in near-linear time for surface-embedded graphs
Borradaile, G., Eppstein, D., Nayyeri, A. & Wulff-Nilsen, Christian, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. (Leibniz International Proceedings in Informatics, Vol. 51).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Minor-free graphs have light spanners
Borradaile, G., Le, H. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 767-778 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of intracranial arterial calcification with deeply supervised residual dropout networks
Bortsova, G., van Tulder, G., Dubost, F., Peng, T., Navab, N., van der Lugt, A., Bos, D. & de Bruijne, Marleen, 2017, Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Descoteaux, M., Maier-Hein, L., Franz, A., Jannin, P., Collins, D. L. & Duchesne, S. (eds.). Springer, p. 356-364 9 p. (Lecture notes in computer science, Vol. 10435).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deep Learning from Label Proportions for Emphysema Quantification
Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Efficient Self-Supervision using Patch-based Contrastive Learning for Histopathology Image Segmentation
Boserup, Nicklas & Selvan, Raghav, 2023, Proceedings of the Northern Lights Deep Learning Workshop 2023. Septentrio Academic Publishing, 8 p. (Proceedings of the Northern Lights Deep Learning Workshop, Vol. 4).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
"It’s about Business not Politics”: software development between Palestinians and Israelis
Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, p. 43-61 19 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Bayesian epipolar geometry estimation from tomographic projections
Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, Computer Vision – ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV. Lee, K. M., Matsushita, Y., Rehg, J. M. & Hu, Z. (eds.). Springer, p. 231-242 12 p. (Lecture notes in computer science, Vol. 7727).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the bayesian reconstruction method for randomly oriented particles in cryo-EM
Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1166-1169 4 p. (International Symposium on Biomedical Imaging. Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual and cross-domain discourse segmentation of entire documents
Braud, C., Lacroix, O. & Søgaard, Anders, 1 Jan 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Vol. 2. p. 237-243 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Does syntax help discourse segmentation? Not so much
Braud, C. E., Lacroix, O. & Søgaard, Anders, 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2432–2442 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-lingual RST discourse parsing
Braud, C. E., Coavoux, M. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Vol. 1. p. 292-304 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Is writing style predictive of scientific fraud?
Braud, C. E. & Søgaard, Anders, 2017, Proceedings of the Workshop on Stylistic VariationAssociation for Computational Linguistics. Association for Computational Linguistics, p. 37-42 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-view and multi-task training of RST discourse parsers
Braud, C. E., Plank, B. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 1903-1913 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning connective-based word representations for implicit discourse relation identification
Braud, C. E. & Denis, P., 2016, Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP-16). Association for Computational Linguistics, p. 203-213 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational complexity for uniform orientation Steiner tree problems
Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (ed.). Australian Computer Society, Vol. 135. p. 107-113 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The structure and flexibility of Steiner trees in uniform orientation metrics
Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Flexibility of Steiner trees in uniform orientation metrics
Brazil, M., Winter, Pawel & Zachariasen, M., 2004, Proc. of the 15th International Symposium, ISAAC. Springer, p. 196-205 10 p. (Lecture notes in computer science; No. 3341).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mimic: visual analytics of online micro-interactions
Breslav, S., Khan, A. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 245-252 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Touch to play - Exploring touch-based mobile interaction with public displays
Broll, G., Graebsch, R., Scherr, M., Boring, S., Holleis, P. & Wagner, M., 12 May 2011, Proceedings - 3rd International Workshop on Near Field Communication, NFC 2011. p. 15-20 6 p. 12Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An improved multileaving algorithm for online ranker evaluation
Brost, B., Cox, Ingemar Johansson, Seldin, Yevgeny & Lioma, Christina, 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval: SIGIR '16. Association for Computing Machinery, p. 745-748 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-dueling bandits and their application to online ranker evaluation
Brost, B., Seldin, Yevgeny, Cox, Ingemar Johansson & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2161-2166 6 p. (ACM International Conference on Information and Knowledge Management).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multileaving for online evaluation of rankers
Brost, B., 2017, Proceedings of the 1st International Workshop on LEARning Next gEneration Rankers co-located with the 3rd ACM International Conference on the Theory of Information Retrieval (ICTIR 2017). Ferro, N., Lucchese, C., Maistro, M. & Perego, R. (eds.). CEUR-WS.org, 2 p. (CEUR Workshop Proceedings, Vol. 2007).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Putting your data structure on a diet (Abstract)
Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
In-place planar convex hull algorithms
Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Proceedings of the 5th Latin American Symposium on Theoretical Informatics. Springer, p. 197-205Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
In-place planar convex hull algorithms
Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Ikke angivet. Springer, p. 197-205Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Service Oriented Architecture for Inter-vehicle Applications
Brønsted, J. R. & Hansen, K. M., 1 Nov 2008, Proceedings of the 15th World Congress on Intelligent Transportation Systems (ITS 2008).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments
Brønsted, J. R., Hansen, K. M. & Thorup, R., 2006, 6th International Conference on ITS Telecommunications (ITST2006). p. 1145-1150 6 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
On the convergence of the Metropolis algorithm with fixed-order updates for multivariate binary probability distributions.
Brügge, K., Fischer, A. & Igel, Christian, 2021, Proceedings of The 24th International Conference on Artificial Intelligence and Statistic. PMLR, p. 469-477 (Proceedings of Machine Learning Research, Vol. 130).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling APL to accelerate through a typed array intermediate language
Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 13-18 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Goodput analysis of 3G wireless networks supporting m-health services
Bults, R., Wac, Katarzyna, Van Halteren, A., Nicola, V. & Konstantas, D., 1 Dec 2005, Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005. p. 99-106 8 p. 1458461. (Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SpaceFold and PhysicLenses: simultaneous multifocus navigation on touch surfaces
Butscher, S., Hornbæk, Kasper & Reiterer, H., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 209-216 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Boneless Pose Editing and Animation
Bærentzen, J. A., Hansen, K. E. & Erleben, Kenny, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 562-571 (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Investigating situated use of the MUST method
Bødker, K., Kensing, Finn & Simonsen, J., 2014, Situated design methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). MIT Press, p. 59-76 18 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Bottom-up, top-down? Connecting software architecture design with use
Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. & Shapiro, D. K., 2009, Configuring user-designer relations: Interdisciplinary perspectives. Voss, A., Hartswood, M., Ho, K., Procter, A., Rouncefield, M., Slack, R. & Büscher, M. (eds.). Springer Science+Business Media, 35 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Aspects you should consider in your action plan when implementing an improvement strategy
Carstensen, Peter & Vinter, O., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Mas, A., Mesquida, A., O'Connor, R. V., Rout, T. & Dorling, A. (eds.). Springer, p. 467-480 14 p. (Communications in Computer and Information Science, Vol. 770).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Eight Aspects of Actions in Improvement Plans
Carstensen, Peter & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, p. 147-158 (Communications in Computer and Information Science, Vol. 896).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Model playground for autistic children: teaching social skills through tangible collaboration
Castro, T., Castro, A., Lima, D. & Bjorn, Pernille, 2017, 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT). IEEE, p. 441-445 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Improved Multi-label Classification under Temporal Concept Drift: Rethinking Group-Robust Algorithms in a Label-Wise Setting
Chalkidis, Ilias & Søgaard, Anders, 2022, FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022). ASSOC COMPUTATIONAL LINGUISTICS-ACL, p. 2441-2454 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Near-optimal light spanners
Chechik, S. & Wulff-Nilsen, Christian, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 883-892 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bottleneck paths and trees and deterministic graphical games
Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-13 13 p. 27. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Lever: towards low-latency batched stream processing by pre-scheduling
Chen, F., Wu, S., Jin, H., Yao, Y., Liu, Z., Gu, L. & Zhou, Yongluan, 2017, Proceedings of the 2017 Symposium on Cloud Computing. Association for Computing Machinery, p. 643-643 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Early experiences with crowdsourcing airway annotations in chest CT
Cheplygina, V., Perez-Rovira, A., Kuo, W., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, Deep Learning and Data Labeling for Medical Applications: First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. Carneiro, G., Mateus, D., Peter, L., Bradley, A., Tavares, J. M. R. S., Belagiannis, V., Papa, J. P., Nascimento, J. C., Loog, M., Lu, Z., Cardoso, J. S. & Cornebise, J. (eds.). Springer, p. 209-218 10 p. (Lecture notes in computer science, Vol. 10008).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Network-guided group feature selection for classification of autism spectrum disorder
Cheplygina, V., Tax, D. M. J., Loog, M. & Feragen, A., 2014, Machine learning in medical imaging: 5th International Workshop, MLMI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings. Wu, G., Zhang, D. & Zhou, L. (eds.). Springer, p. 190-197 8 p. (Lecture notes in computer science, Vol. 8679).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Label stability in multiple instance learning
Cheplygina, V., Sørensen, L., Tax, D. M. J., de Bruijne, Marleen & Loog, M., 2015, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer, p. 539-546 8 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Do you trust your multiple instance learning classifier?
Cheplygina, V., Sørensen, L., Tax, D. M. J., de Bruijne, Marleen & Loog, M., 2017, Benelearn 2017: Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning. Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 72-73 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Classification of COPD with multiple instance learning
Cheplygina, V., Sørensen, L. E. B. L., Tax, D., Pedersen, J. J. H., Loog, M. & de Bruijne, Marleen, 2014, 22nd International Conference on Pattern Recognition (ICPR) 2014. IEEE, p. 1508-1513 6 p. (International Conference on Pattern Recognition).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Architectural slicing: towards automatic harvesting of architectural prototypes
Christensen, H. B. & Hansen, K. M., 2013, Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Drira, K. (ed.). Springer, p. 316-319 4 p. (Lecture notes in computer science, Vol. 7957).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Architectures of Prototypes and Architectural Prototyping
Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M., 1998, Proceedings of NWPER'98. p. 247-267 21 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
From independence to expansion and back again
Christiani, T. L., Pagh, R. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 813-820 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
iSenseStress: assessing stress through human-smartphone interaction analysis
Ciman, M., Wac, Katarzyna & Gaggi, O., 2015, 2015 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth). IEEE, p. 84-91 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Iterated stacked classifiers for lung segmentation in computed tomography
Ciompi, F., Gatta, C. & de Bruijne, Marleen, 2013, The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan - September 26, 2013. Beichel, R. R., de Bruijne, M., Kabus, S., Kiraly, A. P., Kitasaka, T., Kuhnigk, J-M., McClelland, J. R., van Rikxoort, E. & Rit, S. (eds.). CreateSpace Independent Publishing Platform , p. 63-74 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The bane of low-dimensionality clustering
Cohen-Addad, V., De Mesmay, A., Rotenberg, E. & Roytman, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 441-456Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A fast approximation scheme for low-dimensional k-means
Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 430-440Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fast and Compact Exact Distance Oracle for Planar Grap
Cohen-Addad, V. P., Dahlgaard, S. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual IEEE Symposium on Foundations of Computer Science (FOcS). IEEE, p. 962-973Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals
Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 1439-1458Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Hierarchical Clustering: Objective Functions and Algorithms
Cohen-addad, V., Kanade, V., Mallmann-trenn, F. & Mathieu, C., 2 Jan 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 378-397Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
WSDM 2017 Workshop on Mining Online Health Reports: WSDM workshop summary
Collier, N., Limsopatham, N., Culotta, A., Conway, M., Cox, Ingemar Johansson & Lampos, V., 2 Feb 2017, Proceedings of the Tenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 825-826 2 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Maximal unbordered factors of random strings
Cording, P. H. & Knudsen, M. B. T., 2016, String Processing and Information Retrieval: 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings. Inenaga, S., Sadakane, K. & Sakai, T. (eds.). Springer, p. 93-96 4 p. (Lecture notes in computer science, Vol. 9954).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bayes estimation of shape model with application to vertebrae boundaries
Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Vol. 7259. 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Prior knowledge regularization in statistical medical image tasks
Crimi, A., Sporring, Jon, de Bruijne, Marleen, Lillholm, Martin & Nielsen, Mads, 2009, Proceedings of the MICCAI Workshop on Probabilistic Models for Medical Image Analysis. 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Data structures and dynamic memory management in reversible languages
Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen
Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Concrete Semantics with Coq and CoqHammer
Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 Jul 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (eds.). Springer, p. 53-59 5. (Lecture Notes in Computer Science, Vol. 11006).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Confluence of an extension of combinatory logic by Boolean constants
Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fast similarity sketching
Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 663-671 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Practical hash functions for similarity estimation and dimensionality reduction
Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Hashing for statistics over k-partitions
Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1292-1310 19 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the hardness of partially dynamic graph problems and connections to diameter
Dahlgaard, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 48. (Leibniz International Proceedings in Informatics, Vol. 55).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The power of two choices with simple tabulation
Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (ed.). Society for Industrial and Applied Mathematics, p. 1631-1642 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Approximately minwise independence with twisted tabulation
Dahlgaard, S. & Thorup, Mikkel, 2014, Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 134-145 12 p. (Lecture notes in computer science, Vol. 8503).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dynamic and multi-functional labeling schemes
Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2014, Algorithms and Computation: 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer, p. 141-153 13 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A simple and optimal ancestry labeling scheme for trees
Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2015, Automata, languages, and programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (eds.). Springer, p. 564-574 11 p. (Lecture notes in computer science, Vol. 9135).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Nearest neighbor classification using bottom-k sketches
Dahlgaard, S., Igel, Christian & Thorup, Mikkel, 2013, 2013 IEEE International Conference on Big Data: proceedings. IEEE, p. 28-34 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries
Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, p. 773-774Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
GPU accelerated tandem traversal of blocked bounding volume hierarchy collision detection for multibody dynamics
Damkjær, J. & Erleben, Kenny, 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. p. 115-124Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computing continuous-time Markov chains as transformers of unbounded observables
Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 338-354 17 p. (Lecture notes in computer science, Vol. 10203).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff
Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Benefits of auxiliary information in deep learning-based teeth segmentation
Dascalu, Tudor-Laurentiu, Kuznetsov, A. & Ibragimov, Bulat, 2022, Medical Imaging 2022: Image Processing. Colliot, O., Isgum, I., Landman, B. A. & Loew, M. H. (eds.). SPIE, p. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Vol. 12032).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
mQoL smart lab: quality of life living lab for interdisciplinary experiments
De Masi, A., Ciman, M., Gustarini, M. & Wac, Katarzyna, 2016, UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 635-640 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The DCR graphs process portal
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Iterating skeletons: structured parallelism by composition
Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Iterating skeletons
Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing a multi-touch eTextile for music performances
Donneaud, M., Honnet, C. & Strohmeier, P., 2017, Proceedings of the 17th International Conference on New Interfaces for Musical Expression (NIME’17). Erkut, C. (ed.). p. 7-12 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Low-level functional GPU programming for parallel algorithms
Dybdal, M., Elsman, Martin, Svensson, B. J. & Sheeran, M., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-37 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)
Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Weak heaps and friends: recent developments
Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (eds.). Springer, p. 1-6 6 p. (Lecture notes in computer science, Vol. 8288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An in-place priority queue with O(1) Time for Push and lg n + O(1) comparisons for pop
Edelkamp, S., Elmasry, A. & Katajainen, J., 2015, Computer science - theory and applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Beklemishev, L. D. & Musatov, D. V. (eds.). Springer, p. 204-218 15 p. (Lecture notes in computer science, Vol. 9139).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Two-tier relaxed heaps
Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Two-tier relaxed heaps: Lecture Notes in Computer Science
Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Selection from read-only memory with limited workspace
Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 147-157 11 p. (Lecture notes in computer science, Vol. 7936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Branchless search programs
Elmasry, A. & Katajainen, J., 2013, Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings. Bonifaci, V., Demetrescu, C. & Marchetti-Spaccamela, A. (eds.). Springer, p. 127-138 12 p. (Lecture notes in computer science, Vol. 7933).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
In-place binary counters
Elmasry, A. A. A. E. & Katajainen, J., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer, p. 349-360 12 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces
Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Message from the organizing committee
Elsman, Martin, Grelck, C., Klöckner, A. & Padua, D., 2016, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016. Association for Computing Machinery, p. iii-ivResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML
Elsman, Martin & Hallenberg, N., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer VS, p. 95-112 18 p. (Lecture Notes in Computer Science, Vol. 12007 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling a subset of APL into a typed intermediate language
Elsman, Martin & Dybdal, M., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, p. 101-106 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.
Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Estimation of Joint types and Joint Limits from Motion capture data
Engell-Nørregård, M. P. & Erleben, Kenny, 2009, WSCG '2009 : the 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in co-operation with Eurographics : University of West Bohemia, Plzen, Czech Republic, February 2-5, 2009: 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2009, Computer Graphics, Visualization and Computer Vision 2009. Scala, V. & Chen, M. (eds.). p. 9-16Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Interactive inverse kinematics for human motion estimation
Engell-Nørregård, M. P., Hauberg, S., Lapuyade, J., Erleben, Kenny & Steenstrup Pedersen, Kim, 2009, Vriphys 09: 6th Workshop on Virtual reality Interactions and Physical Simulations. Prautzsch, H., Schmitt, A., Bender, J. & Teschner, M. (eds.). p. 77-84Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Collision Detection of Deformable Volumetric Meshes
Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (ed.). Charles River Media, p. 51-68Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Scan Conversion of Signed Distance Fields
Erleben, Kenny & Dohlmann, H., 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedbehandling. 06/08 ed. Museum Tusculanum, p. 81-91Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Inverse kinematics problems with exact Hessian matrices
Erleben, Kenny & Andrews, S., 2017, Proceedings of the Tenth International Conference on Motion in Games. Association for Computing Machinery, 6 p. 14Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
OpenTissue - An Open Source Toolkit for Physics-Based Animation
Erleben, Kenny, Sporring, Jon & Dohlmann, H., 2005, ISC / NA-MIC / MICCAI Workshop on Open-Source Software. p. -Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Line-Stepping for Shell Meshes
Erleben, Kenny & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 472-481 (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rigid body contact problems using proximal operators
Erleben, Kenny, 2017, Proceedings of the ACM SIGGRAPH / Eurographics Symposium on Computer Animation. Association for Computing Machinery, 12 p. 13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Numerical methods for linear complementarity problems in physics-based animation
Erleben, Kenny, 2013, ACM SIGGRAPH 2013 Courses. Association for Computing Machinery, 42 p. 8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Morphometric connectivity analysis to distinguish normal, mild cognitive impaired, and Alzheimer subjects based on brain MRI
Erleben, L. L., Sørensen, L., Mysling, P., Pai, A. S. U., Dam, E. B. & Nielsen, Mads, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 866926. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deriving consistent GSM schemas from DCR graphs
Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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
- Published
Near-Optimal Distance Oracles for Vertex-Labeled Planar Graphs
Evald, J., Fredslund-Hansen, V. & Wulff-Nilsen, Christian, 2021, 32nd International Symposium on Algorithms and Computation, ISAAC 2021. Ahn, H-K. & Sadakane, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 212).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReNLoc: an anchor-free localization algorithm for indirect ranging
Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm
Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On geodesic exponential kernels
Feragen, A., Lauze, Francois Bernard & Hauberg, S., 2015, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer, p. 211-213 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Tree-space statistics and approximations for large-scale analysis of anatomical trees
Feragen, A., Owen, M., Petersen, Jens, Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 74-85 12 p. (Lecture notes in computer science, Vol. 7917).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Scalable kernels for graphs with continuous attributes
Feragen, A., Kasenburg, N., Petersen, Jens, de Bruijne, Marleen & Borgwardt, K., 2013, 27th Annual Conference on Neural Information Processing Systems 2013: NIPS 2013. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 216-224 9 p. (Advances in Neural Information Processing Systems, Vol. 26).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Geometries and interpolations for symmetric positive definite matrices
Feragen, A. & Fuster, A., 2017, Modeling, analysis, and visualization of anisotropy. Schultz, T., Özarslan, E. & Hotz, I. (eds.). Springer, p. 85-113 29 p. (Mathematics and Visualization).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Open problem: kernel methods on manifolds and metric spaces: what is the probability of a positive definite geodesic exponential kernel?
Feragen, A. & Hauberg, S., 2016, 29th Annual Conference on Learning Theory. Feldman, V., Rakhlin, A. & Shamir, O. (eds.). p. 1647–1650 4 p. (JMLR: Workshop and Conference Proceedings, Vol. 49).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Geodesic exponential kernels: when curvature and linearity conflict
Feragen, A., Lauze, Francois Bernard & Hauberg, S., 2015, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2015). IEEE, p. 3032-3042 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Taking action in a changing world: research and community
Fiesler, C., Anthony, L., Strohmeier, P., Fussell, S. & Mark, G., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1368-1371 4 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Towards a comprehensive theory of monadic effects
Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
A Denotational Account of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Artistic movement recognition by boosted fusion of color structure and topographic description
Florea, C., Toca, C. & Gieseke, Fabian Cristian, 11 May 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision. IEEE, p. 569-577 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
KGSrna: efficient 3D kinematics-based sampling for nucleic acids
Fonseca, R., van den Bedem, H. & Bernauer, J., 2015, Research in Computational Molecular Biology: 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings. Przytycka, T. (ed.). Springer, p. 80-95 16 p. (Lecture Notes in Bioinformatics).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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-40Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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-731Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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
- Published
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-305Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
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. 4Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
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
- Published
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-784Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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-21Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
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-257Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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-544Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
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. 22Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
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-19Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
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. 10Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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-1386Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
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
- Published
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-157Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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-1380Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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
- Published
An improved optimization method for the relevance voxel machine
Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dense Iterative Contextual Pixel Classification using Kriging
Ganz, Melanie, Loog, M., Brandt, S. & Nielsen, Mads, 2009, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2009. CVPR Workshops 2009. . p. 87-93 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Better tradeoffs for exact distance oracles in planar graphs
Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Massively-parallel best subset selection for ordinary least-squares regression
Gieseke, F., Polsterer, K. L., Mahabal, A., Igel, Christian & Heskes, T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bigger buffer k-d trees on multi-many-core systems
Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Speedy greedy feature selection: better redshift estimation via massive parallelism
Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Buffer k-d trees: processing massive nearest neighbor queries on GPUs
Gieseke, Fabian Cristian, Heinermann, J., Oancea, Cosmin Eugen & Igel, Christian, 2014, Proceedings of the 31st International Conference on Machine Learning, Beijing, China, 2014. 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 32).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Polynomial runtime bounds for fixed-rank unsupervised least-squares classification
Gieseke, Fabian Cristian, Pahikkala, T. & Igel, Christian, 2013, Asian Conference on Machine Learning. Ong, C. S. & Ho, T. B. (eds.). Vol. 29. p. 62-71 10 p. (JMLR: Workshop and Conference Proceedings, Vol. 29).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Asymmetry quantization and application to human mandibles
Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. p. 274-282 (Medical Imaging 2004: Image Processing, Vol. 5370).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Smoke simulation for fire engineering using a multigrid method on graphics hardware
Glimberg, S., Erleben, Kenny & Bennetsen, J., 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. European Association for Computer Graphics, p. 11-20Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Nonlinear configurations for superlinear speedup by supercompilation
Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Introduction to Valentin Turchin’s cybernetic foundation of mathematics
Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 26-31Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using gaze to predict text readability
Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Incremental exact min-cut in poly-logarithmic amortized update time
Goranci, G., Henzinger, M. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 46. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mass Preserving Registration for lung CT
Gorbunova, V., Lo, P. C. P., Loeve, M., Tiddens, H., Sporring, Jon, Nielsen, Mads & de Bruijne, Marleen, 2009, Proceedings of the SPIE: Medical Imaging 2009: Image Processing. Vol. 7259. 10 p. (Proceedings of the SPIE, Vol. 7259).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Finite element modeling of the vocal folds with deformable interface tracking
Granados, A., Brunskog, J., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014, Forum Acusticum. European Acoustics Association, 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Optimally streaming greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer, p. 224-240 17 p. (Lecture notes in computer science, Vol. 8687).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Two-pass greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
KAT + B!
Grathwohl, N. B. B., Kozen, D. & Mamouras, K., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery, 10 p. 44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Infinitary axiomatization of the equational theory of context-free languages
Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers
Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 284-297 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Open Design at the Intersection of Making and Manufacturing
Green, D., Fuchsberger, V., Kirk , D., Taylor, N., Chatting, D., Meissner, J., Murer, M., Tscheligi, M., Lindtner, S., Bjorn, Pernille & Reiter, A., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 542-549 8 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Dark patterns in proxemic interactions: a critical perspective
Greenberg, S., Boring, S., Vermeulen, J. & Dostal, J., 2014, Proceedings of the 2014 conference on Designing Interactive Systems. Association for Computing Machinery, p. 523-532 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The affordances of broken affordances
Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stateful load balancing for parallel stream processing
Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A SVD Based Image Complexity Measure
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Geometric and Texture Inpainting by Gibbs Sampling
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Proceedings SSBA 2007: Symposium on inage analysis, Linköping, March 14-14, 2007. Borga, M., Brun, A. & Felsberg, M. (eds.). Linköpings Universitet, 4 p. (Institutionen för medicinsk teknik, Universitetet i Linköping; No. LiU-IMT-R-0047).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Image Inpainting by Cooling and Heating
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Springer, p. 591-600 10 p. (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-Scale Natural Images: A database and some statistics
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, Proceedings of 16'th Danish Conference on Pattern Recognition and Image Analysis (DSAGM) 2008. Olsen, S. I. (ed.). Department of Computer Science, University of Copenhagen, 2 p. (DIKU Technical Report; No. 08-10).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
On the Rate of Structural Change in Scale Spaces
Gustafsson, D. K. J., Steenstrup Pedersen, Kim, Lauze, Francois Bernard & Nielsen, Mads, 2009, Proceedings of Scale Space and Variational Methods in Computer Vision (SSVM) 09. Springer, Vol. 5567. p. 832-843 11 p. (Lecture notes in computer science, Vol. 5567/209).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ARRIVAL: Next stop in CLS
Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A standard-driven implementaion of WS-BPEL 2.0
Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Smart city analytics: ensemble-learned prediction of citizen home care
Hansen, C., Hansen, C., Alstrup, Stephen & Lioma, Christina, 2017, Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2098 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of 2D and 3D Objects with Intrinsically Similarity Invariant Shape Regularisers
Hansen, J. D. K. & Lauze, Francois Bernard, 2019, Scale Space and Variational Methods in Computer Vision - 7th International Conference, SSVM 2019, Proceedings. Lellmann, J., Modersitzki, J. & Burger, M. (eds.). Springer, p. 369-380 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11603 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Local mean multiphase segmentation with HMMF models
Hansen, J. D. K. & Lauze, Francois Bernard, 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 396-407 12 p. (Lecture notes in computer science, Vol. 10302).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems
Hansen, K. M. & Manikas, K., 2013, The 25th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
(Automated) software modularization using community detection
Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards structure-based quality awareness in software ecosystem use
Hansen, K. M. & Zhang, W., 2014, Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, p. 469-479 11 p. (Lecture notes in computer science, Vol. 8377).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semantic Web ontologies for Ambient Intelligence -- Runtime Monitoring of Semantic Component Constraints
Hansen, K. M., Zhang, W., Fernandes, J. & Ingstrup, M., 1 Sep 2008, Proceedings of the First International Research Workshop on The Internet of Things and Services.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
On the impact of medical device regulations on software architecture
Hansen, K. M. & Manikas, K., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF. SCITEPRESS Digital Library, Vol. 5. p. 389-394 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Seasonal Web Search Query Selection for Influenza-Like Illness (ILI) Estimation
Hansen, N. D., Mølbak, K., Cox, Ingemar Johansson & Lioma, Christina, 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 1197-1200Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Ensemble learned vaccination uptake prediction using web search queries
Hansen, N. D., Lioma, Christina & Mølbak, K., 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. IEEE, p. 1953-1956 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Temporal context for authorship attribution: a study of Danish secondary schools
Hansen, N. D., Lioma, Christina, Larsen, B. & Alstrup, Stephen, 2014, Multidisciplinary information retrieval: 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings. Lamas, D. & Buitelaar, P. (eds.). Springer, p. 22-40 19 p. (Lecture notes in computer science, Vol. 8849).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faster k-SAT algorithms using biased-PPSZ
Hansen, T. D., Kaplan, H., Zamir, O. & Zwick, U., 2019, STOC: ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 578-589Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning Language-Independent Representations of Verbs and Adjectives from Multimodal Retrieval
Hansen, V. P. B. & Søgaard, Anders, 2019, Proceedings - 14th International Conference on Signal-Image Technology and Internet Based Systems, SITIS. IEEE, p. 427-434 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl
Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, p. 427-434Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Knot detection in X-ray images of wood planks using dictionary learning
Hansson, N. M., Enescu, A. & Brandt, S. S., 2015, Proceedings of the 14th IAPR International Conference on Machine Vision Applications (MVA). IEEE, p. 497-500 4 p. 7153239Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cross-Domain Label-Adaptive Stance Detection
Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 9011-9028Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational biology: a programming perspective
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Grassmann averages for scalable robust PCA
Hauberg, S., Feragen, A. & Black, M. J., 2014, Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition: CVPR 2014. IEEE, p. 3810-3817 8 p. (I E E E Conference on Computer Vision and Pattern Recognition. Proceedings, Vol. 2014).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A random Riemannian metric for probabilistic shortest-path tractography
Hauberg, S., Schober, M., Liptrot, M. G., Hennig, P. & Feragen, A., 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 597-604 8 p. (Lecture notes in computer science, Vol. 9349).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Implementing reversible object-oriented language features on reversible machines
Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Comparing modalities and feedback for peripheral interaction
Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The unadorned desk: exploiting the physical space around a display as an input canvas
Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Interactive Visual Facets to Support Fluid Exploratory Search
He, C., Micallef, L., Serim, B., Vuong, T., Ruotsalo, Tuukka & Jacucci, G., 2021, 14th International Symposium on Visual Information Communication and Interaction, VINCI 2021. Association for Computing Machinery, p. 1-10 3481565. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Extracting usability and user experience information from online user reviews
Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Lost in translation: Authorship attribution using frame semantics
Hedegaard, S. & Simonsen, Jakob Grue, 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation
Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 157-166 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Many-core architectures boost the pricing of basket options on adaptive sparse grids
Heinecke, A., Jepsen, J. & Bungartz, H. J., 2013, WHPCF '13: Proceedings of the 6th Workshop on High Performance Computational Finance. Association for Computing Machinery, 9 p. 1Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On GPU-based nearest neighbor queries for large-scale photometric catalogs in astronomy
Heinermann, J., Kramer, O., Polsterer, K. L. & Gieseke, Fabian Cristian, 2013, KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Timm, I. J. & Thimm, M. (eds.). Springer, p. 86-97 12 p. (Lecture notes in computer science, Vol. 8077).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
PEG parsing in less space using progressive tabling and dynamic analysis
Henglein, Fritz & Rasmussen, U. T., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 35-46 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Modal intersection types, two-level languages, and staged synthesis
Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
What is a Sort Function?
Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Generic multiset programming for language-integrated querying
Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Semantic Model of Binding Times for Safe Partial Evaluation
Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Complexity of Subtype Entailment for Simple Types
Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sorting and searching by distribution: from generic discrimination to generic tries
Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Effect type systems and region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443
Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Investigating pointing tasks across angularly coupled display areas
Hennecke, F., De Luca, A., Nguyen, N. D. H., Boring, S. & Butz, A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P. (ed.). Springer, Vol. Part I. p. 720-727 8 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Trustworthy pervasive healthcare services via multiparty session types
Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Virtual Trackballs Revisited
Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 ed. Department of Computer Science, University of Copenhagen, p. 114-126Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
APL on GPUs: a TAIL from the Past, scribbled in Futhark
Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Design and GPGPU performance of Futhark's redomap construct
Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling generalized histograms for GPU
Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bounds checking: an instance of hybrid analysis
Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Modular Acceleration: Tricky Cases of Functional High-performance Computing
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Size slicing: a hybrid approach to size inference in futhark
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing information visualizations for elite soccer children's different levels of comprehension
Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Køpsala: Transition-Based Graph Parsing via Efficient Training and Effective Encoding
Hershcovich, Daniel, De Lhoneux, M., Kulmizev, A., Pejhan, E. & Nivre, J., 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. Association for Computational Linguistics, p. 236-244Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Information Retrieval in a Work Setting: A Case Study of the Documentation Part of Chemists’ Work
Hertzum, M., 1993, Proceedings of the 16th IRIS Information Systems Research Seminar in Scandinavia. University of Copenhagen, p. 786-798 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Hardness of deriving invertible sequences from finite state machines
Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Springer, p. 147-160 14 p. (Lecture notes in computer science, Vol. 10139).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Managing complexity in process digitalisation with dynamic condition response graphs
Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tangible data, explorations in data physicalization
Hogan, T., Hornecker, E., Stusak, S., Jansen, Y., Alexander, J., Vande Moere, A., Hinrichs, U. & Nolan, K., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 753-756 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Deterministic Group Tractography with Local Uncertainty Quantification
Holm, Andreas Nugaard, Feragen, A., Dela Haije, T. & Darkner, Sune, 2019, Computational Diffusion: International MICCAI Workshop, Granada,. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). 226249 ed. Springer, p. 377-386 (Mathematics and Visualization).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Contracting a planar graph efficiently
Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Planar reachability in linear space and constant time
Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 370-389 20 p. (Symposium on Foundations of Computer Science. Annual Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faster fully-dynamic minimum spanning forest
Holm, J., Rotenberg, E. & Wulff-Nilsen, Christian, 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 742-753 12 p. (Lecture notes in computer science, Vol. 9294).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dynamic bridge-finding in Õ(log2 n) amortized time
Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 35-52 18 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Dynamic planar embeddings of dynamic graphs
Holm, J. & Rotenberg, E., 2015, 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015). Mayr, E. W. & Ollinger, N. (eds.). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 434-446 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Local Models for Data Driven Inverse Kinematics of Soft Robots
Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, Kenny, 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (ed.). The Eurographics Association, 1 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reconstructing teeth with bite information
Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Comparing usability problems and redesign proposal as input to practical systems development
Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
What to study in HCI?
Hornbæk, Kasper, Oulasvirta, A., Reeves, S. & Bødker, S., 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2385-2388 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Is once enough? on the extent and content of replications in human-computer interaction
Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3523-3532 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What Is Interaction?
Hornbæk, Kasper & Oulasvirta, A., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5040-5052Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Do Thematic Maps Improve Information Retrieval? Human-Computer Interaction-INTERACT '99
Hornbæk, Kasper & Frøkjær, Erik, 1999, 13 International Conference on Human-Computer Interaction. IOS Press, IFIP TC. 13, p. 179-186Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
What kind of usability-problem description are useful for developers
Hornbæk, Kasper & Frøkjær, Erik, 2006, Proceedings of the Annual Meeting of Human Factors and Ergonomics Society. p. 2523-2527Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Making use of business goals in usability evaluation: an experiment with novice evaluators
Hornbæk, Kasper & Frøkjær, Erik, 2008, CHI 2008: 26th Annual SIGCHI Conference on Human Factors in Computing Systems, April 5-10, 2008, Florence, Italy, Conference Proceedings. Burnett, M., Constabile, M. F., Catarci, T., Ruyter, B. D., Tan, D., Czerwinski, M. & Lund, A. (eds.). Association for Computing Machinery, Vol. 1. p. 903-912 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Detection of traffic signs in real-world images: the German traffic sign detection benchmark
Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Rove-Tree-11: The not-so-Wild Rover. A hierarchically structured image dataset for deep metric learning research
Hunt, Roberta Eleanor & Steenstrup Pedersen, Kim, 2023, Computer Vision – ACCV 2022: 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Proceedings, Part I. Springer, p. 2967-2983 (Lecture Notes in Computer Science, Vol. 13841).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Some structural and geometric properties of two-connected Steiner networks
Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, CATS 2007: Proceedings of the Thirteenth Australasian Symposium on Theory of Compting, Ballarat, Victoria, Australia, January 30 - February 02, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, Vol. 65. p. 85-90 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Evolutionary kernel learning
Igel, Christian, 2016, Encyclopedia of machine learning and data mining. Sammut, C. & Webb, G. I. (eds.). Springer, 5 p.Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review
- Published
No free lunch theorems: limitations and perspectives of metaheuristics
Igel, Christian, 2014, Theory and principled methods for the design of metaheuristics. Borenstein, Y. & Moraglio, A. (eds.). Springer, p. 1-23 23 p. (Natural Computing Series).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Growing the Blockchain information infrastructure
Jabbar, K. & Bjorn, Pernille, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 6487-6498 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fast output-sensitive matrix multiplication
Jacob, R. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 766-778 13 p. (Lecture notes in computer science, Vol. 9294).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The evaluator effect in usability studies: Problem detection and severity judgments
Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, Proceedings of the HFES 42nd Annual Meeting. Santa Monica, CA: Human Factors and Ergonomics Society, p. 1336-1340 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Evaluator Effect in Usability Tests
Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, p. 255-256 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Should I stay or should I go? Selecting between touch and mid-air gestures for large-display interaction
Jakobsen, M. R., Jansen, Y., Boring, S. & Hornbæk, Kasper, 2015, Human-computer interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 455-473 19 p. (Lecture notes in computer science, Vol. 9298).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Negotiating for space? collaborative work using a wall display with mouse and touch input
Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2050-2061 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Is moving improving? Some effects of locomotion in wall-display interaction
Jakobsen, M. R. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4169-4178 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Opportunities and challenges for data physicalization
Jansen, Y., Dragicevic, P., Isenberg, P., Alexander, J., Karnik, A., Kildal, J., Subramanian, S. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3227-3236 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
What did authors value in the CHI'16 reviews they received?
Jansen, Y., Hornbæk, Kasper & Dragicevic, P., 2016, Proceedings of the 2016 CHI Conference - extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 596-606 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Locally orderless registration for diffusion weighted images
Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th international conference, Munich, Germany, October 5-9, 2015, Proceedings, Part II. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer, p. 305-312 8 p. (Lecture notes in computer science, Vol. 9350).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semi-automatic tool to ease the creation and optimization of GPU programs
Jepsen, J., 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops: ICPPW 2014. IEEE, p. 196-205 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems
Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 p. IOP1040Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tracko: ad-hoc mobile 3D tracking using bluetooth low energy and inaudible signals for cross-device interaction
Jin, H., Holz, C. & Hornbæk, Kasper, 2015, Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 147-156 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Improving coordination of care centers for the elderly through IT support
Johansen, A. K., Lauridsen, F. V. B., Manea, V., Slavin-Borovskij, K. & Mønsted, T., 2015, CSCW'15 Companion Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, p. 211-214 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A swiss pocket knife for computability
Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Waving to a touch interface: descriptive field study of a multipurpose multimodal public display
Jurmu, M., Ogawa, M., Boring, S., Riekki, J. & Tokuda, H., 2013, PerDis '13: Proceedings of the 2nd ACM International Symposium on Pervasive Displays. Association for Computing Machinery, p. 7-12 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
MULTIFIN: A Dataset for Multilingual Financial NLP
Jørgensen, R. K., Brandt, O., Hartmann, M., Dai, X., Igel, Christian & Elliott, Desmond, 2023, EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2023. Association for Computational Linguistics (ACL), p. 864-879Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Assessing breast cancer masking risk with automated texture analysis in full field digital mammography
Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Petersen, K., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, Breast Imaging and Interventional. Radiological Society of North America, Inc, p. 218 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Assessing breast cancer masking risk in full field digital mammography with automated texture analysis
Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, 7th International Workshop on Breast Densitometry and Cancer Risk Assessment (Non-CME). University of California, p. 109 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Learning density independent texture features
Kallenberg, M. G. J., Nielsen, Mads, Holland, K., Karssemeijer, N., Igel, Christian & Lillholm, Martin, 2016, Breast Imaging: 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings. Tingberg, A., Lång, K. & Timberg, P. (eds.). Springer, p. 299-306 8 p. (Lecture notes in computer science, Vol. 9699).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Relevance of echo-structure and texture features: an application in ultrasound breast tumor classification
Karemore, G., Mullick, J. B., KV, D. R., Nielsen, Mads & Chidangil, D. S., 2010, Euroson 2010: 22nd Congress of EFSUMB : 10th International Congress on Interventional Ultrasound, 22-25 August 2010, Copenhagen: final programme & abstracts.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
- Published
Finding significantly connected voxels based on histograms of connection strengths
Kasenburg, N., Pedersen, M. V. & Darkner, Sune, 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 7 p. 978431. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Supervised hub-detection for brain connectivity
Kasenburg, N., Liptrot, M. G., Reislev, N. L., Garde, Ellen, Nielsen, Mads & Feragen, A., 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 9 p. 978409. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structural parcellation of the thalamus using shortest-path tractography
Kasenburg, N., Darkner, Sune, Hahn, U., Liptrot, M. G. & Feragen, A., 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 559-563 5 p. 7493330Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Making operations on standard-library containers strongly exception safe
Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Vol. 07. p. 158-169Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Performance tuning an algorithm for compressing relational tables: Lecture Notes in Computer Science, Vol. 2368
Katajainen, J. & Madsen, J. N., 2002, Proceedings of the 9th Scandinavian workshop on algorithm theory. Springer, p. 398-407Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stronger guarantees for standard-library containers
Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the power of structural violations in priority queues
Katajainen, J., Elmasry, A. & Jensen, C., 2007, CATS 2007: Proceedings of the 13th Australasian Symposium on Theory of Computing, Ballarat, Victoria, Australia, January 30 - February 2, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, p. 45-53 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Experiences with the design and implementation of space-efficient deques: Lecture Notes in Computer Science, Vol. 2141
Katajainen, J. & Mortensen, B. B., 2001, Proceedings of the 5th Workshop on Algorithm Engineering. Springer, p. 39-50Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Adaptable component frameworks: Using vector from the C++ standard library as an example
Katajainen, J. & Simonsen, B., 2009, Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 13-24 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A randomized in-place algorith for positioning the k\'th element in a multiset
Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, p. 408-417Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Worst-case-efficient dynamic arrays in practice
Katajainen, J., 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 167-183 17 p. (Lecture notes in computer science, Vol. 9685).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Project performance engineering: final report
Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, p. 11Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Behind the NAT??? A measurement based evaluation of cellular service quality
Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2015, Network and Service Management (CNSM), 2015 11th International Conference on. IEEE, p. 228-236 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
More compact oracles for approximate distances in undirected planar graphs
Kawarabayashi, K., Sommer, C. & Thorup, Mikkel, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 550-563 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deterministic global minimum cut of a simple graph in near-linear time
Kawarabayashi, K. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 665-674 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coloring 3-colorable graphs with o(n 1/5) colors
Kawarabayashi, K. & Thorup, Mikkel, 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Mayr, E. W. & Portier, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 458-469 12 p. (Leibniz International Proceedings in Informatics, Vol. 25).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Declarative cartography: in-database map generalization of geospatial datasets
Kefaloukos, P. K. B., Vaz Salles, M. A. & Zachariasen, M., 2014, Proceedings of the 2014 IEEE 30th International Conference on Data Engineering: ICDE 2014. IEEE, p. 1024-1035 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faster worst case deterministic dynamic connectivity
Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 53:1-53:15 15 p. 53. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Area and volume restoration in elastically deformable solids
Kelager, M., Fleron, A. & Erleben, Kenny, 1 Jan 2009, Progress In Computer Vision And Image Analysis. World Scientific Publishing Co., p. 381-400 20 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Computer-supported patient involvement in heart rehabilitation
Kensing, Finn, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work: Exploratory Papers. European Society for Socially Embedded Technologies, p. 177-186 10 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Heritage: having a say
Kensing, Finn & Greenbaum, J., 2013, Routledge international handbook of participatory design. Simonsen, J. & Robertson, T. (eds.). Routledge, p. 21-36 16 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Characterizing languages by normalization and termination in string rewriting
Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sustainability through computation
Khan, A. & Hornbæk, Kasper, 2013, Computation for humanity: information technology to advance society. Zander, J. & Mosterman, P. J. (eds.). CRC Press, p. 35-68 34 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Analysing the distribution of synaptic vesicles using a spatial point process model
Khanmohammadi, M., Waagepetersen, R., Nava, N., Nyengaard, J. & Sporring, Jon, 2014, Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, p. 73-78 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Abaris: Evaluating automated capture applied to structured autism interventions
Kientz, J. A., Boring, S., Abowd, G. D. & Hayes, G. R., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 323-339 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3660 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Applications of health information exchange information to public health practice
Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, AMIA Annual symposium proceedings. American Medical Informatics Association, p. 795-804 10 p. (AMIA Annual Symposium Proceedings, Vol. 2014).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Construction and impromptu repair of an MST in a distributed network with o(m) communication
King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 71-80 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Preface
Kjær Ersbøll, B. & Steenstrup Pedersen, Kim, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Berlin / Heidelberg: Springer, 1 p. (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
- Published
The Dream is Collapsing: The Experience of Exiting VR
Knibbe, J., Schjerlund, J., Petraeus, M. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 483Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a typification of software ecosystems
Knodel, J. & Manikas, K., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (eds.). Springer, p. 60-65 6 p. (Lecture Notes in Business Information Processing, Vol. 210).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards reference architectures as an enabler for software ecosystems
Knodel, J. & Manikas, K., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Association for Computing Machinery, 4 p. 26Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Quicksort, largest bucket, and min-wise hashing with limited independence
Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 828-839 12 p. (Lecture notes in computer science, Vol. 9294).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Linear hashing is awesome
Knudsen, M. B. T., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 345-352 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The entropy of backwards analysis
Knudsen, M. B. T. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 867-880 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Additive spanners: a simple construction
Knudsen, M. B. T., 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. 277-281 5 p. (Lecture notes in computer science, Vol. 8503).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
View relations: an exploratory study on between-view meta-visualizations
Knudsen, S. & Carpendale, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 10 p. 15Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using concrete and realistic data in evaluating initial visualization designs
Knudsen, S., Pedersen, J. G., Herdal, T. & Larsen, J. E., 2016, Proceedings of the Sixth Workshop on Beyond Time and Errors on Novel Evaluation Methods for Visualization. Association for Computing Machinery, p. 27-35 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mobile health care: Towards a commercialization of research results
Konstantas, D., Bults, R., Van Halteren, A., Wac, Katarzyna, Jones, V., Widya, I., Herzog, R. & Streimelweger, B., 1 Dec 2006, European Conference on eHealth 2006, Proceedings of the ECEH 2006. p. 155-166 12 p. (European Conference on eHealth 2006, Proceedings of the ECEH 2006).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards identifying programming expertise with the use of physiological measures
Kontogiorgos, D. & Manikas, K., 2015, Eye movements in programming: models to data: proceedings of the third international workshop. University of Eastern Finland, p. 10-11 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming
Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Complexity hierarchies and higher-order cons-free rewriting
Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A framework for data mining in wind power time series
Kramer, O., Gieseke, Fabian Cristian, Heinermann, J., Poloczek, J. & Treiber, N. A., 2014, Data analytics for renewable energy integration: Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Woon, W. L., Aung, Z. & Madnick, S. (eds.). Springer, p. 97-107 (Lecture notes in computer science, Vol. 8817).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A CMA-ES with multiplicative covariance matrix updates
Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 281-288 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
CMA-ES with optimal covariance update and storage complexity
Krause, Oswin, Rodríguez Arbonès, D. & Igel, Christian, 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., Sugiyama, M., Luxburg, U. V., Guyon, I. & Garnett, R. (eds.). Curran Associates, Inc., p. 370-378 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A more efficient rank-one covariance matrix update for evolution strategies
Krause, Oswin & Igel, Christian, 2015, Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery, p. 129-136 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Approximation properties of DBNs with binary hidden units and real-valued visible units
Krause, Oswin, Fischer, A., Glasmachers, T. & Igel, Christian, 2013, Proceedings of the 30th International Conference on Machine Learning. Dasgupta, S. & McAllester, D. (eds.). p. 419-426 8 p. (JMLR: Workshop and Conference Proceedings, Vol. 28).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Population Monte Carlo meets contrastive divergence learning
Krause, Oswin, Fischer, A. & Igel, Christian, 2015, Machine learning reports: Workshop New Challenges in Neural Computation 2015. Hammer, B., Martinetz, M. & Villmann, T. (eds.). p. 93-94 2 p.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research › peer-review
- Published
Unbounded population MO-CMA-ES for the bi-objective BBOB test suite
Krause, Oswin, Glasmachers, T., Hansen, N. & Igel, Christian, 2016, Proceedings of the 2016 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 1177-1184 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Qualitative and quantitative assessment of step size adaptation rules
Krause, Oswin, Glasmachers, T. & Igel, Christian, 2017, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 139-148 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Robust Active Label Correction
Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Vol. 84. p. 308-316 9 p. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Vol. 84).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Support vector machines for active learning
Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, Second European Conference on Data Analysis: program & abstracts . p. 38 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
- Published
Fusion of parallel array operations
Kristensen, M. R. B., Lund, S. A. F., Blum, T. & Avery, James Emil, 2016, PACT' 16: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation. Association for Computing Machinery, p. 71-85 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Classification of Alzheimer and MCI phenotypes on MRI data using SVM
Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, p. 263-275 (Advances in Intelligent Systems and Computing, Vol. 678).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The design space of shape-changing interfaces: a repertory grid study
Kwak, M., Hornbæk, Kasper, Markopoulos, P. & Alonso, M. B., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 181-190 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational anatomy in Theano
Kühnel, L. & Sommer, Stefan Horst, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 164-176 13 p. (Lecture notes in computer science, Vol. 10551).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stochastic development regression using method of moments
Kühnel, L. & Sommer, Stefan Horst, 2017, Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer, p. 3-11 9 p. (Lecture notes in computer science, Vol. 10589).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Stochastic development regression on non-linear manifolds
Kühnel, L. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 53-64 12 p. (Lecture notes in computer science, Vol. 10265).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Correction of dental artifacts within the anatomical surface in PET/MRI using active shape models and k-nearest-neighbors
Ladefoged, C. N., Andersen, F. L., Keller, S. H., Beyer, T., Højgaard, Liselotte & Lauze, Francois Bernard, 2014, Proceedings of SPIE Medical Imaging 2014: Image processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 7 p. 90341M. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9034). (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Inferring the socioeconomic status of social media users based on behaviour and language
Lampos, V., Aletras, N., Geyti, J. K., Zou, B. & Cox, Ingemar Johansson, 2016, Advances in Information Retrieval: 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20–23, 2016. Proceedings. Ferro, N., Crestani, F., Moens, M-F., Mothe, J., Silvestri, F., Di Nunzio, G. M., Hauff, C. & Silvello, G. (eds.). Springer, p. 689-695 7 p. (Lecture notes in computer science, Vol. 9626).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Gazeprojector: accurate gaze estimation and seamless gaze interaction across multiple displays
Lander, C., Gehring, S., Krüger, A., Boring, S. & Bulling, A., 2015, UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology. Association for Computing Machinery, p. 395-404 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Influence of Hand Size on Touch Accuracy
Larsen, J. N., Jacobsen, T. H., Boring, S., Bergström, Joanna & Pohl, H., 2019, Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 11 p. 4Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the need for and provision of an 'IDEAL' scholarly information retrieval test collection
Larsen, B. & Lioma, Christina, 2016, Proceedings of the Third Workshop on Bibliometric-enhanced Information Retrieval (BIR 2016), Padova, Italy, March 20, 2016. Mayr, P., Frommholz, I. & Cabanac, G. (eds.). CEUR-WS.org, p. 73-81 9 p. (CEUR Workshop Proceedings, Vol. 1567).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Heavy hitters via cluster-preserving clustering
Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, Mikkel, 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science. IEEE, p. 61-70 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A MuDDy Experience-ML Bindings to a BDD Library
Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Growth Pattern of Atherosclerotic Calcifications
Larsen, L. L., Ganz, Melanie, Dam, E., Dandu, N. & Nielsen, Mads, 2008, CVII '08: Second International Workshop on Computer vision for intracardiac and intravascular imaging, held in New York, USA, September 10, 2008 in conjunction with the 11th MICCAI conference. Sabancí Üniversítesí. 34956 Tuzla, Istanbul, p. 63-70Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Preface
Larsen, R., Nielsen, Mads & Sporring, Jon, 2006, 9th International Conference of Medical Image Computing and Computer-Assisted Intervention (MICCAI). p. V-VIResearch output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
- Published
Strategies for regular segmented reductions on GPU
Larsen, R. W. & Henriksen, Troels, 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simultaneous reconstruction and segmentation of CT scans with shadowed data
Lauze, Francois Bernard, Quéau, Y. & Plenge, E., Jun 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 308-319 12 p. (Lecture notes in computer science, Vol. 10302).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Preface
Lauze, Francois Bernard, Dong, Y. & Dahl, A. B., 2017, 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, Kolding, 4 June 2017 - 8 June 2017. Springer, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10302 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
OneSpace: shared depth-corrected video interaction
Ledo, D., Aseniero, B. A., Greenberg, S., Boring, S. & Tang, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 997-1002 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proxemic-aware controls: designing remote controls for ubiquitous computing ecologies
Ledo, D., Greenberg, S., Marquardt, N. & Boring, S., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 187-198 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Field report for Platform mBox: Designing an Open MMLA Platform
Li, Zaibei, Jensen, Martin Thoft, Nolte, A. & Spikol, Daniel, 2024, LAK24 Conference Proceedings: Learning Analytics in the Age of Artificial Intelligence. Association for Computing Machinery, p. 785-791 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Augmented reality views for occluded interaction
Lilija, K., Pohl, H., Boring, S. & Hornbæk, Kasper, 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 446Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Perceptions of presence: discursive and embodied experiences in global collaboration
Lindekilde, R. & Bjorn, Pernille, 2015, ECIS 2015 Proceedings. 17 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Exploiting the bipartite structure of entity grids for document coherence and retrieval
Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, p. 11-20 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Non-compositional term dependence for information retrieval
Lioma, Christina, Simonsen, Jakob Grue, Larsen, B. & Hansen, N. D., 2015, SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 595-604 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Evaluation measures for relevance and credibility in ranked lists
Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, p. 91-98 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A study of factuality, objectivity and relevance: three desiderata in large-scale information retrieval?
Lioma, Christina, Larsen, B., Lu, W. & Huang, Y., 2016, Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. Association for Computing Machinery, p. 107-117 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier
Lioma, Christina, Macdonald, C., Plachouras, V., Peng, J., He, B. & Ounis, I., 1 Jan 2006, University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier. (N I S T Special Publication).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Rotationally invariant clustering of diffusion MRI data using spherical harmonics
Liptrot, M. G. & Lauze, Francois Bernard, 2016, Medical Imaging 2016: Image Processing. SPIE - International Society for Optical Engineering, Vol. 1. 7 p. 97843C. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A real-time passive vision system for robotic arc welding
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE). IEEE, p. 389-394 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). p. 5948-5955Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards stabilizing parametric active contours
Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Kristensen, J., 2014, 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER). IEEE, p. 198-203 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Voxel Classification Based Vessel-guided Airway Segmentation
Lo, P. C. P., Sporring, Jon, Ashraf, H., Pedersen, J. H. J. & de Bruijne, Marleen, 2008, Proceedings of the Danish Conference on Pattern Recognition and Image Analysis: Organised by Danish Society for Automatic Pattern Recognition (Dansk Selskab for automatisk genkendelse af mønstre), Departmen of Computer Science, University of Copenhagen, Thursday 21 August 2008. Olsen, S. I. (ed.). Museum Tusculanum, p. 8-9 (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 08-10).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Multiscale Vessel-guided Airway Tree Segmentation
Lo, P. C. P., Sporring, Jon & de Bruijne, Marleen, 2009, Proceedings of Second International Workshop on Pulmonary Image Analysis. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., McClelland, J. R., Mori, K., Reeves, A. & Reinhardt, J. M. (eds.). CreateSpace, p. 323-332 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Vessel-guided airway segmentation based on voxel classification
Lo, P. C. P., Sporring, Jon, Ashraf, H., Holst Pedersen, J. J. & de Bruijne, Marleen, 2008, The first International Workshop on Pulmonary Image Analysis: New York, September 6, 2008. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., Mori, K. & Reinhardt, J. (eds.). Lulu.com, p. 113-122Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Diffeomorphic spectral matching of cortical surfaces
Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 376-389 14 p. (Lecture notes in computer science, Vol. 7917).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Supervised scale-regularized linear convolutionary filters
Loog, M. & Lauze, Francois Bernard, Jul 2017, Proceedings of BMVC 2017. British Machine Vision Conference, 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Steiner tree heuristic in the Euclidean d-space using bottleneck distances
Lorenzen, S. S. & Winter, Pawel, 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 217-230 14 p. (Lecture notes in computer science, Vol. 9685).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On predicting student performance using low-rank matrix factorization techniques
Lorenzen, S. S., Pham, D. N. & Alstrup, Stephen, Oct 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 326-334 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Carotid artery lumen segmentation in 3D free-hand ultrasound images using surface graph cuts
Lorza, A. M. A., Carvalho, D. D. B., Petersen, Jens, Dijk, A. C. V., Lugt, A. V. D., Niessen, W. J., Klein, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 542-549 8 p. (Lecture notes in computer science, Vol. 8150).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Hackerspace manifested as a DIY-IoT Entity: shaping and protecting the identity of the community
Lundbjerg Hansen, E., Pflug von der Osten, J., Kanto , R. & Bjorn, Pernille, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work - exploratory papers. European Society for Socially Embedded Technologies, p. 205-221 17 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Detecting users handedness for ergonomic adaptation of mobile user interfaces
Löchtefeld, M., Schardt, P., Krüger, A. & Boring, S., 2015, MUM '15 Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery, p. 245-249 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
University of Glasgow at WebCLEF 2005: Experiments in per-field normalisation and language specific stemming
Macdonald, C., Plachouras, V., He, B., Lioma, Christina & Ounis, I., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4022 LNCS. p. 898-907 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Small steps in physics simulation
Macklin, M., Storey, K., Lu, M., Terdiman, P., Chentanez, N., Jeschke, S. & Müller, M., 2019, SCA '19: Proceedings of the 18th annual ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM Association for Computing Machinery, p. 1-7Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a streaming model for nested data parallelism
Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Streaming nested data parallelism on multicores
Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Functional array streams
Madsen, F. M., Clifton-Everest, R., Chakravarty, M. M. T. & Keller, G., 2015, Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. Rompf, T. & Mainland, G. (eds.). Association for Computing Machinery, p. 23-34 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
SkyView: a user evaluation of the skyline operator
Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deep-learnt classification of light curves
Mahabal, A., Gieseke, F., Pai, A. S. U., Djorgovski, S. G., Drake, A. J., Graham, M. J. & CSS/CRTS/PTF Teams, C. T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational complexity of linear large margin classification with ramp loss
Maibing, S. F. & Igel, Christian, 2015, Proceedings of the 18th International Conference on Artificial Intelligence and Statistics (AISTATS) 2015. Lebanon, G. & Vishwanathan, S. V. N. (eds.). p. 259-267 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 38).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning from uncertain curves: The 2-Wasserstein metric for Gaussian processes
Mallasto, A. & Feragen, A., 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
- Published
Learning models of activities involving interacting objects
Manfredotti, C., Steenstrup Pedersen, Kim, Hamilton, H. J. & Zilles, S., 2013, Advances in Intelligent Data Analysis XII: 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings. Tucker, A., Höppner, F., Siebes, A. & Swift, S. (eds.). Springer, p. 285-297 13 p. (Lecture notes in computer science, Vol. 8207).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards standard-based healthcare ecosystems of systems
Manikas, K., 2015, Proceedings of the 1 st Scandinavian Workshop on the Engineering of Systems - of - Systems (SWESoS 2015). Axelsson, J. (ed.). Swedish ICT, p. 31-33 3 p. (SICS Technical Report, Vol. T2015:04).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing, developing, and implementing software ecosystems: towards a step-wise guide
Manikas, K., Hämäläinen, M. & Tyrväinen, P., 2017, Proceedings of the 8th Workshop on Software Ecosystems. Jansen, S., Alves, C. & Bosch, J. (eds.). CEUR-WS.org, p. 70-79 10 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Characterizing software activity: the influence of software to ecosystem health
Manikas, K. & Kontogiorgos, D., 2015, Proceedings of the 2015 European Conference on Software Architecture Workshops: ECSAW '15. Association for Computing Machinery, 6 p. 46Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Supporting the evolution of research in software ecosystems: reviewing the empirical literature.
Manikas, K., 2016, Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings. Maglyas, A. & Lamprecht, A-L. (eds.). Springer, p. 63-78 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Governance mechanisms for healthcare apps
Manikas, K., Hansen, K. M. & Kyng, M., 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops. Association for Computing Machinery, p. 10:1-10:6 6 p. 10Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reviewing the health of software ecosystems – a conceptual framework proposal.
Manikas, K. & Hansen, K. M., 2013, Proceedings of 5th International Workshop on Software Ecosystems (IWSECO 2013). Alves, C. F., Hanssen, G. K., Bosch, J. & Jansen, S. (eds.). p. 33-44 12 p. (CEUR Workshop Proceedings, Vol. 987).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Characterizing the Danish telemedicine ecosystem: making sense of actor relationships
Manikas, K. & Hansen, K. M., 2013, Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems: MEDES '13. Association for Computing Machinery, p. 211-218 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Delivering Rules-Based Workflows for Science
Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6948
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6261
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review