Datalogisk Institut

Læs mere
201 - 300 ud af 1.702Pr. side: 100
Sortering: Udgivelsesår
  1. 2018
  2. Udgivet

    Designing eTextiles for the Body: Shape, Volume Motion

    Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, s. 728-731

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    Formal proof of polynomial-time complexity with quasi-interpretations

    Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, s. 146-157

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Udgivet

    Better tradeoffs for exact distance oracles in planar graphs

    Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 515-529

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Udgivet

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, R., 2018, I: Logical Methods in Computer Science. 14, 3, 38 s., 16.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, R., 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 155-171

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, Robert & Yokoyama, T., 2018, I: New Generation Computing. 36, 3, s. 143-144

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  8. Udgivet

    State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation

    Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, I: International Affairs. 95, 5, s. 975-994

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. Udgivet

    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, I: International Journal of Radiation Oncology, Biology, Physics. 101, 3, s. 581-592 12 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    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. (red.). Springer, s. 80-93 14 s. (Lecture notes in computer science, Bind 10659).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  11. Udgivet

    ARRIVAL: Next stop in CLS

    Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 s. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 107).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  12. Udgivet

    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, I: Geoscientific Model Development. 11, 8, s. 3299-3312

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  13. Udgivet

    Generating graphs packed with paths: Estimation of linear approximations and differentials

    Hall-Andersen, M. & Vejre, P. S., 2018, I: IACR Transactions on Symmetric Cryptology. 2018, 3, s. 265-289 25 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  14. Udgivet

    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. (red.). 10 udg. CEUR-WS.org, 8 s. 81. (CEUR Workshop Proceedings, Bind 2125).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  15. Udgivet

    Segmentation of Brains and Rocks from Tomographic Reconstructions

    Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 s.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  16. Udgivet

    Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl

    Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, s. 427-434

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  17. Udgivet

    Modular Acceleration: Tricky Cases of Functional High-performance Computing

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (red.). New York, NY, USA: Association for Computing Machinery, s. 10-21 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  18. Udgivet

    Dynamic bridge-finding in Õ(log2 n) amortized time

    Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 35-52 18 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  19. Udgivet

    Local Models for Data Driven Inverse Kinematics of Soft Robots

    Holsten, F. D., Darkner, S., Engell-Nørregård, M. P. & Erleben, Kenny, 2018, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation - Posters. Skouras, M. (red.). The Eurographics Association, 1 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  20. Udgivet

    Commentary: Usability and Theory Building

    Hornbæk, Kasper, 2018, I: Human-Computer Interaction. 33, 2, s. 186-189

    Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning

  21. Udgivet

    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, I: International Journal of Psychophysiology. 134, s. 30-43

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  22. Udgivet

    CoreFun: A typed functional reversible core language

    Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 304-321 (Lecture notes in computer science, Bind 11106).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  23. Udgivet

    Interactive Instruction in Bayesian Inference

    Khan, A., Breslav, S. & Hornbæk, Kasper, 2018, I: Human-Computer Interaction. 33, s. 207–233

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  24. Udgivet

    Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings

    Klein, S. (red.), Staring, M. (red.), Durrleman, S. (red.) & Sommer, Stefan Horst (red.), 2018, Springer. 127 s. (Image Processing, Computer Vision, Pattern Recognition, and Graphics, Bind 10883).

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  25. Udgivet

    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, s. 1-13 483

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  26. Udgivet

    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. (red.). Society for Industrial and Applied Mathematics, s. 867-880 14 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  27. Udgivet

    Robust Active Label Correction

    Kremer, J., Sha, F. & Igel, Christian, 2018, Proceedings of the Twenty-First International Conference on Artificial Intelligence and Statistics. PMLR, Bind 84. s. 308-316 9 s. (Proceedings of Machine Learning Research). (Proceedings of Machine Learning Research, Bind 84).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  28. Udgivet

    Classification of Alzheimer and MCI phenotypes on MRI data using SVM

    Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, s. 263-275 (Advances in Intelligent Systems and Computing, Bind 678).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  29. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  30. Udgivet

    Stochastic Modelling on Manifolds

    Kühnel, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  31. Udgivet

    Infrastructures for healthcare: from synergy to reverse synergy

    Langhoff, T. O., Amstrup, M. H., Mørck, P. & Bjorn, Pernille, 2018, I: Health Informatics Journal. 24, 1, s. 43-53

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  32. Udgivet

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

    Lassen, Anders, 18 maj 2018, I: Journal of Information Technology and Software Engineering. 8, 3, 5 s., 237.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  33. Udgivet

    Special Topic: Taking Action in a Changing World

    Light, A., Frauenberger, C., Preece, J., Strohmeier, P. & Ferrario, M. A., 2018, I: interactions. 25, 1, s. 34-45 12 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

  34. Udgivet

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 s.

    Publikation: Konferencebidrag › Paper › Forskning

  35. Udgivet

    Robust training of recurrent neural networks to handle missing data for disease progression modeling

    Mehdipour Ghazi, Mostafa, Nielsen, Mads, Pai, A. S. U., Cardoso, M. J., Modat, M., Ourselin, S. & Sørensen, L., 2018. 9 s.

    Publikation: Konferencebidrag › Paper › Forskning

  36. Udgivet

    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 flere, 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, I: ACM Transactions on Management Information Systems. 9, 1, 16 s., 4.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  37. Udgivet

    Consistent Hashing with bounded loads

    Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 587-604 18 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  38. Udgivet

    Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction

    Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  39. Udgivet

    Automatic Motility Analysis of Human Sperm

    Nissen, M. S., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  40. Udgivet

    Simultaneous synthesis of FLAIR and segmentation of white matter hypointensities from T1 MRIs

    Orbes-Arteaga, M., Cardoso, M. J., Sørensen, L., Modat, M., Ourselin, S., Nielsen, Mads & Pai, A. S. U., 2018. 8 s.

    Publikation: Konferencebidrag › Paper › Forskning

  41. Udgivet

    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, I: Human Brain Mapping. 39, 4, s. 1789-1795

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  42. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  43. Udgivet

    Improving the Choice of Organizational Change Strategy

    Pries-Heje, J., Carstensen, Peter, Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Proceedings. Springer, s. 83-94 (Communications in Computer and Information Science, Bind 896).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  44. Udgivet

    Computerlingvistik: Metoder til visualisering af regional variation i sociale medier

    Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (red.). Frederiksberg: Samfundslitteratur, s. 121-143 23 s. (Medier, Kommunikation, Journalistik).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  45. Udgivet

    LED-based Photometric Stereo: Modeling, Calibration and Numerical Solutions

    Quéau, Y., Durix, B., Wu, T., Cremers, D., Lauze, Francois Bernard & Durou, J., 2018, I: Journal of Mathematical Imaging and Vision. 60, 3, s. 313-340

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  46. Udgivet

    Mean Field Network Based Graph Refinement with Application to Airway Tree Extraction

    Selvan, Raghav, Welling, M., Pedersen, J. J. H., Petersen, Jens & de Bruijne, Marleen, 2018, Medical Image Computingand Computer AssistedIntervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16–20, 2018, Proceedings, Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (red.). Springer, s. 750-758 (Lecture notes in computer science, Bind 11071).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  47. Udgivet

    From image acquisition with unmanned aerial vehicles (UAV) to patch spraying in farmer's fields

    Rasmussen, Jesper, Nielsen, J., Olsen, Søren Ingvor, Steenstrup Pedersen, Kim, Jensen, J. E. & Horfarter, R., 2018, 18th European Weed Research Society Symposium: book of abstracts. European Weed Research Society, s. 75 1 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning

  48. Udgivet

    Within-Network Classification in Temporal Graphs

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  49. Udgivet

    Sluice resolution without hand-crafted features over brittle syntax trees

    Rønning, Ola, Hardt, D. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Bind 1. s. 236–241

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  50. Udgivet

    Chunked Bounding Volume Hierarchies for fast digital prototyping using volumetric meshes

    Schmidtke, R. & Erleben, Kenny, 2018, I: IEEE Transactions on Visualization and Computer Graphics. 24, 12, s. 3044-3057

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  51. Udgivet

    Reactors: A Case for Predictable, Virtualized Actor Database Systems

    Shah, V. & Vaz Salles, M. A., 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (red.). Association for Computing Machinery, s. 259-274

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  52. Udgivet

    Graph Processing on GPUs: A Survey

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

    Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt

  53. Udgivet

    Brain Segmentation in Rodent MR-Images Using Convolutional Neural Networks

    Sigurdsson, B., Darkner, Sune, Sommer, Stefan Horst, Mortensen, K. N., Sanggaard, S., Kostrikov, S. & Nedergaard, Maiken, 2018.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  54. Udgivet

    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, s. 188-198

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  55. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  56. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  57. Udgivet

    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 maj 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Catarci, T., Marrella, A., Leotta, F. & Mecella, M. (red.). Association for Computing Machinery, a44

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  58. Udgivet

    Encryption and reversible computations: Work-in-progress paper

    Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  59. Udgivet

    From Quantified Self to Quality of Life

    Wac, Katarzyna, 2018, Digital Health: Scaling Healthcare to the World. Rivas, H. & Wac, K. (red.). Springer, s. 83-108 (Health Informatics Series).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  60. Udgivet

    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. (red.). 10 udg. CEUR-WS.org, 10 s. 98. (CEUR Workshop Proceedings, Bind 2125).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  61. Udgivet

    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, I: Information Processing & Management. 54, 2, s. 273-290

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  62. 2017
  63. Udgivet

    Best laid plans of lions and men

    Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 s. 6. (Leibniz International Proceedings in Informatics, Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  64. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  65. Udgivet

    Minimum perimeter-sum partitions in the plane

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 4. (Leibniz International Proceedings in Informatics, Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  66. Udgivet

    Near-Optimal Induced Universal Graphs for Bounded Degree Graphs

    Abrahamsen, Mikkel, Alstrup, Stephen, Holm, Jacob, Knudsen, M. B. T. & Stöckel, M., 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 201. Chatzigiannaki, I., Indyk, P., Kuhn, F. & Muscholl, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-14 128. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 80).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  67. Udgivet

    Range-clustering queries

    Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 s. 5. (Leibniz International Proceedings in Informatics, Bind 77).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  68. Udgivet

    Hardness of approximation for strip packing

    Adamaszek, A. M., Kociumaka, T., Pilipczuk, M. & Pilipczuk, M., sep. 2017, I: ACM Transactions on Computation Theory. 9, 3, 7 s., 14.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  69. Udgivet

    Reordering buffer management with advice

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  70. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  71. Udgivet

    DABAI: A data driven project for e-Learning in Denmark

    Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 jan. 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (red.). Academic Conferences and Publishing International, s. 18-24 7 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  72. Udgivet

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., sep. 2017, I: Journal of the ACM. 64, 4, 22 s., 27.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  73. Udgivet

    Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs

    Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, s. 295–305

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  74. Udgivet

    A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (red.). The Eurographics Association, s. 39-48 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  75. Udgivet

    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, I: Computers & Graphics. 69, s. 36-48 13 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  76. Udgivet

    Bringing content understanding into usability testing in complex application domains—a case study in eHealth

    Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Bind Part 1. s. 327-341 15 s. (Lecture notes in computer science, Bind 10288).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  77. Udgivet

    SCAUT: using patient-generated data to improve remote monitoring of cardiac device patients

    Andersen, Tariq Osman & Moll, J., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (red.). Association for Computing Machinery, s. 444-447 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  78. Udgivet

    Understanding patient experience: a deployment study in cardiac remote monitoring

    Andersen, Tariq Osman, Andersen, P. R. D., Kornum, A. C. & Larsen, T. M., 2017, Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare. Oliver, N., Czerwinski, M. & Matic, A. (red.). Association for Computing Machinery, s. 221-230 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  79. 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/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  80. Udgivet

    Constraint reordering for iterative multi-body simulation with contact

    Andrews, S., Erleben, Kenny & Teichmann, M., 2017. 2 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  81. Udgivet

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  82. Udgivet

    A stochastic large deformation model for computational anatomy

    Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, s. 571-582 12 s. (Lecture notes in computer science, Bind 10265).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  83. Udgivet

    Multi-Task Learning of Keyphrase Boundary Classification

    Augenstein, Isabelle & Søgaard, Anders, 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics : (Short Papers). Barzilay, R. & Kan, M-Y. (red.). Association for Computational Linguistics, Bind 2. s. 341-346 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  84. Udgivet

    A chainlike relative coordinate system for few-particle problems

    Avery, James Emil & Avery, J. S., 2017, I: Journal of Mathematical Chemistry. 55, 2, s. 584-597 14 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  85. Udgivet

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., aug. 2017, I: International Journal of Foundations of Computer Science. 28, 5, s. 503-522 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  86. Udgivet

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 aug. 2017, I: Politiken. s. 7-8 2 s.

    Publikation: Bidrag til tidsskrift › Bidrag til avis - Kronik › Formidling

  87. Udgivet

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 jul. 2017, I: Monthly Notices of the Royal Astronomical Society. 468, 4, s. 4323-4339 17 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  88. Udgivet

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., nov. 2017, I: IEEE Computer Graphics and Applications. 37, 6, s. 26-27 2 s.

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  89. Udgivet

    Placing and recalling virtual items on the skin

    Bergström, Joanna, Boring, S. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1497-1507 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  90. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  91. Udgivet

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., sep. 2017, I: Annals of Operations Research. 256, 1, s. 21-40 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  92. Udgivet

    Spherical convolutions and their application in molecular modelling

    Boomsma, Wouter & Frellsen, J., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (red.). NIPS Proceedings, 11 s. (Advances in Neural Information Processing Systems, Bind 30).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  93. Udgivet

    Reducing artifacts from varying projection truncations

    Borg, L., Jørgensen, J. S., Frikel, J., Quinto, E. T. & Sporring, Jon, 2017. 2 s.

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  94. Udgivet

    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, I: Measurement Science and Technology. 28, 12, 19 s., 124004.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  95. Udgivet

    Towards characterizing and reducing artifacts caused by varying projection truncation

    Borg, L., Jørgensen, J. S. & Sporring, Jon, 24 feb. 2017, Department of Computer Science, University of Copenhagen. 42 s. (Datalogisk Institut. Københavns Universitet. Technical Reports; Nr. 1, Bind 2017).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  96. Udgivet

    Minor-free graphs have light spanners

    Borradaile, G., Le, H. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 767-778 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  97. Udgivet

    Multiple-source multiple-sink maximum flow in directed planar graphs in near-linear time

    Borradaile, G., Klein, P. N., Mozes, S., Nussbaum, Y. & Wulff-Nilsen, Christian, 2017, I: SIAM Journal on Computing. 46, 4, s. 1280-1303 24 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  98. Udgivet

    Segmentation of intracranial arterial calcification with deeply supervised residual dropout networks

    Bortsova, G., van Tulder, G., Dubost, F., Peng, T., Navab, N., van der Lugt, A., Bos, D. & de Bruijne, Marleen, 2017, Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III. Descoteaux, M., Maier-Hein, L., Franz, A., Jannin, P., Collins, D. L. & Duchesne, S. (red.). Springer, s. 356-364 9 s. (Lecture notes in computer science, Bind 10435).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  99. Udgivet

    Cross-lingual and cross-domain discourse segmentation of entire documents

    Braud, C., Lacroix, O. & Søgaard, Anders, 1 jan. 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Bind 2. s. 237-243 7 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  100. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  101. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  102. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...18 Næste