Department of Computer Science

Read more
251 - 300 out of 1,699Page size: 50
  1. 2018
  2. Published

    The entropy of backwards analysis

    Knudsen, M. B. T. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 867-880 14 p.

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

  3. Published

    The positioning cards: on affect, public design, and the common

    Teli, M., De Angeli, A. & Menendez-Blanco, M., 2018, In: AI & Society. 33, 1, p. 125-132

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

  4. Published

    Tracking Typological Traits of Uralic Languages in Distributed Language Representations

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, Fourth International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics, p. 78-88

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

  5. Published

    Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing

    Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.

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

  6. Published

    Wanding Through Space: Interactive Calibration for Electric Muscle Stimulation

    Pohl, H., Hornbæk, Kasper & Knibbe, J., 2018, Proceedings of the 9th Augmented Human International Conference, AH 2018. Association for Computing Machinery, 5 p. a19

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

  7. Published

    Within-Network Classification in Temporal Graphs

    Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, p. 229-236

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

  8. Published

    zPatch: Hybrid Resistive/Capacitive eTextile Input

    Strohmeier, P., Knibbe, J., Boring, S. & Hornbæk, Kasper, 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 188-198

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

  9. 2017
  10. Published

    Estimating the population impact of a new pediatric influenza vaccination program in England using social media content

    Wagner, M., Lampos, V., Yom-Tov, E., Pebody, R. & Cox, Ingemar Johansson, 21 Dec 2017, In: Journal of Medical Internet Research. 19, 12, 12 p., e416.

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

  11. Published

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.

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

  12. Published

    An automated approach for generating and checking control logic for reversible hardware description language-based designs

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., Dec 2017, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.

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

  13. Published

    Automated execution of financial contracts on blockchains

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

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

  14. Published

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

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

  15. Published

    Functional benefits and patient satisfaction with upper blepharoplasty - evaluated by objective and subjective outcome measures

    Jacobsen, A. G., Brost, B., Vorum, H. & Hargitai, J., Dec 2017, In: Acta Ophthalmologica. 95, 8, p. 820-825 6 p.

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

  16. Published

    KYC optimization using distributed ledger technology

    Moyano, J. P. & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 411-423 13 p.

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

  17. Published

    Reduction of variable-truncation artifacts from beam occlusion during in situ x-ray tomography

    Borg, L., Jørgensen, J. S., Frikel, J. & Sporring, Jon, Dec 2017, In: Measurement Science and Technology. 28, 12, 19 p., 124004.

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

  18. Published

    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

    Research output: Other contribution › Research

  19. Published

    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

    Research output: Other contribution › Research

  20. Published

    Diagnosis of bronchiectasis and airway wall thickening in children with cystic fibrosis: objective airway-artery quantification

    Kuo, W., de Bruijne, Marleen, Petersen, Jens, Nasserinejad, K., Ozturk, H., Chen, Y., Perez-Rovira, A. & Tiddens, H. A. W. M., Nov 2017, In: European Radiology. 27, 11, p. 4680-4689 10 p.

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

  21. Published

    Dynamic planar embeddings of dynamic graphs

    Holm, Jacob & Rotenberg, E., Nov 2017, In: Theory of Computing Systems. 61, 4, p. 1054-1083 30 p.

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

  22. Published

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., Nov 2017, In: IEEE Computer Graphics and Applications. 37, 6, p. 26-27 2 p.

    Research output: Contribution to journal › Editorial › Research

  23. Published

    Virtual reality studies outside the laboratory

    Mottelson, A. & Hornbæk, Kasper, Nov 2017, Proceedings of the 23rd ACM Symposium on Virtual Reality Software and Technology. Association for Computing Machinery, 10 p. 9

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

  24. Published

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

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

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

  25. Published

    Coding as a social and tangible activity

    Tabel, O. L., Jensen, J., Dybdal, M. & Bjorn, Pernille, 25 Oct 2017, In: interactions. 24, 6, p. 70-73 4 p.

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

  26. Published

    Neuroanatomical correlates of perceived usability

    Vi, C. T., Hornbæk, Kasper & Subramanian, S., 20 Oct 2017, UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 519-532 14 p.

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

  27. Published

    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., Oct 2017, In: Journal of Clinical Nursing. 26, 19-20, p. 3018-3030 13 p.

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

  28. Published

    On predicting student performance using low-rank matrix factorization techniques

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

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

  29. Published

    On-Skin Interaction Using Body Landmarks

    Steimle, J., Bergström, Joanna, Weigel, M., Nittala, A. S., Boring, S., Olwal, A. & Hornbæk, Kasper, Oct 2017, In: Computer. 50, 10, p. 19-27

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

  30. Published

    Reordering buffer management with advice

    Adamaszek, A. M., Renault, M. P., Rosén, A. & van Stee, R., Oct 2017, In: Journal of Scheduling. 20, 5, p. 423-442 20 p.

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

  31. Published

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

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

  32. Published

    Contracting a planar graph efficiently

    Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).

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

  33. Published

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., Sep 2017, In: Annals of Operations Research. 256, 1, p. 21-40 20 p.

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

  34. Published

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., Sep 2017, In: ACM Transactions on Computation Theory. 9, 3, 7 p., 14.

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

  35. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., Sep 2017, In: Journal of the ACM. 64, 4, 22 p., 27.

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

  36. Published

    Synchrotron radiation μCT and histology evaluation of bone-to-implant contact

    Neldam, C. A., Sporring, Jon, Rack, A., Lauridsen, T., Hauge, E. M., Jørgensen, H. L., Jørgensen, Niklas Rye, Feidenhans'l, Robert Krarup & Pinholt, E. M., Sep 2017, In: Journal of Cranio-Maxillofacial Surgery. 45, 9, p. 1448-1457 10 p.

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

  37. Published

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 Aug 2017, In: Politiken. p. 7-8 2 p.

    Research output: Contribution to journal › Contribution to newspaper - Feature article › Communication

  38. Published

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 Aug 2017, In: Logical Methods in Computer Science. 13, 3, 29 p., 8.

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

  39. Published

    I/O-Efficient Similarity Join

    Pagh, R., Pham, N., Silvestri, F. & Stöckel, M., 1 Aug 2017, In: Algorithmica. 78, 4, p. 1263-1283

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

  40. Published

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

    Lioma, Christina & Hansen, N. D., Aug 2017, In: Cognitive Systems Research. 44, p. 40-49 10 p.

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

  41. Published

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Aug 2017, In: Theory of Computing Systems. 61, 2, p. 606-636 31 p.

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

  42. Published

    Risk stratification of women with false-positive test results in mammography screening based on mammographic morphology and density: a case control study

    Winkel, R. R., von Euler-Chelpin, My Catarina, Lynge, Elsebeth, Diao, P., Lillholm, Martin, Kallenberg, M., Forman, Julie Lyng, Nielsen, Michael Bachmann, Uldall, W. Y., Nielsen, Mads & Vejborg, I. M. M., Aug 2017, In: Cancer Epidemiology. 49, p. 53-60 8 p.

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

  43. Published

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., Aug 2017, In: International Journal of Foundations of Computer Science. 28, 5, p. 503-522 20 p.

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

  44. Published

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 Jul 2017, In: Monthly Notices of the Royal Astronomical Society. 468, 4, p. 4323-4339 17 p.

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

  45. Published

    A non-convex variational approach to photometric stereo under inaccurate lighting

    Quéau, Y., Wu, T., Lauze, Francois Bernard, Durou, J. & Cremers, D., Jul 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 350-359 10 p.

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

  46. Published

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., Jul 2017, In: RAIRO - Theoretical Informatics and Applications. 51, 3, p. 121-133 13 p.

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

  47. Published

    Hippocampal texture predicts rate of cognitive decline in mild cognitive impairment

    Pai, A. S. U., Pillai, J. A., Sørensen, L., Darkner, Sune, Sommer, Stefan Horst & Nielsen, Mads, Jul 2017, In: Alzheimer's & Dementia. 13, 7, supplement, p. P1356 1 p., P4-225.

    Research output: Contribution to journal › Conference abstract in journal › Research

  48. Published

    Supervised scale-regularized linear convolutionary filters

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

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

  49. Published

    Popular Politics: Comparing Popular Stories across News Media in Election Seasons

    Ørmen, Jacob & Petersen, C., 1 Jun 2017.

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

  50. Published

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

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

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

  51. Published

    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. (eds.). Springer, p. 308-319 12 p. (Lecture notes in computer science, Vol. 10302).

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

  52. Published

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.

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

Previous 12 3 4 5 6 7 8 9 ...34 Next