- Published
Characterizing RNA ensembles from NMR data with kinematic models
Fonseca, R., Pachov, D. V., Bernauer, J. & van den Bedem, H., 2014, In: Nucleic Acids Research. 42, 15, p. 9562-9572 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Protein structure prediction using bee colony optimization heuristic
Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, Datalogisk Institut, Københavns Universitet. 11 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 12, Vol. 08).Research output: Book/Report › Report › Research
- Published
Protein Structure Prediction Using Bee Colony Optimization Metaheuristic: Extended Abstract
Fonseca, R., Paluszewski, M. & Winter, Pawel, 2008, In: Koebenhavns Universitet. Datalogisk Institut. Rapport. 12, 11 p.Research output: Contribution to journal › Conference abstract in journal › Research
- Published
Ranking beta sheet topologies with applications to protein structure prediction
Fonseca, R., Helles, G. & Winter, Pawel, 2011, In: Journal of Mathematical Modelling and Algorithms. 10, 4, p. 357-369 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
KGSrna: efficient 3D kinematics-based sampling for nucleic acids
Fonseca, R., van den Bedem, H. & Bernauer, J., 2015, Research in Computational Molecular Biology: 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings. Przytycka, T. (ed.). Springer, p. 80-95 16 p. (Lecture Notes in Bioinformatics).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the origins of OR and its institutions
Fores, S. & Krarup, J., 2013, In: Central European Journal of Operations Research. 21, 2, p. 265-275 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Generic algorithm for 0/1-sorting
Franceschini, G. & Katajainen, J., 2006, 16 p.Research output: Book/Report › Report › Research
- Published
Generic algorithm for 0-1 sorting
Franceschini, G. & Katajainen, J., 2006.Research output: Working paper › Research
- Published
Visualization of Tooth Eruption in CT-Scans
Franken, E., Sporring, Jon & Kreiborg, Sven, 2006, International Workshop on Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment: MICCAI 2006 Workshop Proceedings. Darvann, T. A., Hermann, N. V., Larsen, P. & Kreiborg, S. (eds.). IT-Universitetet i København, p. 33-40Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing eTextiles for the Body: Shape, Volume Motion
Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Second Skin: an exploration of eTextile stretch circuits on the body
Freire, R., Honnet, C. & Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 653-658 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Triposes, q-toposes and toposes
Frey, J., 2015, In: Annals of Pure and Applied Logic. 166, 2, p. 232-259 28 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
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
Rapid development of scalable scientific software using a process oriented approach
Friborg, R. M. & Vinter, B., 2011, In: Journal of Computational Science. 2, 3, p. 304-313 10 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Photon differential splatting for rendering caustics
Frisvad, J. R., Schjøth, L., Erleben, Kenny & Sporring, Jon, 2014, In: Computer Graphics Forum. 33, 6, p. 252-263 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The Managerial Challenges in the Transformation of the Danish Geodata Sector
Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Metaphors-of-Human-Thinking Technique for Usability Evaluation Compared to Heuristic Evaluation and Cognitive Walkthrough
Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. 98 ed. Roskilde: University of Roskilde, p. 4Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Improving web search transparency by using a Venn diagram interface
Frøkjær, Erik & Langer, L., 2008, NordCHI 2008: Building Bridges, Proceedings of the 5th Nordic Conference on Human-Computer Interaction, Lund, Sweden, 20-22 October, 2008. Gulz, A., Magnusson, C., Malmborg, L., Eftring, H., Jönsson, B. & Tollmar, K. (eds.). Association for Computing Machinery, p. 249-256 (ACM International Conference Proceedings; No. 358).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Metaphors of Human Thinking for Usability Evaluation and Design
Frøkjær, Erik & Hornbæk, Kasper, 2008, In: ACM Transactions on Computer Human Interaction. 14, 4, p. Article 20 33 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Metaphors of Human Thinking: A New Tool in User Interface Design and Evaluation
Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of INTERACT 2003 IFIP TC 13. IOS Press, p. 781-784Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Amanda - og problemerne med Statens IT-projekter
Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
Prediction of Usability: Comparing Method Combinations
Frøkjær, Erik & Lárusdóttir, M., 1999, Managing Information Technology Resources in Organizations in the Next Millenium, Information Resources Management Association International Conference (IRMA). Idea Group Publishing, p. 248-257Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Studying the Utility of Metaphors of Human Thinking in HCI
Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Proceedings of the 2nd Danish HCI Symposium
Frøkjær, Erik (ed.) & Hornbæk, Kasper (ed.), 2002, København: DIKU. 47 p.Research output: Book/Report › Report › Research
- Published
Contextual Design som Grundlag for Systemudviklings- og HCI-undervisning
Frøkjær, Erik, 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium. DAIMI, Århus Universitet: DAIMI PB-555, p. 23-24Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
Evaluating User Interfaces with Metaphors of Human Thinking
Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, p. 533-544Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Evaluating User Interface with Metaphors of Human Thinking
Frøkjær, Erik & Hornbæk, Kasper, 2003, Universal Access. Lecture Notes. 2615 ed. Berlin, Heidelberg: Springer, p. 22Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
- Published
Fagfolks dokumentationsarbejde og informationshåndtering
Frøkjær, Erik, Perstrup, K. & Hornbæk, Kasper, 1999, Viden Om, Særnummer om eksperimentelle søgemetoder, April. Dansk Biblioteks Center, p. 15-19Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Metaphors of Human Thinking in HCI: Habit, Stream of Thought, Awareness, Utterances and Knowing
Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of HF2002 Human Factors Conference, Oz'CHI. ESA and CHISIG, p. 10Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions
Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Turn - Integration of Information Seeking and Retrieval in Context
Frøkjær, Erik, 2006, In: Dansk Biblioteksforskning. årgang 1 nr 3, p. 45-48Research output: Contribution to journal › Review › Research
- 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
Verifying procedural programs via constrained rewriting induction
Fuhs, C., Kop, C. L. M. & Nishida, N., Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 50 p., 14.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Formal proof of polynomial-time complexity with quasi-interpretations
Férée, H., Hym, S., Mayero, M., Moyen, J. Y. & Nowak, D., 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Association for Computing Machinery, p. 146-157Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Social design feedback: evaluations with users in online ad-hoc groups
Følstad, A., Hornbæk, Kasper & Ulleberg, P., 2013, In: Human-centric Computing and Information Sciences. 3, 27 p., 18.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Predicting Protein Content in Grain Using Hyperspectral Deep Learning
Engstrøm, Ole-Christian Galbo, Dreier, E. S. & Steenstrup Pedersen, Kim, 2021, Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) . IEEE, p. 1372-1380Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReGraDa: Reactive Graph Data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Algoritmer kopierer lægers fordomme om race og køn
Ganz, Melanie, Holm, Sune Hannibal & Feragen, A., 4 Jun 2020, In: Dagbladet Politiken. p. 9 (sektion 2) 1 p.Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication
- Published
Dense Iterative Contextual Pixel Classification using Kriging
Ganz, Melanie, Loog, M., Brandt, S. & Nielsen, Mads, 2009, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2009. CVPR Workshops 2009. . p. 87-93 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The improved relevance voxel machine
Ganz, Melanie, Sabuncu, M. & Leemput, K. V., 2013, Technical University of Denmark. 19 p. (DTU Compute Technical Report, Vol. 2013-10).Research output: Book/Report › Report › Research
- Published
BMD PREDICTION OF DEATH IS ENCAPSULATED BY THE MORPHOLOGICAL ATHEROSCLEROSIS CALCIFICATION DISTRIBUTION (MACD) INDEX
Ganz, Melanie, Nielsen, Mads, Karsdal, M. & Christiansen, C., 2009, In: Bone. suppl. 2, p. S265 1 p.Research output: Contribution to journal › Conference abstract in journal › Research
- Published
An improved optimization method for the relevance voxel machine
Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A foresight analysis of pervasive healthcare technologies
Gauthier, T. & Wac, Katarzyna, 2015, In: Journal of Futures Studies. 20, 1, p. 69-81 13 p.Research output: Contribution to journal › Journal article › Research
- Published
Better tradeoffs for exact distance oracles in planar graphs
Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Asymptotically efficient in-place merging
Geffert, V., Katajainen, J. & Pasanen, T., 2000, In: Theoretical Computer Science. 237, 1-2, p. 159-181Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Thematic series on software engineering from a social network perspective
Gerosa, M. A., Redmiles, D., Bjorn, Pernille & Sama, A., 2015, In: Journal of Internet Services and Applications. 6, 5 p., 23.Research output: Contribution to journal › Editorial › Research › peer-review
- Published
Editorial
Gherardi, S., Østerlund, C. & Kensing, Finn, 2014, In: Information Technology and People. 27, 4Research output: Contribution to journal › Editorial › Research › peer-review
- 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
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
Convolutional neural networks for transient candidate vetting in large-scale surveys
Gieseke, F., Bloemen, S., van den Bogaard, C., Heskes, T., Kindler, J., Scalzo, R. A., Ribeiro, V. A. R. M., van Roestel, J., Groot, P. J., Yuan, F., Möller, A. & Tucker, B. E., Dec 2017, In: Monthly Notices of the Royal Astronomical Society. 472, 3, p. 3101-3114 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Bigger buffer k-d trees on multi-many-core systems
Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
bufferkdtree: a Python library for massive nearest neighbor queries on multi-many-core devices
Gieseke, Fabian Cristian, Oancea, Cosmin Eugen & Igel, Christian, 15 Mar 2017, In: Knowledge-Based Systems. 120, p. 1-3 3 p.Research output: Contribution to journal › Journal article › Research
- Published
Speedy greedy feature selection: better redshift estimation via massive parallelism
Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Buffer k-d trees: processing massive nearest neighbor queries on GPUs
Gieseke, Fabian Cristian, Heinermann, J., Oancea, Cosmin Eugen & Igel, Christian, 2014, Proceedings of the 31st International Conference on Machine Learning, Beijing, China, 2014. 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 32).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Polynomial runtime bounds for fixed-rank unsupervised least-squares classification
Gieseke, Fabian Cristian, Pahikkala, T. & Igel, Christian, 2013, Asian Conference on Machine Learning. Ong, C. S. & Ho, T. B. (eds.). Vol. 29. p. 62-71 10 p. (JMLR: Workshop and Conference Proceedings, Vol. 29).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Asymmetry quantization and application to human mandibles
Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. p. 274-282 (Medical Imaging 2004: Image Processing, Vol. 5370).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Smoke simulation for fire engineering using a multigrid method on graphics hardware
Glimberg, S., Erleben, Kenny & Bennetsen, J., 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. European Association for Computer Graphics, p. 11-20Research 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
A categorical foundation for structured reversible flowchart languages
Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171Research output: Contribution to journal › Journal article › Research › peer-review
- 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
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144Research output: Contribution to journal › Editorial › Research
- Published
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The global brain and the emerging economy of abundance: mutualism, open collaboration, exchange networks and the automated commons
Goertzel, B., Goertzel, T. & Goertzel, Z. A., Jan 2017, In: Technological Forecasting and Social Change. 114, p. 65-73 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
State, media and civil society in the information warfare over Ukraine: citizen curators of digital disinformation
Golovchenko, Yevgeniy, Hartmann, M. & Adler-Nissen, Rebecca, 2018, In: International Affairs. 95, 5, p. 975-994Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Towards Human-Centered Natural Language Processing
Gonzalez, Ana Valeria, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 219 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Using gaze to predict text readability
Gonzalez, Ana Valeria & Søgaard, Anders, 2017, Proceedings of the 12th Workshop on Innovative Use of NLP for Building Educational Applications. Association for Computational Linguistics, p. 438-443Research 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
Mass Preserving Registration for lung CT
Gorbunova, V., Lo, P. C. P., Loeve, M., Tiddens, H., Sporring, Jon, Nielsen, Mads & de Bruijne, Marleen, 2009, Proceedings of the SPIE: Medical Imaging 2009: Image Processing. Vol. 7259. 10 p. (Proceedings of the SPIE, Vol. 7259).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
I3T: Intensity Interferometry Imaging Telescope
Gori, P. M., Vakili, F., Rivet, J. P., Guerin, W., Hugbart, M., Chiavassa, A., Vakili, Adrien, Kaiser, R. & Labeyrie, G., 2021, In: Monthly Notices of the Royal Astronomical Society. 505, 2, p. 2328-2335Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Feature-space clustering for fMRI meta-analysis: Human Brain Mapping
Goutte, C., Hansen, L. K., Liptrot, M. G. & Rostrup, Egill, 2001, In: Human Brain Mapping. 13, 3, p. 165-183 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Finite element modeling of the vocal folds with deformable interface tracking
Granados, A., Brunskog, J., Misztal, M. K., Visseq, V. & Erleben, Kenny, 2014, Forum Acusticum. European Acoustics Association, 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A numerical strategy for finite element modeling of frictionless asymmetric vocal fold collision
Granados, A., Misztal, M. K., Brunskog, J., Visseq, V. & Erleben, Kenny, 2017, In: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 p., e02793.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Optimally streaming greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer, p. 224-240 17 p. (Lecture notes in computer science, Vol. 8687).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Two-pass greedy regular expression parsing
Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Parsing with Regular Expressions & Extensions to Kleene Algebra
Grathwohl, N. B. B., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 197 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
KAT + B!
Grathwohl, N. B. B., Kozen, D. & Mamouras, K., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery, 10 p. 44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Infinitary axiomatization of the equational theory of context-free languages
Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).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
Infinitary axiomatization of the equational theory of context-free languages
Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, In: Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Open Design at the Intersection of Making and Manufacturing
Green, D., Fuchsberger, V., Kirk , D., Taylor, N., Chatting, D., Meissner, J., Murer, M., Tscheligi, M., Lindtner, S., Bjorn, Pernille & Reiter, A., 2017, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 542-549 8 p.Research output: Chapter in Book/Report/Conference proceeding › Comment › Research
- Published
Dark patterns in proxemic interactions: a critical perspective
Greenberg, S., Boring, S., Vermeulen, J. & Dostal, J., 2014, Proceedings of the 2014 conference on Designing Interactive Systems. Association for Computing Machinery, p. 523-532 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Position paper on COVID-19 imaging and AI: From the clinical needs and technological challenges to initial AI solutions at the lab and national level towards a new era for AI in healthcare
Greenspan, H., Estepar, R. S. J., Niessen, W. J., Siegel, E. & Nielsen, Mads, 2020, In: Medical Image Analysis. 66, 11 p., 101800.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Safety and Efficacy of Mesenchymal Stem Cells for Radiation-Induced Xerostomia: A Randomized, Placebo-Controlled Phase 1/2 Trial (MESRIX)
Grønhøj, C., Jensen, D. H., Vester-Glowinski, Peter Viktor, Jensen, S. B., Bardow, A., Oliveri, R. S., Fog, L. M., Specht, Lena, Thomsen, C., Darkner, Sune, Jensen, M., Müller, V., Kiss, K., Agander, T., Andersen, E., Fischer-Nielsen, A. & von Buchwald, Christian, 1 Jul 2018, In: International Journal of Radiation Oncology, Biology, Physics. 101, 3, p. 581-592 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The affordances of broken affordances
Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).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
Compressing spatio-temporal trajectories
Gudmundsson, J., Katajainen, J., Merrick, D., Ong, C. & Wolle, T., 2009, In: Computational Geometry. 42, 9, p. 825-841 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, Proceedings
Gudmundsson, J. (ed.) & Katajainen, J. (ed.), 2014, Springer. 466 p. (Lecture notes in computer science, Vol. 8504).Research output: Book/Report › Book › Research › peer-review
- Published
Stateful load balancing for parallel stream processing
Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A SVD Based Image Complexity Measure
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Geometric and Texture Inpainting by Gibbs Sampling
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Proceedings SSBA 2007: Symposium on inage analysis, Linköping, March 14-14, 2007. Borga, M., Brun, A. & Felsberg, M. (eds.). Linköpings Universitet, 4 p. (Institutionen för medicinsk teknik, Universitetet i Linköping; No. LiU-IMT-R-0047).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Image Inpainting by Cooling and Heating
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Springer, p. 591-600 10 p. (Lecture notes in computer science; No. 4522).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-Scale Natural Images: A database and some statistics
Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, Proceedings of 16'th Danish Conference on Pattern Recognition and Image Analysis (DSAGM) 2008. Olsen, S. I. (ed.). Department of Computer Science, University of Copenhagen, 2 p. (DIKU Technical Report; No. 08-10).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
On the Rate of Structural Change in Scale Spaces
Gustafsson, D. K. J., Steenstrup Pedersen, Kim, Lauze, Francois Bernard & Nielsen, Mads, 2009, Proceedings of Scale Space and Variational Methods in Computer Vision (SSVM) 09. Springer, Vol. 5567. p. 832-843 11 p. (Lecture notes in computer science, Vol. 5567/209).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
The effect of prophylaxis with chloroquine and proguanil on delayed-type hypersensitivity and antibody production following vaccination with diphtheria, tetanus, polio, and pneumococcal vaccines
Gyhrs, A., Pedersen, B. K., Bygbjerg, Ib Christian, Henrichsen, J., Heron, I., Petersen, I. & Skinhoj, P., 1991, In: American Journal of Tropical Medicine and Hygiene. 45, 5, p. 613-8 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
ARRIVAL: Next stop in CLS
Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Heuristic methods for single link shared backup path protection
Haahr, J. T., Stidsen, T. & Zachariasen, M., 2014, In: Journal of Heuristics. 20, 5, p. 539-560 22 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Veros v0.1-a fast and versatile ocean simulator in pure Python
Hafner, D., Jacobsen, R. L., Eden, C., Kristensen, M. R. B., Jochum, Markus, Nuterman, Roman & Vinter, B., 16 Aug 2018, In: Geoscientific Model Development. 11, 8, p. 3299-3312Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Generating graphs packed with paths: Estimation of linear approximations and differentials
Hall-Andersen, M. & Vejre, P. S., 2018, In: IACR Transactions on Symmetric Cryptology. 2018, 3, p. 265-289 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
Most downloads
-
6945
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6255
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5777
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
Doorways Do Not Always Cause Forgetting: Studying the Effect of Locomotion Technique and Doorway Visualization in Virtual Reality
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