Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    ASAM: Automatic Architecture Synthesis and Application Mapping. / Jozwiak, L.; Lindwer, M.; Corvino, R.; Meloni, P.; Micconi, Laura; Madsen, Jan; Diken, E.; Gangadharan, Deepak; Jordans, R.; Pomata, S.; Pop, Paul; Tuveri, G.; Raffo, L.

    2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. p. 216-225.

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

  3. Published

    Aspects of energy intake assessment, dietary intake patterns and sleep duration in children. / Rothausen, Berit Worm; Tetens, Inge (Supervisor); Matthiessen, Jeppe (Supervisor); Frost Andersen, Lene (Supervisor); Brockhoff, Per B. (Supervisor).

    Søborg : DTU Food, 2012. 56 p.

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

  4. Published

    A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.

    2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .

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

  5. Published

    A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 187 p. (IMM-PHD-2012; No. 278).

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

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

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

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

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

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

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

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