- 2016
- Published
On the hardness of partially dynamic graph problems and connections to diameter
Dahlgaard, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 48. (Leibniz International Proceedings in Informatics, Vol. 55).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The power of two choices with simple tabulation
Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (ed.). Society for Industrial and Applied Mathematics, p. 1631-1642 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
mQoL smart lab: quality of life living lab for interdisciplinary experiments
De Masi, A., Ciman, M., Gustarini, M. & Wac, Katarzyna, 2016, UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 635-640 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Developing self–control theory: towards digital sensoring by smartphone technologies
Demant, Jakob Johan, Heinskou, Marie Bruvik, Wac, Katarzyna & Schierff, L. M., 2016. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
A unified view on multi-class support vector classification
Doğan, Ü., Glasmachers, T. & Igel, Christian, 2016, In: Journal of Machine Learning Research. 17, 32 p., 45.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Éalonnage de sources lumineuses de type LED
Durix, B., Quéau, Y., Lucas, T., Boumaza, J., Durou, J. & Lauze, Francois Bernard, 2016. 8 p.Research output: Contribution to conference › Paper › Research
- Published
Low-level functional GPU programming for parallel algorithms
Dybdal, M., Elsman, Martin, Svensson, B. J. & Sheeran, M., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-37 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Heap-construction programs
Edelkamp, S., Elmasry, A. & Katajainen, J., 4 Nov 2016, Department of Computer Science, University of Copenhagen. 54 p. (CPH STL Report; No. 2, Vol. 2016).Research output: Book/Report › Report › Research
- Published
Space-efficient path-reporting approximate distance oracles
Elkin, M., Neiman, O. & Wulff-Nilsen, Christian, 2016, In: Theoretical Computer Science. 651, p. 1-10 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Message from the organizing committee
Elsman, Martin, Grelck, C., Klöckner, A. & Padua, D., 2016, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016. Association for Computing Machinery, p. iii-ivResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Deriving consistent GSM schemas from DCR graphs
Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Open problem: kernel methods on manifolds and metric spaces: what is the probability of a positive definite geodesic exponential kernel?
Feragen, A. & Hauberg, S., 2016, 29th Annual Conference on Learning Theory. Feldman, V., Rakhlin, A. & Shamir, O. (eds.). p. 1647–1650 4 p. (JMLR: Workshop and Conference Proceedings, Vol. 49).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Probing RNA native conformational ensembles with structural constraints
Fonseca, R., van den Bedem, H. & Bernauer, J., 2016, In: Journal of Computational Biology. 23, 5, p. 362-371 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Classical realizability in the CPS target language
Frey, J., 2016, In: Electronic Notes in Theoretical Computer Science. 325, p. 111-126 16 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Fabrication & HCI: hobbyist making, industrial production, and beyond
Fuchsberger, V., Murer, M., Tscheligi, M., Lindtner, S., Bardzell, S., Bardzell, J., Reiter, A. & Bjorn, Pernille, 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3550-3557 8 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Introduction to Valentin Turchin’s cybernetic foundation of mathematics
Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 26-31Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Nonlinear configurations for superlinear speedup by supercompilation
Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Incremental exact min-cut in poly-logarithmic amortized update time
Goranci, G., Henzinger, M. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 46. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers
Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 284-297 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Editorial, SEA 2014 Special Issue
Gudmundsson, J. & Katajainen, J., 5 Apr 2016, In: Journal of Experimental Algorithmics. 21, 1 p., 1.1.Research output: Contribution to journal › Editorial › Research
- Published
Differences in smartphone usage: validating, evaluating, and predicting mobile user intimacy
Gustarini, M., Scipioni, M. P., Fanourakis, M. & Wac, Katarzyna, 2016, In: Pervasive and Mobile Computing. 33, p. 50-72 23 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On the impact of medical device regulations on software architecture
Hansen, K. M. & Manikas, K., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF. SCITEPRESS Digital Library, Vol. 5. p. 389-394 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Ensemble learned vaccination uptake prediction using web search queries
Hansen, N. D., Lioma, Christina & Mølbak, K., 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. IEEE, p. 1953-1956 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Scalable robust principal component analysis using Grassmann averages
Hauberg, S., Feragen, A., Enficiaud, R. & Black, M. J., 2016, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 38, 11, p. 2298-2311 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
2016 POPL impressions
Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.Research output: Contribution to journal › Comment/debate › Research
- Published
Modal intersection types, two-level languages, and staged synthesis
Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
APL on GPUs: a TAIL from the Past, scribbled in Futhark
Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Design and GPGPU performance of Futhark's redomap construct
Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing information visualizations for elite soccer children's different levels of comprehension
Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tangible data, explorations in data physicalization
Hogan, T., Hornecker, E., Stusak, S., Jansen, Y., Alexander, J., Vande Moere, A., Hinrichs, U. & Nolan, K., 2016, Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 753-756 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Evolutionary kernel learning
Igel, Christian, 2016, Encyclopedia of machine learning and data mining. Sammut, C. & Webb, G. I. (eds.). Springer, 5 p.Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review
- Published
Negotiating for space? collaborative work using a wall display with mouse and touch input
Jakobsen, M. R. & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2050-2061 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Some remarks on real numbers induced by first-order spectra
Jakobsen, S. & Simonsen, Jakob Grue, 2016, In: Notre Dame Journal of Formal Logic. 57, 3, p. 355-368 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A psychophysical investigation of size as a physical variable
Jansen, Y. & Hornbæk, Kasper, 2016, In: I E E E Transactions on Visualization and Computer Graphics. 22, 1, p. 479-488 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
What did authors value in the CHI'16 reviews they received?
Jansen, Y., Hornbæk, Kasper & Dragicevic, P., 2016, Proceedings of the 2016 CHI Conference - extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 596-606 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Removal of vesicle structures from transmission electron microscope images
Jensen, K. H., Sigworth, F. J. & Brandt, S. S., 2016, In: IEEE Transactions on Image Processing. 25, 2, p. 540-552 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Statistical modeling and removal of lipid membrane projections for cryo-EM structure determination of reconstituted membrane proteins
Jensen, K. H., Brandt, S. S., Shigematsu, H. & Sigworth, F. J., 2016, In: Journal of Structural Biology. 194, 1, p. 49-60 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Learning density independent texture features
Kallenberg, M. G. J., Nielsen, Mads, Holland, K., Karssemeijer, N., Igel, Christian & Lillholm, Martin, 2016, Breast Imaging: 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings. Tingberg, A., Lång, K. & Timberg, P. (eds.). Springer, p. 299-306 8 p. (Lecture notes in computer science, Vol. 9699).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unsupervised deep learning applied to breast density segmentation and mammographic risk scoring
Kallenberg, M. G. J., Petersen, P. K., Nielsen, Mads, Ng, A. Y., Diao, P., Igel, Christian, Vachon, C. M., Holland, K., Winkel, R. R., Karssemeijer, N. & Lillholm, Martin, 2016, In: IEEE Transactions on Medical Imaging. 35, 5, p. 1322-1331 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Finding significantly connected voxels based on histograms of connection strengths
Kasenburg, N., Pedersen, M. V. & Darkner, Sune, 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 7 p. 978431. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structural parcellation of the thalamus using shortest-path tractography
Kasenburg, N., Darkner, Sune, Hahn, U., Liptrot, M. G. & Feragen, A., 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 559-563 5 p. 7493330Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Supervised hub-detection for brain connectivity
Kasenburg, N., Liptrot, M. G., Reislev, N. L., Garde, Ellen, Nielsen, Mads & Feragen, A., 2016, Medical Imaging 2016: Image Processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 9 p. 978409. (Progress in Biomedical Optics and Imaging; No. 39, Vol. 17).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Training shortest-path tractography: automatic learning of spatial priors
Kasenburg, N., Liptrot, M. G., Reislev, N. L., Ørting, S. N., Nielsen, Mads, Garde, E. & Feragen, A., 2016, In: NeuroImage. 130, p. 63-76 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Dynamic-array kernels
Katajainen, J., 28 Mar 2016, Department of Computer Science, University of Copenhagen. 100 p. (CPH STL Report; No. 2, Vol. 2016).Research output: Book/Report › Report › Research
- Published
Worst-case-efficient dynamic arrays in practice
Katajainen, J., 2016, Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 167-183 17 p. (Lecture notes in computer science, Vol. 9685).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Assessing the implications of cellular network performance on mobile content access
Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2016, In: IEEE Transactions on Network and Service Management. 13, 2, p. 168-180 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Faster worst case deterministic dynamic connectivity
Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 53:1-53:15 15 p. 53. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards reference architectures as an enabler for software ecosystems
Knodel, J. & Manikas, K., 2016, Proccedings of the 10th European Conference on Software Architecture Workshops. Association for Computing Machinery, 4 p. 26Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Linear hashing is awesome
Knudsen, M. B. T., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 345-352 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6950
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6262
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5779
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
Field report for Platform mBox: Designing an Open MMLA Platform
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review