Department of Informatics and Mathematical Modeling

  1. Published

    Time-Space Trade-offs for Longest Common Extensions. / Bille, Philip; Gortz, Inge Li; Sach, Benjamin; Vildhoj, Hjalte Wedel.

    Combinatorial Pattern Matching. ed. / Juha Kärkkäinen; Jens Stoye. Springer, 2012. p. 293-305 (Lecture Notes in Computer Science, Vol. 7354).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  2. Published

    Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift). / Biselli, L.; Dragoni, Nicola; Goldoni, E.; Greco, P. P.; Marraa, A.; Mazzara, M.; Papageorgiou, G.

    Proceedings of the First International Conference on Agreement Technologies. 2012. p. 347-348 (CEUR Workshop Proceedings, Vol. 918).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  3. Published

    A Feasible Real-time Multiplane MRI-LINAC Guidance Strategy. / Bjerre, Troels; Kim, T.; Munck af Rosenschold, P.; Aznar, M.; Specht, L.; Larsen, Rasmus; Keall, P.

    In: International Journal of Radiation: Oncology - Biology - Physics, Vol. 84, No. 3, Supplement 1, 2012, p. S719.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  4. Published

    Demons Registration of CT Volume and CBCT Projections for Adaptive Radiotherapy: Avoiding CBCT Reconstruction. / Bjerre, Troels; Aznar, M.; Munck af Rosenschöld, P.; Specht, L.; Larsen, Rasmus; Fogtmann, M. O.

    In: Radiotherapy & Oncology, Vol. 103, No. Supplement 1, 2012, p. S561.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  5. Published

    Spatially varying Riemannian elasticity regularization: Application to thoracic CT registration in image-guided radiotherapy. / Bjerre, Troels; Hansen, Mads Fogtmann; Aznar, M.; af Rosenschold, P. Munck; Specht, L.; Larsen, Rasmus.

    2012 9th IEEE International Symposium on Biomedical Imaging (ISBI). IEEE, 2012. p. 1224-1227 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  6. Published

    A Survey of Formal Methods in Software Development. / Bjørner, Dines (Invited author).

    2012 19th Asia-Pacific Software Engineering Conference (APSEC). Vol. 2 IEEE, 2012. (Asia Pacific Software Engineering Conference. Proceedings).

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  7. Published

    An overview of multivariate gamma distributions as seen from a (multivariate) matrix exponential perspective. / Bladt, Mogens; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 34.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  8. Published

    Bilateral matrix-exponential distributions. / Bladt, Mogens; Esparza, Luz Judith R; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 25.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  9. Published

    Moment distributions of phase-type. / Bladt, Mogens; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 25-26.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  10. Published

    On the representation of distributions with rational moment generating functions. / Bladt, Mogens; Nielsen, Bo Friis.

    Kgs. Lyngby : Technical University of Denmark, 2012. 5 p. (IMM-Technical Report-2012; No. 16).

    Publication: ResearchReport – Annual report year: 2012

Previous 1...4 5 6 7 8 9 10 11 ...643 Next
Download list: To download, please limit the number of search results to 1,000 or less.