Datalogisk Institut

  1. 2017
  2. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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