Department of Computer Science

Read more
1201 - 1300 out of 1,702Page size: 100
Sort by: Title
  1. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993

    Bansler, Jørgen P., 1993, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  2. Published

    Proceedings of the 2nd Danish HCI Symposium

    Frøkjær, Erik (ed.) & Hornbæk, Kasper (ed.), 2002, København: DIKU. 47 p.

    Research output: Book/Report › Report › Research

  3. Published

    Proceedings of the 6th STL Workshop

    Katajainen, J. (ed.), 2006, 56 p.

    Research output: Book/Report › Book › Research

  4. Published

    Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computation (GECCO 2013)

    Blum, C. (ed.) & Igel, Christian (ed.), 2013, Association for Computing Machinery. 1766 p.

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

  5. Published

    Proceedings of the Fourth International Workshop on Mathematical Foundations of Computational Anatomy - Geometrical and Statistical Methods for Biological Shape Variability Modeling (MFCA 2013), Nagoya, Japan

    Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2013, INRIA. 134 p.

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

  6. Published

    Proceedings of the fifth international workshop on Mathematical Foundations of Computational Anatomy (MFCA 2015)

    Pennec, X. (ed.), Joshi, S. (ed.), Nielsen, Mads (ed.), Fletcher, T. P. (ed.), Durrleman, S. (ed.) & Sommer, Stefan Horst (ed.), 2015, INRIA. 173 p.

    Research output: Book/Report › Anthology › Research

  7. Published

    Processing method for mammogram image of breast involves deriving parameter that changes alongside changes in breast density based on aggregate pixel membership scores of classes

    Raundahl, J., Loog, M., Nielsen, Mads, Brandt, S. S. & Karemore, G., 2007, IPC No. G06K-009/52, Patent No. WO2007090892-A1, 16 Aug 2007, Priority date 10 Feb 2006, Priority No. GB002739

    Research output: Patent

  8. Published

    Programming in biomolecular computation

    Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, In: Electronical Notes in Theoretical Computer Science. 268, p. 97-114 18 p.

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

  9. Published

    Programming in biomolecular computation: programs, self-interpretation and visualisation

    Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, In: Scientific Annals of Computer Science. 21, 1, p. 73-106 34 p.

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

  10. Published

    Programming macro tree transducers

    Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.

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

  11. Published

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).

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

  12. Published

    Project description: Foundations and tools for building well-behaved systems

    Katajainen, J., Elmasry, A., Elverkilde, J. D., Jensen, C., Rasmussen, J., Simonsen, B., Yde, L., Artho, C., Francechini, G. & Schupp, S., 2008, København: Department of Computer Science, University of Copenhagen, p. 1-7, 7 p.

    Research output: Working paper › Research

  13. Published

    Project performance engineering: final report

    Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, p. 11

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

  14. Published

    Project practical data structures and algorithms: Final report

    Katajainen, J. (ed.), 2006, 9 p.

    Research output: Book/Report › Book › Research

  15. Published

    Project proposal: The Copenhagen STL, CPH STL Report 2000-1

    Katajainen, J. & Yde, L., 2000, http://www.cphstl.dk, 5 p.

    Research output: Working paper › Research

  16. Published

    ProjectorKit: easing rapid prototyping of interactive applications for mobile projectors

    Weigel, M., Boring, S., Steimle, J., Marquardt, N., Greenberg, S. & Tang, A., 2013, MobileHCI '13: Proceedings of the 15th international conference on Human-Computer Interaction with Mobile devices and services. Association for Computing Machinery, p. 247-250 4 p.

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

  17. Published

    Promoting active participation in computer science lectures

    Sommer, Stefan Horst, 2014, Improving university science teaching and learning: pedagogical projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 209-222 14 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  18. Published

    Protein Decoy Generation Using Branch and Bound with Efficient Bounding

    Paluszewski, M. & Winter, Pawel, 2008, Algorithms in Bioinformatics: 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings. Crandall, K. A. & Lagergren, J. (eds.). Springer, p. 382-393 12 p. (Lecture Notes in Computer Science : Lecture Notes in Bioinformatics; No. 5251).

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

  19. Published

    Protein Structure Prediction Using Bee Colony Optimization Metaheuristic: Extended Abstract

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, In: Koebenhavns Universitet. Datalogisk Institut. Rapport. 12, 11 p.

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

  20. Published

    Protein structure prediction using bee colony optimization heuristic

    Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, Datalogisk Institut, Københavns Universitet. 11 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 12, Vol. 08).

    Research output: Book/Report › Report › Research

  21. Published

    Protein structure prediction using tabu search and half-sphere exposure measure

    Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006.

    Research output: Contribution to conference › Poster › Research

  22. Published

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).

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

  23. Published

    Proxemic-aware controls: designing remote controls for ubiquitous computing ecologies

    Ledo, D., Greenberg, S., Marquardt, N. & Boring, S., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 187-198 12 p.

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

  24. Published

    Proxemics for information visualization on wall-sized displays

    Jakobsen, M. R. & Hornbæk, Kasper, 2012. 5 p.

    Research output: Contribution to conference › Paper › Research

  25. Published

    Publishing E-RDF linked data for many agents by single third-party server

    Wang, D., Zhang, Y., Wang, Z. & Chen, T., 2017, Semantic Technology: 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Wang, Z., Turhan, A-Y., Wang, K. & Zhang, X. (eds.). Springer, p. 151-163 13 p. (Lecture notes in computer science, Vol. 10675).

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

  26. Published

    Putting your data structure on a diet

    Brönnimann, H., Katajainen, J. & Morin, P., 2007.

    Research output: Working paper › Research

  27. Published

    Putting your data structure on a diet (Abstract)

    Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  28. Published

    QoS-predictions service: Infrastructural support for proactive QoS- and context-a ware mobile services (position paper)

    Wac, Katarzyna, Van Halteren, A. & Konstantas, D., 1 Jan 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerS. Springer Verlag, p. 1924-1933 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4278 LNCS - II).

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

  29. Published

    Qualitative and quantitative assessment of step size adaptation rules

    Krause, Oswin, Glasmachers, T. & Igel, Christian, 2017, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 139-148 10 p.

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

  30. Published

    Quality of Life Technologies (definition)

    Wac, Katarzyna, 2020, Encyclopedia of Behavioral Medicine. Gellman, M. (ed.). 2 ed. Springer, 2 p.

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

  31. Published

    Quality of life technologies: experiences from the field and key challenges

    Wac, Katarzyna, Fiordelli, M., Gustarini, M. & Rivas, H., 2015, In: I E E E Internet Computing. 19, 4, p. 28-35 8 p.

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

  32. Published

    Quality-of-life technologies

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., Mar 2017, In: Computer. 50, 3, p. 15-19 5 p.

    Research output: Contribution to journal › Editorial › Research

  33. Published

    Quantification and visualization of variation in anatomical trees

    Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).

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

  34. Published

    Quantification of diaphragm mechanics in Pompe disease using dynamic 3D MRI

    Mogalle, K., Perez-Rovira, A., Ciet, P., Wens, S. C. A., van Doorn, P. A., Tiddens, H. A. W. M., van der Ploeg, A. T. & de Bruijne, Marleen, 2016, In: P L o S One. 11, 7, 24 p., e0158912.

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

  35. Published

    Quantification of smoothing requirement for 3D optic flow calculation of volumetric images

    Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, In: IEEE Transactions on Image Processing. 22, 6, p. 2128-2137 10 p.

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

  36. Published

    Quantifying emphysema extent from weakly labeled CT scans of the lungs using label proportions learning

    Ørting, S. N., Petersen, Jens, Wille, M., Thomsen, L. & de Bruijne, Marleen, 2016, The Sixth International Workshop on Pulmonary Image Analysis. Beichel, R. R., Farahani, K., Jacobs, C., Kabus, S., Kiraly, A. P., Kuhnigk, J-M., McClelland, J. R., Mori, K., Petersen, J. & S. R. (eds.). CreateSpace Independent Publishing Platform , p. 31-42 11 p.

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

  37. Published

    Quantitative airway analysis in longitudinal studies using groupwise registration and 4D optimal surfaces

    Petersen, Jens, Modat, M., Cardoso, M. J., Dirksen, A., Ourselin, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, Vol. 2. p. 287-294 8 p. (Lecture notes in computer science, Vol. 8150).

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

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

  39. Published

    Quasi-interpretations and small space bounds

    Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164

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

  40. Published

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 p. (DIKU teknisk rapport; No. 5, Vol. 98).

    Research output: Working paper › Research

  41. Published

    Quicksort, largest bucket, and min-wise hashing with limited independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Bansal, N. & Finocchi, I. (eds.). Springer, p. 828-839 12 p. (Lecture notes in computer science, Vol. 9294).

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

  42. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).

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

  43. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2015, In: Algorithmica. 73, 4, p. 623-636 14 p.

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

  44. Published

    RPI-MATLAB-simulator: a tool for efficient research and practical teaching in multibody dynamics

    Williams, J., Lu, Y., Niebe, S., Andersen, Martin, Erleben, Kenny & Trinkle, J. C., 2013, VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations. Bender, J., Dequidt, J., Duriez, C. & Zachmann, G. (eds.). Eurographics Association, p. 71-80 10 p. (VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations).

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

  45. Published

    RSSA: a reversible SSA form

    Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).

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

  46. Published

    Railway Asset Detection and Geolocation

    Karagiannis, G., 2020, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  47. Published

    Random walk term weighting for information retrieval

    Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.

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

  48. Published

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

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

  49. Published

    Ranking beta sheet topologies with applications to protein structure prediction

    Fonseca, R., Helles, G. & Winter, Pawel, 2011, In: Journal of Mathematical Modelling and Algorithms. 10, 4, p. 357-369 13 p.

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

  50. Published

    Rapid development of scalable scientific software using a process oriented approach

    Friborg, R. M. & Vinter, B., 2011, In: Journal of Computational Science. 2, 3, p. 304-313 10 p.

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

  51. Published

    Re-estimation of motion and reconstruction for distributed video coding

    Luong, H. V., Raket, L. L. & Forchhammer, S., 2014, In: I E E E Transactions on Image Processing. 23, 7, p. 2804-2819 16 p.

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

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

  53. Published

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

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

  54. Published

    ReNLoc: an anchor-free localization algorithm for indirect ranging

    Fanourakis, M. & Wac, Katarzyna, 2015, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2015 IEEE 16th International Symposium on a. IEEE, p. 1-9 9 p.

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

  55. Published

    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. (eds.). Association for Computing Machinery, p. 259-274

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

  56. Published

    Reading Patterns and Usability in Visualizations of Electronic Documents

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Research Alert for the TOCHI-paper: The Journal Interactions. 11(1), p. 11-12

    Research output: Contribution to journal › Journal article › Research

  57. Published

    Reading of Electronic Documents. The Usability of Linear, Fisheye, and Overwiev + Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. p. 293-301

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

  58. Published

    Reading of Electronic Documents: The Usability of Linear, Fisheye, and Overview+Detail Interfaces

    Hornbæk, Kasper & Frøkjær, Erik, 2001, In: CHI Letters Proceedings of CHI 2001. vol. 3, issue 1, p. 293-300

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

  59. Published

    Realizability toposes from specifications

    Frey, J., 2015, In: Leibniz International Proceedings in Informatics. 38, p. 196-210 15 p.

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

  60. Published

    Recidiv og overlevelse efter konventionel lav anterior resektion for cancer recti

    Bülow, S., Moesgaard, F. A., Crone, P. O., Gandrup, P., Holm, J., Kronborg, O., Hemmert-Lund, H., Myrhøj, T., Petersen, René Horsleben, Qvist, N., Raskov, H. H. & Thomsen, H., 2 Jul 2001, In: Ugeskrift for Laeger. 163, 27, p. 3793-7 5 p.

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

  61. Published

    Reconstructing protein structure from solvent exposure using tabu search

    Paluszewski, M., Hamelryck, Thomas Wim & Winter, Pawel, 2006, In: Algorithms for Molecular Biology. 1, p. 14

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

  62. Published

    Reconstructing teeth with bite information

    Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).

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

  63. Published

    Reconstruction of Optical Thickness

    Olsen, N. H., Sporring, Jon & Nielsen, Mads, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. Department of Computer Science, University of Copenhagen, p. 114-126

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

  64. Published

    Rectiinear Trees Under Rotation and Related Problems: Extended Abstract

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002.

    Research output: Contribution to conference › Paper › Research

  65. Published

    Rectilinear Trees under Rotation

    Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proc. of 12-th Int. Sym. on Combinatorial Optimization, CO´02. Paris, France, p. 101-101

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

  66. Published

    Recycling on a Cosmic Scale: Extracting New Information from Old Data Sets

    Stensbo-Smidt, K., 2016, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  67. Published

    Reducing artifacts from varying projection truncations

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

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

  68. Published

    Reduction by Lie Group symmetries in diffeomorphic image registration and deformation modelling

    Sommer, Stefan Horst & Jacobs, H. O., 2015, In: Symmetry. 7, 2, p. 599-624 26 p.

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

  69. Published

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

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

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

  70. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2006, International ed. Jyrki Katajainen and Company.

    Research output: Book/Report › Book › Research

  71. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2003

    Research output: Book/Report › Book › Research

  72. Published

    Reengineering a university department: Promoting the operational change of the computing department at the University of Copenhagen, International Edition

    Curry, C. D. & Katajainen, J., 2006, Søborg, Danmark: Jyrki Katajainen and Company. 224 p.

    Research output: Book/Report › Book › Research

  73. Published

    Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen

    Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183

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

  74. Published

    Reference counting for reversible languages

    Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).

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

  75. Published

    Regional activation of the human medial temporal lobe during intentional encoding of objects and positions: NeuroImage

    Ramsøy, T. Z., Liptrot, M. G., Skimminge, A., Lund, T. E., Sidaros, K., Christensen, M. S., Baaré, W., Paulson, Olaf B. & Jernigan, T. L., 2009, In: NeuroImage. 47, 4, p. 1863-1872

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

  76. Published

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.

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

  77. Published

    Relation between wall shear stress and carotid artery wall thickening MRI versus CFD

    Cibis, M., Potters, W. V., Selwaness, M., Gijsen, F. J., Franco, O. H., Arias Lorza, A. M., de Bruijne, Marleen, Hofman, A., van der Lugt, A., Nederveen, A. J. & Wentzel, J. J., 2016, In: Journal of Biomechanics. 49, 5, p. 735-741 7 p.

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

  78. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.

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

  79. Published

    Relaxed weak queues: An alternative to run-relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2005, Department of Computer Science, University of Copenhagen, 23 p.

    Research output: Working paper › Research

  80. Published

    Relevance of echo-structure and texture features: an application in ultrasound breast tumor classification

    Karemore, G., Mullick, J. B., KV, D. R., Nielsen, Mads & Chidangil, D. S., 2010, Euroson 2010: 22nd Congress of EFSUMB : 10th International Congress on Interventional Ultrasound, 22-25 August 2010, Copenhagen: final programme & abstracts.

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

  81. Published

    Relevance sampling

    Nielsen, Mads, Markussen, Bo & Loog, M., 2015, Proceedings of the Eight Workshop on Information Theoretic Methods in Science and Engineering. Rissanen, J., Harremoës, P., Forchhammer, S., Roos, T. & Myllymäki, P. (eds.). Department of Computer Science, University of Helsinki , p. 35-38 4 p. (Series of Publications B, Vol. B-2015-1).

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

  82. Published

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

    Yamagchii, K., Lassen, Anders & Ring, P., 17 Sep 1998.

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

  83. Published

    Removal of vesicle structures from transmission electron microscope images

    Jensen, K. H., Sigworth, F. J. & Brandt, S. S., 2016, In: IEEE Transactions on Image Processing. 25, 2, p. 540-552 13 p.

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

  84. Published

    Reordering buffer management with advice

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

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

  85. Published

    Reply: Excess risk of cancer from computed tomography scan is small but not so low as to be incalculable

    Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 192, 11, p. 1397-1399 3 p.

    Research output: Contribution to journal › Journal article › Research

  86. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.

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

  87. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

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

  88. Published

    Representation learning for cross-modality classification

    Tulder, G. V. & de Bruijne, Marleen, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (eds.). Springer, p. 126-136 11 p. (Lecture notes in computer science, Vol. 10081).

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

  89. Published

    Requirements for Logical Models for Value-Added Tax Legislation

    Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

    Research output: Contribution to conference › Paper › Research

  90. Published

    Research Alert for Reading Patterns and Usability in Visualizations of Electronic Documents

    Hornbæk, Kasper & Frøkjær, Erik, 2004, In: Interactions. January + February Vol. XI. 1, p. 11-12

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

  91. Published

    Research proposal: Practical data structures and algorithm

    Katajainen, J. (ed.), 2002, Copenhagen. 6 p.

    Research output: Book/Report › Report › Research

  92. Published

    Research proposal: Software tools for program library development, CPH STL Report 2001-15

    Katajainen, J., 2001, http://www.cphstl.dk, 7 p.

    Research output: Working paper › Research

  93. Published

    Resource Control Graphs

    Moyen, J., Aug 2009, In: A C M Transactions on Computational Logic. 10, 4

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

  94. Published

    Respiratory muscle movement in Pompe disease using cine Magnetic Resonance Imaging

    Ciet, P., Wens, S., Perez-Rovira, A., Logie, K., Wielopolski, P., de Bruijne, Marleen, Ploeg, A. V. D., Doorn, P. V. & Tiddens, H., 2013.

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

  95. Published

    Return of the features: efficient feature selection and interpretation for photometric redshifts

    D'Isanto, A., Cavuoti, S., Gieseke, F. & Polsterer, K. L., 2018, In: Astronomy & Astrophysics. 616, 21 p., A97.

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

  96. Published

    Reversibility of trapped air on chest computed tomography in cystic fibrosis patients

    Loeve, M., Rosenow, T., Gorbunova, V., Hop, W. C. J., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2015, In: European Journal of Radiology. 84, 6, p. 1184-1190 7 p.

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

  97. Published

    Reversible computing: foundations and software: Preface of Special Issue

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

    Research output: Contribution to journal › Editorial › Research

  98. Published

    Reversible representation and manipulation of constructor terms in the heap

    Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

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

  99. Published

    Reversible shrinking two-pushdown automata

    Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer, p. 579-591 13 p.

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

  100. Published

    Reviewing the health of software ecosystems – a conceptual framework proposal.

    Manikas, K. & Hansen, K. M., 2013, Proceedings of 5th International Workshop on Software Ecosystems (IWSECO 2013). Alves, C. F., Hanssen, G. K., Bosch, J. & Jansen, S. (eds.). p. 33-44 12 p. (CEUR Workshop Proceedings, Vol. 987).

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

Previous 1...9 10 11 12 13 14 15 16 ...18 Next