Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

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

  3. Published

    Automated segmentation of the skeleton in whole-body bone scans: influence of difference in atlas. / Kikuchi, Akihiro; Onoguchi, Masahisa; Horikoshi, Hiroyuki; Sjöstrand, Karl; Edenbrandt, Lars.

    In: Nuclear Medicine Communications, Vol. 33, No. 9, 2012, p. 947-953.

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

  4. Published

    Automatic Quality Measurement and Parameter Selection for Example-based Texture Synthesis. / Laursen, Lasse Farnung; Clemmensen, Line Katrine Harder; Bærentzen, Jakob Andreas; Igarashi, T.; Ersbøll, Bjarne Kjær.

    Kongens Lyngby : Technical University of Denmark, 2012. 31 p. (IMM-Technical Report-2012; No. 07).

    Publication: ResearchReport – Annual report year: 2012

  5. Published

    Automatic quantification of iris color. / Christoffersen, S.; Harder, Stine; Andersen, J. D.; Johansen, P.; Dahl, Anders Lindbjerg; Morling, N. ; Paulsen, Rasmus Reinhold.

    Meeting of the English Speaking Working Group (ESWG) of the International Society of Forensic Genetics (ISFG): Programme. 2012. p. 20.

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

  6. Published

    Auto-Segmentation of Bone in MRI-only Based Radiotherapy Using Ultra Short Echo Time. / Edmund, J. M.; Kjer, Hans Martin; Hansen, R. H.

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

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

  7. Published

    Auto-tuning Dense Vector and Matrix-vector Operations for Fermi GPUs. / Sørensen, Hans Henrik Brandenborg.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 619-629 (Lecture Notes in Computer Science, Vol. 7203).

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

  8. Published

    Bactericidal Antibiotics Do Not Appear To Cause Oxidative Stress in Listeria monocytogenes. / Feld, Louise; Knudsen, Gitte Maegaard; Gram, Lone.

    In: Applied and Environmental Microbiology, Vol. 78, No. 12, 2012, p. 4353-4357.

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

  9. Published

    Bayesian community detection.. / Mørup, Morten; Schmidt, Mikkel N.

    In: Neural Computation, Vol. 24, No. 9, 2012, p. 2434-2456.

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

  10. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

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

  11. Published

    Beyond the CP-curve in Model-based Control of Wind Turbines. / Henriksen, Lars Christian; Hansen, Morten Hartvig; Poulsen, Niels Kjølstad.

    Scientific Proceedings of EWEA 2012 - European Wind Energy Conference & Exhibition. European Wind Energy Association (EWEA), 2012. p. 147-152.

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

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