Datalogisk Institut

  1. 2017
  2. Udgivet

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, jun. 2017, I: Journal of Real-Time Image Processing. 13, 2, s. 345–361 17 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

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

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

  6. Udgivet

    Tolerance analysis for 0-1 knapsack problems

    Pisinger, D. & Saidi, A., 1 maj 2017, I: European Journal of Operational Research. 258, 3, s. 866-876 11 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

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

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

  10. Udgivet

    Streamlet Tractography

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

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

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

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

  13. Udgivet

    Digital Health Tools for Sleep Self-Management: Working Mothers Use Case

    Wac, Katarzyna, Montanini, L., Ryager, K. B. & Rivas, H., mar. 2017, s. 52555-52556.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  14. Udgivet

    Editorial: project reports

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

    Publikation: Bidrag til tidsskriftLederForskning

  15. Udgivet

    Quality-of-life technologies

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., mar. 2017, I: Computer. 50, 3, s. 15-19 5 s.

    Publikation: Bidrag til tidsskriftLederForskning

  16. Udgivet

    Towards characterizing and reducing artifacts caused by varying projection truncation

    Borg, L., Jørgensen, J. S. & Sporring, Jon, 24 feb. 2017, Department of Computer Science, University of Copenhagen. 42 s. (Datalogisk Institut. Københavns Universitet. Technical Reports; Nr. 1, Bind 2017).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

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

  18. Udgivet

    Interaction graphs: graphings

    Seiller, T., feb. 2017, I: Annals of Pure and Applied Logic. 168, 2, s. 278-320 43 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  19. Udgivet

    Enabling work migration in CoMD to study dynamic load imbalance solutions

    Pearce, O., Ahmed, H., Larsen, R. W. & Richards, D. F., 30 jan. 2017, Proceedings of PMBS 2016: 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems. s. 98-107 10 s.

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

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

  21. Udgivet

    Cross-lingual and cross-domain discourse segmentation of entire documents

    Braud, C., Lacroix, O. & Søgaard, Anders, 1 jan. 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Bind 2. s. 237-243 7 s.

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

  22. Udgivet

    DABAI: A data driven project for e-Learning in Denmark

    Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 jan. 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (red.). Academic Conferences and Publishing International, s. 18-24 7 s.

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

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

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

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

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

  27. Udgivet

    A chainlike relative coordinate system for few-particle problems

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  28. Udgivet

    A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (red.). The Eurographics Association, s. 39-48 10 s.

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

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

  30. Udgivet

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

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

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

  31. Udgivet

    A stochastic large deformation model for computational anatomy

    Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, s. 571-582 12 s. (Lecture notes in computer science, Bind 10265).

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

  32. Udgivet

    A strongly quasiconvex PAC-Bayesian bound

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

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

  33. Udgivet

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

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

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

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

  35. Udgivet

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

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

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

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

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

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

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

  40. Udgivet

    Best laid plans of lions and men

    Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 s. 6. (Leibniz International Proceedings in Informatics, Bind 77).

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

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

  42. Udgivet

    Bridge simulation and metric estimation on landmark manifolds

    Sommer, Stefan Horst, Arnaudon, A., Kühnel, L. & Joshi, S., 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (red.). Springer, s. 79-91 13 s. (Lecture notes in computer science, Bind 10551).

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

  43. Udgivet

    Bringing content understanding into usability testing in complex application domains—a case study in eHealth

    Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Bind Part 1. s. 327-341 15 s. (Lecture notes in computer science, Bind 10288).

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

  44. Udgivet

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, s. 187-204 18 s. (Reports of the European Society for Socially Embedded Technologies; Nr. 2, Bind 1).

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

  45. Udgivet

    Characterization of errors in deep learning-based brain MRI segmentation

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

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

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

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

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

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

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

  51. Udgivet

    Constraint reordering for iterative multi-body simulation with contact

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

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  52. Udgivet

    Convolutional neural networks for segmentation and object detection of human semen

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

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

  53. Udgivet

    Coupling motion and perception in body based UI

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

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

  54. Udgivet

    Cross-lingual RST discourse parsing

    Braud, C. E., Coavoux, M. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Bind 1. s. 292-304 13 s.

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

  55. Udgivet

    Cross-lingual tagger evaluation without test data

    Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: short papers. Association for Computational Linguistics, Bind 2. s. 248-253 6 s.

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

  56. Udgivet

    Crowdsourced emphysema assessment

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

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

  57. Udgivet

    Data tracking in search of workflows

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

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

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

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

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

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

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

  63. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

  65. Udgivet

    Does syntax help discourse segmentation? Not so much

    Braud, C. E., Lacroix, O. & Søgaard, Anders, 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, s. 2432–2442 11 s.

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

  66. Udgivet

    Dynamic Minimum Spanning Forest with Subpolynomial Worst-case Update Time

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

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

  67. Udgivet

    Embedded data representations

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  68. Udgivet

    Estimation of sample spacing in stochastic processes

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  69. Udgivet

    Evaluating hypotheses in geolocation on a very large sample of Twitter

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

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

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

  71. Udgivet

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

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

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

  72. Udgivet
  73. Udgivet

    Exploration of a Vision for Actor Database Systems

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

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

  74. Udgivet

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

    Selvan, Raghav, Petersen, Jens, Pedersen, J. J. H. & de Bruijne, Marleen, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A. V., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (red.). Springer, s. 53-63 (Lecture notes in computer science, Bind 10551).

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

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

  76. Udgivet

    Fast and powerful hashing using tabulation

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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

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

  79. Udgivet

    From Thesaurus to Framenet

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

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

  80. Udgivet

    From prototype to product: making participatory design of mHealth commercially viable

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn & Moll, J., 2017, Participatory design and health information technology. Kanstrup, A. M., Bygholm, A., Bertelsen, P. & Nøhr, C. (red.). IOS Press, s. 95-112 18 s. (Studies in Health Technology and Informatics, Bind 233).

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

  81. Udgivet

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

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

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

  82. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

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

  84. Udgivet

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

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

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

  85. Udgivet

    Generating haptic textures with a vibrotactile actuator

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

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

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

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

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

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

  90. Udgivet

    Huntsville, hospitals, and hockey teams: Names can reveal your location

    Salehi, B., Hovy, D., Hovy, E. & Søgaard, Anders, 2017, Proceedings of the 3rd Workshop on Noisy User-generated Text. Association for Computational Linguistics, s. 161-121

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

  91. Udgivet

    Hybrid LSH: faster near neighbors reporting in high-dimensional space

    Pham, D. N., 2017, Advances in Database Technology — EDBT 2017: proceedings of the 20th International Conference on Extending Database Technology. Markl, V., Orlando, S., Mitschang, B., Andritsos, P., Sattler, K-U. & Breß, S. (red.). OpenProceedings.org, s. 454-457 4 s.

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

  92. Udgivet

    Identifying beneficial task relations for multi-task learning in deep neural networks

    Bingel, J. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: volume 2, short papers. Association for Computational Linguistics, Bind 2. s. 164-169 6 s.

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

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

  94. Udgivet

    Implicit computational complexity and compilers

    Rubiano, T., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen. 98 s.

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

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

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

  97. Udgivet

    Investigating the use of a dynamic physical bar chart for data exploration and presentation

    Taher, F., Jansen, Y., Woodruff, J., Hardy, J., Hornbæk, Kasper & Alexander, J., 2017, I: IEEE Transactions on Visualization and Computer Graphics. 23, 1, s. 451-460 10 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  98. Udgivet

    Irrational Guards are Sometimes Needed

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-15 3. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 77).

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

  99. Udgivet

    Is writing style predictive of scientific fraud?

    Braud, C. E. & Søgaard, Anders, 2017, Proceedings of the Workshop on Stylistic VariationAssociation for Computational Linguistics. Association for Computational Linguistics, s. 37-42 6 s.

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

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

  101. Udgivet

    Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs

    Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, s. 295–305

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

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