Department of Computer Science

Read more
1501 - 1550 out of 1,702Page size: 50
  1. 2018
  2. Published

    The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab

    Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).

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

  3. Published

    The Copenhagen team participation in the factuality task of the competition of automatic identification and verification of claims in political debates of the CLEF-2018 Fact Checking Lab

    Wang, D., Simonsen, Jakob Grue, Larsen, B. & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 10 p. 98. (CEUR Workshop Proceedings, Vol. 2125).

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

  4. Published

    The Dream is Collapsing: The Experience of Exiting VR

    Knibbe, J., Schjerlund, J., Petraeus, M. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 483

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

  5. Published

    The art gallery problem is ∃ ℝ-complete

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2018, STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 65-73

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

  6. Published

    The bane of low-dimensionality clustering

    Cohen-Addad, V., De Mesmay, A., Rotenberg, E. & Roytman, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 441-456

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

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

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

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

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

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

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

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

  14. Published

    Graph Processing on GPUs: A Survey

    Shi, X., Zheng, Z., Zhou, Yongluan, Jin, H., He, L., Liu, B. & Hua, Q., Jan 2018, In: A C M Computing Surveys. 50, 6, 35 p., 81.

    Research output: Contribution to journal › Review › Research › peer-review

  15. Published

    Sparse incomplete LU-decomposition for wave farm designs under realistic conditions

    Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).

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

  16. Published

    Stateful load balancing for parallel stream processing

    Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).

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

  17. Published

    Hierarchical Clustering: Objective Functions and Algorithms

    Cohen-addad, V., Kanade, V., Mallmann-trenn, F. & Mathieu, C., 2 Jan 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 378-397

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

  18. Published

    Driving Structural Transitions in Molecular Simulations Using the Nonequilibrium Candidate Monte Carlo

    Kurut, A., Fonseca, R. & Boomsma, Wouter, 25 Jan 2018, In: Journal of Physical Chemistry Part B: Condensed Matter, Materials, Surfaces, Interfaces & Biophysical. 122, 3, p. 1195-1204

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

  19. Published

    Blockchains for Business Process Management - Challenges and Opportunities

    Mendling, J., Weber, I., van der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., Garcia-Banuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 others, Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, Tijs, Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., Feb 2018, In: ACM Transactions on Management Information Systems. 9, 1, 16 p., 4.

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

  20. Published

    Discourse-aware rumour stance classification in social media using sequential classifiers

    Zubiaga, A., Kochkina, E., Liakata, M., Procter, R., Lukasik, M., Bontcheva, K., Cohn, T. & Augenstein, Isabelle, Mar 2018, In: Information Processing & Management. 54, 2, p. 273-290

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

  21. Published

    Subclinical depressive symptoms during late midlife and structural brain alterations: A longitudinal study of Danish men born in 1953

    Osler, Merete, Sørensen, L., Rozing, M., Calvo, O. P., Nielsen, Mads & Rostrup, E., Apr 2018, In: Human Brain Mapping. 39, 4, p. 1789-1795

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

  22. Published

    It’s a Wrap: Mapping On-Skin Input to Off-Skin Displays

    Bergström, Joanna, Hornbæk, Kasper & Boring, S., 20 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 564

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

  23. Published

    Function Point Analysis FPA on A Team Planning Website Based on PHP and MYSQL

    Lassen, Anders, 18 May 2018, In: Journal of Information Technology and Software Engineering. 8, 3, 5 p., 237.

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

  24. Published

    TiltStacks: Composing shape-changing interfaces using tilting and stacking of modules

    Tiab, J., Boring, S., Strohmeier, P., Markussen, A., Alexander, J. & Hornbæk, Kasper, 29 May 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Catarci, T., Marrella, A., Leotta, F. & Mecella, M. (eds.). Association for Computing Machinery, a44

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

  25. Published

    Power of d choices with simple tabulation

    Aamand, Anders, Knudsen, M. B. T. & Thorup, Mikkel, 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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

  26. Published

    Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)

    Grønhøj, C., Jensen, D. H., Vester-Glowinski, Peter Viktor, Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, Lena, Thomsen, C., Darkner, Sune, Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, Christian, 1 Jul 2018, In: International Journal of Radiation Oncology, Biology, Physics. 101, 3, p. 581-592 12 p.

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

  27. Published

    Concrete Semantics with Coq and CoqHammer

    Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 Jul 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (eds.). Springer, p. 53-59 5. (Lecture Notes in Computer Science, Vol. 11006).

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

  28. Published

    Veros v0.1-a fast and versatile ocean simulator in pure Python

    Hafner, D., Jacobsen, R. L., Eden, C., Kristensen, M. R. B., Jochum, Markus, Nuterman, Roman & Vinter, B., 16 Aug 2018, In: Geoscientific Model Development. 11, 8, p. 3299-3312

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

  29. Published

    Transfer learning for multicenter classification of chronic obstructive pulmonary disease

    Cheplygina, V., Peña, I. P., Pedersen, J. J. H., Lynch, D. A., Sørensen, L. & de Bruijne, Marleen, Sep 2018, In: IEEE Journal of Biomedical and Health Informatics. 22, 5, p. 1486 - 1496

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

  30. Published

    An O(log k)-Competitive Algorithm for Generalized Caching

    Adamaszek, A., Czumaj, A., Englert, M. & Räcke, H., 16 Nov 2018, In: ACM Transactions on Algorithms. 15, 1, p. 1-18 6.

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

  31. Published

    Pre-intervention test-retest reliability of EEG and ERP over four recording intervals

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L. B., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Knudsen, Gitte Moos & Christensen, S. R., 1 Dec 2018, In: International Journal of Psychophysiology. 134, p. 30-43

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

  32. 2019
  33. Published

    A concurrent data collection environment for wasteful communication satellite system

    Skovsgaard, T., Sørensen, P. D., Dickson, L. J., Quarrie, L. O. B. & Vinter, B., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 189-197 9 p. (Concurrent Systems Engineering Series, Vol. 70).

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

  34. Published

    Advances in Quantitative Ethnography: First International Conference, ICQE 2019, Madison, WI, USA, October 20–22, 2019, Proceedings

    Eagan, B. (ed.), Misfeldt, Morten (ed.) & Siebert-Evenstone, A. (ed.), 2019, Springer. 360 p. (Communications in Computer and Information Science).

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

  35. Published

    Algorithms and AI in Education

    Hjuler, N. O. D., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  36. Published

    Approximation schemes for independent set and sparse subsets of polygons

    Adamaszek, A., Har-Peled, S. & Wiese, A., 2019, In: Journal of the ACM. 66, 4, 40 p., 29.

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

  37. 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 journal › Journal article › Research › peer-review

  38. Published

    Augmented reality views for occluded interaction

    Lilija, K., Pohl, H., Boring, S. & Hornbæk, Kasper, 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 446

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

  39. Published

    Bigger buffer k-d trees on multi-many-core systems

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).

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

  40. 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 journal › Journal article › Research › peer-review

  41. Published

    Cerebral serotonin transporter measurements with [11C]DASB: A review on acquisition and preprocessing across 21 PET centres

    Nørgaard, M., Ganz, Melanie, Svarer, C., Feng, L., Ichise, M., Lanzenberger, R., Lubberink, M., Parsey, R. V., Politis, M., Rabiner, E. A., Slifstein, M., Sossi, V., Suhara, T., Talbot, P. S., Turkheimer, F., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, 2, p. 210-222 13 p.

    Research output: Contribution to journal › Review › Research › peer-review

  42. Published

    Change in mammographic density across birth cohorts of Dutch breast cancer screening participants

    Napolitano, George, Lynge, Elsebeth, Lillholm, Martin, Vejborg, I. M. M., van Gils, C. H., Nielsen, Mads & Karssemeijer, N., 2019, In: International Journal of Cancer. 145, 11, p. 2954-2962 9 p.

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

  43. Published

    Charting Subtle Interaction in the HCI Literature

    Pohl, H., Muresan, A. & Hornbæk, Kasper, 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 15 p. 418

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

  44. Published

    Chats with Bots: Balancing Imitation and Engagement

    Muresan, A. & Pohl, H., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 6 p. LBW0252

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

  45. Published

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

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

  46. Published

    Deterministic Group Tractography with Local Uncertainty Quantification

    Holm, Andreas Nugaard, Feragen, A., Dela Haije, T. & Darkner, Sune, 2019, Computational Diffusion: International MICCAI Workshop, Granada,. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). 226249 ed. Springer, p. 377-386 (Mathematics and Visualization).

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

  47. Published

    Differential geometry and stochastic dynamics with deep learning numerics

    Kühnel, L., Sommer, Stefan Horst & Arnaudon, A., 2019, In: Applied Mathematics and Computation. 356, p. 411-437 27 p.

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

  48. Published

    Effectiveness of CRT-D Versus ICD on Prevention of Electrical Storm: Big Data from the USA

    Shakibfar, Saeed, Yazdchi, M. & Aliakbaryhosseinabadi, S., 2019, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019. Institute of Electrical and Electronics Engineers Inc., p. 302-304 3 p. 8857530

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

  49. Published

    Faster k-SAT algorithms using biased-PPSZ

    Hansen, T. D., Kaplan, H., Zamir, O. & Zwick, U., 2019, STOC: ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 578-589

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

  50. Published

    Hardness of bichromatic closest pair with Jaccard similarity

    Pagh, R., Stausholm, N. M. & Thorup, Mikkel, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 74. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

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

  51. Published

    How we Guide, Write, and Cite at CHI

    Pohl, H. & Mottelson, A., 2019, CHI Conference on Human Factors in Computing Systems Extended Abstracts - CHI '19 EA. Association for Computing Machinery, p. 1-10 10 p. alt01

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

  52. Published

    Impact of device programming on the success of the first anti-tachycardia pacing therapy: An anonymized large-scale study

    Shakibfar, Saeed, Krause, Oswin, Lund-Andersen, Casper, Strycko, F., Moll, J., Andersen, Tariq Osman, Høgh Petersen, H., Svendsen, Jesper Hastrup & Igel, Christian, 2019, In: PLoS ONE. 14, 8, e0219533.

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

Previous 1...27 28 29 30 31 32 33 34 35 Next