- Udgivet
Priority queues and sorting for read-only data
Asano, T., Elmasry, A. & Katajainen, J., 2013, Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Chan, T-H. H., Lau, L. C. & Trevisan, L. (red.). Springer, s. 32-41 10 s. (Lecture notes in computer science, Bind 7876).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
SMEIL: A domain-specific language for synchronous message exchange networks
Asheim, T., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (red.). IMIA and IOS Press, s. 389-414 (Concurrent Systems Engineering Series, Bind 70).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Low pain vs no pain multi-core Haskells
Aswad, M., Trinder, P., Al Zain, A., Michaelson, G. & Berthold, J., 2011, Trends in Functional Programming 10. Horváth, Z., Zsók, V., Achten, P. & Koopman, P. (red.). Intellect, s. 49-64 16 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The longest link node deployment problem in cloud computing: a heuristic approach
Ataíde, M. S., Souza, C. C. D., Rezende, P. J. D. & Vaz Salles, M. A., 2016, Proceedings of the XVIII Latin-Iberoamerican Conference on Operations Research, CLAIO 2016. Maturana, S. (red.). Instituto Chileno de Investigacion Operativa, s. 69-76 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Unary resolution: characterizing PTIME
Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (red.). Springer, s. 373-389 17 s. (Lecture notes in computer science, Bind 9634).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Multi-Task Learning of Keyphrase Boundary Classification
Augenstein, Isabelle & Søgaard, Anders, 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics : (Short Papers). Barzilay, R. & Kan, M-Y. (red.). Association for Computational Linguistics, Bind 2. s. 341-346 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces
Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Bind 1. s. 1896–1906 11 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A chainlike relative coordinate system for few-particle problems
Avery, James Emil & Avery, J. S., 2017, I: Journal of Mathematical Chemistry. 55, 2, s. 584-597 14 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Chains, antichains, and complements in infinite partition lattices
Avery, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, I: Algebra Universalis. 79, 37, 21 s., 37.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates
Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (red.). Department of Science Education, University of Copenhagen, s. 13-31 19 s. (Improving University Science Teaching and Learning - Pedagogical Projects; Nr. 1-2, Bind 7).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Reversible shrinking two-pushdown automata
Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (red.). Springer, s. 579-591 13 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Boosting reversible pushdown machines by preprocessing
Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (red.). Springer, s. 89-104 16 s. (Lecture notes in computer science, Bind 9720).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A hierarchy of fast reversible turing machines
Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (red.). Springer, s. 29-44 16 s. (Lecture notes in computer science, Bind 9138).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
On reversible Turing machines and their function universality
Axelsen, H. B. & Glück, Robert, 2016, I: Acta Informatica. 53, 5, s. 509-543 35 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
The degree of irreversibility in deterministic finite automata
Axelsen, H. B., Holzer, M. & Kutrib, M., aug. 2017, I: International Journal of Foundations of Computer Science. 28, 5, s. 503-522 20 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Programming techniques for reversible comparison sorts
Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (red.). Springer, s. 407-426 20 s. (Lecture notes in computer science, Bind 9458).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The degree of irreversibility in deterministic finite automata
Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (red.). Springer, s. 15-26 12 s. (Lecture notes in computer science, Bind 9705).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A classical propositional logic for reasoning about reversible logic circuits
Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible representation and manipulation of constructor terms in the heap
Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 96-109 14 s. (Lecture notes in computer science, Bind 7948).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Join inverse categories as models of reversible recursion
Axelsen, H. B. & Kaarsgaard, R., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (red.). Springer, s. 73-90 18 s. (Lecture notes in computer science, Bind 9634).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Quantification of smoothing requirement for 3D optic flow calculation of volumetric images
Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, I: IEEE Transactions on Image Processing. 22, 6, s. 2128-2137 10 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Graph archive
Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 52-53 2 s.Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning › fagfællebedømt
- Udgivet
Imperative versus Declarative Process Mining: An Empirical Comparison
Back, C.O., Debois, S. & Slaats, Tijs, 2020, Department of Computer Science, University of Copenhagen, 14 s.Publikation: Working paper › Forskning
- Udgivet
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting
Bahr, P., 31 okt. 2012, 466 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning
- Udgivet
Composing and decomposing data types: a closed type families implementation of data types à la carte
Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, s. 71-82 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Flest downloads
-
6949
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
6261
downloads
Virtual Trackballs Revisited
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
5779
downloads
Locally orderless registration
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet
Seneste publikationer
Field report for Platform mBox: Designing an Open MMLA Platform
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Publikation: Bidrag til tidsskrift › Letter › Forskning › fagfællebedømt