Datalogisk Institut

  1. 2017
  2. Udgivet

    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. (red.), Arbel, T. (red.), Ferrante, E. (red.), Pennec, X. (red.), Dalca, A. V., Parisot, S. (red.), Joshi, S. (red.), Batmanghelich, N. K. (red.), Sotiras, A. (red.), Nielsen, Mads (red.), Sabuncu, M. R. (red.), Fletcher, T. (red.), Shen, L. (red.), Durrleman, S. (red.) & Sommer, Stefan Horst (red.), 2017, Springer. 248 s. (Lecture notes in computer science, Bind 10551).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskningfagfællebedømt

  3. Udgivet

    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. (red.). Springer, s. 467-480 14 s. (Communications in Computer and Information Science, Bind 770).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    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., okt. 2017, I: Journal of Clinical Nursing. 26, 19-20, s. 3018-3030 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    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, I: JMIR mHealth and uHealth. 5, 10, s. e124 14 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet
  7. Udgivet

    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

    Publikation: AndetAndet bidragForskning

  8. Udgivet

    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, s. 441-445 5 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. Udgivet

    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, s. 643-643 1 s.

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskningfagfællebedømt

  10. Udgivet

    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. (red.). s. 72-73 2 s.

    Publikation: Bidrag til bog/antologi/rapportKonferenceabstrakt i proceedingsForskning

  11. Udgivet

    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, s. 962-973

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. Udgivet

    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, s. 825-826 2 s.

    Publikation: Bidrag til bog/antologi/rapportKommentarForskning

  13. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  14. Udgivet

    Fast similarity sketching

    Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 663-671 9 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  15. Udgivet

    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. (red.). NIPS Proceedings, 11 s. (Advances in Neural Information Processing Systems, Bind 30).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  16. Udgivet

    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, s. 773-774

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  17. Udgivet

    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. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  18. Udgivet

    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. (red.). s. 7-11 5 s. (CEUR Workshop Proceedings, Bind 1789).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  19. Udgivet

    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. (red.). s. 7-12 6 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  20. Udgivet

    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. (red.). CEUR-WS.org, 6 s. (CEUR Workshop Proceedings, Bind 1898).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  21. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  22. Udgivet

    Heap Construction—50 Years Later

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., apr. 2017, I: The Computer Journal. 60, 5, s. 657-674 18 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  23. Udgivet

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., aug. 2017, I: Theory of Computing Systems. 61, 2, s. 606-636 31 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  24. Udgivet

    Automated execution of financial contracts on blockchains

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  25. Udgivet

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., jul. 2017, I: RAIRO - Theoretical Informatics and Applications. 51, 3, s. 121-133 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  26. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  27. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  28. Udgivet

    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, s. 615–1625 11 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  29. Udgivet

    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. (red.). Springer, s. 85-113 29 s. (Mathematics and Visualization).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  30. Udgivet

    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, s. 1368-1371 4 s.

    Publikation: Bidrag til bog/antologi/rapportKommentarForskning

  31. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  32. Udgivet

    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, s. 653-658 6 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  33. Udgivet

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., jun. 2017, I: ACM Transactions on Computational Logic. 18, 2, 50 s., 14.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  34. Udgivet

    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, I: Monthly Notices of the Royal Astronomical Society. 472, 3, s. 3101-3114 14 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  35. Udgivet

    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, s. 1-8 8 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  36. Udgivet

    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, I: Knowledge-Based Systems. 120, s. 1-3 3 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  37. Udgivet

    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, I: Technological Forecasting and Social Change. 114, s. 65-73 9 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  38. Udgivet

    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, s. 438-443

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  39. Udgivet

    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, I: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 s., e02793.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  40. Udgivet

    Infinitary axiomatization of the equational theory of context-free languages

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  41. Udgivet

    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, s. 542-549 8 s.

    Publikation: Bidrag til bog/antologi/rapportKommentarForskning

  42. Udgivet

    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, s. 2095-2098 4 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  43. Udgivet

    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. (red.). Springer, s. 396-407 12 s. (Lecture notes in computer science, Bind 10302).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  44. Udgivet

    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, s. 1197-1200

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  45. Udgivet

    Web Data Mining for Public Health Purposes

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

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  46. Udgivet

    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. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  47. Udgivet

    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, s. 35-46 12 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  48. Udgivet

    Design and Implementation of the Futhark Programming Language

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

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  49. Udgivet

    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, s. 556-571 16 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  50. Udgivet

    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. (red.). Springer, s. 147-160 14 s. (Lecture notes in computer science, Bind 10139).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  51. Udgivet

    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. (red.). CEUR-WS.org, 8 s. (CEUR Workshop Proceedings, Bind 1898).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  52. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  53. Udgivet

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., nov. 2017, I: Theory of Computing Systems. 61, 4, s. 1054-1083 30 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  54. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  55. Udgivet

    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, s. 5040-5052

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  56. Udgivet

    Editorial: project reports

    Igel, Christian, mar. 2017, I: KI - Künstliche Intelligenz. 31, 1, s. 1-1 1 s.

    Publikation: Bidrag til tidsskriftLederForskning

  57. Udgivet

    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, s. S59. 1 s.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  58. Udgivet

    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, s. 6487-6498 12 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  59. Udgivet

    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, I: Acta Ophthalmologica. 95, 8, s. 820-825 6 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  60. Udgivet

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

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

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  61. Udgivet

    Join inverse categories and reversible recursion

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  62. Udgivet

    All-in-one implementation framework for binary heaps

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  63. Udgivet

    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, s. 177-186 10 s. (Reports of the European Society for Socially Embedded Technologies; Nr. 2, Bind 1).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  64. Udgivet
  65. Udgivet

    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, I: Journal of Microscopy. 265, 1, s. 101–110 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  66. Udgivet

    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, I: Journal of Microscopy. 265, 1, s. 101–110 1 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  67. Udgivet

    Automatic Calibration of High Density Electric Muscle Stimulation

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  68. Udgivet

    New Results on Hashing, Labeling Schemes and Algorithms

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

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  69. Udgivet

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 aug. 2017, I: Logical Methods in Computer Science. 13, 3, 29 s., 8.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  70. Udgivet

    Complexity of conditional term rewriting

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  71. Udgivet

    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. (red.). Springer, s. 668-695 28 s. (Lecture notes in computer science, Bind 10201).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  72. Udgivet

    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, s. 139-148 10 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  73. Udgivet

    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, I: IEEE Intelligent Systems. 32, 2, s. 16-22 7 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  74. Udgivet

    Most Likely Separation of Intensity and Warping Effects in Image Registration

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  75. Udgivet

    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, I: European Radiology. 27, 11, s. 4680-4689 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  76. Udgivet

    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, I: Journal of Cystic Fibrosis. 16, 1, s. 116–123 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  77. Udgivet

    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. (red.). Springer, s. 164-176 13 s. (Lecture notes in computer science, Bind 10551).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  78. Udgivet

    Separating shape and intensity variation in images

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  79. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  80. Udgivet

    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. (red.). Springer, s. 3-11 9 s. (Lecture notes in computer science, Bind 10589).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  81. Udgivet

    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, s. 42-52 11 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  82. Udgivet

    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, I: Journal of Medical Internet Research. 19, 4, 12 s., e123.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  83. Udgivet

    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. (red.). Springer, s. 308-319 12 s. (Lecture notes in computer science, Bind 10302).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  84. Udgivet

    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, s. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10302 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

  85. Udgivet

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

    Lioma, Christina & Hansen, N. D., aug. 2017, I: Cognitive Systems Research. 44, s. 40-49 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  86. Udgivet

    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, s. 91-98 8 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  87. Udgivet

    Streamlet Tractography

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

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  88. Udgivet

    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, I: IEEE Transactions on Automation Science and Engineering. 14, 2, s. 1096-1108 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  89. Udgivet

    Supervised scale-regularized linear convolutionary filters

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  90. Udgivet

    On predicting student performance using low-rank matrix factorization techniques

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  91. Udgivet

    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, s. 205-221 17 s. (Reports of the European Society for Socially Embedded Technologies; Nr. 2, Bind 1).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  92. Udgivet

    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, s. 1-8 8 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  93. Udgivet

    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. (red.). NIPS Proceedings, 11 s. (Advances in Neural Information Processing Systems, Bind 30).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  94. Udgivet

    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. (red.). CEUR-WS.org, s. 70-79 10 s. (CEUR Workshop Proceedings).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  95. Udgivet

    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, Bind 1. s. 230-240 11 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  96. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  97. Udgivet

    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, s. 618-629 12 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  98. Udgivet

    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, I: Birth Defects Research. 109, 9, s. 637 1 s.

    Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskningfagfællebedømt

  99. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  100. Udgivet

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, dec. 2017, I: Business and Information Systems Engineering. 59, 6, s. 411-423 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  101. Udgivet

    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. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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