Department of Informatics and Mathematical Modeling
- 2012
- Published
Archetypal analysis for machine learning and data mining. / Mørup, Morten; Hansen, Lars Kai.
In: Neurocomputing, Vol. 80, 2012, p. 54–63.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Blaga, Felician Stefan.
In: CASES '12: Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems . Association for Computing Machinery, 2012. p. 181-190.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Artificial Neural Network Based State Estimators Integrated into Kalmtool. / Bayramoglu, Enis; Ravn, Ole; Poulsen, Niels Kjølstad.
In: System Identification. Vol. 16 International Federation of Automatic Control, 2012. p. 1547-1552 (IFAC Proceedings Volumes (IFAC-PapersOnline) ).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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.
In: 2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. p. 216-225.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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: Research › Ph.d. thesis – Annual report year: 2012
- Published
A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.
In: 2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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: Research › Ph.d. thesis – Annual report year: 2012
- Published
A Survey of Formal Methods in Software Development. / Bjørner, Dines (Invited author).
In: 2012 19th Asia-Pacific Software Engineering Conference (APSEC). Vol. 2 IEEE, 2012. (Asia Pacific Software Engineering Conference. Proceedings).Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012