Department of Computer Science

Read more
101 - 200 out of 1,699Page size: 100
Sort by: 1st author
  1. Published

    Priority queues and sorting for read-only data

    Asano, T., Elmasry, A. & Katajainen, J., 2013, Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Chan, T-H. H., Lau, L. C. & Trevisan, L. (eds.). Springer, p. 32-41 10 p. (Lecture notes in computer science, Vol. 7876).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    SMEIL: A domain-specific language for synchronous message exchange networks

    Asheim, T., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 389-414 (Concurrent Systems Engineering Series, Vol. 70).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Low pain vs no pain multi-core Haskells

    Aswad, M., Trinder, P., Al Zain, A., Michaelson, G. & Berthold, J., 2011, Trends in Functional Programming 10. Horváth, Z., Zsók, V., Achten, P. & Koopman, P. (eds.). Intellect, p. 49-64 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

  5. 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

  6. Published

    Multi-Task Learning of Keyphrase Boundary Classification

    Augenstein, Isabelle & Søgaard, Anders, 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics : (Short Papers). Barzilay, R. & Kan, M-Y. (eds.). Association for Computational Linguistics, Vol. 2. p. 341-346 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces

    Augenstein, Isabelle, Ruder, S. & Søgaard, Anders, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 1896–1906 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. Published

    A chainlike relative coordinate system for few-particle problems

    Avery, James Emil & Avery, J. S., 2017, In: Journal of Mathematical Chemistry. 55, 2, p. 584-597 14 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  9. Published

    Chains, antichains, and complements in infinite partition lattices

    Avery, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, In: Algebra Universalis. 79, 37, 21 p., 37.

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. Published

    Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates

    Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  11. 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

  12. 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

  13. Published

    A hierarchy of fast reversible turing machines

    Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 29-44 16 p. (Lecture notes in computer science, Vol. 9138).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  14. 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

  15. Published

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., Aug 2017, In: International Journal of Foundations of Computer Science. 28, 5, p. 503-522 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  16. Published

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (eds.). Springer, p. 407-426 20 p. (Lecture notes in computer science, Vol. 9458).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

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

  19. Published

    Reversible representation and manipulation of constructor terms in the heap

    Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

  21. Published

    Quantification of smoothing requirement for 3D optic flow calculation of volumetric images

    Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, In: IEEE Transactions on Image Processing. 22, 6, p. 2128-2137 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  22. Published

    Graph archive

    Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 52-53 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review

  23. Published

    Imperative versus Declarative Process Mining: An Empirical Comparison

    Back, C.O., Debois, S. & Slaats, Tijs, 2020, Department of Computer Science, University of Copenhagen, 14 p.

    Research output: Working paper › Research

  24. Published

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 Oct 2012, 466 p.

    Research output: Book/Report › Ph.D. thesis › Research

  25. Published

    Convergence in infinitary term graph rewriting systems is simple (extended abstract)

    Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  26. Published

    Programming macro tree transducers

    Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  27. Published

    Generalising tree traversals to DAGs: exploiting sharing without the pain

    Bahr, P. & Axelsson, E., 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 27-38 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  28. Published

    Towards certified management of financial contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  29. Published

    Certified symbolic management of financial multi-party contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, p. 315-327 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  30. Published

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  31. Published

    Calculating certified compilers for non-deterministic languages

    Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Springer, p. 159-186 28 p. (Lecture notes in computer science, Vol. 9129).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  32. Published

    Partial order infinitary term rewriting

    Bahr, P., 2014, In: Logical Methods in Computer Science. 10, 2, 52 p., 6.

    Research output: Contribution to journal › Journal article › Research › peer-review

  33. Published

    Calculating correct compilers

    Bahr, P. & Hutton, G., 2015, In: Journal of Functional Programming. 25, 47 p., e14.

    Research output: Contribution to journal › Journal article › Research › peer-review

  34. Published

    Composing and decomposing data types: a closed type families implementation of data types à la carte

    Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 71-82 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  35. Published

    Statistical coronary motion models for 2D + t/3D registration of X-ray coronary angiography and CTA

    Baka, N., Metz, C. T., Schultz, C., Neefjes, L., van Geuns, R. J., Lelieveldt, B. P. F., Niessen, W. J., van Walsum, T. & de Bruijne, Marleen, 2013, In: Medical Image Analysis. 17, 6, p. 698-709 12 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  36. Published

    Fluoroscopic assessment of femoral kinematics using a statistical shape model

    Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , p. 147148 2 p. 5B.2

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review

  37. Published

    Evaluation of automated statistical shape model based knee kinematics from biplane fluoroscopy

    Baka, N., Kaptein, B. L., Giphart, J. E., Staring, M., de Bruijne, Marleen, Lelieveldt, B. P. F. & Valstar, E., 2014, In: Journal of Biomechanics. 47, 1, p. 122-129 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  38. Published

    Energy Consumption-Aware Tabular Benchmarks for Neural Architecture Search

    Bakhtiarifard, Pedram, Igel, Christian & Selvan, Raghav, 12 Oct 2022, arxiv.org, 13 p.

    Research output: Working paper › Preprint › Research

  39. 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

  40. Published

    Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases

    Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, Dec 1990, In: International Journal of Legal Medicine (Print). 104, 1, p. 3-7 5 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  41. Published

    Fire perspektiver på systemudvikling (DIKU rapport 89/15)

    Bansler, Jørgen P. & Clausen, H., 1989, In: Copenhagen: diku tryk.

    Research output: Contribution to journal › Journal article › Research

  42. Published

    The nature of software work. Systems development as labour process

    Bansler, Jørgen P. & Havn, E. C., 1991, In: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. p. 145-153 9 p.

    Research output: Contribution to journal › Journal article › Research

  43. Published

    A reappraisal of structured analysis: design in an organizational context

    Bansler, Jørgen P. & Bødker, K., 1993, In: ACM Transactions on Information Systems (TOIS). 11, 2, p. 165-193 29 p.

    Research output: Contribution to journal › Journal article › Research

  44. Published

    Information systems development with generic systems

    Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. p. 707-718 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  45. Published

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  46. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  47. Published

    Trade unions and alternative technology in Scandinavia

    Bansler, Jørgen P., 1989, In: New Technology, Work and Employment. 4, 2, p. 92-99 8 p.

    Research output: Contribution to journal › Journal article › Research

  48. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1988, In: Information Technology and People. 4, 2, p. 117-133 17 p.

    Research output: Contribution to journal › Journal article › Research

  49. Published

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, In: Scandinavian Journal of Information Systems. 1, 1, p. 1 1 p.

    Research output: Contribution to journal › Journal article › Research

  50. Published

    Systemutveckling-teori och historia i skandinaviskt perspektiv

    Bansler, Jørgen P., 1990, In: Studentlitteratur, Lund.

    Research output: Contribution to journal › Journal article › Research

  51. Published

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

    Research output: Book/Report › Book › Research

  52. Published

    Privilege and invisibility in the new work order: a reply to Kyng

    Bansler, Jørgen P. & Kraft, P., 1994, In: Scandinavian Journal of Information Systems. 6, 1, p. 97-106 10 p.

    Research output: Contribution to journal › Journal article › Research

  53. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993

    Bansler, Jørgen P., 1993, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  54. Published

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 Aug 2017, In: Politiken. p. 7-8 2 p.

    Research output: Contribution to journal › Contribution to newspaper - Feature article › Communication

  55. Published

    Connecting Practices : ICT Infrastructures to Support Integrated care: Guest Editorial

    Bansler, Jørgen P., 2007, In: International Journal of Integrated Care. 7, p. 1-2 2 p.

    Research output: Contribution to journal › Editorial › Research

  56. Published

    Physicians’ progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T., Schmidt, K. & Svendsen, Jesper Hastrup, 2013, ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 2013, Paphos, Cyprus. Bertelsen, O. W., Ciolfi, L., Grasso, M. A. & Papadopoulos, G. A. (eds.). Springer, p. 123-142 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  57. Published

    Pilot Implementation of Health Information Systems: Issues and challenges

    Bansler, Jørgen P. & Havn, E. C., 2009, Proceedings of the Fifteenth Americas Conference on Information Systems. San Francisco, CA, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

  59. Published

    At the center of the galaxy: the integrative role of medical progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T. & Schmidt, K., 2013. 4 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  60. Published

    Unsupervised Induction of Linguistic Categories with Records of Reading, Speaking, and Writing

    Barrett, M. J., Gonzalez, Ana Valeria, Frermann, L. & Søgaard, Anders, 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics (NAACL): Human Language Technologies, (Long Papers) . Cordeiro, S. R., Oraby, S., Pavalanathan, U. & Rim, K. (eds.). Association for Computational Linguistics, Vol. 1. p. 2028-2038 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

  62. Published

    Coarse-to-Fine Low-Rank Structure-from-Motion

    Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, Søren Ingvor & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  63. Published

    A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery

    Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  64. Published

    Math in the cabin - shape analysis workshop in Bad Gastein

    Bauer, M., Bruveris, M., Harms, P., Khesin, B., Marsland, S., Michor, P., Modin, K., Müller, O., Pennec, X., Sommer, Stefan Horst & Vialard, F., 2014, Brunel University London. 29 p.

    Research output: Book/Report › Report › Research

  65. Published

    Enzyme-linked immunosorbent assay (ELISAs) for metalloproteinase derived type II collagen neoepitope, CIIM--increased serum CIIM in subjects with severe radiographic osteoarthritis

    Bay-Jensen, A., Liu, Q., Byrjalsen, I., Li, Y., Wang, J., Pedersen, C., Leeming, D. J., Dam, Erik Bjørnager, Zheng, Q., Qvist, P. & Karsdal, M. A., Apr 2011, In: Clinical Biochemistry. 44, 5-6, p. 423-9 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  66. Published

    Which elements are involved in reversible and irreversible cartilage degradation in osteoarthritis?

    Bay-Jensen, A., Hoegh-Madsen, S., Dam, Erik Bjørnager, Henriksen, K., Sondergaard, B. C., Pastoureau, P., Qvist, P. & Karsdal, M. A., Feb 2010, In: Rheumatology International. 30, 4, p. 435-42 8 p.

    Research output: Contribution to journal › Review › Research › peer-review

  67. Published

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 Jul 2017, In: Monthly Notices of the Royal Astronomical Society. 468, 4, p. 4323-4339 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  68. Published

    The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013

    Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.

    Research output: Book/Report › Book › Research › peer-review

  69. Published

    Markovian domain fingerprinting: statistical segmentation of protein sequences

    Bejerano, G., Seldin, Yevgeny, Tishby, N. & Margalit, H., 2001, In: Bioinformatics.

    Research output: Contribution to journal › Journal article › Research › peer-review

  70. Published

    The structure of the serotonin system: a PET imaging study

    Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, p. 614-615 2 p.

    Research output: Contribution to journal › Conference abstract in journal › Research › peer-review

  71. Published

    The structure of the serotonin system: A PET imaging study

    Beliveau, V., Ozenne, Brice Maxime Hugues, Strother, S., Greve, D. N., Svarer, C., Knudsen, Gitte Moos & Ganz, Melanie, 2020, In: NeuroImage. 205, 116240.

    Research output: Contribution to journal › Journal article › Research › peer-review

  72. Published

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011

    Research output: Book/Report › Anthology › Research

  73. Published

    Preface

    Bender, J., Erleben, Kenny & Galin, E., 2011, In: VRIPHYS 2011 - 8th Workshop on Virtual Reality Interactions and Physical Simulations.

    Research output: Contribution to journal › Editorial › Research › peer-review

  74. Published

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., Nov 2017, In: IEEE Computer Graphics and Applications. 37, 6, p. 26-27 2 p.

    Research output: Contribution to journal › Editorial › Research

  75. Published

    Interactive simulation of rigid body dynamics in computer graphics

    Bender, J., Erleben, Kenny & Trinkle, J., 2014, In: Computer Graphics Forum. 33, 1, p. 246-270 25 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  76. Published

    I Really did That: Sense of Agency with Touchpad, Keyboard, and On-skin Interaction

    Bergström, Joanna, Coyle, D., Knibbe, J. & Hornbæk, Kasper, 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 8 p. 378

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  77. Published

    It’s a Wrap: Mapping On-Skin Input to Off-Skin Displays

    Bergström, Joanna, Hornbæk, Kasper & Boring, S., 20 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 564

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  78. Published

    Placing and recalling virtual items on the skin

    Bergström, Joanna, Boring, S. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1497-1507 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  79. Published

    A Comparative Field Study of Four Crane Control Interfaces

    Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  80. 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

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

  82. Published

    Passive immunization of Aotus monkeys with human antibodies to the Plasmodium falciparum antigen Pf155/RESA

    Berzins, K., Perlmann, H., Wåhlin, B., Ekre, H. P., Høgh, Birthe, Petersen, E., Wellde, B., Schoenbechler, M., Williams, J. & Chulay, J., Apr 1991, In: Infection and Immunity. 59, 4, p. 1500-6 7 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  83. Published

    Longest common extensions in sublinear space

    Bille, P., Gørtz, I. L., Knudsen, M. B. T., Lewenstein, M. & Vildhøj, H. W., 2015, Combinatorial Pattern Matching: 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings. Cicalese, F., Porat, E. & Vaccaro, U. (eds.). Springer, p. 65-76 12 p. (Lecture notes in computer science, Vol. 9133).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  84. Published

    Identifying beneficial task relations for multi-task learning in deep neural networks

    Bingel, J. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: volume 2, short papers. Association for Computational Linguistics, Vol. 2. p. 164-169 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  85. Published

    Risk factors for infection with highly pathogenic influenza A virus (H5N I) in commercial chickens in Bangladesh

    Biswas, P. K., Christensen, Jens Peter, Ahmed, S. S. U., Barua, H., Das, A., Rahman, M. H., Giasuddin, M., Hannan, A. S. M. A., Habib, A. M. & Debnath, N. C., 13 Jun 2009, In: Veterinary Record. 164, 24, p. 743-746 4 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  86. Published

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., Sep 2017, In: Annals of Operations Research. 256, 1, p. 21-40 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  87. Published

    Back to the Future: Sequential Alignment of Text Representations

    Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  88. Published

    From Phonology to Syntax: Unsupervised Linguistic Typology at Different Levels with Language Embeddings

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : (Long Papers). Association for Computational Linguistics, Vol. 1. p. 907-916 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  89. Published

    Tracking Typological Traits of Uralic Languages in Distributed Language Representations

    Bjerva, J. & Augenstein, Isabelle, 2018, Proceedings, Fourth International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics, p. 78-88

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  90. Published

    Multitask and Multilingual Modelling for Lexical Analysis

    Bjerva, J., 2018, In: KI - Künstliche Intelligenz. 32, 4, p. 287-290

    Research output: Contribution to journal › Journal article › Research › peer-review

  91. Published

    SIGTYP 2020 Shared Task: Prediction of Typological Features

    Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, Isabelle, 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Association for Computational Linguistics, p. 1-11

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  92. Published

    Longitudinal study of seroreactivities to Pf155/RESA and its repetitive sequences in small children from a holoendemic area of Liberia

    Björkman, A., Lebbad, M., Perlmann, H., Freeman, T., Høgh, Birthe, Petersen, E., Gille, E., Lindgren, A., Willcox, M. & Hanson, A. P., May 1991, In: Parasite Immunology. 13, 3, p. 301-11 11 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  93. Published

    Studying Technologies in Practice: “Bounding Practices” when investigating socially embedded technologies

    Bjorn, Pernille & Boulus-Rødje, N., 2015, Designing socially embedded technologies in the real-world. Wulf, V., Schmidt, K. & Randall, D. (eds.). Springer, Vol. IV. p. 341-356 16 p. (Computer Supported Cooperative Work).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  94. 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

  95. 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

  96. Published

    Special issue on information infrastructures for healthcare: The global and local relation

    Bjorn, Pernille & Kensing, Finn, May 2013, In: International Journal of Medical Informatics. 82, 5, p. 281-282

    Research output: Contribution to journal › Editorial › Research › peer-review

  97. Published

    The multiple intersecting sites of design in CSCW research

    Bjorn, Pernille & Boulus-Rødje, N., 2015, In: Computer Supported Cooperative Work. 24, 4, p. 319-351 33 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  98. Published

    Random walk term weighting for information retrieval

    Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  99. Published

    User generated content search

    Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  100. Published

    GECCO '13: Proceedings of the 2013 Genetic and Evolutionary Computation Conference

    Blum, C. (ed.), Alba, E. (ed.), Auger, A. (ed.), Bacardit, J. (ed.), Bongard, J. (ed.), Branke, J. (ed.), Bredeche, N. (ed.), Brockhoff, D. (ed.), Chicano, F. (ed.), Dorin, A. (ed.), Doursat, R. (ed.), Ekart, A. (ed.), Friedrich, T. (ed.), Giacobini, M. (ed.), Harman, M. (ed.), Iba, H. (ed.), Igel, C. (ed.), Jansen, T. (ed.), Kovacs, T. (ed.), Kowaliw, T. (ed.) & 20 others, Lopez-Ibanez, M. (ed.), Lozano, J. A. (ed.), Luque, G. (ed.), McCall, J. (ed.), Moraglio, A. (ed.), Motsinger-Reif, A. (ed.), Neumann, F. (ed.), Ochoa, G. (ed.), Olague, G. (ed.), Ong, Y. (ed.), Palmer, M. E. (ed.), Pappa, G. L. (ed.), Parsopoulos, K. E. (ed.), Schmickl, T. (ed.), Smith, S. L. (ed.), Solnon, C. (ed.), Stuetzle, T. (ed.), Talbi, E. (ed.), Tauritz, D. (ed.) & Vanneschi, L. (ed.), 2013, Association for Computing Machinery.

    Research output: Book/Report › Book › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...17 Next