Department of Informatics and Mathematical Modeling

  1. Published

    Using Image Analysis On Standardised Full-Thickness Wounds In Scattered Mirror Carp (Cyprinus Carpio) As A Model For Wound Healing. / Schmidt, Jacob; Dissing, Bjørn Skovlund; Ljungqvist, Martin Georg; Ersbøll, Bjarne Kjær; Nielsen, Michael Engelbrecht.

    2011. Abstract from 15th International Conference on Diseases of Fish and Shellfish, Split, Croatia.

    Publication: ResearchConference abstract for conference – Annual report year: 2011

  2. Published

    Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols. / Pilegaard, Henrik; Hansen, Michael Pilegaard; Sharp, Robin; Vain et al., J. (Editor).

    The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University. 2002. p. 84-86.

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

  3. Published

    Using Interval Logics for Temporal Analysis of Security Protocols. / Hansen, Michael Reichhardt; Sharp, Robin; Backes et a., Michael (Editor).

    First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, 2003. p. 24-31.

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

  4. Published

    Using Kalmtool in Navigation of Mobile Robots. / Mogensen, Lars Valdemar; Andersen, Nils Axel; Ravn, Ole; Poulsen, Niels Kjølstad.

    Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2007. 20 p.

    Publication: ResearchReport – Annual report year: 2007

  5. Published

    Using MAPLE to investigate a harmonic boundary integral operator. / Christiansen, Søren.

    Proceedings of the 16th IMACS World Congress. Lausanne, Switzerland, 2000.

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

  6. Published

    Using meteorological forecasts for short term wind power forecasting. / Nielsen, Henrik Aalborg; Nielsen, Torben Skov; Madsen, Henrik.

    Proceedings of the IEA R&D Wind Annex XI Joint Action Symposium on Wind Forecasting Techniques. 2002. p. 49-58.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  7. Published

    Using meteorological forecasts in on-line predictions of wind power. / Nielsen, Torben Skov; Nielsen, Henrik Aalborg; Madsen, Henrik; Tofting, John; Parbo, Henning; Grud, Arne; Sorensen, Aksel Gruelund.

    1999. 300 p.

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

  8. Published

    Using meteorological forecasts in on-line predictions of wind power.. / Nielsen, Torben Skov; Madsen, Henrik.

    1997. 77 p.

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

  9. Published

    Using Mixture of Gaussians to Compare Approaches to Signal Separation. / Petersen, Kaare Brandt.

    DSAGM. 2004.

    Publication: ResearchArticle in proceedings – Annual report year: 2004

  10. Published

    Using mobile phone contextual information to facilitate managing image collections. / Larsen, Jakob Eg; Luniewski, Maciej.

    Personal Information Management: PIM 2009: Personal information intersections: What happens when PIM spaces overlap?. 2009. p. 73-75.

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

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