Department of Computer Science

  1. 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 proceedingArticle in proceedingsResearchpeer-review

  2. Published

    ReFlex: a flexible smartphone with active haptic feedback for bend input

    Strohmeier, P., Burstyn, J., Carrascal, J. P., Levesque, V. & Vertegaal, R., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 185-192 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    An evaluation of shape changes for conveying emotions

    Strohmeier, P., Carrascal, J. P., Cheng, B., Meban, M. & Vertegaal, R., 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3781-3792 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Body-based user interfaces

    Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, Joanna, Jansen, Y. & Hornbæk, Kasper, 2022, The Routledge Handbook of Bodily Awareness. Taylor and Francis/Routledge, p. 478-502

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  5. 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 proceedingArticle in proceedingsResearchpeer-review

  6. Published

    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, p. 697-701 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Classifying VAT Legislation for Automation

    Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

    Research output: Contribution to conferencePaperResearch

  8. Published

    Significant subgraph mining with multiple testing correction

    Sugiyama, M., López, F. L., Kasenburg, N. & Borgwardt, K. M., 2015, Proceedings of the 2015 SIAM International Conference on Data Mining. Society for Industrial and Applied Mathematics, p. 37-45 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Socio-technical congruence in the Ruby ecosystem

    Syeed, M. M. M., Hansen, K. M., Hammouda, I. & Manikas, K., 2014, OpenSym '14. Proceedings of The International Symposium on Open Collaboration. Association for Computing Machinery, p. 2:1-2:9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Assessment of menstrual health status and evolution through mobile apps for fertility awareness

    Symul, L., Wac, Katarzyna, Hillard, P. & Salathé, M., 2019, In: npj Digital Medicine. 2, 10 p., 64.

    Research output: Contribution to journalJournal articleResearchpeer-review

  11. Published

    Spikes as Regularizers

    Søgaard, Anders, 2017, ESANN 2017 - Proceedings: 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. ESANN , p. 371-376 6 p. (arXiv.org).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Validation of hippocampal texture for early Alzheimer’s disease detection: generalization to independent cohorts and extrapolation to very early signs of dementia

    Sørensen, L., Igel, Christian, Hansen, N. L., Lauritzen, Martin, Osler, Merete, Rostrup, Egill & Nielsen, Mads, 2014, In: Alzheimer's & Dementia. 10, 4, Supplement, p. P133 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  13. Published

    Ensemble support vector machine classification of dementia using structural MRI and mini-mental state examination

    Sørensen, L. & Nielsen, Mads, 2018, In: Journal of Neuroscience Methods. 302, SI, p. 66-74

    Research output: Contribution to journalJournal articleResearchpeer-review

  14. Published

    Hippocampal texture predicts conversion from MCI to Alzheimer's disease

    Sørensen, L., Igel, Christian & Nielsen, Mads, 2013, In: Alzheimer's & Dementia. 9, 4, Supplement, p. P52 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  15. Published

    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, In: NeuroImage: Clinical. 13, p. 470-482 13 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  16. Published

    UNSUPERVISED MACHINE LEARNING ON BASELINE BRAIN MRI IDENTIFIES MCI SUBGROUP WITH A FASTER DECLINE OVER TWO YEARS COMPARED TO CLASSICAL HIPPOCAMPAL SPARING AD SUBTYPE

    Sørensen, L., Pai, A., Nielsen, Mads, Leverenz, J. B. & Pillai, J. A., 2019, In: Alzheimer's & Dementia. 15, 7, p. P1420 1 p., P4-326.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  17. Published

    Improved Alzheimer's disease diagnostic performance using structural MRI: validation of the MRI combination biomarker that won the CADDementia challenge

    Sørensen, L., Lillholm, Martin, Pai, A. S. U., Balas, I., Anker, C., Igel, Christian & Nielsen, Mads, 2015, In: Insights into Imaging. 6, Supplement 1, 1 p., B-0077.

    Research output: Contribution to journalConference abstract in journalResearch

  18. Published

    Hippocampal texture predicts one-year hippocampal atrophy in mild cognitively impaired subjects

    Sørensen, L., Pai, A. S. U., Mysling, P., Darkner, Sune, Chen, G., Oh, J., Suhy, J., Igel, Christian & Nielsen, Mads, 2013. 1 p.

    Research output: Contribution to conferencePosterResearchpeer-review

  19. Published

    MCI trial enrichment using MRI hippocampus texture

    Sørensen, L., Igel, Christian & Nielsen, Mads, 2016, In: Alzheimer's & Dementia. 12, 7, Supplement, p. P108–P109 2 p., IC-P-146.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  20. 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 journalJournal articleResearchpeer-review

  21. Published

    Dementia diagnosis using MRI cortical thickness, shape, texture, and volumetry

    Sørensen, L., Pai, A. S. U., Anker, C., Balas, I., Lillholm, Martin, Igel, Christian & Nielsen, Mads, 2014, MICCAI 2014 Workshop Proceedings: Challenge on Computer-Aided Diagnosis of Dementia Based on Structural MRI Data. Bron, E. E., Smits, M., van Swieten, J. C., Niessen, W. J. & Klein, S. (eds.). Erasmus Universiteit Rotterdam, p. 111-118 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  22. Published

    Hippocampal MRI texture is related to hippocampal glucose metabolism

    Sørensen, L., Pai, A. S. U., Igel, Christian & Nielsen, Mads, 2015, In: Alzheimer's & Dementia. 11, 7, Supplement, p. P55-P56 2 p., IC-P-077.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  23. Published

    Hippocampal texture predicts conversion from MCI to Alzheimer's disease

    Sørensen, L., Pai, A. S. U., Igel, Christian & Nielsen, Mads, 2013, In: Alzheimer's & Dementia. 9, 4, Supplement, p. P581 1 p.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  24. Published

    Chronic Obstructive Pulmonary Disease Quantification Using CT Texture Analysis and Densitometry: Results From the Danish Lung Cancer Screening Trial

    Sørensen, L., Nielsen, Mads, Petersen, Jens, Pedersen, J. H., Dirksen, A. & de Bruijne, Marleen, 2020, In: American Journal of Roentgenology. 214, 6, p. 1269-1279

    Research output: Contribution to journalJournal articleResearchpeer-review

  25. Published

    Hippocampal texture provides volume-independent information for Alzheimer's disease diagnosis

    Sørensen, L., Pai, A. S. U., Darkner, Sune, Suhy, J., Oh, J., Chen, G., Igel, Christian & Nielsen, M., 2012, In: Alzheimer's & Dementia. 8, 4, Supplement, p. P162–P163 2 p.

    Research output: Contribution to journalConference abstract in journalResearch

  26. Published

    Quantitative analysis of pulmonary emphysema using local binary patterns

    Sørensen, L. E. B. L., Shaker, S. B. & de Bruijne, Marleen, 2010, In: IEEE Transactions on Medical Imaging. 29, 2, p. 559-569 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  27. Published

    The Visible Ear: A Digital Image Library of the Temporal Bone

    Sørensen, M. S., Dobrzeniecki, A. B., Larsen, P., Frisch, T., Sporring, Jon & Darvann, T. A., 2002, In: Journal of Oto-Rhino-Laryngology and its related Specialities. 64(6), p. 378-381

    Research output: Contribution to journalJournal articleResearchpeer-review

  28. 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 journalJournal articleResearchpeer-review

  29. Published

    Exploring interactions with physically dynamic bar charts

    Taher, F., Hardy, J., Karnik, A., Weichel, C., Jansen, Y., Hornbæk, Kasper & Alexander, J., 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3237-3246 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  30. Published

    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, In: IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 451-460 10 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  31. 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 proceedingArticle in proceedingsResearchpeer-review

  32. Published
  33. 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 journalJournal articleResearchpeer-review

  34. Published

    Nonrigid registration of volumetric images using ranked order statistics

    Tennakoon, R., Bab-Hadiashar, A., Cao, Z. & de Bruijne, Marleen, 2014, In: I E E E Transactions on Medical Imaging. 33, 2, p. 422-432 11 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  35. Published

    Efficient nonrigid registration using ranked order statistics

    Tennakoon, R. B., Bab-Hadiashar, A., de Bruijne, Marleen & Cao, Z., 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 496-499 4 p. (International Symposium on Biomedical Imaging. Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  36. Published

    The history of bronchiectasis on CT in cystic fibrosis

    Tepper, L. A., de Bruijne, Marleen, Caudri, D., Perez-Rovira, A. & Tiddens, H., 2013, In: Pediatric Pulmonology. 48, S36, p. 354 1 p., 408.

    Research output: Contribution to journalConference abstract in journalResearchpeer-review

  37. Published

    The development of bronchiectasis on chest computed tomography in children with cystic fibrosis: can pre-stages be identified?

    Tepper, L. A., Caudri, D., Rovira, A. P., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, In: European Radiology. 26, 12, p. 4563-4569 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  38. Published

    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. (eds.). Proceedings of Machine Learning Research, p. 466-492 (Proceedings of Machine Learning Research, Vol. 76).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  39. Published

    CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks

    Thomas Jankvist, U. & Misfeldt, Morten, 2019, In: REDIMAT - Journal of Research in Mathematics Education. 8, 3, p. 232-266 35 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  40. Published

    Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics

    Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  41. Published

    Cleaning up: garbage-free reversible circuits by design languages

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  42. Published

    Interpretation and programming of the reversible functional language RFUN

    Thomsen, Michael Kirkedal & Axelsen, H. B., 14 Sep 2015, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015. Association for Computing Machinery, Inc., 13 p. 8. (ACM International Conference Proceeding Series, Vol. 14-16-September-2015).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  43. Published

    Bottom-k and priority sampling, set similarity and subset sums with minimal independence

    Thorup, Mikkel, 2013, STOC '13: Proceedings of the 45th Annual ACM Symposium on Symposium on Theory of Computing. Association for Computing Machinery, p. 371-380 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  44. Published

    Sample(x)=(a*x< =t) is a distinguisher with probability 1/8

    Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1277-1291 15 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  45. Published

    Twisted tabulation hashing

    Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 209-228 20 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  46. Published

    Simple tabulation, fast expanders, double tabulation, and high independence

    Thorup, Mikkel, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 90-99 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  47. Published

    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. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 p. 4. (Leibniz International Proceedings in Informatics, Vol. 80).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  48. 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 proceedingConference abstract in proceedingsResearchpeer-review

  49. Published

    Mihai Pätrascu: obituary and open problems

    Thorup, Mikkel, 2013, In: SIGACT News. 44, 1, p. 110-114 5 p.

    Research output: Contribution to journalJournal articleResearch

  50. Published

    Funding successful research

    Thorup, Mikkel, 2013, In: Communications of the A C M. 56, 3, p. 38-39 2 p.

    Research output: Contribution to journalComment/debateResearch