Datalogisk Institut

Læs mere
1 - 25 ud af 1.703Pr. side: 25
Sortering: Titel
  1. Udgivet

    "It’s about Business not Politics”: software development between Palestinians and Israelis

    Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, s. 43-61 19 s.

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

  2. Udgivet

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, I: NeuroImage. 9, 6 PART II

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

  3. Udgivet

    (Automated) software modularization using community detection

    Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (red.). Springer, s. 95-102 8 s. (Lecture notes in computer science, Bind 9278).

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

  4. Udgivet

    2016 POPL impressions

    Henglein, Fritz, 2016, I: SIGLOG News. 3, 2, s. 79-81 3 s.

    Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning

  5. Udgivet

    3D analysis of synaptic vesicle density and distribution after acute foot-shock stress by using serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, I: Journal of Microscopy. 265, 1, s. 101–110 10 s.

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

  6. Udgivet

    3D estimation of synaptic vesicle distributions in serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, I: Journal of Microscopy. 265, 1, s. 101–110 1 s.

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

  7. Udgivet

    800.000 gode grunde til datalogi i skolen

    Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 apr. 2016, I: Berlingske Tidende. s. 31 1 s.

    Publikation: Bidrag til tidsskrift › Bidrag til avis - Kommentar/debat › Formidling

  8. Udgivet

    mQoL: experiences of the 'mobile communications and computing for quality of life' living lab

    Wac, Katarzyna, Gustarini, M., Marchanoff, J., Fanourakis, M., Tsiourti, C., Ciman, M., Hausmann, J. & Pinar, G., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, s. 177-181 5 s.

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

  9. Udgivet

    A Branch-and-Cut Algorithm for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K., Petersen, B. & Spoorendonk, S., 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 15 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 08-01).

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

  10. Udgivet

    A Note on the Flow Extended 0-1 Knapsack Cover Inequalities for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K. & Spoorendonk, S., 2008, København: Department of Computer Science, University of Copenhagen. 7 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 08/02).

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

  11. Udgivet

    Bayes estimation of shape model with application to vertebrae boundaries

    Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Bind 7259. 8 s.

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

  12. Udgivet

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, I: International Journal on Software Tools for Technology Transfer. s. 485 - 516 31 s.

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

  13. Udgivet

    Essays on C++ concepts

    Katajainen, J., 2008, 14 s.

    Publikation: Working paper › Forskning

  14. Udgivet

    Making operations on standard-library containers strongly exception safe

    Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Bind 07. s. 158-169

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

  15. Udgivet

    Mini-project: Safe standard-library containers

    Katajainen, J., 2008, 2 udg., 6 s.

    Publikation: Working paper › Forskning

  16. Udgivet

    Priority-queue framework: Programs

    Katajainen, J., 2009, 7 udg., København, 122 s.

    Publikation: Working paper › Forskning

  17. Udgivet

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 s.

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

  18. Udgivet

    Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4

    Katajainen, J., 2007, 39 s.

    Publikation: Working paper › Forskning

  19. Udgivet

    Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1

    Katajainen, J., 2005, 37 s.

    Publikation: Working paper › Forskning

  20. Udgivet

    Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5

    Katajainen, J., 2005, 9 s.

    Publikation: Working paper › Forskning

  21. Udgivet

    Stronger guarantees for standard-library containers

    Katajainen, J., 2007, Algorithm Engineering. Bind 25. s. 31-35

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

  22. Udgivet

    A CMA-ES with multiplicative covariance matrix updates

    Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, s. 281-288 8 s.

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

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

  24. Udgivet

    A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, s. 69-70 2 s. 3399520

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

  25. Udgivet

    A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems

    Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 s. IOP1040

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

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