Department of Computer Science

  1. 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 journalJournal articleResearchpeer-review

  2. 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/ReportReportResearch

  3. 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 journalConference abstract in journalResearch

  4. 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 journalJournal articleResearchpeer-review

  5. 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 proceedingArticle in proceedingsResearchpeer-review

  6. 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 journalJournal articleResearchpeer-review

  7. Published

    Generic algorithm for 0/1-sorting

    Franceschini, G. & Katajainen, J., 2006, 16 p.

    Research output: Book/ReportReportResearch

  8. Published

    Generic algorithm for 0-1 sorting

    Franceschini, G. & Katajainen, J., 2006.

    Research output: Working paperResearch

  9. 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-40

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. 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-731

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. 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 proceedingArticle in proceedingsResearchpeer-review

  12. 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 journalJournal articleResearchpeer-review

  13. 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 journalConference articleResearchpeer-review

  14. Published

    Realizability toposes from specifications

    Frey, J., 2015, In: Leibniz International Proceedings in Informatics. 38, p. 196-210 15 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  15. 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 journalJournal articleResearchpeer-review

  16. 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 journalJournal articleResearchpeer-review

  17. 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-305

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  18. 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. 4

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  19. 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 proceedingArticle in proceedingsResearchpeer-review

  20. 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 journalJournal articleResearchpeer-review

  21. 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-784

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  22. Published

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, p. 10

    Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

  23. 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-257

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  24. 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-21

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  25. 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/ReportReportResearch

  26. 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-24

    Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

  27. 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-544

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  28. 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. 22

    Research output: Chapter in Book/Report/Conference proceedingReport chapterResearch

  29. 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-19

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  30. 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. 10

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  31. 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-1386

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  32. 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-48

    Research output: Contribution to journalReviewResearch

  33. 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 proceedingCommentResearch

  34. 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 journalJournal articleResearchpeer-review

  35. 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-157

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  36. 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 journalJournal articleResearchpeer-review

  37. 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-1380

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  38. 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 proceedingArticle in proceedingsResearchpeer-review

  39. 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 journalContribution to newspaper - Comment/debateCommunication

  40. 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 proceedingArticle in proceedingsResearchpeer-review

  41. 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/ReportReportResearch

  42. 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 journalConference abstract in journalResearch

  43. 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 proceedingArticle in proceedingsResearchpeer-review

  44. 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 journalJournal articleResearch

  45. 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-529

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  46. Published

    Asymptotically efficient in-place merging

    Geffert, V., Katajainen, J. & Pasanen, T., 2000, In: Theoretical Computer Science. 237, 1-2, p. 159-181

    Research output: Contribution to journalJournal articleResearchpeer-review

  47. 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 journalEditorialResearchpeer-review

  48. Published

    Editorial

    Gherardi, S., Østerlund, C. & Kensing, Finn, 2014, In: Information Technology and People. 27, 4

    Research output: Contribution to journalEditorialResearchpeer-review

  49. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  50. 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 proceedingArticle in proceedingsResearchpeer-review

  51. 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 journalJournal articleResearchpeer-review

  52. 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 proceedingBook chapterResearchpeer-review

  53. 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 journalJournal articleResearch

  54. 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 proceedingArticle in proceedingsResearchpeer-review

  55. 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 proceedingArticle in proceedingsResearchpeer-review

  56. 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 proceedingArticle in proceedingsResearchpeer-review

  57. 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 proceedingArticle in proceedingsResearchpeer-review

  58. 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-20

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  59. 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 proceedingArticle in proceedingsResearchpeer-review

  60. 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-171

    Research output: Contribution to journalJournal articleResearchpeer-review

  61. 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-31

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  62. Published

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144

    Research output: Contribution to journalEditorialResearch

  63. 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 journalJournal articleResearchpeer-review

  64. 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 journalJournal articleResearchpeer-review

  65. 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-994

    Research output: Contribution to journalJournal articleResearchpeer-review

  66. 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/ReportPh.D. thesisResearch

  67. 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-443

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  68. 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 proceedingArticle in proceedingsResearchpeer-review

  69. 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 proceedingArticle in proceedingsResearchpeer-review

  70. 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-2335

    Research output: Contribution to journalJournal articleResearchpeer-review

  71. 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 journalJournal articleResearchpeer-review

  72. 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 proceedingArticle in proceedingsResearchpeer-review

  73. 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 journalJournal articleResearchpeer-review

  74. 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 proceedingArticle in proceedingsResearchpeer-review

  75. 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 proceedingArticle in proceedingsResearchpeer-review

  76. 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/ReportPh.D. thesisResearch

  77. 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. 44

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  78. 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 proceedingArticle in proceedingsResearchpeer-review

  79. 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 proceedingArticle in proceedingsResearchpeer-review

  80. 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 journalJournal articleResearchpeer-review

  81. 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 proceedingCommentResearch

  82. 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 proceedingArticle in proceedingsResearchpeer-review

  83. 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 journalJournal articleResearchpeer-review

  84. 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 journalJournal articleResearchpeer-review

  85. 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 proceedingArticle in proceedingsResearchpeer-review

  86. 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 journalEditorialResearch

  87. 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 journalJournal articleResearchpeer-review

  88. 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/ReportBookResearchpeer-review

  89. 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 proceedingArticle in proceedingsResearchpeer-review

  90. 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 proceedingArticle in proceedingsResearchpeer-review

  91. 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 proceedingArticle in proceedingsResearchpeer-review

  92. 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 proceedingArticle in proceedingsResearchpeer-review

  93. 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 proceedingArticle in proceedingsResearch

  94. 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 proceedingArticle in proceedingsResearchpeer-review

  95. 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 journalJournal articleResearchpeer-review

  96. 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 journalJournal articleResearchpeer-review

  97. 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 proceedingArticle in proceedingsResearchpeer-review

  98. 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 journalJournal articleResearchpeer-review

  99. 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-3312

    Research output: Contribution to journalJournal articleResearchpeer-review

  100. 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 journalJournal articleResearchpeer-review

Previous 12 3 4 5 6 7 8 9 ...17 Next