Programming Languages and Theory of Computing

Read more
201 - 250 out of 257Page size: 50
Sort by: 1st author
  1. Published

    Bayesian protein superposition using Hamiltonian Monte Carlo

    Sanz Moreta, Lys, Al-Sibahi, A. S. & Hamelryck, Thomas Wim, Oct 2020, Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020. IEEE, p. 1-11 9288019

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

  2. Published

    Optimised and dynamic KYC system based on blockchain technology

    Moyano, J. P., Thoroddsenand, T. & Ross, Omry, 2019, In: International Journal of Blockchains and Cryptocurrencies. 1, 1, p. 85-106

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

  3. Published

    Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

    Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Springer, p. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12813 LNCS).

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

  4. Published

    More Intensional Versions of Rice’s Theorem

    Moyen, J. Y. & Simonsen, Jakob Grue, 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Martin, B., Paulusma, D., Primiero, G. & Manea, F. (eds.). Springer, p. 217-229 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11558 LNCS).

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

  5. 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 proceeding › Article in proceedings › Research › peer-review

  6. Published

    Compiling a functional array language with non-semantic memory information

    Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.

    Research output: Contribution to conference › Paper › Research

  7. Published

    Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

    Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).

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

  8. Published

    Tutorial on Modeling VAT Rules Using OWL-DL

    Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.

    Research output: Contribution to conference › Paper › Research

  9. Published

    Requirements for Logical Models for Value-Added Tax Legislation

    Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

    Research output: Contribution to conference › Paper › Research

  10. Published

    Effect of the leukotriene LTD4/LTE4 antagonist, SR 2640, in ulcerative colitis: an open clinical study

    Nielsen, Ole Haagen, Ahnfelt-Rønne, I., Thomsen, Michael Kirkedal, Kissmeyer, A. M. & Langholz, Ebbe, Mar 1991, In: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, p. 181-4 4 p.

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

  11. Published

    FunSETL–Functional Reporting for ERP Systems

    Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

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

  12. Published

    Partial Evaluation of Reversible Flowchart Programs

    Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

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

  13. Published

    Approximate Nearest-Neighbour Fields via Massively-Parallel Propagation-Assisted K-D Trees

    Oancea, Cosmin Eugen, Robroek, T. & Gieseke, Fabian Cristian, 2020, Proceedings of the IEEE International Conference on Big Data (BigData2020). 10 ed. IEEE, p. 5172-5181

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

  14. Published

    Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications

    Pawlak, W. M., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 p.

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

  15. Published

    Acceleration of lattice models for pricing portfolios of fixed-income derivatives

    Pawlak, W. M., Hlava, M., Metaksov, M. & Oancea, Cosmin Eugen, 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, Inc., p. 27-38 12 p. 3464309

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

  16. Published

    A Functional Approach to Accelerating Monte Carlo based American Option Pricing

    Pawlak, W. M., Elsman, Martin & Oancea, Cosmin Eugen, 2021, IFL 2019: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. Association for Computing Machinery, p. 1-12 5

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

  17. Published

    Automated Market Makers

    Pourpounehnajafabadi, Mohsen, Nielsen, Kurt & Ross, Omry, Jul 2020, Department of Food and Resource Economics, University of Copenhagen, 10 p. (IFRO Working Paper ; No. 2020/08).

    Research output: Working paper › Research

  18. Published

    Type-directed Program Transformation for Constant-Time Enforcement

    Raimondi, G., Jensen, Thomas Philip & Besson, F., 2023, PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, p. 1-13 6

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

  19. Published

    Structural logical relations with case analysis and equality reasoning

    Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

  20. Published

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

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

  21. Published

    Towards a Dereversibilizer: Fewer Asserts, Statically

    Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

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

  22. Published

    Time-efficient Bayesian Inference for a (Skewed) von Mises Distribution on the Torus in a Deep Probabilistic Programming Language

    Rønning, Ola, Ley, C., Mardia, K. V. & Hamelryck, Thomas Wim, 2021, 2021 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI). IEEE, p. 1-8

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

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

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

  25. Published

    Within-Network Classification in Temporal Graphs

    Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, p. 229-236

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

  26. Published

    A Probabilistic Approach to the Protein Folding Problem: Using Stein-based Variational Inference

    Rønning, Ola, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

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

  27. Published

    A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

    Saioc, G. V. & Hüttel, Hans, 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66

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

  28. Published

    Deep Probabilistic Programming Applied Protein Superposition: Protein Structure Prediction and Ancestral Sequence Resurrection

    Sanz Moreta, Lys, 2022, Department of Computer Science, Faculty of Science, University of Copenhagen. 138 p.

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

  29. Published

    AD for an Array Language with Nested Parallelism

    Schenck, R., Rønning, Ola, Henriksen, Troels & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, 15 p. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Vol. 2022-November).

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

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

  31. Published

    Seasonal-Trend Time Series Decomposition on Graphics Processing Units

    Serykh, Dmitry, Oehmcke, Stefan, Oancea, Cosmin Eugen, Masiliunas, D., Verbesselt, J., Cheng, Yan, Horion, Stéphanie, Gieseke, F. & Hinnerskov, Nikolaj Hey, 2023, Proceedings - 2023 IEEE International Conference on Big Data, BigData 2023. He, J., Palpanas, T., Hu, X., Cuzzocrea, A., Dou, D., Slezak, D., Wang, W., Gruca, A., Lin, J. C-W. & Agrawal, R. (eds.). IEEE, p. 5914-5923 10 p.

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

  32. Published

    User Experience

    Simonsen, Jakob Grue, 21 Jun 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Vol. 1. p. 191-206

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

  33. Published

    The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting

    Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 195).

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

  34. Published

    Foundations and practice of binary process discovery

    Slaats, Tijs, Debois, S., Back, C.O. & Christfort, Axel Kjeld Fjelrad, 2024, In: Information Systems. 121, 20 p., 102339.

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

  35. Published

    Privacy Lost in Online Education: Analysis of Web Tracking Evolution

    Su, Z., Helles, Rasmus, Al-Laith, Ali Mohammed Ali, Veilahti, A. V. P., Saxena, A. & Simonsen, Jakob Grue, 2023, Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings. Yang, X., Suhartanto, H., Wang, G., Wang, B., Jiang, J., Li, B., Zhu, H. & Cui, N. (eds.). Cham: Springer, Cham, Vol. 2. p. 440-455 15 p. (Lecture Notes in Computer Science).

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

  36. Published

    Classifying VAT Legislation for Automation

    Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

    Research output: Contribution to conference › Paper › Research

  37. Published

    Accelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs

    Thegler, A., Johnsen, Carl-Johannes, Skovhede, K. & Vinter, B., 2021, Proceedings - 2021 Concurrent Processes Architectures and Embedded Systems Conference, COPA 2021. IEEE, 8 p.

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

  38. Published

    A reversible processor architecture and its reversible logic design

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).

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

  39. Published

    Preface

    Thomsen, Michael Kirkedal & Soeken, M., 2019, Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Springer, p. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

  40. Published

    Parallelization of Reversible Ripple-carry Adders

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2009, In: Parallel Processing Letters. 19, 2, p. 205-222 18 p.

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

  41. Published

    Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (eds.). Springer, p. 228-241 14 p. (Lecture notes in computer science; No. 5204).

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

  42. Published

    Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model

    Thygesen, Christian Bahne, Al-Sibahi, A. S., Steenmanns, C. S., Sanz Moreta, Lys, Sørensen, A. B. & Hamelryck, Thomas Wim, 2021, International Conference on Machine Learning, 18-24 July 2021, Virtual. PMLR, p. 10258-10267 (Proceedings of Machine Learning Research, Vol. 139).

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

  43. Published

    Accelerating vaccine development througha deep probabilistic programming approachto protein structure prediction

    Thygesen, Christian Bahne, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 93 p.

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

  44. Published

    Tail recursion transformation for invertible functions

    Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, p. 73–88 (Lecture Notes in Computer Science, Vol. 13960).

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

  45. Published

    Branching execution symmetry in Jeopardy by available implicit arguments analysis

    Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14

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

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

  47. Published

    ENCODING WORD ORDER IN COMPLEX EMBEDDINGS

    Wang, B., Zhao, D., Lioma, Christina, Li, Q., Peng, Z. & Simonsen, Jakob Grue, 2020, p. 1-15.

    Research output: Contribution to conference › Paper › Research

  48. Published

    On Position Embeddings in BERT

    Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, p. 1-21.

    Research output: Contribution to conference › Paper › Research

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

  50. Published

    Multi-head Self-attention with Role-Guided Masks

    Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (eds.). Springer, p. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12657 LNCS).

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

Previous 1 2 3 4 5 6 Next