Department of Informatics and Mathematical Modeling

  1. 2012
  2. 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

  3. Published

    A SynoviocyteModel for Osteoarthritis and Rheumatoid Arthritis: Response to Ibuprofen, Betamethasone, and Ginger Extract—A Cross-Sectional In Vitro Study. / Ribel-Madsen, Søren; Bartels, Else Marie; Stockmarr, Anders; Borgwardt, Arne; Cornett, Claus; Danneskiold-Samsøe, Bente; Bliddal, Henning.

    In: Arthritis, Vol. 2012, 2012, p. 505842.

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

  4. Published

    A third mode of surface‐associated growth: immobilization of Salmonella enterica serovar Typhimurium modulates the RpoS‐directed transcriptional programme. / Knudsen, Gitte Maegaard; Nielsen, Maj‐Britt; Grassby, Terri; Danino‐Appleton, Vittoria; Thomsen, Line E.; Colquhoun, Ian J.; Brocklehurst, Tim F.; Olsen, John; Hinton, Jay C. D.

    In: Environmental Microbiology, Vol. 14, No. 8, 2012, p. 1855-1875.

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

  5. Published

    A Transmission-Cost-Based Model to Estimate the Amount of Market-Integrable Wind Resources. / Morales González, Juan Miguel; Pinson, Pierre; Madsen, Henrik.

    In: I E E E Transactions on Power Systems, Vol. 27, No. 2, 2012, p. 1060-1069 .

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

  6. Published

    Attention: A Machine Learning Perspective. / Hansen, Lars Kai.

    2012 3rd International Workshop on Cognitive Information Processing (CIP). IEEE, 2012.

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

  7. Published

    A Unifying Model for the Analysis of Phenotypic, Genetic and Geographic Data. / Guillot, Gilles; Rena, Sabrina; Ledevin, Ronan; Michaux, Johan; Claude, Julien.

    In: Systematic Biology, Vol. 61, No. 6, 2012, p. 897-911.

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

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

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

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

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

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.