Department of Informatics and Mathematical Modeling

  1. Published

    UTV Expansion Pack: Special-Purpose Rank-Revealing Algorithms. / Fierro, Ricardo D.; Hansen, Per Christian.

    In: Numerical Algorithms, Vol. 40, No. 1, 2005, p. 47-66.

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

  2. Published

    UTV Expansion Pack - Special-Purpose Rank Revealing Algorithms (version 1.0 for Matlab 6.5). / Fierro, Ricardo D.; Hansen, Per Christian.

    Lyngby : Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2004.

    Publication: ResearchReport – Annual report year: 2004

  3. Published

    UTV Tools : Matlab Templates for Rank-Revealing UTV Decompositions, version 1.0 for Matlab 5.2. / Fierro, Ricardo D.; Hansen, Per Christian; Hansen, Peter Søren Kirk.

    Lyngby : Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1999. 97 p.

    Publication: Research - peer-reviewReport – Annual report year: 1999

  4. Published

    UTV Tools : Matlab Templates for Rank-Revealing UTV Decompositions. / Fierro, Ricardo D.; Hansen, Per Christian; Hansen, Peter Søren Kirk.

    In: Numerical Algorithms, Vol. 20, No. 2-3, 1999, p. 165-194.

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

  5. Published

    Validating Firewalls in Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof; Jensen, J. G.

    Proc. CONCUR'99. Springer-Verlag, 1999. p. 463-477.

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

  6. Published

    Validating Firewalls using Flow Logics. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof.

    In: Theoretical Computer Science, Vol. 283, No. 2, 2002, p. 381-418.

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

  7. Published

    Validating Programs in Concurrent ML. / Nielson, Flemming.

    Research Directions in Parallel Functional Programming. 1999. p. 361-378.

    Publication: Research - peer-reviewBook chapter – Annual report year: 1999

  8. Published

    Validation of Diffusion Tensor Imaging for in vivo tracing of cortico-thalamic projections in the Göttingen minipig brain. / Dyrby, Tim B.; Lind, Nanna M.; Søgaard, Lise Vejby; Alexander, Daniel C.; Parker, Geoffrey J.M.; Paulson, Olaf B.

    Proceeding International Society Neuroscience. 2005.

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

  9. Published

    Validation of Grey Box Models. / Holst, Jan; Holst, Ulla; Madsen, Henrik; Melgaard, Henrik.

    Selected Papers from the 4th IFAC Symposium on Adaptive Systems in Control and Signal Processing. ed. / L. Dugaard; M. M'Saad; I.D. Landau. Pergamon Press, 1992. p. 407-414.

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

  10. Published

    Validation of in vitro probabilistic tractography. / Dyrby, Tim B.; Sogaard, L.V.; Parker, G.J.; Alexander, D.C.; Lind, N.M.; Baare, W.F.C.; Hay-Schmidt, A.; Eriksen, N.; Pakkenberg, B.; Paulson, O.B.; Jelsing, J.

    In: Neuroimage, Vol. 37, No. 4, 2007, p. 1267-1277.

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

Download list: To download, please limit the number of search results to 1,000 or less.