- 2023
- 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
- Published
Shape-Constrained Array Programming with Size-Dependent Types
Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spatial Mapping of Soil Salinity Using Machine Learning and Remote Sensing in Kot Addu, Pakistan
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali & Alsabban, W. H., 2023, In: Sustainability. 15, 17, 19 p., 12943.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- Published
The Programming of Algebra
Mathiesen, Mikkel Kragh, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 119 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Tokens Matter: How to Win Votes and Influence DAOs
Jensen, J. R., Schirrmacher, N., Avital, M. & Ross, Omry, 2023, Proceedings of the 44th International Conference on Information Systems (ICIS 2023): Rising like a Phoenix: Emerging from the Pandemic and Reshaping Human Endeavors with Digital Technologies. Association for Information Systems, 9 p. 1794Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 24-39 16 p. (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
- 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 6Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
4496
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4102
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2504
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Foundations and practice of binary process discovery
Research output: Contribution to journal › Journal article › Research › peer-review
Abstraction, mimesis and the evolution of deep learning
Research output: Contribution to journal › Journal article › Research › peer-review