Department of Computer Science

  1. 2019
  2. Published

    CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks

    Thomas Jankvist, U. & Misfeldt, Morten, 2019, In: REDIMAT - Journal of Research in Mathematics Education. 8, 3, p. 232-266 35 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Cerebral serotonin transporter measurements with [11C]DASB: A review on acquisition and preprocessing across 21 PET centres

    Nørgaard, M., Ganz, Melanie, Svarer, C., Feng, L., Ichise, M., Lanzenberger, R., Lubberink, M., Parsey, R. V., Politis, M., Rabiner, E. A., Slifstein, M., Sossi, V., Suhara, T., Talbot, P. S., Turkheimer, F., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: Journal of Cerebral Blood Flow and Metabolism. 39, 2, p. 210-222 13 p.

    Research output: Contribution to journalReviewResearchpeer-review

  4. Published

    Change in mammographic density across birth cohorts of Dutch breast cancer screening participants

    Napolitano, George, Lynge, Elsebeth, Lillholm, Martin, Vejborg, I. M. M., van Gils, C. H., Nielsen, Mads & Karssemeijer, N., 2019, In: International Journal of Cancer. 145, 11, p. 2954-2962 9 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Differential geometry and stochastic dynamics with deep learning numerics

    Kühnel, L., Sommer, Stefan Horst & Arnaudon, A., 2019, In: Applied Mathematics and Computation. 356, p. 411-437 27 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Impact of device programming on the success of the first anti-tachycardia pacing therapy: An anonymized large-scale study

    Shakibfar, Saeed, Krause, Oswin, Lund-Andersen, Casper, Strycko, F., Moll, J., Andersen, Tariq Osman, Høgh Petersen, H., Svendsen, Jesper Hastrup & Igel, Christian, 2019, In: PLoS ONE. 14, 8, e0219533.

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Jean-Pierre Brans: portrait of a fiery soul

    Brugha, C. M. & Krarup, J., 2019, In: Central European Journal of Operations Research. 27, 1, p. 275-281

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    Linear hashing is awesome

    Knudsen, M. B. T., 2019, In: SIAM Journal on Computing. 48, 2, p. 736-741 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Measurement challenge: protocol for international case–control comparison of mammographic measures that predict breast cancer risk

    Dench, E., Bond-smith, D., Darcey, E., Lee, G., Aung, Y. K., Chan, A., Cuzick, J., Ding, Z. Y., Evans, C. F., Harvey, J., Highnam, R., Hsieh, M., Kontos, D., Li, S., Mariapun, S., Nickson, C., Nguyen, T. L., Pertuz, S., Procopio, P., Rajaram, N. & 12 others, Repich, K., Tan, M., Teo, S., Trinh, N. H., Ursin, G., Wang, C., Dos-santos-silva, I., Mccormack, V., Nielsen, Mads, Shepherd, J., Hopper, J. L. & Stone, J., 2019, In: BMJ Open. 9, 12, p. 1-6 e031041.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Muscle fibre morphology and microarchitecture in cerebral palsy patients obtained by 3D synchrotron X-ray computed tomography

    Borg, L., Sporring, Jon, Dam, Erik Bjørnager, Dahl, V. A., Dyrby, T. B., Feidenhans'l, Robert Krarup, Dahl, A. B. & Pingel, Jessica, 2019, In: Computers in Biology and Medicine. 107, p. 265-269 5 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  11. Published

    Optimization of preprocessing strategies in Positron Emission Tomography (PET) neuroimaging: A [11C]DASB PET study

    Nørgaard, M., Ganz, Melanie, Svarer, C., Frokjaer, V. G., Greve, D. N., Strother, S. C. & Knudsen, Gitte Moos, 2019, In: NeuroImage. 199, p. 466-479 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 12 3 4 5 6 7 8 9 ...55 Next