- 2017
- Published
Generating and checking control logic in the HDL-based design of reversible circuits
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, p. 7-12 6 p. 7977045Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Embedded data representations
Willett, W., Jansen, Y. & Dragicevic, P., 2017, In: IEEE Transactions on Visualization and Computer Graphics. 23, 1, p. 461-470 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Risk stratification of women with false-positive test results in mammography screening based on mammographic morphology and density: a case control study
Winkel, R. R., von Euler-Chelpin, My Catarina, Lynge, Elsebeth, Diao, P., Lillholm, Martin, Kallenberg, M., Forman, Julie Lyng, Nielsen, Michael Bachmann, Uldall, W. Y., Nielsen, Mads & Vejborg, I. M. M., Aug 2017, In: Cancer Epidemiology. 49, p. 53-60 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Fully-dynamic minimum spanning forest with improved worst-case update time
Wulff-Nilsen, Christian, 2017, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 1130-1143 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Popular Politics: Comparing Popular Stories across News Media in Election Seasons
Ørmen, Jacob & Petersen, C., 1 Jun 2017.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Crowdsourced emphysema assessment
Ørting, S. N., Cheplygina, V., Petersen, Jens, Thomsen, L. H., Wille, M. M. W. & de Bruijne, Marleen, 2017, Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis: 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Lee, S-L., Cheplygina, V., Balocco, S., Mateus, D., Zahnd, G., Maier-Hein, L., Dermirci, S., Granger, E., Duong, L., Carbonneau, M-A., Albarquoni, S. & Carneiro, G. (eds.). Springer, p. 126-135 10 p. (Lecture notes in computer science, Vol. 10552).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2016
- Published
Popular conjectures as a barrier for dynamic planar graph algorithms
Abboud, A. & Dahlgaard, S., 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 477-486 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Finding the maximum subset with bounded convex curvature
Abrahamsen, Mikkel & Thorup, Mikkel, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. 4. (Leibniz International Proceedings in Informatics, Vol. 51).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Graph reconstruction with a betweenness oracle
Abrahamsen, Mikkel, Bodwin, G., Rotenberg, E. & Stöckel, M. D., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:14 14 p. 5. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Outer common tangents and nesting of convex hulls in linear time and constant workspace
Abrahamsen, Mikkel & Walczak, B., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 4. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Airports and railways: facility location meets network design
Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Approximation and hardness results for the maximum edge q-coloring problem
Adamaszek, A. M. & Popa, A., 2016, In: Journal of Discrete Algorithms. 38-41, p. 1-8 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Lower bounds for locally highly connected graphs
Adamaszek, A. M., Adamaszek, M. J., Mnich, M. & Schmidt, J. M., Sep 2016, In: Graphs and Combinatorics. 32, 5, p. 1641-1650 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Submodular unsplittable flow on trees
Adamaszek, A. M., Chalermsook, P., Ene, A. & Wiese, A., 2016, Integer Programming and Combinatorial Optimization: 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings. Louveaux, Q. & Skutella, M. (eds.). Springer, p. 337-349 13 p. (Lecture notes in computer science, Vol. 9682).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
800.000 gode grunde til datalogi i skolen
Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 Apr 2016, In: Berlingske Tidende. p. 31 1 p.Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication
- Published
Distance labeling schemes for trees
Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Possibilities and barriers for e-learning in primary school in Denmark
Alstrup, Stephen & Rootzen, H., 2016, Proceedings of the 15th European Conference on e-Learning. Novotná, J. & Jancarík, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Simpler, faster and shorter labels for distances in graphs
Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Sublinear distance labeling
Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
FinPar: a parallel financial benchmark
Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Carotid artery wall segmentation in multispectral MRI by coupled optimal surface graph cuts
Arias-Lorza, A. M., Petersen, Jens, van Engelen, A., Selwaness, M., van der Lugt, A., J. Niessen, W. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 3, p. 901-911 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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. (ed.). Instituto Chileno de Investigacion Operativa, p. 69-76 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 373-389 17 p. (Lecture notes in computer science, Vol. 9634).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 89-104 16 p. (Lecture notes in computer science, Vol. 9720).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 73-90 18 p. (Lecture notes in computer science, Vol. 9634).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On reversible Turing machines and their function universality
Axelsen, H. B. & Glück, Robert, 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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. (eds.). Springer, p. 579-591 13 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 15-26 12 p. (Lecture notes in computer science, Vol. 9705).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Energy saving approaches for video streaming on smartphone based on QoE modeling
Ballesteros, L. G. M., Ickin, S., Fiedler, M., Markendahl, J., Tollmar, K. & Wac, Katarzyna, 2016, 2016 13th IEEE Annual Consumer Communications and Networking Conference (CCNC 2016). IEEE, p. 103-106 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cooperative epistemic work in medical practice: an analysis of physicians' clinical notes
Bansler, Jørgen P., Havn, Erling Carl, Schmidt, K., Mønsted, T., Petersen, H. H. & Svendsen, Jesper Hastrup, 2016, In: Computer Supported Cooperative Work. 25, 6, p. 503-546 44 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Cross-lingual transfer of correlations between parts of speech and gaze features
Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A synthetic axiomatization of Map Theory
Berline, C. & Grue, Klaus, 2016, In: Theoretical Computer Science. 614, p. 1-62 62 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
PAEAN: portable and scalable runtime support for parallel Haskell dialects
Berthold, J., Loidl, H. & Hammond, K., 2016, In: Journal of Functional Programming. 26, 39 p., e10.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
New fundamentals for CSCW research: from distance to politics
Bjorn, Pernille, 2016, In: interactions. 23, 3, p. 50-53 4 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Practice-based CSCW research: ECSCW bridging across the atlantic
Bjorn, Pernille, Ciolfi, L., Ackerman, M., Fitzpatrick, G. & Wulf, V., 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Association for Computing Machinery, p. 210-220 11 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research › peer-review
- Published
Improving historical spelling normalization with bi-directional LSTMs and multi-task learning
Bollman, M. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 131-139 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
All-pairs minimum cuts in near-linear time for surface-embedded graphs
Borradaile, G., Eppstein, D., Nayyeri, A. & Wulff-Nilsen, Christian, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. (Leibniz International Proceedings in Informatics, Vol. 51).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning connective-based word representations for implicit discourse relation identification
Braud, C. E. & Denis, P., 2016, Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP-16). Association for Computational Linguistics, p. 203-213 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-view and multi-task training of RST discourse parsers
Braud, C. E., Plank, B. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics: proceedings of COLING 2016: technical Papers. p. 1903-1913 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An improved multileaving algorithm for online ranker evaluation
Brost, B., Cox, Ingemar Johansson, Seldin, Yevgeny & Lioma, Christina, 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval: SIGIR '16. Association for Computing Machinery, p. 745-748 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-dueling bandits and their application to online ranker evaluation
Brost, B., Seldin, Yevgeny, Cox, Ingemar Johansson & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2161-2166 6 p. (ACM International Conference on Information and Knowledge Management).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Nine questions for HCI researchers in the making
Bødker, S., Hornbæk, Kasper, Oulasvirta, A. & Reeves, S., 2016, In: interactions. 23, 4, p. 58-61 4 p.Research output: Contribution to journal › Journal article › Communication
- Published
Bottleneck paths and trees and deterministic graphical games
Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-13 13 p. 27. (Leibniz International Proceedings in Informatics, Vol. 47).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Near-optimal light spanners
Chechik, S. & Wulff-Nilsen, Christian, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 883-892 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Early experiences with crowdsourcing airway annotations in chest CT
Cheplygina, V., Perez-Rovira, A., Kuo, W., Tiddens, H. A. W. M. & de Bruijne, Marleen, 2016, Deep Learning and Data Labeling for Medical Applications: First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. Carneiro, G., Mateus, D., Peter, L., Bradley, A., Tavares, J. M. R. S., Belagiannis, V., Papa, J. P., Nascimento, J. C., Loog, M., Lu, Z., Cardoso, J. S. & Cornebise, J. (eds.). Springer, p. 209-218 10 p. (Lecture notes in computer science, Vol. 10008).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Relation between wall shear stress and carotid artery wall thickening MRI versus CFD
Cibis, M., Potters, W. V., Selwaness, M., Gijsen, F. J., Franco, O. H., Arias Lorza, A. M., de Bruijne, Marleen, Hofman, A., van der Lugt, A., Nederveen, A. J. & Wentzel, J. J., 2016, In: Journal of Biomechanics. 49, 5, p. 735-741 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards optimal Takacs–Fiksel estimation
Coeurjolly, J. F., Guan, Y., Khanmohammadi, M. & Waagepetersen, R., 2016, In: Spatial Statistics. 18, Part B, p. 396-411 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Maximal unbordered factors of random strings
Cording, P. H. & Knudsen, M. B. T., 2016, String Processing and Information Retrieval: 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings. Inenaga, S., Sadakane, K. & Sakai, T. (eds.). Springer, p. 93-96 4 p. (Lecture notes in computer science, Vol. 9954).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Method for linking a media work to perform an action, involves linking an electronic media work with a reference electronic media work identifier associated with a reference electronic media work using an approximate neighbor search
Cox, Ingemar Johansson, 9 Feb 2016, IPC No. H04N-021/43, Patent No. US9256885-B1, 9 Feb 2016, Priority date 13 Mar 2013, Priority No. US800890Research output: Patent
Most downloads
-
6951
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6267
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5782
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