Department of Computer Science

Read more
501 - 550 out of 1,703Page size: 50
  1. 2016
  2. Published

    Classical realizability in the CPS target language

    Frey, J., 2016, In: Electronic Notes in Theoretical Computer Science. 325, p. 111-126 16 p.

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

  3. Published

    Combining generative and discriminative representation learning for lung CT analysis with convolutional restricted Boltzmann machines

    van Tulder, G. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1262-1272 11 p.

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

  4. Published

    Combining the boundary shift integral and tensor-based morphometry for brain atrophy estimation

    Michalkiewicz, M. D., Pai, A. S. U., Leung, K. K., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2016, Medical imaging 2016: Image processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 6 p. 978406. (Progress in Biomedical Optics and Imaging).

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

  5. Published

    Complexity hierarchies and higher-order cons-free rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).

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

  6. Published

    Computational artifacts: interactive and collaborative computing as an integral feature of work practice

    Schmidt, K. & Bansler, Jørgen P., 2016, COOP 2016: proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, p. 21-38 18 p.

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

  7. Published

    Cooperative epistemic work in medical practice: an analysis of physicians' clinical notes

    Bansler, Jørgen P., Havn, Erling Carl, Schmidt, K., Mønsted, T., Petersen, H. H. & Svendsen, Jesper Hastrup, 2016, In: Computer Supported Cooperative Work. 25, 6, p. 503-546 44 p.

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

  8. Published

    Cross-lingual transfer of correlations between parts of speech and gaze features

    Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.

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

  9. Published

    Deep learning relevance: creating relevant information (as opposed to retrieving it)

    Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  10. Published

    Deformation-based atrophy computation by surface propagation and its application to Alzheimer’s disease

    Pai, A. S. U., Sporring, Jon, Darkner, Sune, Dam, Erik Bjørnager, Lillholm, Martin, Jørgensen, D., Oh, J., Chen, G., Suhy, J., Sørensen, L. & Nielsen, Mads, 2016, In: SPIE Journal of Medical Imaging. 3, 1, 11 p., 014005.

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

  11. Published

    Deriving consistent GSM schemas from DCR graphs

    Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).

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

  12. Published

    Design and GPGPU performance of Futhark's redomap construct

    Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.

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

  13. Published

    Designing information visualizations for elite soccer children's different levels of comprehension

    Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13

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

  14. Published

    Developing an ecosystem for interactive electronic implants

    Strohmeier, P., Honnet, C. & von Cyborg, S., 2016, Biomimetic and Biohybrid Systems: 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings. Lepora, N. F., Mura, A., Mangan, M., Verschure, P. F. M. J., Desmulliez, M. & Prescott, T. J. (eds.). Springer, p. 518-525 8 p. (Lecture notes in computer science, Vol. 9793).

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

  15. Published

    Developing self–control theory: towards digital sensoring by smartphone technologies

    Demant, Jakob Johan, Heinskou, Marie Bruvik, Wac, Katarzyna & Schierff, L. M., 2016. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  16. Published

    Differences in smartphone usage: validating, evaluating, and predicting mobile user intimacy

    Gustarini, M., Scipioni, M. P., Fanourakis, M. & Wac, Katarzyna, 2016, In: Pervasive and Mobile Computing. 33, p. 50-72 23 p.

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

  17. Published

    Digital sound de-localisation as a game mechanic for novel bodily play

    Tiab, J., Rantakari, J., Halse, M. L. & Mitchell, R., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 6 p. 109

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

  18. Published

    Distance labeling schemes for trees

    Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).

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

  19. Published

    Do dementia biomarkers have a sigmoid trajectory? Insights from non-linear mixed effects modeling

    Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Sørensen, L. & Nielsen, Mads, 2016, In: Alzheimer's & Dementia. 12, 7, Supplement, p. P356 1 p., O4-09-06.

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

  20. Published

    Droner til monitering af flerårigt ukrudt i korn

    Rasmussen, Jesper, Nielsen, J., Streibig, Jens Carl, Olsen, Søren Ingvor, Steenstrup Pedersen, Kim & Jensen, J. E., 2016, Miljøstyrelsen. 68 p. (Bekæmpelsesmiddelforskning; No. 165).

    Research output: Book/Report › Report › Research › peer-review

  21. Published

    E2eUberIM: end-to-end service management framework for anything-as-a-service

    Wac, Katarzyna, Cummings, M. & Dey, J., 2016, In: IEEE Communications Magazine. 54, 3, p. 54-60 7 p.

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

  22. Published

    Early detection of Alzheimer's disease using MRI hippocampal texture

    Sørensen, L., Igel, Christian, Hansen, N. L., Osler, Merete, Lauritzen, Martin, Rostrup, Egill & Nielsen, Mads, 2016, In: Human Brain Mapping. 37, 3, p. 1148-1161 14 p.

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

  23. Published

    Early experiences with crowdsourcing airway annotations in chest CT

    Cheplygina, V., Perez-Rovira, A., Kuo, W., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, Deep Learning and Data Labeling for Medical Applications: First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. Carneiro, G., Mateus, D., Peter, L., Bradley, A., Tavares, J. M. R. S., Belagiannis, V., Papa, J. P., Nascimento, J. C., Loog, M., Lu, Z., Cardoso, J. S. & Cornebise, J. (eds.). Springer, p. 209-218 10 p. (Lecture notes in computer science, Vol. 10008).

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

  24. Published

    Elements of a reversible object-oriented language: work-in-progress report

    Schultz, U. P. & Axelsen, H. B., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 153-159 7 p. (Lecture notes in computer science, Vol. 9720).

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

  25. Published

    Eliciting mid-air gestures for wall-display interaction

    Wittorf, M. L. & Jakobsen, M. R., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 3

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

  26. Published

    Energy saving approaches for video streaming on smartphone based on QoE modeling

    Ballesteros, L. G. M., Ickin, S., Fiedler, M., Markendahl, J., Tollmar, K. & Wac, Katarzyna, 2016, 2016 13th IEEE Annual Consumer Communications and Networking Conference (CCNC 2016). IEEE, p. 103-106 4 p.

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

  27. Published

    Ensemble learned vaccination uptake prediction using web search queries

    Hansen, N. D., Lioma, Christina & Mølbak, K., 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. IEEE, p. 1953-1956 4 p.

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

  28. Published

    Evolutionary kernel learning

    Igel, Christian, 2016, Encyclopedia of machine learning and data mining. Sammut, C. & Webb, G. I. (eds.). Springer, 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  29. Published

    Exploiting the bipartite structure of entity grids for document coherence and retrieval

    Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, p. 11-20 10 p.

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

  30. Published

    Exploring bodies, mediation and points of view using a robotic avatar

    Strohmeier, P., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 663-668 6 p.

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

  31. Published

    Extraction of airway trees using multiple hypothesis tracking and template matching

    Selvan, Raghav, Petersen, Jens, Pedersen, J. J. H. & de Bruijne, Marleen, 2016, The Sixth International Workshop on Pulmonary Image Analysis: Athens, Greece - October 21, 2016. Beichel, R. R., Farahani, K., Jacobs, C., Kabus, S., Kiraly, A. P., Kuhnigk, J-M., McClelland, J. R., Mori, K., Petersen, J. & Rit, S. (eds.). Create Space Independent Publishing Platform, p. 43-54 12 p.

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

  32. Published

    Fabrication & HCI: hobbyist making, industrial production, and beyond

    Fuchsberger, V., Murer, M., Tscheligi, M., Lindtner, S., Bardzell, S., Bardzell, J., Reiter, A. & Bjorn, Pernille, 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3550-3557 8 p.

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

  33. Published

    Fast and effective multi-objective optimisation of submerged wave energy converters

    Rodríguez Arbonès, D., Ding, B., Sergiienko, N. Y. & Wagner, M., 2016, Parallel Problem Solving from Nature – PPSN XIV: 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings. Handl, J., Hart, E., Lewis, P. R., López-Ibáñez, M., Ochoa, G. & Paechter, B. (eds.). Springer, p. 675-685 11 p. (Lecture notes in computer science, Vol. 9921).

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

  34. Published

    Fast and powerful hashing using tabulation

    Thorup, Mikkel, 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Lal, A., Akshay, S., Saurabh, S. & Sen, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 p. 1. (Leibniz International Proceedings in Informatics, Vol. 65).

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

  35. Published

    Faster deterministic fully-dynamic graph connectivity

    Wulff-Nilsen, Christian, 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). Springer, p. 738-741 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  36. Published

    Faster worst case deterministic dynamic connectivity

    Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 53:1-53:15 15 p. 53. (Leibniz International Proceedings in Informatics, Vol. 57).

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

  37. Published

    Feature representation of RGB-D images using joint spatial-depth feature pooling

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2016, In: Pattern Recognition Letters. 80, 1, p. 239-248 10 p.

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

  38. Published

    FinPar: a parallel financial benchmark

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.

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

  39. Published

    Finding significantly connected voxels based on histograms of connection strengths

    Kasenburg, N., Pedersen, M. V. & Darkner, Sune, 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 7 p. 978431. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).

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

  40. Published

    Finding the maximum subset with bounded convex curvature

    Abrahamsen, Mikkel & Thorup, Mikkel, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 4. (Leibniz International Proceedings in Informatics, Vol. 51).

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

  41. Published

    Forms are declarative processes!

    Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 p.

    Research output: Contribution to conference › Paper › Research

  42. Published

    Fundamentals of reversible flowchart languages

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, In: Theoretical Computer Science. 611, p. 87-115 29 p.

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

  43. Published

    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, 2016. 8 p.

    Research output: Contribution to conference › Paper › Research

  44. Published

    Fusion of parallel array operations

    Kristensen, M. R. B., Lund, S. A. F., Blum, T. & Avery, James Emil, 2016, PACT' 16: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation. Association for Computing Machinery, p. 71-85 15 p.

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

  45. Published

    GeckoFTL: Scalable Flash Translation Techniques For Very Large Flash Devices.

    Dayan, N., Bonnet, Philippe & Idreos, S., 2016, SIGMOD Conference. p. 327-342 16 p.

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

  46. Published

    Global software development: exploring multiplicity and asymmetric dynamics in collaborative work

    Matthiesen, S., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 163-166 4 p.

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

  47. Published

    Graph reconstruction with a betweenness oracle

    Abrahamsen, Mikkel, Bodwin, G., Rotenberg, E. & Stöckel, M. D., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:14 14 p. 5. (Leibniz International Proceedings in Informatics, Vol. 47).

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

  48. Published

    HCI research as problem-solving

    Oulasvirta, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4956-4967 12 p.

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

  49. Published

    Happy moves, sad grooves: using theories of biological motion and affect to design shape-changing interfaces

    Tan, H., Tiab, J. S. S., Šabanović, S. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, p. 1282-1293 12 p.

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

  50. Published

    Heavy hitters via cluster-preserving clustering

    Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, Mikkel, 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science. IEEE, p. 61-70 10 p.

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

  51. Published

    Improving historical spelling normalization with bi-directional LSTMs and multi-task learning

    Bollman, M. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 131-139 9 p.

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

Previous 1...7 8 9 10 11 12 13 14 ...35 Next