Department of Computer Science

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

    Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

    Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 p.

    Research output: Book/Report › Doctoral thesis › Research

  2. Published

    Revisiting software ecosystems research: a longitudinal literature study

    Manikas, K., 2016, In: The Journal of Systems and Software. 117, p. 84-103 20 p.

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

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

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

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

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

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

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

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

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

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

  12. Published

    Research proposal: Practical data structures and algorithm

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

    Research output: Book/Report › Report › Research

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1...5 6 7 8 9 10 11 12 ...35 Next