Datalogisk Institut

Læs mere
301 - 350 ud af 1.702Pr. side: 50
Sortering: Udgivelsesår
  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/rapport › Antologi › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    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

    Publikation: Andet › Andet bidrag › Forskning

  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: Andet › Andet bidrag › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferenceabstrakt i proceedings › Forskning › fagfæ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/rapport › Konferenceabstrakt i proceedings › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Kommentar › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Bidrag til bog/antologi › Forskning › fagfæ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/rapport › Kommentar › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning

  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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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 tidsskrift › Tidsskriftartikel › Forskning › fagfæ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/rapport › Kommentar › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Ph.d.-afhandling › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Ph.d.-afhandling › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1...3 4 5 6 7 8 9 10 ...35 Næste