Department of Computer Science

Read more
301 - 400 out of 1,702Page size: 100
  1. 2017
  2. Published

    Multileaving for online evaluation of rankers

    Brost, B., 2017, Proceedings of the 1st International Workshop on LEARning Next gEneration Rankers co-located with the 3rd ACM International Conference on the Theory of Information Retrieval (ICTIR 2017). Ferro, N., Lucchese, C., Maistro, M. & Perego, R. (eds.). CEUR-WS.org, 2 p. (CEUR Workshop Proceedings, Vol. 2007).

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

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

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

  5. Published

    Isolated thoughts and feelings and unsolved concerns: adolescents' and parents' perspectives on living with type 1 diabetes - a qualitative study using visual storytelling

    Carstensøe-Seidenfaden, P., Teilmann, Grete Katrine, Kensing, Finn, Hommel, E., Olsen, B. S. & Husted, G. R., Oct 2017, In: Journal of Clinical Nursing. 26, 19-20, p. 3018-3030 13 p.

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

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

  7. Published

    Testing a Smartphone App (Young with Diabetes) to Improve Self-Management of Diabetes Over 12 Months: Randomized Controlled Trial (Preprint)

    Castensøe-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contribution › Research

  8. Published

    The Young-with-Diabetes App-Study: A 12-month Randomized Controlled Trial

    Castens�e-Seidenfaden, P., Husted, G. R., Jensen, Andreas Kryger, Hommel, E., Olsen, B., Pedersen-Bjergaard, Ulrik, Kensing, Finn & Teilmann, Grete Katrine, 23 Nov 2017

    Research output: Other contribution › Research

  9. Published

    Model playground for autistic children: teaching social skills through tangible collaboration

    Castro, T., Castro, A., Lima, D. & Bjorn, Pernille, 2017, 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT). IEEE, p. 441-445 5 p.

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

  10. Published

    Lever: towards low-latency batched stream processing by pre-scheduling

    Chen, F., Wu, S., Jin, H., Yao, Y., Liu, Z., Gu, L. & Zhou, Yongluan, 2017, Proceedings of the 2017 Symposium on Cloud Computing. Association for Computing Machinery, p. 643-643 1 p.

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

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

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

  13. Published

    WSDM 2017 Workshop on Mining Online Health Reports: WSDM workshop summary

    Collier, N., Limsopatham, N., Culotta, A., Conway, M., Cox, Ingemar Johansson & Lampos, V., 2 Feb 2017, Proceedings of the Tenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 825-826 2 p.

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

  14. Published

    Confluence of an extension of combinatory logic by Boolean constants

    Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).

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

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

  16. Published

    Practical hash functions for similarity estimation and dimensionality reduction

    Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  17. Published

    Time-Series Adaptive Estimation of Vaccination Uptake Using Web Search Queries

    Dalum Hansen, N., Mølbak, Kåre, Cox, Ingemar Johansson & Lioma, Christina, 2017, Proceedings of the 26th International Conference on World Wide Web Companion. International World Wide Web Conferences Steering Committee, p. 773-774

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

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

  19. Published

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

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

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

  21. Published

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

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

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

  23. Published

    Heap Construction—50 Years Later

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Apr 2017, In: The Computer Journal. 60, 5, p. 657-674 18 p.

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

  24. Published

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Aug 2017, In: Theory of Computing Systems. 61, 2, p. 606-636 31 p.

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

  25. Published

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.

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

  26. Published

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., Jul 2017, In: RAIRO - Theoretical Informatics and Applications. 51, 3, p. 121-133 13 p.

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

  27. Published

    Inverse kinematics problems with exact Hessian matrices

    Erleben, Kenny & Andrews, S., 2017, Proceedings of the Tenth International Conference on Motion in Games. Association for Computing Machinery, 6 p. 14

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

  28. Published

    Rigid body contact problems using proximal operators

    Erleben, Kenny, 2017, Proceedings of the ACM SIGGRAPH / Eurographics Symposium on Computer Animation. Association for Computing Machinery, 12 p. 13

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

  29. Published

    Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

    Felbo, B., Mislove, A., Søgaard, Anders, Rahwan, I. & Lehmann, S., 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 615–1625 11 p.

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

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

  31. Published

    Taking action in a changing world: research and community

    Fiesler, C., Anthony, L., Strohmeier, P., Fussell, S. & Mark, G., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1368-1371 4 p.

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

  32. Published

    Artistic movement recognition by boosted fusion of color structure and topographic description

    Florea, C., Toca, C. & Gieseke, Fabian Cristian, 11 May 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision. IEEE, p. 569-577 9 p.

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

  33. Published

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

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

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

  34. Published

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.

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

  35. Published

    Convolutional neural networks for transient candidate vetting in large-scale surveys

    Gieseke, F., Bloemen, S., van den Bogaard, C., Heskes, T., Kindler, J., Scalzo, R. A., Ribeiro, V. A. R. M., van Roestel, J., Groot, P. J., Yuan, F., Möller, A. & Tucker, B. E., Dec 2017, In: Monthly Notices of the Royal Astronomical Society. 472, 3, p. 3101-3114 14 p.

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

  36. Published

    Massively-parallel best subset selection for ordinary least-squares regression

    Gieseke, F., Polsterer, K. L., Mahabal, A., Igel, Christian & Heskes, T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.

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

  37. Published

    bufferkdtree: a Python library for massive nearest neighbor queries on multi-many-core devices

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen & Igel, Christian, 15 Mar 2017, In: Knowledge-Based Systems. 120, p. 1-3 3 p.

    Research output: Contribution to journal › Journal article › Research

  38. Published

    The global brain and the emerging economy of abundance: mutualism, open collaboration, exchange networks and the automated commons

    Goertzel, B., Goertzel, T. & Goertzel, Z. A., Jan 2017, In: Technological Forecasting and Social Change. 114, p. 65-73 9 p.

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

  39. Published

    Using gaze to predict text readability

    Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443

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

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

  41. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, In: Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.

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

  42. Published

    Open Design at the Intersection of Making and Manufacturing

    Green, D., Fuchsberger, V., Kirk , D., Taylor, N., Chatting, D., Meissner, J., Murer, M., Tscheligi, M., Lindtner, S., Bjorn, Pernille & Reiter, A., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 542-549 8 p.

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

  43. Published

    Smart city analytics: ensemble-learned prediction of citizen home care

    Hansen, C., Hansen, C., Alstrup, Stephen & Lioma, Christina, 2017, Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2098 4 p.

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

  44. Published

    Local mean multiphase segmentation with HMMF models

    Hansen, J. D. K. & Lauze, Francois Bernard, 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 396-407 12 p. (Lecture notes in computer science, Vol. 10302).

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

  45. Published

    Seasonal Web Search Query Selection for Influenza-Like Illness (ILI) Estimation

    Hansen, N. D., Mølbak, K., Cox, Ingemar Johansson & Lioma, Christina, 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 1197-1200

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

  46. Published

    Web Data Mining for Public Health Purposes

    Hansen, N. D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  47. Published

    Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

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

  48. Published

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 35-46 12 p.

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

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

  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

    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

  52. Published

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).

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

  53. Published

    Contracting a planar graph efficiently

    Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).

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

  54. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., Nov 2017, In: Theory of Computing Systems. 61, 4, p. 1054-1083 30 p.

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

  55. Published

    Technology Acceptance and User Experience: A Review of the Experiential Component in HCI

    Hornbæk, Kasper & Hertzum, M., 2017, In: A C M Transactions on Computer - Human Interaction. 24, 5, 30 p., 33.

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

  56. Published

    What Is Interaction?

    Hornbæk, Kasper & Oulasvirta, A., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 5040-5052

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

  57. Published

    Editorial: project reports

    Igel, Christian, Mar 2017, In: KI - Künstliche Intelligenz. 31, 1, p. 1-1 1 p.

    Research output: Contribution to journal › Editorial › Research

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

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

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

  61. Published

    Density-based non-rigid registration of diffusion-weighted images

    Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, Apr 2017.

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

  62. Published

    Join inverse categories and reversible recursion

    Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.

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

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

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

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

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

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

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

  69. Published

    New Results on Hashing, Labeling Schemes and Algorithms

    Knudsen, M. B. T., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 349 p.

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

  70. Published

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 Aug 2017, In: Logical Methods in Computer Science. 13, 3, 29 p., 8.

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

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

  72. Published

    The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming

    Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).

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

  73. Published

    Qualitative and quantitative assessment of step size adaptation rules

    Krause, Oswin, Glasmachers, T. & Igel, Christian, 2017, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 139-148 10 p.

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

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

  75. Published

    Most Likely Separation of Intensity and Warping Effects in Image Registration

    Kuhnel, L., Sommer, Stefan Horst, Pai, A. & Raket, L. L., 2017, In: S I A M Journal on Imaging Sciences. 10, 2, p. 578-601

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

  76. Published

    Diagnosis of bronchiectasis and airway wall thickening in children with cystic fibrosis: objective airway-artery quantification

    Kuo, W., de Bruijne, Marleen, Petersen, Jens, Nasserinejad, K., Ozturk, H., Chen, Y., Perez-Rovira, A. & Tiddens, H. A. W. M., Nov 2017, In: European Radiology. 27, 11, p. 4680-4689 10 p.

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

  77. Published

    Objective airway artery dimensions compared to CT scoring methods assessing structural cystic fibrosis lung disease

    Kuo, W., Andrinopoulou, E., Perez-Rovira, A., Ozturk, H., de Bruijne, Marleen & Tiddens, H. A. W. M., Jan 2017, In: Journal of Cystic Fibrosis. 16, 1, p. 116–123 8 p.

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

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

  79. Published

    Separating shape and intensity variation in images

    Kühnel, L., Sommer, Stefan Horst, Pai, A. S. U. & Raket, L. L., 2017, In: SIAM News. 50, 8, p. 12 1 p.

    Research output: Contribution to journal › Journal article › Research

  80. Published

    Stochastic development regression on non-linear manifolds

    Kühnel, L. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 53-64 12 p. (Lecture notes in computer science, Vol. 10265).

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

  81. Published

    Stochastic development regression using method of moments

    Kühnel, L. & Sommer, Stefan Horst, 2017, Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer, p. 3-11 9 p. (Lecture notes in computer science, Vol. 10589).

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

  82. Published

    Strategies for regular segmented reductions on GPU

    Larsen, R. W. & Henriksen, Troels, 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.

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

  83. Published

    Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards

    Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, Apr 2017, In: Journal of Medical Internet Research. 19, 4, 12 p., e123.

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

  84. Published

    Simultaneous reconstruction and segmentation of CT scans with shadowed data

    Lauze, Francois Bernard, Quéau, Y. & Plenge, E., Jun 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 308-319 12 p. (Lecture notes in computer science, Vol. 10302).

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

  85. Published

    Preface

    Lauze, Francois Bernard, Dong, Y. & Dahl, A. B., 2017, 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, Kolding, 4 June 2017 - 8 June 2017. Springer, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10302 LNCS).

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

  86. Published

    A study of metrics of distance and correlation between ranked lists for compositionality detection

    Lioma, Christina & Hansen, N. D., Aug 2017, In: Cognitive Systems Research. 44, p. 40-49 10 p.

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

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

  88. Published

    Streamlet Tractography

    Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, Apr 2017.

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

  89. Published

    Boosting active contours for weld pool visual tracking in automatic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., Apr 2017, In: IEEE Transactions on Automation Science and Engineering. 14, 2, p. 1096-1108 13 p.

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

  90. Published

    Supervised scale-regularized linear convolutionary filters

    Loog, M. & Lauze, Francois Bernard, Jul 2017, Proceedings of BMVC 2017. British Machine Vision Conference, 12 p.

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

  91. Published

    On predicting student performance using low-rank matrix factorization techniques

    Lorenzen, S. S., Pham, D. N. & Alstrup, Stephen, Oct 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 326-334 9 p.

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

  92. Published

    The Hackerspace manifested as a DIY-IoT Entity: shaping and protecting the identity of the community

    Lundbjerg Hansen, E., Pflug von der Osten, J., Kanto , R. & Bjorn, Pernille, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work - exploratory papers. European Society for Socially Embedded Technologies, p. 205-221 17 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

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

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

  94. Published

    Learning from uncertain curves: The 2-Wasserstein metric for Gaussian processes

    Mallasto, A. & Feragen, A., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

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

  96. Published

    Parsing Universal Dependencies without training

    Martinez Alonso, H., Agic, Z., Plank, B. & 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. 230-240 11 p.

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

  97. Published

    When Distribution of Tasks and Skills Are Fundamentally Problematic: A Failure Story from Global Software Outsourcing

    Matthiesen, S. & Bjorn, Pernille, Nov 2017, In: Proceedings of the ACM on Human-Computer Interaction (PACMHCI). 1, CSCW, 16 p., 74.

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

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

  99. Published

    The Development of Pubertal Gynaecomastia and the Association to Endogenous Hormones, Growth, and Body Composition

    Mieritz, M. G., Juul, A., Raket, L. L., Hagen, C. P., Nielsen, J. E., Talman, M. M., Petersen, Jørgen Holm, Sommer, Stefan Horst, Main, Katharina Maria, Jørgensen, N., Sørensen, K., Aksglaede, L., Mouritsen, Annette Korsholm, Hilsted, L. & Andersson, A. M., 2017, In: Birth Defects Research. 109, 9, p. 637 1 p.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  100. Published

    Virtual reality studies outside the laboratory

    Mottelson, A. & Hornbæk, Kasper, Nov 2017, Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology. Association for Computing Machinery, 10 p. 9

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

  101. Published

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 411-423 13 p.

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

Previous 1 2 3 4 5 6 7 8 ...18 Next