Department of Computer Science

Read more
501 - 600 out of 1,702Page size: 100
  1. 2011
  2. Published

    Jacobians for Lebesgue registration for a range of similarity measures

    Sporring, Jon & Darkner, Sune, 2011, Department of Computer Science, University of Copenhagen. 8 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 04/2011).

    Research output: Book/Report › Report › Research

  3. Published

    Human Apolipoprotein E Genotypes Modify Disease Severity In Experimental House Dust Mite-Induced Asthma

    Yao, X., Dai, C., Fredriksson, K., Keeran, K., Qu, X., Jeffries, N., Zywicke, G., Jeffries, N., Lin, J., Kaler, M., Shamburek, R., Costello, R., Dahl, Morten, Nordestgaard, Børge, Remaley, A. & Levine, S., May 2011, A33. GENETIC AND EPIGENETIC REGULATION OF LUNG DISEASE.

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

  4. 2012
  5. Published

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 Oct 2012, 466 p.

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

  6. Published

    Fluoroscopic assessment of femoral kinematics using a statistical shape model

    Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , p. 147148 2 p. 5B.2

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

  7. Published

    Design of Reversible Computing Systems: Logic, Languages, and Circuits

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 p.

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

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

  9. Published

    A catalogue of weak-heap programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 36 p. (CPH STL Report; No. 2012-2).

    Research output: Book/Report › Report › Research

  10. Published

    Adaptive heapsort: source code

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 29 p. (CPH STL Report; No. 2011-1).

    Research output: Book/Report › Report › Research

  11. Published

    Weak-heap and weak-queue frameworks: source code

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 81 p. (CPH STL Report; No. 2011-2).

    Research output: Book/Report › Report › Research

  12. Published

    Bounding volumes for proteins: a comparative study

    Fonseca, R. & Winter, Pawel, 2012, In: Journal of Computational Biology. 19, 10, p. 1203-1213 11 p.

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

  13. Published

    HUMIM software for articulated tracking

    Hauberg, S. & Steenstrup Pedersen, Kim, 2012, Datalogisk Institut, Københavns Universitet: Faculty of Science, University of Copenhagen. 7 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport).

    Research output: Book/Report › Report › Research

  14. Published

    Natural metrics and least-committed priors for articulated tracking

    Hauberg, S., Sommer, Stefan Horst & Steenstrup Pedersen, Kim, 2012, In: Image and Vision Computing. 30, 6-7, p. 453-461 9 p.

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

  15. Published

    Rock’n’roll computer science

    Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication

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

  17. Published

    Improving the efficiency of priority-queue structures. Using data-structural transformations and number systems

    Jensen, C., 2012, Faculty of Science, University of Copenhagen.

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

  18. Published

    Characterizing languages by normalization and termination in string rewriting

    Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

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

  19. Published

    Multiphase Flow of Immiscible Fluids on Unstructured Moving Meshes

    Misztal, M. K., Erleben, Kenny, Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., Jul 2012, EUROSCA'12 Proceedings of the 11th ACM SIGGRAPH / Eurographics conference on Computer Animation. ACM, p. 97 106 p.

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

  20. Published

    Medical emplotment: Designing IT for distributed healthcare

    Mønsted, T. S., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 100 p.

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

  21. Published

    Challenges of participatory design for social innovation: a case study in aging society

    Obata, A., Ohori, K., Kobayashi, N., Hochreuter, H. L. & Kensing, Finn, 2012, Proceedings of the 12th Participatory Design Conference: exploratory papers, workshop descriptions, industry cases - volume 2. Association for Computing Machinery, Vol. 2. p. 9-12 4 p.

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

  22. Published

    Grab and Touch: Empirical Research on Tangible Computing and Touch Interaction

    Pedersen, E. W., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 70 p.

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

  23. Published

    You move, you move me: exploring lifelikeness in deformable interfaces

    Pedersen, E. W. & Hornbæk, Kasper, 2012. 4 p.

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

  24. Published

    Bayesian Image Segmentation with Multiscale Feature Learning

    Petersen, P. K., 2012, Faculty of Science, University of Copenhagen.

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

  25. Published

    Breast density scoring with multiscale denoising autoencoders

    Petersen, P. K., Chernoff, K., Nielsen, Mads & Ng, A. Y., 2012. 8 p.

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

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

  27. Published

    Extending distributed shared memory for the cell broadband engine to a channel model

    Skovhede, K., Larsen, M. N. & Vinter, B., 2012, Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I. Jónasson, K. (ed.). Springer, Vol. Part I. p. 108-118 11 p. (Lecture notes in computer science, Vol. 7133).

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

  28. Published

    Introduction to the special issue on machine learning for traffic sign recognition

    Stallkamp, J., Schlipsing, M., Salmen, J. & Igel, Christian, 2012, In: I E E E Transactions on Intelligent Transportation Systems. 13, 4, p. 1481-1483 3 p.

    Research output: Contribution to journal › Editorial › Research

  29. Published

    Hippocampal texture provides volume-independent information for Alzheimer's disease diagnosis

    Sørensen, L., Pai, A. S. U., Darkner, Sune, Suhy, J., Oh, J., Chen, G., Igel, Christian & Nielsen, M., 2012, In: Alzheimer's & Dementia. 8, 4, Supplement, p. P162–P163 2 p.

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

  30. Published

    Interobserver variability in visual evaluation of thoracic CT scans and comparison with automatic computer measurements of CT lung density

    Wille, M. M. W., Thomsen, L. H., Petersen, Jens, Shaker, S. B., Dirksen, A. & Pedersen , J. H., 2012, In: European Respiratory Journal. 40, Supplement 56, p. 25s 1 p., P270.

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

  31. Published

    Adjustable chain trees for proteins

    Winter, Pawel & Fonseca, R., 2012, In: Journal of Computational Biology. 19, 1, p. 83-99 17 p.

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

  32. 2013
  33. Published

    An optimal algorithm computing edge-to-edge visibility in a simple polygon

    Abrahamsen, Mikkel, 2013, Proceedings of the 25th Canadian Conference on Computational Geometry: CCCG 2013. p. 157-162 6 p.

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

  34. Published

    Local appearance features for robust MRI brain structure segmentation across scanning protocols

    Achterberg, H. C., Poot, D. H. J., van der Lijn, F., Vernooij, M. W., Ikram, M. A., Niessen, W. J. & de Bruijne, Marleen, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 7 p. 866905. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  35. Published

    Alignment of concerns: a design rationale for patient participation in e-health

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2013. 4 p.

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

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

  37. Published

    Priority queues and sorting for read-only data

    Asano, T., Elmasry, A. & Katajainen, J., 2013, Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Chan, T-H. H., Lau, L. C. & Trevisan, L. (eds.). Springer, p. 32-41 10 p. (Lecture notes in computer science, Vol. 7876).

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

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

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

  40. Published

    Convergence in infinitary term graph rewriting systems is simple (extended abstract)

    Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).

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

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

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

  43. Published

    At the center of the galaxy: the integrative role of medical progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T. & Schmidt, K., 2013. 4 p.

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

  44. Published

    Physicians’ progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T., Schmidt, K. & Svendsen, Jesper Hastrup, 2013, ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 2013, Paphos, Cyprus. Bertelsen, O. W., Ciolfi, L., Grasso, M. A. & Papadopoulos, G. A. (eds.). Springer, p. 123-142 20 p.

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

  45. Published

    The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013

    Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.

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

  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

    GECCO '13: Proceedings of the 2013 Genetic and Evolutionary Computation Conference

    Blum, C. (ed.), Alba, E. (ed.), Auger, A. (ed.), Bacardit, J. (ed.), Bongard, J. (ed.), Branke, J. (ed.), Bredeche, N. (ed.), Brockhoff, D. (ed.), Chicano, F. (ed.), Dorin, A. (ed.), Doursat, R. (ed.), Ekart, A. (ed.), Friedrich, T. (ed.), Giacobini, M. (ed.), Harman, M. (ed.), Iba, H. (ed.), Igel, C. (ed.), Jansen, T. (ed.), Kovacs, T. (ed.), Kowaliw, T. (ed.) & 20 others, Lopez-Ibanez, M. (ed.), Lozano, J. A. (ed.), Luque, G. (ed.), McCall, J. (ed.), Moraglio, A. (ed.), Motsinger-Reif, A. (ed.), Neumann, F. (ed.), Ochoa, G. (ed.), Olague, G. (ed.), Ong, Y. (ed.), Palmer, M. E. (ed.), Pappa, G. L. (ed.), Parsopoulos, K. E. (ed.), Schmickl, T. (ed.), Smith, S. L. (ed.), Solnon, C. (ed.), Stuetzle, T. (ed.), Talbi, E. (ed.), Tauritz, D. (ed.) & Vanneschi, L. (ed.), 2013, Association for Computing Machinery.

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

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

  49. Published

    Bayesian epipolar geometry estimation from tomographic projections

    Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, Computer Vision – ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV. Lee, K. M., Matsushita, Y., Rehg, J. M. & Hu, Z. (eds.). Springer, p. 231-242 12 p. (Lecture notes in computer science, Vol. 7727).

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

  50. Published

    On the bayesian reconstruction method for randomly oriented particles in cryo-EM

    Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1166-1169 4 p. (International Symposium on Biomedical Imaging. Proceedings).

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

  51. Published

    Computational complexity for uniform orientation Steiner tree problems

    Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (ed.). Australian Computer Society, Vol. 135. p. 107-113 7 p.

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

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

  53. Published

    The flip-the-state transition operator for restricted Boltzmann machines

    Brügge, K., Fischer, A. & Igel, Christian, 2013, In: Machine Learning. 93, 1, p. 53-69 17 p.

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

  54. Published

    Classification in Medical Imaging: Features, Metrics and Insights into Classifiers

    Chen, C., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

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

  55. Published

    Architectural slicing: towards automatic harvesting of architectural prototypes

    Christensen, H. B. & Hansen, K. M., 2013, Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Drira, K. (ed.). Springer, p. 316-319 4 p. (Lecture notes in computer science, Vol. 7957).

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

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

  57. Published

    Iterated stacked classifiers for lung segmentation in computed tomography

    Ciompi, F., Gatta, C. & de Bruijne, Marleen, 2013, The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan - September 26, 2013. Beichel, R. R., de Bruijne, M., Kabus, S., Kiraly, A. P., Kitasaka, T., Kuhnigk, J-M., McClelland, J. R., van Rikxoort, E. & Rit, S. (eds.). CreateSpace Independent Publishing Platform , p. 63-74 12 p.

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

  58. Published

    Nearest neighbor classification using bottom-k sketches

    Dahlgaard, S., Igel, Christian & Thorup, Mikkel, 2013, 2013 IEEE International Conference on Big Data: proceedings. IEEE, p. 28-34 7 p.

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

  59. Published

    FDG-PET template MNI152 1mm

    Darkner, Sune, 2013

    Research output: Non-textual form › Dataset › Research

  60. Published

    Locally orderless registration

    Darkner, Sune & Sporring, Jon, 2013, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 6, p. 1437-1450 14 p.

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

  61. Published

    Iterating skeletons: structured parallelism by composition

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p.

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

  62. Published

    Iterating skeletons

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p. (Lecture notes in computer science).

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

  63. Published

    FindZebra: a search engine for rare diseases

    Dragusin, R., Petcu, P., Lioma, Christina, Larsen, B., Jørgensen, H. L., Cox, Ingemar Johansson, Hansen, L. K., Ingwersen, P. & Winther, O., 2013, In: International Journal of Medical Informatics. 82, 6, p. 528-538 11 p.

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

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

  65. Published

    Weak heaps and friends: recent developments

    Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (eds.). Springer, p. 1-6 6 p. (Lecture notes in computer science, Vol. 8288).

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

  66. Published

    Weak heaps engineered

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2013, In: Journal of Discrete Algorithms. 23, p. 83-97 15 p.

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

  67. Published

    Branchless search programs

    Elmasry, A. & Katajainen, J., 2013, Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings. Bonifaci, V., Demetrescu, C. & Marchetti-Spaccamela, A. (eds.). Springer, p. 127-138 12 p. (Lecture notes in computer science, Vol. 7933).

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

  68. Published

    Fat heaps without regular counters

    Elmasry, A. & Katajainen, J., 2013, In: Discrete Mathematics, Algorithms and Applications. 5, 21 p., 1360006.

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

  69. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 147-157 11 p. (Lecture notes in computer science, Vol. 7936).

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

  70. Published

    Towards ultimate binary heaps

    Elmasry, A. & Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 13 p. (CPH STL Report, Vol. 2013-1).

    Research output: Book/Report › Report › Research

  71. Published

    In-place binary counters

    Elmasry, A. A. A. E. & Katajainen, J., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer, p. 349-360 12 p. (Lecture notes in computer science).

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

  72. Published

    Numerical methods for linear complementarity problems in physics-based animation

    Erleben, Kenny, 2013, ACM SIGGRAPH 2013 Courses. Association for Computing Machinery, 42 p. 8

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

  73. Published

    Morphometric connectivity analysis to distinguish normal, mild cognitive impaired, and Alzheimer subjects based on brain MRI

    Erleben, L. L., Sørensen, L., Mysling, P., Pai, A. S. U., Dam, E. B. & Nielsen, Mads, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 866926. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  74. Published

    Scalable kernels for graphs with continuous attributes

    Feragen, A., Kasenburg, N., Petersen, Jens, de Bruijne, Marleen & Borgwardt, K., 2013, 27th Annual Conference on Neural Information Processing Systems 2013: NIPS 2013. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 216-224 9 p. (Advances in Neural Information Processing Systems, Vol. 26).

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

  75. Published

    Toward a theory of statistical tree-shape analysis

    Feragen, A., Lo, P. C. P., de Bruijne, Marleen, Nielsen, Mads & Lauze, Francois Bernard, 2013, In: I E E E Transactions on Pattern Analysis and Machine Intelligence. 35, 8, p. 2008-2021 14 p.

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

  76. Published

    Tree-space statistics and approximations for large-scale analysis of anatomical trees

    Feragen, A., Owen, M., Petersen, Jens, Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 74-85 12 p. (Lecture notes in computer science, Vol. 7917).

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

  77. Published

    On the origins of OR and its institutions

    Fores, S. & Krarup, J., 2013, In: Central European Journal of Operations Research. 21, 2, p. 265-275 11 p.

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

  78. Published

    Social design feedback: evaluations with users in online ad-hoc groups

    Følstad, A., Hornbæk, Kasper & Ulleberg, P., 2013, In: Human-centric Computing and Information Sciences. 3, 27 p., 18.

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

  79. Published

    An improved optimization method for the relevance voxel machine

    Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).

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

  80. Published

    The improved relevance voxel machine

    Ganz, Melanie, Sabuncu, M. & Leemput, K. V., 2013, Technical University of Denmark. 19 p. (DTU Compute Technical Report, Vol. 2013-10).

    Research output: Book/Report › Report › Research

  81. Published

    Polynomial runtime bounds for fixed-rank unsupervised least-squares classification

    Gieseke, Fabian Cristian, Pahikkala, T. & Igel, Christian, 2013, Asian Conference on Machine Learning. Ong, C. S. & Ho, T. B. (eds.). Vol. 29. p. 62-71 10 p. (JMLR: Workshop and Conference Proceedings, Vol. 29).

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

  82. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).

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

  83. Published

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.

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

  84. Published

    Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems

    Hansen, K. M. & Manikas, K., 2013, The 25th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).

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

  85. Published

    Unscented Kalman filtering on Riemannian manifolds

    Hauberg, S., Lauze, Francois Bernard & Steenstrup Pedersen, Kim, 2013, In: Journal of Mathematical Imaging and Vision. 46, 1, p. 103-120 18 p.

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

  86. Published

    Comparing modalities and feedback for peripheral interaction

    Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.

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

  87. Published

    The unadorned desk: exploiting the physical space around a display as an input canvas

    Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).

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

  88. Published

    Extracting usability and user experience information from online user reviews

    Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.

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

  89. Published

    Many-core architectures boost the pricing of basket options on adaptive sparse grids

    Heinecke, A., Jepsen, J. & Bungartz, H. J., 2013, WHPCF '13: Proceedings of the 6th Workshop on High Performance Computational Finance. Association for Computing Machinery, 9 p. 1

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

  90. Published

    On GPU-based nearest neighbor queries for large-scale photometric catalogs in astronomy

    Heinermann, J., Kramer, O., Polsterer, K. L. & Gieseke, Fabian Cristian, 2013, KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Timm, I. J. & Thimm, M. (eds.). Springer, p. 86-97 12 p. (Lecture notes in computer science, Vol. 8077).

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

  91. Published

    Sorting and searching by distribution: from generic discrimination to generic tries

    Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).

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

  92. Published

    Investigating pointing tasks across angularly coupled display areas

    Hennecke, F., De Luca, A., Nguyen, N. D. H., Boring, S. & Butz, A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P. (ed.). Springer, Vol. Part I. p. 720-727 8 p. (Lecture notes in computer science, Vol. 8117).

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

  93. Published

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

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

  94. Published

    The effect of target precuing on pointing with mouse and touchpad

    Hertzum, M. & Hornbæk, Kasper, 2013, In: International Journal of Human-Computer Interaction. 29, 5, p. 338-350 13 p.

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

  95. Published

    Some whys and hows of experiments in human–computer interaction

    Hornbæk, Kasper, 2013, In: Foundations and Trends in Human-Computer Interaction. 5, 4, p. 299-373 75 p.

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

  96. Published

    Detection of traffic signs in real-world images: the German traffic sign detection benchmark

    Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.

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

  97. Published

    A note on generalization loss when evolving adaptive pattern recognition systems

    Igel, Christian, 2013, In: I E E E Transactions on Evolutionary Computation. 17, 3, p. 345-352 8 p.

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

  98. Published

    Information visualization and proxemics: design opportunities and empirical findings

    Jakobsen, M. R., Haile, Y. S., Knudsen, S. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2386-2395 10 p.

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

  99. Published

    Interactive visualizations on large and small displays: the interrelation of display size, information space, and scale

    Jakobsen, M. R. & Hornbæk, Kasper, 2013, In: I E E E Transactions on Visualization and Computer Graphics. 19, 12, p. 2336-2345 10 p.

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

  100. Published

    A swiss pocket knife for computability

    Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  101. Published

    Waving to a touch interface: descriptive field study of a multipurpose multimodal public display

    Jurmu, M., Ogawa, M., Boring, S., Riekki, J. & Tokuda, H., 2013, PerDis '13: Proceedings of the 2nd ACM International Symposium on Pervasive Displays. Association for Computing Machinery, p. 7-12 6 p.

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

  102. Published

    Conceptual frameworks for constructing iterators for compound data structures - Electronic appendix I: component-iterator and rank-iterator classes

    Katajainen, J. & Maniotis, A. M., 2013, Department of Computer Science, University of Copenhagen. 47 p. (CPH STL Report; No. 2012-3).

    Research output: Book/Report › Report › Research

  103. Published

    Seeking for the best priority queue: lessons learnt

    Katajainen, J., 2013, Department of Computer Science, University of Copenhagen. 10 p. (CPH STL Report, Vol. 2013-3).

    Research output: Book/Report › Report › Research

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