Department of Informatics and Mathematical Modeling

  1. Published

    ULV-based signal subspace methods for speech enhancement. / Hansen, Per Christian; Hansen, P.S.K.; Hansen, S.D; Soerensen, J.Aa.

    Proceedings of International Workshop on Acoustic Echo and Noise Control. Imperial College London, 1997. p. 9-12.

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

  2. Published

    UML-Based Web Engineering : An Approach Based on Standards. / Koch, Nora; Knapp, Alexander; Zhang, Gefei; Baumeister, Hubert.

    Web Engineering: Modelling and Implementing Web Applications. ed. / Luis Olsina; Oscar Pastor; Gustavo Rossi; Daniel Schwabe. Vol. 12 Springer, 2007. p. 157-191.

    Publication: ResearchBook chapter – Annual report year: 2007

  3. Published

    UML-ising formal techniques. / Bjørner, Dines; George, Chris W.; Haxthausen, Anne Elisabeth; Madsen, C.K.; Holmslykke, S.; Penicka, Martin.

    Integration of software specification techniques for applications in engineering. Berlin : Springer-verlag Berlin, 2004. (Lecture Notes in Computer Science; No. 3147).

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

  4. Published

    "UML-ising" Formal Techniques. / Bjørner, Dines; George, C. W.; Haxthausen, Anne Elisabeth; Madsen, C. K.; Holmslykke, S.; Penicka, M.

    Proceedings of INT'2004 - Integration of Software Specification Techniques for Applications in Engineering. Vol. Lecture Notes in Computer Science Springer, 2004.

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

  5. Published

    Uncertainty in prediction and simulation of flow in sewer systems. / Breinholt, Anders; Mikkelsen, Peter Steen (Supervisor); Madsen, Henrik (Supervisor); Grum, Morten (Supervisor).

    Kgs. Lyngby : DTU Environment, 2012. 77 p.

    Publication: ResearchPh.D. thesis – Annual report year: 2012

  6. Published

    Uncertainty quantication of critical speed for railway vehicle dynamics. / Bigoni, Daniele (Author).

    2012. BIT Circus 2012, Lyngby, Denmark, 23/08/2012.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2012

  7. Published

    Uncertainty Quantification on High-speed Railway Dynamics. / Bigoni, Daniele; Engsig-Karup, Allan Peter; True, Hans.

    2012. Poster session presented at Uncertainty Quantification for High-Performance Computing Workshop, Oak Ridge, TN, United States.

    Publication: Research - peer-reviewPoster – Annual report year: 2012

  8. Published

    Unconstrained Optimization. / Frandsen, P. E.; Jonasson, K.; Nielsen, Hans Bruun; Tingleff, Ole.

    1999. 86 p.

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

  9. Published

    Unconstrained Optimization. / Frandsen, P. E.; Jonasson, K.; Nielsen, Hans Bruun; Tingleff, Ole.

    1999.

    Publication: EducationCompendium/lecture notes – Annual report year: 1999

  10. Published

    Unconstrained Optimization, 3rd edition. / Frandsen, P. E.; Jonasson, K.; Nielsen, Hans Bruun; Tingleff, Ole.

    2004.

    Publication: EducationCompendium/lecture notes – Annual report year: 2004

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