Datalogisk Institut

Læs mere
301 - 350 ud af 1.703Pr. side: 50
Sortering: Udgivelsesdato
  1. 2017
  2. Udgivet

    Popular Politics: Comparing Popular Stories across News Media in Election Seasons

    Ørmen, Jacob & Petersen, C., 1 jun. 2017.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  3. Udgivet

    Adaptive pattern recognition in real-time video-based soccer analysis

    Schlipsing, M., Salmen, J., Tschentscher, M. & Igel, Christian, jun. 2017, I: Journal of Real-Time Image Processing. 13, 2, s. 345–361 17 s.

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

  4. Udgivet

    Simultaneous reconstruction and segmentation of CT scans with shadowed data

    Lauze, Francois Bernard, Quéau, Y. & Plenge, E., jun. 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (red.). Springer, s. 308-319 12 s. (Lecture notes in computer science, Bind 10302).

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

  5. Udgivet

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., jun. 2017, I: ACM Transactions on Computational Logic. 18, 2, 50 s., 14.

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

  6. Udgivet

    Artistic movement recognition by boosted fusion of color structure and topographic description

    Florea, C., Toca, C. & Gieseke, Fabian Cristian, 11 maj 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision. IEEE, s. 569-577 9 s.

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

  7. Udgivet

    Tolerance analysis for 0-1 knapsack problems

    Pisinger, D. & Saidi, A., 1 maj 2017, I: European Journal of Operational Research. 258, 3, s. 866-876 11 s.

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

  8. Udgivet

    Boosting active contours for weld pool visual tracking in automatic arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., apr. 2017, I: IEEE Transactions on Automation Science and Engineering. 14, 2, s. 1096-1108 13 s.

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

  9. Udgivet

    Density-based non-rigid registration of diffusion-weighted images

    Jensen, H. G., Lauze, Francois Bernard, Nielsen, Mads & Darkner, Sune, apr. 2017.

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

  10. Udgivet

    Heap Construction—50 Years Later

    Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., apr. 2017, I: The Computer Journal. 60, 5, s. 657-674 18 s.

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

  11. Udgivet

    Streamlet Tractography

    Liptrot, M. G., Darkner, Sune, Feragen, A. & Lauze, Francois Bernard, apr. 2017.

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

  12. Udgivet

    Usability, acceptability, and adherence to an electronic self-monitoring system in patients with major depression discharged from inpatient wards

    Lauritsen, L., Andersen, L., Olsson, E., Søndergaard, S. R., Nørregaard, L. B., Løventoft, P. K., Svendsen, S. D., Frøkjær, Erik, Jensen, H. M., Hageman, Ida, Kessing, Lars Vedel & Martiny, Klaus, apr. 2017, I: Journal of Medical Internet Research. 19, 4, 12 s., e123.

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

  13. Udgivet

    bufferkdtree: a Python library for massive nearest neighbor queries on multi-many-core devices

    Gieseke, Fabian Cristian, Oancea, Cosmin Eugen & Igel, Christian, 15 mar. 2017, I: Knowledge-Based Systems. 120, s. 1-3 3 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  14. Udgivet

    Digital Health Tools for Sleep Self-Management: Working Mothers Use Case

    Wac, Katarzyna, Montanini, L., Ryager, K. B. & Rivas, H., mar. 2017, s. 52555-52556.

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

  15. Udgivet

    Editorial: project reports

    Igel, Christian, mar. 2017, I: KI - Künstliche Intelligenz. 31, 1, s. 1-1 1 s.

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  16. Udgivet

    Quality-of-life technologies

    Wac, Katarzyna, Rivas, H. & Fiordelli, M., mar. 2017, I: Computer. 50, 3, s. 15-19 5 s.

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  17. Udgivet

    Towards characterizing and reducing artifacts caused by varying projection truncation

    Borg, L., Jørgensen, J. S. & Sporring, Jon, 24 feb. 2017, Department of Computer Science, University of Copenhagen. 42 s. (Datalogisk Institut. Københavns Universitet. Technical Reports; Nr. 1, Bind 2017).

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

  18. Udgivet

    WSDM 2017 Workshop on Mining Online Health Reports: WSDM workshop summary

    Collier, N., Limsopatham, N., Culotta, A., Conway, M., Cox, Ingemar Johansson & Lampos, V., 2 feb. 2017, Proceedings of the Tenth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 825-826 2 s.

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

  19. Udgivet

    Interaction graphs: graphings

    Seiller, T., feb. 2017, I: Annals of Pure and Applied Logic. 168, 2, s. 278-320 43 s.

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

  20. Udgivet

    Enabling work migration in CoMD to study dynamic load imbalance solutions

    Pearce, O., Ahmed, H., Larsen, R. W. & Richards, D. F., 30 jan. 2017, Proceedings of PMBS 2016: 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems. s. 98-107 10 s.

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

  21. Udgivet

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 jan. 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 35-46 12 s.

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

  22. Udgivet

    Cross-lingual and cross-domain discourse segmentation of entire documents

    Braud, C., Lacroix, O. & Søgaard, Anders, 1 jan. 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Bind 2. s. 237-243 7 s.

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

  23. Udgivet

    DABAI: A data driven project for e-Learning in Denmark

    Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 jan. 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (red.). Academic Conferences and Publishing International, s. 18-24 7 s.

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

  24. Udgivet

    Objective airway artery dimensions compared to CT scoring methods assessing structural cystic fibrosis lung disease

    Kuo, W., Andrinopoulou, E., Perez-Rovira, A., Ozturk, H., de Bruijne, Marleen & Tiddens, H. A. W. M., jan. 2017, I: Journal of Cystic Fibrosis. 16, 1, s. 116–123 8 s.

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

  25. Udgivet

    The global brain and the emerging economy of abundance: mutualism, open collaboration, exchange networks and the automated commons

    Goertzel, B., Goertzel, T. & Goertzel, Z. A., jan. 2017, I: Technological Forecasting and Social Change. 114, s. 65-73 9 s.

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

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

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

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

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

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

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

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

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

  34. Udgivet

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

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

  35. Udgivet

    All-in-one implementation framework for binary heaps

    Katajainen, J., 2017, I: Software: Practice and Experience. 47, 4, s. 523-558 36 s.

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

  36. Udgivet

    An improved parametrization and analysis of the EXP3++ algorithm for stochastic and adversarial bandits

    Seldin, Yevgeny & Lugosi, G., 2017, Proceedings of Conference on Learning Theory, 7-10 July 2017, Amsterdam, Netherlands. Kale, S. & Shamir, O. (red.). Proceedings of Machine Learning Research, s. 1743-1759 (Proceedings of Machine Learning Research, Bind 65).

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

  37. Udgivet

    An intensionally fully-abstract sheaf model for π (expanded version)

    Eberhart, C., Hirschowitz, T. & Seiller, T., 2017, I: Logical Methods in Computer Science. 13, 4, 76 s., 9.

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

  38. Udgivet

    Aspects you should consider in your action plan when implementing an improvement strategy

    Carstensen, Peter & Vinter, O., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Mas, A., Mesquida, A., O'Connor, R. V., Rout, T. & Dorling, A. (red.). Springer, s. 467-480 14 s. (Communications in Computer and Information Science, Bind 770).

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

  39. Udgivet

    Automatic Calibration of High Density Electric Muscle Stimulation

    Knibbe, J., Strohmeier, P., Boring, S. & Hornbæk, Kasper, 2017, I: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 1, 3, 17 s., 68.

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

  40. Udgivet

    BASELINE RELIABILITY OF EEG AND ERP IN A FOUR-WAY CROSSOVER STUDY IN HEALTHY SUBJECTS

    Ip, C., Ganz, Melanie, Ozenne, Brice Maxime Hugues, Sluth, L., Gram, M., Viardot, G., l'Hostis, P., Danjou, P., Kundsen, G. & Christensen, S., 2017, s. S59. 1 s.

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

  41. Udgivet

    Best laid plans of lions and men

    Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 s. 6. (Leibniz International Proceedings in Informatics, Bind 77).

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

  42. Udgivet

    Big universe, big data: machine learning and image analysis for astronomy

    Kremer, J., Stensbo-Smidt, K., Gieseke, Fabian Cristian, Steenstrup Pedersen, Kim & Igel, Christian, 2017, I: IEEE Intelligent Systems. 32, 2, s. 16-22 7 s.

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

  43. Udgivet

    Bridge simulation and metric estimation on landmark manifolds

    Sommer, Stefan Horst, Arnaudon, A., Kühnel, L. & Joshi, S., 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., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (red.). Springer, s. 79-91 13 s. (Lecture notes in computer science, Bind 10551).

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

  44. Udgivet

    Bringing content understanding into usability testing in complex application domains—a case study in eHealth

    Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Bind Part 1. s. 327-341 15 s. (Lecture notes in computer science, Bind 10288).

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

  45. Udgivet

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, s. 187-204 18 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

  46. Udgivet

    Characterization of errors in deep learning-based brain MRI segmentation

    Pai, A. S. U., Teng, Y., Blair, J. P. M., Kallenberg, M. G. J., Dam, Erik Bjørnager, Sommer, Stefan Horst, Igel, Christian & Nielsen, Mads, 2017, Deep learning for medical image analysis. Zhou, S. K., Greenspan, H. & Shen, D. (red.). Academic Press, s. 223–242 20 s.

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

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

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

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

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

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

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