Datalogisk Institut

Læs mere
1 - 100 ud af 1.703Pr. side: 100
Sortering: 1. forfatter
  1. Udgivet

    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. (red.). Society for Industrial and Applied Mathematics, s. 2498-2512

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  2. Udgivet

    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. (red.). Association for Computing Machinery, s. 1265-1278 (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-17 6. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 261).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Udgivet

    Tiling with Squares and Packing Dominos in Polynomial Time

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  5. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 224).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 189).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

    No Repetition: Fast and Reliable Sampling with Highly Concentrated Hashing

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

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  8. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 s. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 107).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Udgivet

    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, s. 477-486 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  10. Udgivet

    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, s. 265-274

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  11. Udgivet

    Numerical methods for linear complementarity problems in physics-based animation

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

    Publikation: Bog/antologi/afhandling/rapport › Kompendium/lecture notes › Undervisning

  12. Udgivet

    Euclidean TSP between two nested convex obstacles

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  13. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 s. 6. (Leibniz International Proceedings in Informatics, Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  14. Udgivet

    The Art Gallery Problem is ∃ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 28 feb. 2022, I: Journal of the ACM. 69, 1, s. 1-70 4.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  15. Udgivet

    Minimum perimeter-sum partitions in the plane

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  16. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 5:1-5:14 14 s. 5. (Leibniz International Proceedings in Informatics, Bind 47).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  17. Udgivet

    Near-optimal induced universal graphs for cycles and paths

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  18. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-15 3. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  19. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-14 128. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 80).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  20. Udgivet

    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, s. 564-573

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  21. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 4. (Leibniz International Proceedings in Informatics, Bind 57).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  22. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 258).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  23. Udgivet

    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, s. 65-73

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  24. Udgivet

    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 s. 4. (Leibniz International Proceedings in Informatics, Bind 51).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  25. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 4. (Leibniz International Proceedings in Informatics, Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  26. Udgivet

    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, Bind 2B. 10 s. DETC2015-46255

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  27. Udgivet

    An optimal algorithm for the separating common tangents of two polygons

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

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  28. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 s. 5. (Leibniz International Proceedings in Informatics, Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  29. Udgivet

    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. s. 157-162 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  30. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  31. Udgivet

    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. (red.). SPIE - International Society for Optical Engineering, 7 s. 866905. (Progress in Biomedical Optics and Imaging; Nr. 36, Bind 14).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  32. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  33. Udgivet

    Approximation schemes for independent set and sparse subsets of polygons

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  34. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  35. Udgivet

    Lower bounds for locally highly connected graphs

    Adamaszek, A. M., Adamaszek, M. J., Mnich, M. & Schmidt, J. M., sep. 2016, I: Graphs and Combinatorics. 32, 5, s. 1641-1650 10 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  36. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  37. Udgivet

    Reordering buffer management with advice

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  38. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  39. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 s. 6. (Leibniz International Proceedings in Informatics, Bind 47).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  40. Udgivet

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., sep. 2017, I: ACM Transactions on Computation Theory. 9, 3, 7 s., 14.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  41. Udgivet

    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. (red.). Springer, s. 337-349 13 s. (Lecture notes in computer science, Bind 9682).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  42. Udgivet

    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. (red.). Springer, s. 375-386 12 s. (Lecture notes in computer science, Bind 8573).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  43. Udgivet

    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, Bind 2. s. 248-253 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  44. Udgivet

    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. (red.). Association for Computing Machinery, s. 141-160 20 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  45. Udgivet

    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, s. 2417-2420 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  46. Udgivet

    Fast detection of slender bodies in high density microscopy data

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  47. Udgivet

    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. (red.). Academic Conferences and Publishing International, s. 18-24 7 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  48. Udgivet

    Danmark: et digitalt uland?

    Alstrup, Stephen, 21 okt. 2014

    Publikation: Andet › Udgivelser på nettet - Net-publikation › Formidling

  49. Udgivet

    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. (red.). Academic Conferences and Publishing International, s. 18-24 7 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  50. Udgivet

    Optimal on-line decremental connectivity in trees

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  51. Udgivet

    Maintaining center and median in dynamic trees

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  52. Udgivet

    Constructing light spanners deterministically in near-linear time

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  53. Udgivet

    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, Bind 1272. s. 45-54 11 s. (Lecture notes in computer science).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  54. Udgivet

    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. (red.). Society for Industrial and Applied Mathematics, s. 972-982 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  55. Udgivet

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

    Alstrup, Stephen, 2014. 1 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  56. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 5. (Leibniz International Proceedings in Informatics, Bind 57).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  57. Udgivet

    Union-find with constant time deletions

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  58. Udgivet

    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, s. 625-634 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  59. Udgivet

    800.000 gode grunde til datalogi i skolen

    Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 apr. 2016, I: Berlingske Tidende. s. 31 1 s.

    Publikation: Bidrag til tidsskrift › Bidrag til avis - Kommentar/debat › Formidling

  60. Udgivet

    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 s. 132. (Leibniz International Proceedings in Informatics, Bind 55).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  61. Udgivet

    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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 s. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 144).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  62. Udgivet

    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. s. 342-349 8 s. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  63. Udgivet

    Word encoding tree connectivity works

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  64. Udgivet

    Minimizing diameters of dynamic trees

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  65. Udgivet

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., sep. 2017, I: Journal of the ACM. 64, 4, 22 s., 27.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  66. Udgivet

    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, s. 1311-1326 16 s. (Symposium on Foundations of Computer Science. Annual Proceedings).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  67. Udgivet

    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, s. 338-350 13 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  68. Udgivet

    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, s. 295–305

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  69. Udgivet

    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. (red.). Springer, s. 57-79 23 s. (Association for Women in Mathematics Series, Bind 1).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  70. Udgivet

    Compositional specification of commercial contracts

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  71. Udgivet

    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. (red.). Springer, s. 73-95 23 s. (Lecture notes in computer science, Bind 8802).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  72. Udgivet

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

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, dec. 2017, I: Computers & Graphics. 69, s. 36-48 13 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  73. Udgivet

    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. (red.). The Eurographics Association, s. 39-48 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  74. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  75. Udgivet

    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, Bind Part 1. s. 327-341 15 s. (Lecture notes in computer science, Bind 10288).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  76. Udgivet

    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. (red.). Association for Computing Machinery, s. 444-447 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  77. Udgivet

    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. (red.). Association for Computing Machinery, s. 221-230 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  78. Udgivet

    Designantropologiske undersøgelser af Patient 2.0

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  79. Udgivet

    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. (red.). IOS Press, s. 9-14 6 s. (Studies in Health Technology and Informatics, Bind 218).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  80. Udgivet

    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, s. 2587-2596 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  81. Udgivet

    Alignment of concerns: a design rationale for patient participation in e-health

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2013. 4 s.

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  82. Udgivet

    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. (red.). IOS Press, s. 95-112 18 s. (Studies in Health Technology and Informatics, Bind 233).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  83. Udgivet

    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. (red.). Vaclav Skala - Union Agency, s. 265-270 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  84. Udgivet

    A financial benchmark for GPGPU compilation

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

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  85. Udgivet

    FinPar: a parallel financial benchmark

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  86. Udgivet

    Foreword to the Special Section on VRIPHYS 2018

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  87. Udgivet

    Constraint reordering for iterative multi-body simulation with contact

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

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  88. Udgivet

    Alzheimer's disease diagnostic performance of a multi-atlas hippocampal segmentation method using the harmonized hippocampal protocol

    Anker, C., Sørensen, L., Pai, A. S. U., Lyksborg, M., Lillholm, Martin, Conradsen, K., Larsen, R. & Nielsen, Mads, 2014. 1 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  89. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › fagfællebedømt

  90. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › fagfællebedømt

  91. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  92. Udgivet

    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. (red.). 1 udg. Springer Science and Business Media Deutschland GmbH, s. 166-176 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13386 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  93. Udgivet

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

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

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  94. Udgivet

    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, s. 512-524 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11101 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  95. Udgivet

    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. (red.). Springer, s. 491-501 11 s. (Lecture notes in computer science, Bind 8283).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  96. Udgivet

    RAM-efficient external memory sorting

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  97. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  98. Udgivet

    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, s. 571-582 12 s. (Lecture notes in computer science, Bind 10265).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  99. Udgivet

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

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

    Publikation: Working paper › Preprint › Forskning

  100. Udgivet

    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), s. 114-130

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...18 Næste