Department of Informatics and Mathematical Modeling

  1. Published

    String Indexing for Patterns With Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. ed. / Fedor V. Fornin; Petteri Kaski. Springer, 2012. p. 283-294 (Lecture Notes in Computer Science, Vol. 7357).

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

  2. Published

    String matching with variable length gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    In: Theoretical Computer Science, Vol. 443, 2012, p. 25-34.

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

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

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

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

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

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

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

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

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

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.