Programming Languages and Theory of Computing

Read more
126 - 150 out of 269Page size: 25
  1. 2020
  2. Published

    Massively-parallel change detection for satellite time series data with missing values

    Gieseke, Fabian Cristian, Rosca, S., Henriksen, Troels, Verbesselt, J. & Oancea, Cosmin Eugen, 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, p. 385-396 9101616

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

  3. Published

    Module Theory and Query Processing: (Extended Abstract)

    Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 p.

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

  4. Published

    On the Complexity of Conversion Between Classic Real Number Representations

    Kristiansen, L. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer VS, p. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12098 LNCS).

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

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

  6. Published

    Open-Channel SSD (What is it Good For).

    Picoli, I. L., Hedam, N., Bonnet, Philippe & Tözün, P., 2020, CIDR.

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

  7. Published

    Policy Formation without Authority: Towards Resilient Financial Infrastructure for Emerging Economies

    Ross, Omry & Jensen, J. R., 2020, SIGMIS-CPR 2020 - Proceedings of the 2020 Computers and People Research Conference. Association for Computing Machinery, p. 36-37 2 p.

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

  8. Published

    Reversible computing from a programming language perspective (extended abstract)

    Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Vol. 2. p. 410-412 3 p. (Lecture Notes in Computer Science, Vol. 12233).

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

  9. Published

    Reversible languages and incremental state saving in optimistic parallel discrete event simulation

    Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

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

  10. Published

    Reversible programs have reversible semantics

    Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer VS, p. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12233 LNCS).

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

  11. Published

    Semi-inversion of conditional constructor term rewriting systems

    Kirkeby, M. H. & Glück, Robert, 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 243-259 (Lecture Notes in Computer Science, Vol. 12042).

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

  12. Published

    Software and reversible systems: A survey of recent activities

    Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

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

  13. Published

    Unsupervised Semantic Hashing with Pairwise Reconstruction

    Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 2009-2012 4 p.

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

  14. Published

    niversity of Copenhagen Participation in TREC Health Misinformation Track 2020: U

    Chaves Lima, L., Wright, ,. D. B., Augenstein, Isabelle & Maistro, Maria, 2020, Proceedings of the Twenty-Ninth Text REtrieval Conference (TREC 2020). Voorhees, E. M. & Ellis, A. (eds.). National Institute of Standards and Technology (NIST), 16 p. (NIST Special Publication; No. 1266).

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

  15. 2019
  16. Published

    Assets under Tokenization: Can Blockchain Technology Improve Post-Trade Processing?

    Ross, Omry & Jensen, J., 6 Nov 2019.

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

  17. Published

    Compositional deep learning in Futhark

    Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, p. 47-59

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

  18. Published

    Contextually propagated term weights for document representation

    Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 18 Jul 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).

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

  19. Published

    Using a high-level parallel programming language for GPU-accelerated tomographic reconstruction

    Lindhøj, M. B., Henriksen, Troels, Pedersen, L. & Sporring, Jon, 15 Jul 2019, The 2019 International Conference on High Performance Computing & Simulation: HPCS 2019. IEEE, p. 27-32 6 p. 3

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

  20. Published

    Data-parallel flattening by expansion

    Elsman, Martin, Henriksen, Troels & Serup, N. G. W., 8 Jun 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (ed.). Association for Computing Machinery, p. 14-24

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

  21. Published

    Incremental flattening for nested data parallelism

    Henriksen, Troels, Thorøe, F., Elsman, Martin & Oancea, Cosmin Eugen, 16 Feb 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 53-67

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

  22. Published

    Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

    Kaarsgaard, R., Jan 2019, In: Electronic Notes in Theoretical Computer Science. 347, p. 179-202

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

  23. Published

    Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

    Mogensen, Torben Ægidius, Jan 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer VS, p. 243-251 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).

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

  24. Published

    Computing with Infinite Terms and Infinite Reductions

    Ketema, J. & Simonsen, Jakob Grue, 2019, In: Fundamenta Informaticae. 170, 4, p. 339-365 27 p.

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

  25. Published

    Constructing a binary tree from its traversals by reversible recursion and iteration

    Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

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

  26. Published

    Contextual compositionality detection with external knowledge bases and word embeddings

    Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 317-323 7 p.

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

  27. Published

    En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

    Kaarsgaard, R. & Veltri, N., 2019, Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). Springer VS, p. 366-384 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11825 LNCS).

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

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