- 2015
- Published
Realizability toposes from specifications
Frey, J., 2015, In: Leibniz International Proceedings in Informatics. 38, p. 196-210 15 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Reduction by Lie Group symmetries in diffeomorphic image registration and deformation modelling
Sommer, Stefan Horst & Jacobs, H. O., 2015, In: Symmetry. 7, 2, p. 599-624 26 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Relevance sampling
Nielsen, Mads, Markussen, Bo & Loog, M., 2015, Proceedings of the Eight Workshop on Information Theoretic Methods in Science and Engineering. Rissanen, J., Harremoës, P., Forchhammer, S., Roos, T. & Myllymäki, P. (eds.). Department of Computer Science, University of Helsinki , p. 35-38 4 p. (Series of Publications B, Vol. B-2015-1).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reply: Excess risk of cancer from computed tomography scan is small but not so low as to be incalculable
Rosenow, T., Oudraad, M. C. J., Murray, C. P., Turkovic, L., Kuo, W., de Bruijne, Marleen, Ranganathan, S. C., Tiddens, H. A. W. M. & Stick, S. M., 2015, In: American Journal of Respiratory and Critical Care Medicine. 192, 11, p. 1397-1399 3 p.Research output: Contribution to journal › Journal article › Research
- Published
Reversibility of trapped air on chest computed tomography in cystic fibrosis patients
Loeve, M., Rosenow, T., Gorbunova, V., Hop, W. C. J., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2015, In: European Journal of Radiology. 84, 6, p. 1184-1190 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
Thomsen, M. K., Kaarsgaard, R. & Soeken, M., 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 200-215 16 p. (Lecture notes in computer science, Vol. 9138).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sample(x)=(a*x< =t) is a distinguisher with probability 1/8
Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, p. 1277-1291 15 p. (Symposium on Foundations of Computer Science. Annual Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Scalable conditional induction variables (CIV) analysis
Oancea, Cosmin Eugen & Rauchwerger, L., 2015, Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'15). IEEE Computer Society Press, p. 213-224 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Serum AMH levels are lower in healthy boys who develop pubertal gynaecomastia
Mieritz, M. G., Hagen, C. P., Almstrup, Kristian, Petersen, Jørgen Holm, Raket, L. L., Sommer, Stefan Horst & Juul, A., 2015, In: Hormone Research in Paediatrics. 84, Supplement 1, p. 290-291 2 p., P2-526.Research output: Contribution to journal › Conference abstract in journal › Research › peer-review
- Published
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Most downloads
-
6960
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6281
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5793
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
Activation Compression of Graph Neural Networks Using Block-Wise Quantization with Improved Variance Minimization
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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