Department of Computer Science

Read more
1601 - 1610 out of 1,697Page size: 10
Sort by: Title
  1. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Department of Computer Science, University of Copenhagen, p. 1-18.

    Research output: Working paper › Research

  2. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).

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

  3. Published

    Type families with class, type classes with family

    Serrano, A., Hage, J. & Bahr, P., 2015, In: ACM SIGPLAN Notices. 50, 12, p. 129-140 12 p.

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

  4. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/Report › Report › Research

  5. Published

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

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

  6. Published

    Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

    Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

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

  7. Published

    U-Time: A Fully Convolutional Network for Time Series Segmentation Applied to Sleep Staging

    Perslev, Mathias, Hejselbak Jensen, M., Darkner, Sune, Jørgen Jennum, P. & Igel, Christian, 1 Oct 2019, Advances in Neural Information Processing Systems 32 (NIPS 2019). NIPS Proceedings, Vol. 32. p. 4415-4426

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

  8. Published

    UNSUPERVISED MACHINE LEARNING ON BASELINE BRAIN MRI IDENTIFIES MCI SUBGROUP WITH A FASTER DECLINE OVER TWO YEARS COMPARED TO CLASSICAL HIPPOCAMPAL SPARING AD SUBTYPE

    Sørensen, L., Pai, A., Nielsen, Mads, Leverenz, J. B. & Pillai, J. A., 2019, In: Alzheimer's & Dementia. 15, 7, p. P1420 1 p., P4-326.

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

  9. Published

    Unary resolution: characterizing PTIME

    Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).

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

  10. Published

    Unbounded population MO-CMA-ES for the bi-objective BBOB test suite

    Krause, Oswin, Glasmachers, T., Hansen, N. & Igel, Christian, 2016, Proceedings of the 2016 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 1177-1184 8 p.

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

Previous 1...157 158 159 160 161 162 163 164 ...170 Next