Department of Computer Science

Read more
601 - 700 out of 1,675Page size: 100
Sort by: Title
  1. 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-589

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

  2. Published

    Faster separators for shallow minor-free graphs via dynamic approximate distance oracles

    Wulff-Nilsen, Christian, 2014, Automata, languages, and programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E. (eds.). Springer, p. 1063-1074 12 p. (Lecture notes in computer science, Vol. 8572).

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

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

  4. Published

    Fat heaps: source code

    Elmasry, A. A. A. E. & Katajainen, J., 2011, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report, Vol. 2010-2).

    Research output: Book/Report › Report › Research

  5. Published

    Fat heaps without regular counters

    Elmasry, A. & Katajainen, J., 2013, In: Discrete Mathematics, Algorithms and Applications. 5, 21 p., 1360006.

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

  6. Published

    Feature extraction and learning using context cue and Rényi entropy based mutual information

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2015, Pattern recognition: applications and methods: 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers. Fred, A., De Marsico, M. & Figueiredo, M. (eds.). Springer, p. 69-88 20 p. (Lecture notes in computer science, Vol. 9493).

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

  7. Published

    Feature representation of RGB-D images using joint spatial-depth feature pooling

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2016, In: Pattern Recognition Letters. 80, 1, p. 239-248 10 p.

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

  8. Published

    Feature selection for portfolio optimization

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

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

  9. Published

    Feature-space clustering for fMRI meta-analysis: Human Brain Mapping

    Goutte, C., Hansen, L. K., Liptrot, M. G. & Rostrup, Egill, 2001, In: Human Brain Mapping. 13, 3, p. 165-183 19 p.

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

  10. Published

    Feature-space transformation improves supervised segmentation across scanners

    van Opbroek, A., Achterberg, H. C. & de Bruijne, Marleen, 2015, Machine learning meets medical imaging: First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers. Springer, p. 85-93 9 p. (Lecture notes in computer science, Vol. 9487).

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

  11. Published

    Femoral cartilage segmentation in knee MRI scans using two stage voxel classification

    Prasoon, A., Igel, Christian, Loog, M., Lauze, Francois Bernard, Dam, E. & Nielsen, Mads, 2013, 35th Annual International Conference of the IEEE; Engineering in Medicine and Biology Society (EMBC), 2013. IEEE, p. 5469-5472 4 p.

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

  12. Published

    Few-Shot Cross-Lingual Stance Detection with Sentiment-Based Pre-Training

    Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10729-10737.

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

  13. Published

    Field of Particle Filters Image Inpainting

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

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

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

  15. Published

    FinPar: a parallel financial benchmark

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

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

  16. Published

    FindZebra: a search engine for rare diseases

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, Ingemar Johansson, Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: International Journal of Medical Informatics. 82, 6, p. 528-538 11 p.

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

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

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

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

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

  21. Published

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

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

    Research output: Contribution to journal › Journal article › Research

  22. Published

    Flexibility of Steiner Trees in Uniform Orientation Metrics

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

    Research output: Book/Report › Report › Research

  23. Published

    Flexibility of Steiner trees in uniform orientation metrics

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

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

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

  25. Published

    Flexible displays, rigid designs?

    Hornbæk, Kasper, 2015, In: Computer. 48, 3, p. 92-96 5 p.

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

  26. Published

    Fluoroscopic assessment of femoral kinematics using a statistical shape model

    Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , p. 147148 2 p. 5B.2

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

  27. Published

    Foreword to the Special Section on VRIPHYS 2018

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

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

  28. 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-157

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

  29. Published

    Forms are declarative processes!

    Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 p.

    Research output: Contribution to conference › Paper › Research

  30. Published

    Fostering cooperative activism through critical design

    Menendez Blanco, M., Bjorn, Pernille & De Angeli, A., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 618-629 12 p.

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

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

  32. Published

    From Quantified Self to Quality of Life

    Wac, Katarzyna, 2018, Digital Health: Scaling Healthcare to the World. Rivas, H. & Wac, K. (eds.). Springer, p. 83-108 (Health Informatics Series).

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

  33. Published

    From Thesaurus to Framenet

    Nimb, S., Braasch, Anna, Olsen, Sussi, Pedersen, Bolette Sandford & Søgaard, Anders, 2017, Electronic Lexicography in the 21st Century : Proceedings of eLex 2017 conference. Kosem, I., Tiberius, C., Jakubíček, M., Kallas, J., Krek, S. & Baisa, V. (eds.). Lexical Computing CZ, p. 1-22 23 p.

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

  34. Published

    From focus to context and back: combining mobile projectors and stationary displays

    Weigel, M., Boring, S., Marquardt, N., Steimle, J., Greenberg, S. & Tang, A., 2013. 4 p.

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

  35. Published

    From image acquisition with unmanned aerial vehicles (UAV) to patch spraying in farmer's fields

    Rasmussen, Jesper, Nielsen, J., Olsen, Søren Ingvor, Steenstrup Pedersen, Kim, Jensen, J. E. & Horfarter, R., 2018, 18th European Weed Research Society Symposium: book of abstracts. European Weed Research Society, p. 75 1 p.

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

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

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

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

  39. Published

    Fully-dynamic minimum spanning forest with improved worst-case update time

    Wulff-Nilsen, Christian, 2017, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 1130-1143 14 p.

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

  40. Published

    FunSETL–Functional Reporting for ERP Systems

    Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

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

  41. Published

    Function Point Analysis FPA on A Team Planning Website Based on PHP and MYSQL

    Lassen, Anders, 18 May 2018, In: Journal of Information Technology and Software Engineering. 8, 3, 5 p., 237.

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

  42. Published

    Functional Object Analysis: Toward Statistical Analysis of Functional Objects

    Raket, L. L., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 107 p.

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

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

  44. Published

    Functional benefits and patient satisfaction with upper blepharoplasty - evaluated by objective and subjective outcome measures

    Jacobsen, A. G., Brost, B., Vorum, H. & Hargitai, J., Dec 2017, In: Acta Ophthalmologica. 95, 8, p. 820-825 6 p.

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

  45. Published

    Fundamentals of reversible flowchart languages

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, In: Theoretical Computer Science. 611, p. 87-115 29 p.

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

  46. Published

    Funding successful research

    Thorup, Mikkel, 2013, In: Communications of the A C M. 56, 3, p. 38-39 2 p.

    Research output: Contribution to journal › Comment/debate › Research

  47. Published

    Fusion de données RVB-D par stéréophotométrie colorée

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

    Research output: Contribution to conference › Paper › Research

  48. Published

    Fusion de données RVB-D par stéréophotométrie colorée

    Quéau, Y., Durix, B., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2017, In: hal.archives-ouvertes.fr. p. 1-25 hal-01409663.

    Research output: Contribution to journal › Journal article › Research

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

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

  51. Published

    GECCO '13: Proceedings of the 2013 Genetic and Evolutionary Computation Conference

    Blum, C. (ed.), Alba, E. (ed.), Auger, A. (ed.), Bacardit, J. (ed.), Bongard, J. (ed.), Branke, J. (ed.), Bredeche, N. (ed.), Brockhoff, D. (ed.), Chicano, F. (ed.), Dorin, A. (ed.), Doursat, R. (ed.), Ekart, A. (ed.), Friedrich, T. (ed.), Giacobini, M. (ed.), Harman, M. (ed.), Iba, H. (ed.), Igel, C. (ed.), Jansen, T. (ed.), Kovacs, T. (ed.), Kowaliw, T. (ed.) & 20 others, Lopez-Ibanez, M. (ed.), Lozano, J. A. (ed.), Luque, G. (ed.), McCall, J. (ed.), Moraglio, A. (ed.), Motsinger-Reif, A. (ed.), Neumann, F. (ed.), Ochoa, G. (ed.), Olague, G. (ed.), Ong, Y. (ed.), Palmer, M. E. (ed.), Pappa, G. L. (ed.), Parsopoulos, K. E. (ed.), Schmickl, T. (ed.), Smith, S. L. (ed.), Solnon, C. (ed.), Stuetzle, T. (ed.), Talbi, E. (ed.), Tauritz, D. (ed.) & Vanneschi, L. (ed.), 2013, Association for Computing Machinery.

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

  52. Published

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

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

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

  53. Published

    Garbage collection for reversible functional languages

    Mogensen, Torben Ægidius, 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 79-94 16 p. (Lecture notes in computer science, Vol. 9138).

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

  54. Published

    Garbage-free reversible constant multipliers for arbitrary integers

    Mogensen, Torben Ægidius, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 70-83 14 p. (Lecture notes in computer science, Vol. 7948).

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

  55. Published

    Garbage-free reversible multipliers for arbitrary constants

    Mogensen, Torben Ægidius, 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 18 p., 12.

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

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

  57. Published

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

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

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

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

  59. Published

    Generating and checking control logic in the HDL-based design of reversible circuits

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, p. 7-12 6 p. 7977045

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

  60. Published

    Generating graphs packed with paths: Estimation of linear approximations and differentials

    Hall-Andersen, M. & Vejre, P. S., 2018, In: IACR Transactions on Symmetric Cryptology. 2018, 3, p. 265-289 25 p.

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

  61. Published

    Generating haptic textures with a vibrotactile actuator

    Strohmeier, P. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4994-5005 12 p.

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

  62. 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-102

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

  63. Published

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.

    Research output: Book/Report › Report › Research

  64. Published

    Generic algorithm for 0-1 sorting

    Franceschini, G. & Katajainen, J., 2006.

    Research output: Working paper › Research

  65. Published

    Generic algorithm for 0/1-sorting

    Franceschini, G. & Katajainen, J., 2006, 16 p.

    Research output: Book/Report › Report › Research

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

  67. Published

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

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

  68. Published

    Geodesic atlas-based labeling of anatomical trees: application and evaluation on airways extracted from CT

    Feragen, A., Petersen, Jens, Owen, M., Lo, P., Thomsen, L. H., Wille, M. M. W., Dirksen, A. & de Bruijne, Marleen, 2015, In: IEEE Transactions on Medical Imaging. 34, 6, p. 1212-1226 15 p.

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

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

  70. Published

    Geometric Steiner Tree Problems

    Winter, Pawel & Zachariasen, M., 2002, Proc. of IV ALIO/EURO Workshop on Applied Combinatorial Optimization. Pucon, Chile, p. 137-140

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

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

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

  73. Published

    Geometry and statistics: manifolds and stratified spaces

    Feragen, A., Nielsen, Mads, Jensen, E. B. V., Plessis, A. D. & Lauze, Francois Bernard, 2014, In: Journal of Mathematical Imaging and Vision. 50, 1, p. 1-4 4 p.

    Research output: Contribution to journal › Editorial › Research

  74. Published

    Global software development: exploring multiplicity and asymmetric dynamics in collaborative work

    Matthiesen, S., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 163-166 4 p.

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

  75. Published

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

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

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

  77. 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. 10

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

  78. Published

    Governance structures impact on eHealth

    Kierkegaard, P., 2015, In: Health Policy and Technology. 4, 1, p. 39-46 8 p.

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

  79. Published

    Grab and Touch: Empirical Research on Tangible Computing and Touch Interaction

    Pedersen, E. W., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 70 p.

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

  80. Published

    Graph Processing on GPUs: A Survey

    Shi, X., Zheng, Z., Zhou, Yongluan, Jin, H., He, L., Liu, B. & Hua, Q., Jan 2018, In: A C M Computing Surveys. 50, 6, 35 p., 81.

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

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

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

  83. Published

    Graph-based fibre tractography computing shortest paths between regions of interest

    Kasenburg, N., Liptrot, M. G., Borgwardt, K., Ørting, S. N., Nielsen, Mads & Feragen, A., 2014. 1 p.

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

  84. Published

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

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

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

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

  86. Published

    Greedy vs. L1 convex optimization in sparse coding: comparative study in abnormal event detection

    Ren, H., Pan, H., Olsen, Søren Ingvor & Moeslund, T. B., 2015, In: Journal of Machine Learning Research. 37, 6 p.

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

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

  88. 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-70

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

  89. Published

    Growth analysis of individual abdominal atherosclerotic calcified deposits

    Larsen, L. L., Ganz, Melanie & Nielsen, Mads, 2009. 1 p.

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

  90. Published

    Growth and Motion in 3D Medical Images

    Sporring, Jon, Niessen, W. & Weickert, J., 2002, København: 3DLab., School of Dentistry, University of Copenhagen.

    Research output: Book/Report › Anthology › Research

  91. Published

    Growth and Motion in 3D Medical Images

    Sporring, Jon (ed.), Niessen, W. (ed.) & Weickert, J. (ed.), 2003, In: IEEE Transactions on Medical Imaging. 22, 6, p. 697-698

    Research output: Contribution to journal › Editorial › Research

  92. Published

    Guessing tangents in normal flows

    Markussen, Bo, Sporring, Jon & Erleben, Kenny, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 195-205 11 p.

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

  93. Published

    Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

    Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

  94. Published

    HCI research as problem-solving

    Oulasvirta, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4956-4967 12 p.

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

  95. Published

    HUMIM software for articulated tracking

    Hauberg, S. & Steenstrup Pedersen, Kim, 2012, Datalogisk Institut, Københavns Universitet: Faculty of Science, University of Copenhagen. 7 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport).

    Research output: Book/Report › Report › Research

  96. Published

    Happy moves, sad grooves: using theories of biological motion and affect to design shape-changing interfaces

    Tan, H., Tiab, J. S. S., Šabanović, S. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, p. 1282-1293 12 p.

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

  97. Published

    Hardness of approximation for strip packing

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

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

  98. Published

    Hardness of bichromatic closest pair with Jaccard similarity

    Pagh, R., Stausholm, N. M. & Thorup, Mikkel, 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, 13 p. 74. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

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

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

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

Previous 1...3 4 5 6 7 8 9 10 ...17 Next