Datalogisk Institut

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

    A comparison of well-quasi orders on trees

    Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (red.). s. 30-40 11 s. (Electronic Proceedings in Theoretical Computer Science, Bind 129).

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

  2. 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, 2023, I: Journal of Economic Theory. 213, 24 s., 105713.

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

  3. Udgivet

    A concurrent data collection environment for wasteful communication satellite system

    Skovsgaard, T., Sørensen, P. D., Dickson, L. J., Quarrie, L. O. B. & Vinter, B., 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. 189-197 9 s. (Concurrent Systems Engineering Series, Bind 70).

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

  4. Udgivet

    A confluent rewriting system having no computable, one-step, normalizing strategy

    Simonsen, Jakob Grue, 2015, I: ACM Transactions on Computational Logic. 16, 2, 9 s., 10.

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

  5. Udgivet

    A context-dependent and disordered ubiquitin-binding motif

    Dreier, Jesper Elmsted, Prestel, Andreas, Martins, J. M., Brøndum, S. S., Nielsen, Olaf, Garbers, Anna Engstrøm, Suga, H., Boomsma, Wouter, Rogers, Joseph Matthew, Hartmann-Petersen, Rasmus & Kragelund, Birthe Brandt, 2022, I: Cellular and molecular life sciences : CMLS. 79, 9, 21 s., 484.

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

  6. Udgivet

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, s. 175-186

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

  7. Udgivet

    A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (red.). The Eurographics Association, s. 39-48 10 s.

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

  8. Udgivet

    A fast approximation scheme for low-dimensional k-means

    Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 430-440

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

  9. Udgivet

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, dec. 2017, I: Computers & Graphics. 69, s. 36-48 13 s.

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

  10. Udgivet

    A financial benchmark for GPGPU compilation

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 s.

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

  11. Udgivet

    A foresight analysis of pervasive healthcare technologies

    Gauthier, T. & Wac, Katarzyna, 2015, I: Journal of Futures Studies. 20, 1, s. 69-81 13 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  12. Udgivet

    A framework for data mining in wind power time series

    Kramer, O., Gieseke, Fabian Cristian, Heinermann, J., Poloczek, J. & Treiber, N. A., 2014, Data analytics for renewable energy integration: Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Woon, W. L., Aung, Z. & Madnick, S. (red.). Springer, s. 97-107 (Lecture notes in computer science, Bind 8817).

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

  13. Udgivet

    A framework for optimizing measurement weight maps to minimize the required sample size

    Qazi, A. A., Jørgensen, D. R., Lillholm, Martin, Loog, M., Nielsen, Mads & Dam, Erik Bjørnager, 2010, I: Medical Image Analysis. 14, 3, s. 255-264 10 s.

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

  14. Udgivet

    A framework for speeding up priority-queue operations

    Elmasry, A., Jensen, C. & Katajainen, J., 2004, Department of Computer Science, University of Copenhagen, 31 s.

    Publikation: Working paper

  15. Udgivet

    A hierarchical recurrent encoder-decoder for generative context-aware query suggestion

    Sordoni, A., Bengio, Y., Vahabi, H., Lioma, Christina, Simonsen, Jakob Grue & Nie, J., 2015, CIKM '15 Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 553-562 10 s.

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

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

  17. Udgivet

    A hybrid approach to self-management in a pervasive service middleware

    Zhang, W., Hansen, K. M. & Ingstrup, M., 2014, I: Knowledge-Based Systems. 67, s. 143-161 19 s.

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

  18. Udgivet

    A hyper elasticity method for interactive virtual design of hearing aids: a parallel method for general non-linear hyper elasticity modeling

    Darkner, Sune & Erleben, Kenny, 2011, I: Visual Computer. 27, 6, s. 645-653 9 s.

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

  19. Udgivet

    A longitudinal study of growth, sex steroids and IGF-1 in boys with physiological gynaecomastia

    Mieritz, M. G., Raket, L. L., Hagen, C. P., Nielsen, J. E., Talman, M. M., Petersen, Jørgen Holm, Sommer, Stefan Horst, Main, Katharina Maria, Jørgensen, N. & Juul, Anders, 2015, I: Journal of Clinical Endocrinology and Metabolism. 100, 10, s. 3752-3759 8 s.

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

  20. Udgivet

    A method to determine the mammographic regions that show early changes due to the development of breast cancer

    Karemore, G., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, I: Physics in Medicine and Biology. 59, 22, s. 6759-6773 15 s.

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

  21. Udgivet

    A model-free unsupervised method to cluster brain tissue directly From DWI volumes

    Liptrot, M. G. & Lauze, Francois Bernard, 2014. 1 s.

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

  22. Udgivet

    A more efficient rank-one covariance matrix update for evolution strategies

    Krause, Oswin & Igel, Christian, 2015, Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery, s. 129-136 8 s.

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

  23. Udgivet

    A non-convex variational approach to photometric stereo under inaccurate lighting

    Quéau, Y., Wu, T., Lauze, Francois Bernard, Durou, J. & Cremers, D., jul. 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, s. 350-359 10 s.

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

  24. Udgivet

    A nonlinear mixed-effects model for simultaneous smoothing and registration of functional data

    Raket, L. L., Sommer, Stefan Horst & Markussen, Bo, 2014, I: Pattern Recognition Letters. 38, s. 1-7 7 s.

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

  25. Udgivet

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, Proceedings of 14th International Conference on Pattern Recognition (ICPR 14). s. 652-654

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

  26. Udgivet

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, (Technical Report; Nr. 1, Bind 98).

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

  27. Udgivet

    A note on generalization loss when evolving adaptive pattern recognition systems

    Igel, Christian, 2013, I: I E E E Transactions on Evolutionary Computation. 17, 3, s. 345-352 8 s.

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

  28. Udgivet

    A numerical strategy for finite element modeling of frictionless asymmetric vocal fold collision

    Granados, A., Misztal, M. K., Brunskog, J., Visseq, V. & Erleben, Kenny, 2017, I: International Journal for Numerical Methods in Biomedical Engineering. 33, 2, 25 s., e02793.

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

  29. Udgivet

    A physically natural metric for human motion and the associated Brownian motion model

    Hauberg, S. & Steenstrup Pedersen, Kim, 2011.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  30. Udgivet

    A projected back-tracking line-search for constrained interactive inverse kinematics

    Engell-Nørregård, M. P. & Erleben, Kenny, 2011, I: Computers & Graphics. 35, 2, s. 288-298 11 s.

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

  31. Udgivet

    A psychophysical investigation of size as a physical variable

    Jansen, Y. & Hornbæk, Kasper, 2016, I: I E E E Transactions on Visualization and Computer Graphics. 22, 1, s. 479-488 10 s.

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

  32. Udgivet

    A qualitative study of the key factors in implementing telemedical monitoring of diabetic foot ulcer patients

    Rasmussen, B. S. B., Jensen, L. K., Frøkjær, J., Kidholm, K., Kensing, Finn & Yderstræde, K. B., 2015, I: International Journal of Medical Informatics. 84, 10, s. 799-807 9 s.

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

  33. Udgivet

    A random Riemannian metric for probabilistic shortest-path tractography

    Hauberg, S., Schober, M., Liptrot, M. G., Hennig, P. & Feragen, A., 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, s. 597-604 8 s. (Lecture notes in computer science, Bind 9349).

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

  34. Udgivet

    A randomized in-place algorith for positioning the k\'th element in a multiset

    Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, s. 408-417

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

  35. Udgivet

    A randomized in-place algorithm for positioning the kTL element in a multiset. CPH STL Report 2001-13

    Katajainen, J. & Pasanen, T., 2001, http://www.cphstl.dk, 11 s.

    Publikation: Working paper

  36. Udgivet

    A real-time passive vision system for robotic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE). IEEE, s. 389-394 6 s.

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

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

  38. Udgivet

    A research roadmap for context-awareness-based self-managed systems

    Zhang, W., Hansen, K. M. & Bellavista, P., 2013, Service-oriented computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (red.). Springer, s. 275-283 9 s. (Lecture notes in computer science, Bind 7759).

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

  39. Udgivet

    A short survey on decision making for task migrations in mobile cloud environments

    Zhang, W., Tan, S. & Hansen, K. M., 2014, 2014 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI). IEEE, s. 64-67 4 s.

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

  40. Udgivet

    A simple and optimal ancestry labeling scheme for trees

    Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2015, Automata, languages, and programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (red.). Springer, s. 564-574 11 s. (Lecture notes in computer science, Bind 9135).

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

  41. Udgivet

    A standard-driven implementaion of WS-BPEL 2.0

    Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, s. 2472-2476 5 s.

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

  42. Udgivet

    A static SMC sampler on shapes for the automated segmentation of aortic calcifications

    Petersen, P. K., Nielsen, Mads & Brandt, S. S., 2010, Computer Vision – ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Daniilidis, K., Maragos, P. & Paragios, N. (red.). Springer, s. 666-679 14 s. (Lecture notes in computer science, Bind 6314).

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

  43. Udgivet

    A statistical model for simultaneous template estimation, bias correction, and registration of 3D brain images

    Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Kühnel, L., Darkner, Sune, Sørensen, L. & Nielsen, Mads, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (red.). Springer, s. 151-159 9 s. (Lecture notes in computer science, Bind 10081).

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

  44. Udgivet

    A stochastic large deformation model for computational anatomy

    Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, s. 571-582 12 s. (Lecture notes in computer science, Bind 10265).

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

  45. Udgivet

    A strongly quasiconvex PAC-Bayesian bound

    Thiemann, N., Igel, Christian, Wintenberger, O. & Seldin, Yevgeny, 2017, Proceedings of International Conference on Algorithmic Learning Theory, 15-17 October 2017, Kyoto University, Kyoto, Japan . Hanneke, S. & Reyzin, L. (red.). Proceedings of Machine Learning Research, s. 466-492 (Proceedings of Machine Learning Research, Bind 76).

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

  46. Udgivet

    A study of factuality, objectivity and relevance: three desiderata in large-scale information retrieval?

    Lioma, Christina, Larsen, B., Lu, W. & Huang, Y., 2016, Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. Association for Computing Machinery, s. 107-117 11 s.

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

  47. Udgivet

    A study of metrics of distance and correlation between ranked lists for compositionality detection

    Lioma, Christina & Hansen, N. D., aug. 2017, I: Cognitive Systems Research. 44, s. 40-49 10 s.

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

  48. Udgivet

    A swiss pocket knife for computability

    Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (red.). s. 1-17 17 s. (Electronic Proceedings in Theoretical Computer Science, Bind 129).

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

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

  50. Udgivet

    A transfer-learning approach to image segmentation across scanners by maximizing distribution similarity

    van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, held in conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (red.). Springer, s. 49-56 8 s. (Lecture notes in computer science, Bind 8184).

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

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