Datalogisk Institut

Læs mere
101 - 200 ud af 1.702Pr. side: 100
Sortering: 1. forfatter
  1. Udgivet

    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. (red.). Springer, s. 32-41 10 s. (Lecture notes in computer science, Bind 7876).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  2. Udgivet

    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. (red.). IMIA and IOS Press, s. 389-414 (Concurrent Systems Engineering Series, Bind 70).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    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. (red.). Intellect, s. 49-64 16 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Udgivet

    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. (red.). Instituto Chileno de Investigacion Operativa, s. 69-76 8 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Udgivet

    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. (red.). Springer, s. 373-389 17 s. (Lecture notes in computer science, Bind 9634).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. Udgivet

    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. (red.). Association for Computational Linguistics, Bind 2. s. 341-346 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

    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, Bind 1. s. 1896–1906 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    A chainlike relative coordinate system for few-particle problems

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. Udgivet

    Chains, antichains, and complements in infinite partition lattices

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    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. (red.). Department of Science Education, University of Copenhagen, s. 13-31 19 s. (Improving University Science Teaching and Learning - Pedagogical Projects; Nr. 1-2, Bind 7).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  11. Udgivet

    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. (red.). Springer, s. 579-591 13 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  12. Udgivet

    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. (red.). Springer, s. 89-104 16 s. (Lecture notes in computer science, Bind 9720).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  13. Udgivet

    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. (red.). Springer, s. 29-44 16 s. (Lecture notes in computer science, Bind 9138).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  14. Udgivet

    On reversible Turing machines and their function universality

    Axelsen, H. B. & Glück, Robert, 2016, I: Acta Informatica. 53, 5, s. 509-543 35 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  15. Udgivet

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., aug. 2017, I: International Journal of Foundations of Computer Science. 28, 5, s. 503-522 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  16. Udgivet

    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. (red.). Springer, s. 407-426 20 s. (Lecture notes in computer science, Bind 9458).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  17. Udgivet

    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. (red.). Springer, s. 15-26 12 s. (Lecture notes in computer science, Bind 9705).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  18. Udgivet

    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. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  19. Udgivet

    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. (red.). Springer, s. 96-109 14 s. (Lecture notes in computer science, Bind 7948).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  20. Udgivet

    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. (red.). Springer, s. 73-90 18 s. (Lecture notes in computer science, Bind 9634).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  21. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  22. Udgivet

    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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 52-53 2 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning › fagfællebedømt

  23. Udgivet

    Imperative versus Declarative Process Mining: An Empirical Comparison

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

    Publikation: Working paper › Forskning

  24. Udgivet

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

    Bahr, P., 31 okt. 2012, 466 s.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  25. Udgivet

    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. (red.). Open Publishing Association, s. 17-28 12 s. (Electronic Proceedings in Theoretical Computer Science, Bind 110).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  26. Udgivet

    Programming macro tree transducers

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  27. Udgivet

    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, s. 27-38 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  28. Udgivet

    Towards certified management of financial contracts

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

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  29. Udgivet

    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, s. 315-327 13 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  30. Udgivet

    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, s. 221-237 17 s. (Lecture notes in computer science, Bind 8475).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  31. Udgivet

    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. (red.). Springer, s. 159-186 28 s. (Lecture notes in computer science, Bind 9129).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  32. Udgivet

    Partial order infinitary term rewriting

    Bahr, P., 2014, I: Logical Methods in Computer Science. 10, 2, 52 s., 6.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  33. Udgivet

    Calculating correct compilers

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  34. Udgivet

    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, s. 71-82 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  35. Udgivet

    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, I: Medical Image Analysis. 17, 6, s. 698-709 12 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  36. Udgivet

    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 , s. 147148 2 s. 5B.2

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning › fagfællebedømt

  37. Udgivet

    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, I: Journal of Biomechanics. 47, 1, s. 122-129 8 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  38. Udgivet

    Energy Consumption-Aware Tabular Benchmarks for Neural Architecture Search

    Bakhtiarifard, Pedram, Igel, Christian & Selvan, Raghav, 12 okt. 2022, arxiv.org, 13 s.

    Publikation: Working paper › Preprint › Forskning

  39. Udgivet

    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, s. 103-106 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  40. Udgivet

    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, I: International Journal of Legal Medicine (Print). 104, 1, s. 3-7 5 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  41. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  42. Udgivet

    The nature of software work. Systems development as labour process

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  43. Udgivet

    A reappraisal of structured analysis: design in an organizational context

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  44. Udgivet

    Information systems development with generic systems

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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  45. Udgivet

    Syv samtaler om systemarbejde

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  46. Udgivet

    Systems development in Scandinavia: Three theoretical schools

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  47. Udgivet

    Trade unions and alternative technology in Scandinavia

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  48. Udgivet

    Systems development in Scandinavia: Three theoretical schools

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  49. Udgivet

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, I: Scandinavian Journal of Information Systems. 1, 1, s. 1 1 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  50. Udgivet

    Systemutveckling-teori och historia i skandinaviskt perspektiv

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  51. Udgivet

    Systemudvikling: teori og historie i skandinavisk perspektiv

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  52. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  53. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  54. Udgivet

    Så lyt dog til kritikken af Sundhedsplatformen

    Bansler, Jørgen P. & Søgaard, J., 24 aug. 2017, I: Politiken. s. 7-8 2 s.

    Publikation: Bidrag til tidsskrift › Bidrag til avis - Kronik › Formidling

  55. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  56. Udgivet

    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. (red.). Springer, s. 123-142 20 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  57. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  58. Udgivet

    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, I: Computer Supported Cooperative Work. 25, 6, s. 503-546 44 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  59. Udgivet

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

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  60. Udgivet

    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. (red.). Association for Computational Linguistics, Bind 1. s. 2028-2038 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  61. Udgivet

    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. s. 1330-1339 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  62. Udgivet

    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, s. 1-8 8 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  63. Udgivet

    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. (red.). Springer, s. 257-269 8 s. (Lecture notes in computer science; Nr. 4358).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  64. Udgivet

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

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  65. Udgivet

    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, I: Clinical Biochemistry. 44, 5-6, s. 423-9 7 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  66. Udgivet

    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, I: Rheumatology International. 30, 4, s. 435-42 8 s.

    Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt

  67. Udgivet

    On the realistic validation of photometric redshifts

    COIN Collaboration, C. C., 1 jul. 2017, I: Monthly Notices of the Royal Astronomical Society. 468, 4, s. 4323-4339 17 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  68. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt

  69. Udgivet

    Markovian domain fingerprinting: statistical segmentation of protein sequences

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  70. Udgivet

    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, I: Journal of Cerebral Blood Flow and Metabolism. 39, s. 614-615 2 s.

    Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › fagfællebedømt

  71. Udgivet

    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, I: NeuroImage. 205, 116240.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  72. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  73. Udgivet

    Preface

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

    Publikation: Bidrag til tidsskrift › Leder › Forskning › fagfællebedømt

  74. Udgivet

    Modeling virtual humans

    Bender, J., Erleben, Kenny & Solenthaler, B., nov. 2017, I: IEEE Computer Graphics and Applications. 37, 6, s. 26-27 2 s.

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  75. Udgivet

    Interactive simulation of rigid body dynamics in computer graphics

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  76. Udgivet

    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 s. 378

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  77. Udgivet

    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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  78. Udgivet

    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, s. 1497-1507 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  79. Udgivet

    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, s. 33:1-33:4

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  80. Udgivet

    A synthetic axiomatization of Map Theory

    Berline, C. & Grue, Klaus, 2016, I: Theoretical Computer Science. 614, s. 1-62 62 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  81. Udgivet

    PAEAN: portable and scalable runtime support for parallel Haskell dialects

    Berthold, J., Loidl, H. & Hammond, K., 2016, I: Journal of Functional Programming. 26, 39 s., e10.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  82. Udgivet

    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, I: Infection and Immunity. 59, 4, s. 1500-6 7 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  83. Udgivet

    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. (red.). Springer, s. 65-76 12 s. (Lecture notes in computer science, Bind 9133).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  84. Udgivet

    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, Bind 2. s. 164-169 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  85. Udgivet

    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, I: Veterinary Record. 164, 24, s. 743-746 4 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  86. Udgivet

    Feature selection for portfolio optimization

    Bjerring, T. T., Ross, Omry & Weissensteiner, A., sep. 2017, I: Annals of Operations Research. 256, 1, s. 21-40 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  87. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  88. Udgivet

    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, Bind 1. s. 907-916 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  89. Udgivet

    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, s. 78-88

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  90. Udgivet

    Multitask and Multilingual Modelling for Lexical Analysis

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  91. Udgivet

    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, s. 1-11

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  92. Udgivet

    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., maj 1991, I: Parasite Immunology. 13, 3, s. 301-11 11 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  93. Udgivet

    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. (red.). Springer, Bind IV. s. 341-356 16 s. (Computer Supported Cooperative Work).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  94. Udgivet

    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, s. 210-220 11 s.

    Publikation: Bidrag til bog/antologi/rapport › Kommentar › Forskning › fagfællebedømt

  95. Udgivet

    New fundamentals for CSCW research: from distance to politics

    Bjorn, Pernille, 2016, I: interactions. 23, 3, s. 50-53 4 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  96. Udgivet

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

    Bjorn, Pernille & Kensing, Finn, maj 2013, I: International Journal of Medical Informatics. 82, 5, s. 281-282

    Publikation: Bidrag til tidsskrift › Leder › Forskning › fagfællebedømt

  97. Udgivet

    The multiple intersecting sites of design in CSCW research

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  98. Udgivet

    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. s. 829-830 2 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  99. Udgivet

    User generated content search

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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  100. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...18 Næste