Department of Computer Science

Read more
1201 - 1300 out of 1,702Page size: 100
  1. 2016
  2. Published

    Space-efficient path-reporting approximate distance oracles

    Elkin, M., Neiman, O. & Wulff-Nilsen, Christian, 2016, In: Theoretical Computer Science. 651, p. 1-10 10 p.

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

  3. Published

    Special section on 19th Scandinavian conference on image analysis (SCIA 2015)

    Steenstrup Pedersen, Kim & R. Paulsen, R., 2016, In: Pattern Recognition Letters. 80, p. 238 1 p.

    Research output: Contribution to journal › Editorial › Research

  4. Published

    Statistical modeling and removal of lipid membrane projections for cryo-EM structure determination of reconstituted membrane proteins

    Jensen, K. H., Brandt, S. S., Shigematsu, H. & Sigworth, F. J., 2016, In: Journal of Structural Biology. 194, 1, p. 49-60 12 p.

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

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

  6. Published

    Stream Processing Using Grammars and Regular Expressions

    Rasmussen, U. T., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  7. Published

    Streaming for Functional Data-Parallel Languages

    Madsen, F. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

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

  9. 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. 7493330

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

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

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

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

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

  14. Published

    TableHop: an actuated fabric display using transparent electrodes

    Sahoo, D. R., Hornbæk, Kasper & Subramanian, S., 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3767-3780 14 p.

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

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

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

  17. Published

    The development of bronchiectasis on chest computed tomography in children with cystic fibrosis: can pre-stages be identified?

    Tepper, L. A., Caudri, D., Rovira, A. P., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: European Radiology. 26, 12, p. 4563-4569 7 p.

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

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

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

  20. Published

    The semantics of hybrid process models

    Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.

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

  21. Published

    Towards optimal Takacs–Fiksel estimation

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

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

  22. 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. 26

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

  23. Published

    Training shortest-path tractography: automatic learning of spatial priors

    Kasenburg, N., Liptrot, M. G., Reislev, N. L., Ørting, S. N., Nielsen, Mads, Garde, E. & Feragen, A., 2016, In: NeuroImage. 130, p. 63-76 14 p.

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

  24. Published

    Transforming perceptions of presence: reporting from an action research project

    Lindekilde, R. & Bjorn, Pernille, 2016, In: International Journal of Systems and Society. 3, 1, 16 p.

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

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

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

  27. Published

    Understanding affordance, system state, and feedback in shape-changing buttons

    Tiab, J. S. S. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2752-2763 12 p.

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

  28. Published

    Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring

    Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1322-1331 10 p.

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

  29. Published

    Use and misuse of mobile health information technologies for health self-management

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., 2016, In: Annals of Behavioral Medicine. 50, Supplement 1, p. 314 1 p., D106.

    Research output: Contribution to journal › Conference abstract in journal › Research

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

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

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

  32. Published

    Visual assessment of early emphysema and interstitial abnormalities on CT is useful in lung cancer risk analysis

    Wille, M. M. W., Thomsen, L. H., Petersen, Jens, de Bruijne, Marleen, Dirksen, A., Pedersen, J. H. & Shaker, S. B., 2016, In: European Radiology. 26, 2, p. 487-494 8 p.

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

  33. Published

    What can doodles on the arm teach us about on-body interaction?

    Strohmeier, P., Carrascal, J. P. & Hornbæk, Kasper, 2016, Extended abstracts - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2726-2735 10 p.

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

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

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

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

  37. Published

    Éalonnage de sources lumineuses de type LED

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

    Research output: Contribution to conference › Paper › Research

  38. Published

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

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

    Research output: Patent

  39. Published

    Dynamic-array kernels

    Katajainen, J., 28 Mar 2016, Department of Computer Science, University of Copenhagen. 100 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/Report › Report › Research

  40. Published

    MIQModel: predictive model for mobile internet

    de Masi, A. & Wac, Katarzyna, Apr 2016. 1 p.

    Research output: Contribution to conference › Poster › Research

  41. Published

    Editorial, SEA 2014 Special Issue

    Gudmundsson, J. & Katajainen, J., 5 Apr 2016, In: Journal of Experimental Algorithmics. 21, 1 p., 1.1.

    Research output: Contribution to journal › Editorial › Research

  42. Published

    800.000 gode grunde til datalogi i skolen

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

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

  43. Published

    Mapping sense(s) of place

    Skovse, A. R., Hovy, D. & Johannsen, A. T., 16 Jun 2016. 1 p.

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

  44. Published

    Maurice F. Shutler (1931-2015) obituary

    Krarup, J. & Rand, G. K., 1 Aug 2016, In: European Journal of Operational Research. 252, 3, p. 699-700 2 p.

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

  45. Published

    Lower bounds for locally highly connected graphs

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

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

  46. Published

    Streamlets for visualisation and data exploration

    Liptrot, M. G., 14 Sep 2016. 1 p.

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

  47. Published

    Heap-construction programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 4 Nov 2016, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/Report › Report › Research

  48. 2017
  49. Published

    3D analysis of synaptic vesicle density and distribution after acute foot-shock stress by using serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 10 p.

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

  50. Published

    3D estimation of synaptic vesicle distributions in serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 1 p.

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

  51. Published

    A chainlike relative coordinate system for few-particle problems

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

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

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

  53. Published

    A numerical strategy for finite element modeling of frictionless asymmetric vocal fold collision

    Granados, A., Misztal, M. K., Brunskog, J., Visseq, V. & Erleben, Kenny, 2017, In: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 p., e02793.

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

  54. Published

    A statistical model for simultaneous template estimation, bias correction, and registration of 3D brain images

    Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Kühnel, L., Darkner, Sune, Sørensen, L. & Nielsen, Mads, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (eds.). Springer, p. 151-159 9 p. (Lecture notes in computer science, Vol. 10081).

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

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

  56. Published

    A strongly quasiconvex PAC-Bayesian bound

    Thiemann, N., Igel, Christian, Wintenberger, O. & Seldin, Yevgeny, 2017, Proceedings of International Conference on Algorithmic Learning Theory, 15-17 October 2017, Kyoto University, Kyoto, Japan . Hanneke, S. & Reyzin, L. (eds.). Proceedings of Machine Learning Research, p. 466-492 (Proceedings of Machine Learning Research, Vol. 76).

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

  57. Published

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

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

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

  58. Published

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2017, In: Software: Practice and Experience. 47, 4, p. 523-558 36 p.

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

  59. Published

    An improved parametrization and analysis of the EXP3++ algorithm for stochastic and adversarial bandits

    Seldin, Yevgeny & Lugosi, G., 2017, Proceedings of Conference on Learning Theory, 7-10 July 2017, Amsterdam, Netherlands. Kale, S. & Shamir, O. (eds.). Proceedings of Machine Learning Research, p. 1743-1759 (Proceedings of Machine Learning Research, Vol. 65).

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

  60. Published

    An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, C., Hirschowitz, T. & Seiller, T., 2017, In: Logical Methods in Computer Science. 13, 4, 76 p., 9.

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

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

  62. Published

    Automatic Calibration of High Density Electric Muscle Stimulation

    Knibbe, J., Strohmeier, P., Boring, S. & Hornbæk, Kasper, 2017, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 1, 3, 17 p., 68.

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

  63. Published

    BASELINE RELIABILITY OF EEG AND ERP IN A FOUR-WAY CROSSOVER STUDY IN HEALTHY SUBJECTS

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Kundsen, G. & Christensen, S., 2017, p. S59. 1 p.

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

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

  65. Published

    Big universe, big data: machine learning and image analysis for astronomy

    Kremer, J., Stensbo-Smidt, K., Gieseke, Fabian Cristian, Steenstrup Pedersen, Kim & Igel, Christian, 2017, In: IEEE Intelligent Systems. 32, 2, p. 16-22 7 p.

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

  66. Published

    Bridge simulation and metric estimation on landmark manifolds

    Sommer, Stefan Horst, Arnaudon, A., Kühnel, L. & Joshi, S., 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., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 79-91 13 p. (Lecture notes in computer science, Vol. 10551).

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

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

  68. Published

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, p. 187-204 18 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

  69. Published

    Characterization of errors in deep learning-based brain MRI segmentation

    Pai, A. S. U., Teng, Y., Blair, J. P. M., Kallenberg, M. G. J., Dam, Erik Bjørnager, Sommer, Stefan Horst, Igel, Christian & Nielsen, Mads, 2017, Deep learning for medical image analysis. Zhou, S. K., Greenspan, H. & Shen, D. (eds.). Academic Press, p. 223–242 20 p.

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

  70. Published

    Complexity of conditional term rewriting

    Kop, C. L. M., Middeldorp, A. & Sternagel, T., 2017, In: Logical Methods in Computer Science. 13, 1, 56 p., 6.

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

  71. Published

    Computability in the lattice of equivalence relations

    Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 38-46 9 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

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

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

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

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

  75. Published

    Constraint reordering for iterative multi-body simulation with contact

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

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

  76. Published

    Convolutional neural networks for segmentation and object detection of human semen

    Nissen, M. S., Krause, Oswin, Almstrup, Kristian, Kjærulff, S., Nielsen, T. T. & Nielsen, Mads, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part I. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part 1. p. 397-406 10 p. (Lecture notes in computer science, Vol. 10269).

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

  77. Published

    Coupling motion and perception in body based UI

    Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 697-701 5 p.

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

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

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

  80. Published

    Crowdsourced emphysema assessment

    Ørting, S. N., Cheplygina, V., Petersen, Jens, Thomsen, L. H., Wille, M. M. W. & de Bruijne, Marleen, 2017, Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis: 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Lee, S-L., Cheplygina, V., Balocco, S., Mateus, D., Zahnd, G., Maier-Hein, L., Dermirci, S., Granger, E., Duong, L., Carbonneau, M-A., Albarquoni, S. & Carneiro, G. (eds.). Springer, p. 126-135 10 p. (Lecture notes in computer science, Vol. 10552).

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

  81. Published

    Data tracking in search of workflows

    Møller, Naja Holten, Bjorn, Pernille, C. Villumsen, J., Hancock, T. C. H., Aritake, T. & Tani, S., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 2153-2165 13 p.

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

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

  83. Published

    Design and Implementation of the Futhark Programming Language

    Henriksen, Troels, 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

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

  85. Published

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

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

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

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

  87. Published

    Differential diagnosis of mild cognitive impairment and Alzheimer’s disease using structural MRI cortical thickness, hippocampal shape, hippocampal texture, and volumetry

    Sørensen, L., Igel, Christian, Pai, A. S. U., Balas, I., Anker, C., Lillholm, Martin & Nielsen, Mads, 2017, In: NeuroImage: Clinical. 13, p. 470-482 13 p.

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

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

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

  90. Published

    Dynamic Minimum Spanning Forest with Subpolynomial Worst-case Update Time

    Nanongkai, D., Saranurak, T. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual IEEE Symposium on Foundations of Computer Science (FOcS). IEEE, p. 950-961

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

  91. Published

    Embedded data representations

    Willett, W., Jansen, Y. & Dragicevic, P., 2017, In: IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 461-470 10 p.

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

  92. Published

    Estimation of sample spacing in stochastic processes

    Rønn-Nielsen, A., Sporring, Jon & Jensen, E. B. V., 2017, In: Image Analysis and Stereology. 36, 1, p. 43-49 7 p.

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

  93. Published

    Evaluating hypotheses in geolocation on a very large sample of Twitter

    Salehi, B. & Søgaard, Anders, 2017, Proceedings of the 3rd Workshop on Noisy User-generated Text. Association for Computational Linguistics, p. 62-67 6 p.

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

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

  95. Published

    Evolution Strategies with Optimal Covariance Matrix Update Applied to Sustainable Wave Energy

    Rodríguez Arbonès, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 76 p.

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

  96. Published

    Evolving relations between the practices of nurses and patients and a new patient portal

    Kensing, Finn, Lomborg, Stine & Moring, Camilla, 2017.

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

  97. Published

    Exploration of a Vision for Actor Database Systems

    Shah, V., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  98. Published

    Extraction of Airways with Probabilistic State-Space Models and Bayesian Smoothing

    Selvan, Raghav, Petersen, Jens, Pedersen, J. J. H. & de Bruijne, Marleen, 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, M. J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A. V., 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. 53-63 (Lecture notes in computer science, Vol. 10551).

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

  99. Published

    Fast and Compact Exact Distance Oracle for Planar Grap

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

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

  100. Published

    Fast and powerful hashing using tabulation

    Thorup, Mikkel, 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Chatzigiannakis, I., Indyk, P., Kuhn, F. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 p. 4. (Leibniz International Proceedings in Informatics, Vol. 80).

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

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

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

Previous 1...9 10 11 12 13 14 15 16 ...18 Next