- 2017
- Published
Loop quasi-invariant chunk detection
Moyen, J., Rubiano, T. & Seiller, T., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (eds.). Springer, p. 91-108 18 p. (Lecture notes in computer science, Vol. 10482).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Loop quasi-invariant chunk motion by peeling with statement composition
Moyen, J., Rubiano, T. & Seiller, T., 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 47-59 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Managing complexity in process digitalisation with dynamic condition response graphs
Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Massively-parallel best subset selection for ordinary least-squares regression
Gieseke, F., Polsterer, K. L., Mahabal, A., Igel, Christian & Heskes, T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Minimum perimeter-sum partitions in the plane
Abrahamsen, Mikkel, de Berg, M., Buchin, K., Mehr, M. & Mehrabi, A. D., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 77).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Minor-free graphs have light spanners
Borradaile, G., Le, H. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 767-778 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Model playground for autistic children: teaching social skills through tangible collaboration
Castro, T., Castro, A., Lima, D. & Bjorn, Pernille, 2017, 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT). IEEE, p. 441-445 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Modelling anisotropic covariance using stochastic development and sub-Riemannian frame bundle geometry
Sommer, Stefan Horst & Svane, A. M., 2017, In: Journal of Geometric Mechanics. 9, 3, p. 391-410 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Most Likely Separation of Intensity and Warping Effects in Image Registration
Kuhnel, L., Sommer, Stefan Horst, Pai, A. & Raket, L. L., 2017, In: S I A M Journal on Imaging Sciences. 10, 2, p. 578-601Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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. (eds.). Association for Computational Linguistics, Vol. 2. p. 341-346 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6971
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6317
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5806
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
Good Days, Bad Days: Understanding the Trajectories of Technology Use During Chronic Fatigue Syndrome
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A generic type system for higher-order Ψ-calculi
Research output: Contribution to journal › Journal article › Research › peer-review
Students’ dynamic communication while transforming mathematical representations in a dynamic geometry environment
Research output: Contribution to journal › Journal article › Research › peer-review