Datalogisk Institut

Læs mere
351 - 400 ud af 1.702Pr. side: 50
Sortering: Titel
  1. Udgivet

    Complexity hierarchies and higher-order cons-free rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 s. 23. (Leibniz International Proceedings in Informatics, Bind 52).

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

  2. Udgivet

    Complexity hierarchies and higher-order cons-free term rewriting

    Kop, C. L. M. & Simonsen, Jakob Grue, 7 aug. 2017, I: Logical Methods in Computer Science. 13, 3, 29 s., 8.

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

  3. Udgivet

    Complexity of conditional term rewriting

    Kop, C. L. M., Middeldorp, A. & Sternagel, T., 2017, I: Logical Methods in Computer Science. 13, 1, 56 s., 6.

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

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

  5. Udgivet

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  6. Udgivet

    Compositional Specification of Commercial Contracts

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, s. 8

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

  7. Udgivet

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 s.

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

  8. Udgivet

    Compositional deep learning in Futhark

    Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 aug. 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (red.). Association for Computing Machinery, s. 47-59

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

  9. Udgivet

    Compressing spatio-temporal trajectories

    Gudmundsson, J., Katajainen, J., Merrick, D., Ong, C. & Wolle, T., 2009, I: Computational Geometry. 42, 9, s. 825-841 17 s.

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

  10. Udgivet

    Computability in the lattice of equivalence relations

    Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).

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

  11. Udgivet

    Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry

    Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 s.

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

  12. Udgivet

    Computational anatomy in Theano

    Kühnel, L. & Sommer, Stefan Horst, 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Joshi, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (red.). Springer, s. 164-176 13 s. (Lecture notes in computer science, Bind 10551).

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

  13. Udgivet

    Computational artifacts: interactive and collaborative computing as an integral feature of work practice

    Schmidt, K. & Bansler, Jørgen P., 2016, COOP 2016: proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (red.). Springer, s. 21-38 18 s.

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

  14. Udgivet

    Computational biology: a programming perspective

    Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (red.). Springer, s. 403-433 31 s. (Lecture notes in computer science, Bind 7000).

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

  15. Udgivet

    Computational complexity for uniform orientation Steiner tree problems

    Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (red.). Australian Computer Society, Bind 135. s. 107-113 7 s.

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

  16. Udgivet

    Computational complexity of linear large margin classification with ramp loss

    Maibing, S. F. & Igel, Christian, 2015, Proceedings of the 18th International Conference on Artificial Intelligence and Statistics (AISTATS) 2015. Lebanon, G. & Vishwanathan, S. V. N. (red.). s. 259-267 9 s. (JMLR: Workshop and Conference Proceedings, Bind 38).

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

  17. Udgivet

    Computer Support for Document Management in the Danish Central Government

    Hertzum, M., 1995, I: Information Infrastructure and Policy. 4, 2, s. 107-129 23 s.

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

  18. Udgivet

    Computer analysis method for analyzing images involves applying algorithm to aligned images to extract quantitative estimate of difference in volume of object shown in second image by calculating change in volume of object

    Pai, A. S. U., Sørensen, L., Dam, E., Lillholm, Martin & Nielsen, Mads, 2014, IPC nr. A61B-005/00, Patentnr. US2014357978-A1, 4 dec. 2014, Prioritetsdato 4 jun. 2013, Prioritetsnr. US909666

    Publikation: Patent

  19. Udgivet

    Computer based method for determining the size of an objects in an image

    Pai, A. S. U., Sørensen, L., Dam, E. B., Lillholm, Martin & Nielsen, Mads, 4 dec. 2014, Prioritetsdato 4 dec. 2014

    Publikation: Patent

  20. Udgivet

    Computer support for documentation work

    Hertzum, M., 1994, Department of Computer Science, University of Copenhagen.

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

  21. Udgivet

    Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction

    Mottelson, A., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  22. Udgivet

    Computer-supported patient involvement in heart rehabilitation

    Kensing, Finn, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work: Exploratory Papers. European Society for Socially Embedded Technologies, s. 177-186 10 s. (Reports of the European Society for Socially Embedded Technologies; Nr. 2, Bind 1).

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

  23. Udgivet

    Computerlingvistik: Metoder til visualisering af regional variation i sociale medier

    Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (red.). Frederiksberg: Samfundslitteratur, s. 121-143 23 s. (Medier, Kommunikation, Journalistik).

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

  24. Udgivet

    Computing Optic Flow by Scale-Space Integration of Normal Flow

    Steenstrup Pedersen, Kim & Nielsen, Mads, 2001, Proceedings of DSAGM'01, Den 10. Danske Konference om Mønstergenkendelse og Billedanalyse. s. 124-135 (DIKU teknisk rapport; Nr. 01-04).

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning

  25. Udgivet

    Computing continuous-time Markov chains as transformers of unbounded observables

    Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).

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

  26. Udgivet

    Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1999, I: Algorithmica. Vol.25, s. 418-437

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

  27. Udgivet

    Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1998, publisher. s. 144-153

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

  28. Udgivet

    Conceptual frameworks for constructing iterators for compound data structures - Electronic appendix I: component-iterator and rank-iterator classes

    Katajainen, J. & Maniotis, A. M., 2013, Department of Computer Science, University of Copenhagen. 47 s. (CPH STL Report; Nr. 2012-3).

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

  29. Udgivet

    Concrete Semantics with Coq and CoqHammer

    Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 jul. 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (red.). Springer, s. 53-59 5. (Lecture Notes in Computer Science, Bind 11006).

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

  30. Udgivet

    Concurrent solution of the stereo correspondence problem and the surface reconstruction problem

    Olsen, Søren Ingvor, 1986, Proceedings of the 8th International Conference on Pattern Recognition, CVPR. Paris, s. 1038-1040 3 s.

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

  31. Udgivet

    Conflict IT: Technologies and collaborative practices in conflict areas

    Boulus-Rødje, N., Bjorn, Pernille, Randall, D., Wulf, V. & Ghazawneh, A., 2015. 7 s.

    Publikation: Konferencebidrag › Paper › Forskning

  32. Udgivet

    Confluence of an extension of combinatory logic by Boolean constants

    Czajka, Ł., 1 sep. 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. 14. (Leibniz International Proceedings in Informatics, Bind 84).

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

  33. Udgivet

    Conforming contact manifolds for multibody simulations

    Visseq, V., Bonde, U., Erleben, Kenny & Darkner, Sune, 2014. 2 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

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

  35. Udgivet

    Connection forms for beating the heart

    Mensch, A., Piuze, E., Lehnert, L., Backermans, A. J., Sporring, Jon, Strijkers, G. J. & Siddiqi, K., 2015, Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges: 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers. Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (red.). Springer, s. 83-92 10 s. (Lecture notes in computer science, Bind 8896).

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

  36. Udgivet

    Consistent Hashing with bounded loads

    Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 587-604 18 s.

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

  37. Udgivet

    Constraining the Chiral Magnetic Effect with charge-dependent azimuthal correlations in Pb-Pb collisions at root s(NN)=2.76 and 5.02 TeV

    Acharya, S., Torals-Acosta, F., Adam, J., Adamova, D., Adler, A., Adolfsson, J., Aggarwal, MM., Rinella, G. A., Agnello, M., Agrawal, N., Ahn, S. U., Aiola, S., Akindinov, A., Al-Turany, M., Alam, SN., Bearden, I., Bourjau, C. A., rtc312, R., bsm989, B., Gaardhøje, J. J. & 8 flere, Ozelin De Lima Pimentel, L., Pacik, V., Nielsen, Børge Svane, Thoresen, F., Vislavicius, V., Schukraft, J., Zhou, You & Alice Collaboration, A. C., 24 sep. 2020, I: Journal of High Energy Physics (Online). 2020, 9, 34 s., 160.

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

  38. Udgivet

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, s. 616-627

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

  39. Udgivet

    Constraint reordering for iterative multi-body simulation with contact

    Andrews, S., Erleben, Kenny & Teichmann, M., 2017. 2 s.

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

  40. Udgivet

    Constructing Concise Convex Covers via Clique Covers

    Abrahamsen, Mikkel, Meyling, William Bille & Nusser, André Fritz, 2023, 39th International Symposium on Computational Geometry, SoCG 2023. Chambers, E. W. & Gudmundsson, J. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 258).

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

  41. Udgivet

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 s. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 144).

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

  42. Udgivet

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 12 mar. 2022, I: Theoretical Computer Science. 907, s. 82-112

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

  43. Udgivet

    Constructing visual representations: investigating the use of tangible tokens

    Huron, S., Jansen, Y. & Carpendale, S., 2014, I: I E E E Transactions on Visualization and Computer Graphics. 20, 12, s. 2102-2111 10 s.

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

  44. Udgivet

    Construction and impromptu repair of an MST in a distributed network with o(m) communication

    King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 71-80 10 s.

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

  45. Udgivet

    Content-Aware Video Editing in the Temporal Domain

    Slot, K., Truelsen, R. & Sporring, Jon, 2009, Scandinavian Conference on Image Analysis (SCIA '09). 9 s.

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

  46. Udgivet

    Context Matters in Disorder Based Protein Communication

    Kragelund, Birthe Brandt, Prestel, Andreas, Wickmann, N., Martins, J., Boomsma, Wouter, Staby, L., Hendus-Altenburger, R. & Skriver, Karen, 2020, I: Biophysical Journal. 118, 3, suppl. 1, s. 491A 2407-Plat.

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

  47. Udgivet

    Context-aware QoS provisioning in an m-health service platform

    Wac, Katarzyna, van Halteren, A. T., Bults, R. G. A. & Broens, T. H. F., 18 maj 2007, I: International Journal of Internet Protocol Technology. 2, 2, s. 102-108 7 s.

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

  48. Udgivet

    Context-aware computing support for network-assisted seamless vertical handover in remote patient monitoring

    Pawar, P., Van Beijnum, B. J., Hermens, H., Wac, Katarzyna & Konstantas, D., 23 okt. 2009, Proceedings - 2009 International Conference on Advanced Information Networking and Applications Workshops, WAINA 2009. s. 351-358 8 s. 5136673. (Proceedings - International Conference on Advanced Information Networking and Applications, AINA).

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

  49. Udgivet

    Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services

    Pawar, P., Maret, P., Wac, Katarzyna, Van Halteren, A., Van Beijnum, B. J. & Hermens, H., 1 dec. 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. s. 481-488 8 s. (Proceedings of the ACM Symposium on Applied Computing).

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

  50. Udgivet

    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, s. 23-24

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

Forrige 1...4 5 6 7 8 9 10 11 ...35 Næste