Department of Computer Science

Read more
251 - 300 out of 1,702Page size: 50
Sort by: Title
  1. Published

    Supercompilation for datatypes

    Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).

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

  2. Published

    Submodular unsplittable flow on trees

    Adamaszek, A. M., Chalermsook, P., Ene, A. & Wiese, A., 2016, Integer Programming and Combinatorial Optimization: 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings. Louveaux, Q. & Skutella, M. (eds.). Springer, p. 337-349 13 p. (Lecture notes in computer science, Vol. 9682).

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

  3. Published

    Sublinear distance labeling

    Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).

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

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

  5. Published

    Studying usability evaluation to improve its practical utility

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Proceedings of Fourth Danish HCI Research Symposium. ?, p. ?

    Research output: Contribution to journal › Journal article › Research

  6. Published

    Studying the Utility of Metaphors of Human Thinking in HCI

    Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21

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

  7. Published

    Studying the Utility of Mataphors of Human Thinking in HCI

    Hornbæk, Kasper & Frøkjær, Erik, 2002, Danmark. 3 p.

    Research output: Book/Report › Report › Communication

  8. Published

    Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies

    Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).

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

  9. Published

    Structure of casein micelles studied by small-angle neutron scattering

    Hansen, S., Bauer, R., Lomholt, S., Quist, K., Pedersen, Johan & Mortensen, Kell, 1 Feb 1996, In: European Biophysics Journal. 24, 3, p. 143-147

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

  10. Published

    Structural parcellation of the thalamus using shortest-path tractography

    Kasenburg, N., Darkner, Sune, Hahn, U., Liptrot, M. G. & Feragen, A., 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 559-563 5 p. 7493330

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

  11. Published

    Structural logical relations with case analysis and equality reasoning

    Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

  12. Published

    Structural connectivity analysis using finsler geometry

    Dela Haije, T., Savadjiev, P., Fuster, A., Schultz, R. T., Verma, R., Florack, L. & Westin, C. F., 2019, In: SIAM Journal on Imaging Sciences. 12, 1, p. 551-575 25 p.

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

  13. Published

    Structural characterisation of multilayer lipid bilayer by small-angel neutron and X-ray scattering

    Ishoy, T., Lemmich, J., Ipsen, J., Honger, T., Petersen, Jens, Kharkar, J., Nylander, T., Mortensen, Kell, Bauer, R. & Mouritsen, Ole G., 1 Jan 2001, In: Biophysical Society. Annual Meeting. Abstracts. 80, 1, p. 522A-522A

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

  14. Published

    Strengthened lazy heaps: surpassing the lower bounds for binary heaps

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2014, In: arXiv.org: Computer science. arXiv:1407.3377, 14 p.

    Research output: Contribution to journal › Journal article › Research

  15. Published

    Strength of the reversible, garbage-free 2k ± 1 multiplier

    Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).

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

  16. Published

    Streamlets for visualisation and data exploration

    Liptrot, M. G., 14 Sep 2016. 1 p.

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

  17. Published

    Streamlet Tractography

    Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, Apr 2017.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  18. Published

    Streaming nested data parallelism on multicores

    Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.

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

  19. Published

    Streaming for Functional Data-Parallel Languages

    Madsen, F. M., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  20. Published

    Stream Processing Using Grammars and Regular Expressions

    Rasmussen, U. T., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  21. Published

    Strategies for regular segmented reductions on GPU

    Larsen, R. W. & Henriksen, Troels, 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.

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

  22. Published

    Stochastic development regression using method of moments

    Kühnel, L. & Sommer, Stefan Horst, 2017, Geometric Science of Information: Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings. Nielsen, F. & Barbaresco, F. (eds.). Springer, p. 3-11 9 p. (Lecture notes in computer science, Vol. 10589).

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

  23. Published

    Stochastic development regression on non-linear manifolds

    Kühnel, L. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 53-64 12 p. (Lecture notes in computer science, Vol. 10265).

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

  24. Published

    Stochastic Modelling on Manifolds

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

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

  25. Published

    Stereotyping in Globally distributed Collaboration: A CSCW Thesis on Global Software Development.

    Matthiesen, S., 2019, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  26. Published

    Stepwise inverse consistent Euler’s scheme for diffeomorphic image registration

    Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, p. 223-230 8 p. (Lecture notes in computer science, Vol. 8545).

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

  27. Published

    Steiner tree heuristics in Euclidean d-space

    E. Olsen, A., Lorenzen, S. S., Fonseca, R. & Winter, Pawel, 2014. 26 p.

    Research output: Contribution to conference › Paper › Research

  28. Published

    Steiner tree heuristic in the Euclidean d-space using bottleneck distances

    Lorenzen, S. S. & Winter, Pawel, 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 217-230 14 p. (Lecture notes in computer science, Vol. 9685).

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

  29. Published

    Statistical modeling and removal of lipid membrane projections for cryo-EM structure determination of reconstituted membrane proteins

    Jensen, K. H., Brandt, S. S., Shigematsu, H. & Sigworth, F. J., 2016, In: Journal of Structural Biology. 194, 1, p. 49-60 12 p.

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

  30. Published

    Statistical coronary motion models for 2D + t/3D registration of X-ray coronary angiography and CTA

    Baka, N., Metz, C. T., Schultz, C., Neefjes, L., van Geuns, R. J., Lelieveldt, B. P. F., Niessen, W. J., van Walsum, T. & de Bruijne, Marleen, 2013, In: Medical Image Analysis. 17, 6, p. 698-709 12 p.

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

  31. Published

    Statistical Modelling of Synaptic Vesicles Distribution and Analysing their Physical Characteristics

    Khanmohammadi, M., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

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

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

  33. Published

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

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

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

  34. Published

    Standardized evaluation of algorithms for computer-aided diagnosis of dementia based on structural MRI: The CADDementia challenge

    Bron, E. E., Smits, M., van der Flier, W. M., Vrenken, H., Barkhof, F., Scheltens, P., Papma, J. M., Steketee, R. M. E., Méndez Orellana, C., Meijboom, R., Pinto, M., Meireles, J. R., Garrett, C., Bastos-Leite, A. J., Abdulkadir, A., Ronneberger, O., Amoroso, N., Bellotti, R., Cárdenas-Peña, D., Álvarez-Meza, A. M. & 30 others, Dolph, C. V., Iftekharuddin, K. M., Eskildsen, S. F., Coupé, P., Fonov, V. S., Franke, K., Gaser, C., Ledig, C., Guerrero, R., Tong, T., Gray, K. R., Moradi, E., Tohka, J., Routier, A., Durrleman, S., Sarica, A., Di Fatta, G., Sensi, F., Chincarini, A., Smith, G. M., Stoyanov, Z. V., Sørensen, L. E. B. L., Nielsen, Mads, Tangaro, S., Inglese, P., Wachinger, C., Reuter, M., van Swieten, J. C., Niessen, W. J. & Klein, S., 2015, In: NeuroImage. 111, p. 562-579 18 p.

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

  35. Published

    Standardization of a chest-CT protocol for multi-center trial in cystic fibrosis (CF) infants

    Ciet, P., Graniel, K. G., Stick, S., de Bruijne, Marleen, Tiddens, H. & van Straten, M., 2012, In: Journal of Thoracic Imaging. 27, 5, p. W127 1 p., O47.

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

  36. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

    Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).

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

  37. Published

    Spirometer-controlled cine magnetic resonance imaging to diagnose tracheobronchomalacia in pediatric patients

    Ciet, P., Wielopolski, P., Manniesing, R., Lever, S., de Bruijne, Marleen, Morana, G., Muzzio, P. C., Lequin, M. H. & Tiddens, H. A. W. M., 2014, In: European Respiratory Journal. 43, 1, p. 115-124 10 p.

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

  38. Published

    Spiral toolpaths for high-speed machining of 2d pockets with or without islands

    Abrahamsen, Mikkel, 2015, Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2015. American Society of Mechanical Engineers, Vol. 2B. 10 p. DETC2015-46255

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

  39. Published

    Spinal image processing method, involves segmenting image of two vertebrae to obtain data representative of shape and size of vertebrae, and comparing shape and size with predicted unfractured shape and size of vertebrae

    de Bruijne, Marleen, Lund, M., Nielsen, Mads & Pettersen, P., 2006, IPC No. G06T-007/00, Patent No. WO2006087190-A1, 24 Aug 2006, Priority date 16 Feb 2005, Priority No. GB003236

    Research output: Patent

  40. 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 proceeding › Article in proceedings › Research › peer-review

  41. Published

    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. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  42. Published

    Speedy greedy feature selection: better redshift estimation via massive parallelism

    Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.

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

  43. Published

    Speeding up many-objective optimization by Monte Carlo approximations

    Bringmann, K., Friedrich, T., Igel, Christian & Voß., T., 2013, In: Artificial Intelligence. 204, p. 22-29 8 p.

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

  44. Published

    Specialised tools are needed when searching the web for rare disease diagnoses

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, I., Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: Rare Diseases. 1, 1, 4 p., e25001.

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

  45. Published

    Special section on 19th Scandinavian conference on image analysis (SCIA 2015)

    Steenstrup Pedersen, Kim & R. Paulsen, R., 2016, In: Pattern Recognition Letters. 80, p. 238 1 p.

    Research output: Contribution to journal › Editorial › Research

  46. Published

    Special issue on information infrastructures for healthcare: The global and local relation

    Bjorn, Pernille & Kensing, Finn, May 2013, In: International Journal of Medical Informatics. 82, 5, p. 281-282

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

  47. Published

    Special Topic: Taking Action in a Changing World

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

    Research output: Contribution to journal › Journal article › Communication

  48. Published

    Special Issue on Tribute Workshop for Peter Johansen

    Nielsen, Mads, de Bruijne, Marleen, Jørgensen, Camilla Holm, Olsen, Søren Ingvor, Steenstrup Pedersen, Kim & Sporring, Jon, 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 119-120

    Research output: Contribution to journal › Editorial › Research

  49. Published

    Special Issue on Partial Differential Equations Methods in Graphics and Vision

    Sporring, Jon (ed.), 2007, Barcelona: Universitat Autonoma de Barcelona. 66 p. (Electronic Letters on Computer Vision and Image Analysis; No. 6(2)).

    Research output: Book/Report › Anthology › Research

  50. Published

    Spatial and Temporal Ray Differentials

    Sporring, Jon, Schjøth, L. & Erleben, Kenny, 2009, Department of Computer Science: Department of Computer Science, University of Copenhagen. 14 p. (Technical Report; No. 04, Vol. 2009).

    Research output: Book/Report › Report › Research

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