Programming Languages and Theory of Computing

  1. 2022
  2. Published

    Fast Control for Reversible Processors

    Mogensen, Torben Ægidius, 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, CA. & Podlaski, K. (eds.). Springer, p. 51-64 (Lecture Notes in Computer Science, Vol. 13354).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    From reversible programming languages to reversible metalanguages

    Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    Hermes: A reversible language for lightweight encryption

    Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    I/O interface independence with xNVMe.

    Lund, S. A. F., Bonnet, Philippe, Jensen, K. B. A. & González, J., 2022, SYSTOR. p. 108-119 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Identification of soil type in Pakistan using remote sensing and machine learning

    Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali, Alsabban, W. & Aziz, M. H., 2022, In: PeerJ Computer Science. 8, 19 p., e1109.

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Making programs reversible with minimal extra data

    Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    Memory Optimizations in an Array Language

    Munksgaard, P., Henriksen, Troels, Sadayappan, P. & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, p. 1-15 31

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Mixture Models for Spherical Data with Applications to Protein Bioinformatics

    Mardia, K. V., Barber, S., Burdett, P. M., Kent, J. T. & Hamelryck, Thomas Wim, 2022, Directional Statistics for Innovative Applications: A Bicentennial Tribute to Florence Nightingale. Springer, p. 15-32 (Forum for Interdisciplinary Mathematics).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  10. Published

    Persistent Topology of Protein Space

    Hamilton, W., Borgert, J. E., Hamelryck, Thomas Wim & Marron, J. S., 2022, Research in Computational Topology 2. Springer, p. 223-244 (Association for Women in Mathematics Series, Vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  11. Published

    Predicting Bearings Degradation Stages for Predictive Maintenance in the Pharmaceutical Industry.

    Juodelyte, D., Cheplygina, V., Graversen, T. & Bonnet, Philippe, 2022, KDD. p. 3107-3115 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...27 Next