Department of Computer Science

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

    Strengthened lazy heaps: surpassing the lower bounds for binary heaps

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

    Research output: Contribution to journal › Journal article › Research

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

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

  4. Published

    Heap-construction programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 4 Nov 2016, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report; No. 2, Vol. 2016).

    Research output: Book/Report › Report

  5. Published

    Optimizing binary heaps

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., Aug 2017, In: Theory of Computing Systems. 61, 2, p. 606-636 31 p.

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

  6. Published

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.

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

  7. Published

    Pre-harvest assessment of perennial weeds in cereals based on images from unmanned aerial systems (UAS)

    Egilsson, J., Steenstrup Pedersen, Kim, Olsen, Søren Ingvor, Nielsen, J., Ntakos, G. & Rasmussen, Jesper, 2015. 1 p.

    Research output: Contribution to conference › Poster › Research

  8. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13

    Research output: Contribution to journal › Journal article › Research

  9. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14

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

  10. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

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

  11. Published

    Distance-based Classification Methods

    Ekin, O., Hammer, P. L., Kogan, A. & Winter, Pawel, 1999, In: INFOR, Canadian OR Society. Vol.37, p. 337-352

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

  12. Published

    Space-efficient path-reporting approximate distance oracles

    Elkin, M., Neiman, O. & Wulff-Nilsen, Christian, 2016, In: Theoretical Computer Science. 651, p. 1-10 10 p.

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

  13. Published

    On the power of structural violations in priority queues

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

    Research output: Working paper › Research

  14. Published

    A framework for speeding up priority-queue operations

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

    Research output: Working paper › Research

  15. Published

    Two-tier relaxed heaps: Lecture Notes in Computer Science

    Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).

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

  16. Published

    Bipartite binomial heaps

    Elmasry, A., Jensen, C. & Katajainen, J., Jul 2017, In: RAIRO - Theoretical Informatics and Applications. 51, 3, p. 121-133 13 p.

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

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

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

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

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

  21. Published

    Two-tier relaxed heaps

    Elmasry, A., Jensen, C. & Katajainen, J., 14 Feb 2008, In: Acta Informatica. 45, 3, p. 193-210 17 p.

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

  22. Published

    Two new methods for constructing double-ended priority queues from priority queues

    Elmasry, A., Jensen, C. & Katajainen, J., 2008, In: Computing. 83, 4, p. 193-204 13 p.

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

  23. Published

    Selection from read-only memory with limited workspace

    Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2014, In: Theoretical Computer Science. 554, p. 64-73 10 p.

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

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

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

  26. Published

    Two new methods for transforming priority queues into double-ended priority queues

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

    Research output: Working paper › Research

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

  28. Published

    Fat heaps: source code

    Elmasry, A. A. A. E. & Katajainen, J., 2011, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report, Vol. 2010-2).

    Research output: Book/Report › Report

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

  30. Published

    Proceedings of SIMS 2004

    Elmegaard, B., Sporring, Jon & Erleben, Kenny, 2004, Denmark: Technical University of Copenhagen. 452 p.

    Research output: Book/Report › Anthology

  31. Published

    Proceedings of SIMS 2004

    Elmegaard, B. (ed.), Sporring, Jon (ed.), Sørensen, K. (ed.) & Erleben, Kenny (ed.), 2006, Elsevier. (Simulation Modelling Practice and Theory; No. 8, Vol. 14).

    Research output: Book/Report › Anthology

  32. Published

    Editorial

    Elmegaard, B., Sporring, Jon, Sørensen, K. & Erleben, Kenny, 2006, In: Simulation Modelling Practice and Theory. Proceedings of SIMS 2004. 14, 8, p. 1057-1058

    Research output: Contribution to journal › Editorial › Research

  33. Published

    SIMS 2004

    Elmegaard, B., Sporring, Jon, Erleben, Kenny & Sørensen, K., Nov 2006, In: Simulation Modelling Practice and Theory. 14, 8, p. 1057-1058 2 p.

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

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

  35. Published

    Message from the organizing committee

    Elsman, Martin, Grelck, C., Klöckner, A. & Padua, D., 2016, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016. Association for Computing Machinery, p. iii-iv

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

  36. Published

    On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML

    Elsman, Martin & Hallenberg, N., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer VS, p. 95-112 18 p. (Lecture Notes in Computer Science, Vol. 12007 LNCS).

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

  37. Published

    Compiling a subset of APL into a typed intermediate language

    Elsman, Martin & Dybdal, M., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, p. 101-106 6 p.

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

  38. Published

    Typed Regions for Tag-Free Garbage Collection

    Elsman, Martin, 2002

    Research output: Book/Report › Report

  39. Published

    A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.

    Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).

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

  40. Published

    Distance-field based joint-limits for biomechanic joint models

    Engell-Nørregård, M. P., Niebe, S. M. & Erleben, Kenny, 2011.

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

  41. Published

    Interactive inverse kinematics for human motion estimation

    Engell-Nørregård, M. P., Hauberg, S., Lapuyade, J., Erleben, Kenny & Steenstrup Pedersen, Kim, 2009, Vriphys 09: 6th Workshop on Virtual reality Interactions and Physical Simulations. Prautzsch, H., Schmitt, A., Bender, J. & Teschner, M. (eds.). p. 77-84

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

  42. Published

    Estimation of Joint types and Joint Limits from Motion capture data

    Engell-Nørregård, M. P. & Erleben, Kenny, 2009, WSCG '2009 : the 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in co-operation with Eurographics : University of West Bohemia, Plzen, Czech Republic, February 2-5, 2009: 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2009, Computer Graphics, Visualization and Computer Vision 2009. Scala, V. & Chen, M. (eds.). p. 9-16

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

  43. Published

    Local joint-limits using distance field cones in euler angle space

    Engell-Nørregård, M. P., Abel, S. M. N. & Erleben, Kenny, 2010. 4 p.

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

  44. Published

    A projected back-tracking line-search for constrained interactive inverse kinematics

    Engell-Nørregård, M. P. & Erleben, Kenny, 2011, In: Computers & Graphics. 35, 2, p. 288-298 11 p.

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

  45. Published

    Physics-based Animation

    Erleben, Kenny, Sporring, Jon, Henriksen, Knud & Dohlmann, H., 2005, Hingham, Mass.: Charles River Media. 817 p.

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

  46. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

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

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

  47. Published

    Maximal independent set graph partitions for representations of body-centered cubic lattices

    Erleben, Kenny, 2009, In: Visual Computer. 25, 5-7, p. 423-430 8 p.

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

  48. Published

    Collision Detection of Deformable Volumetric Meshes

    Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (ed.). Charles River Media, p. 51-68

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

  49. Published

    Velocity-based shock propagation for multibody dynamics animation

    Erleben, Kenny, 2007, In: ACM Transactions on Graphics. 26, 2, 20 p.

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

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

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