Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    Modeling Smart Energy Systems for Model Predictive Control. / Halvgaard, Rasmus; Poulsen, Niels Kjølstad; Madsen, Henrik; Jørgensen, John Bagterp.

    Proceedings of the 17th Nordic Process Control Workshop. ed. / John Bagterp Jørgensen; Jakob Kjøbsted Huusom; Gürkan Sin. Kogens Lyngby : Technical University of Denmark, 2012. p. 175.

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

  3. Published

    A generic library for large scale solution of PDEs on modern heterogeneous architectures. / Glimberg, Stefan Lemvig; Engsig-Karup, Allan Peter.

    7th International Workshop on Parallel Matrix Algorithms and Applications (PMAA’12): Programme and Abstracts. The European Research Consortium for Informatics and Mathematics, 2012. p. 12.

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

  4. Published

    Robust and flexible mapping for real-time distributed applications during the early design phases. / Gan, Junhe; Pop, Paul; Gruian, Flavius; Madsen, Jan.

    DATE '12:Proceedings of the Conference on Design, Automation and Test in Europe. Association for Computing Machinery, 2012. p. 935-940.

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

  5. Published

    Iterative Methods for MPC on Graphical Processing Units. / Gade-Nielsen, Nicolai Fog; Jørgensen, John Bagterp; Dammann, Bernd.

    Proceedings of the 17th Nordic Process Control Workshop. ed. / John Bagterp Jørgensen; Jakob Kjøbsted Huusom; Gürkan Sin. Kogens Lyngby : Technical University of Denmark, 2012. p. 161.

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

  6. Published

    Digital Prototyping of Milk Products. / Frisvad, Jeppe Revall; Nielsen, Otto Højager Attermann; Skytte, Jacob Lercke; Misztal, Marek Krzysztof; Dahl, Anders Lindbjerg.

    Proceedings of the 14th Food Colloids Conference 2012. University of Copenhagen, 2012. p. P53.

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

  7. Published

    Energy-Harvesting Wireless Sensor Networks. / Fafoutis, Xenofon; Vuckovic, Dusan; Di Mauro, Alessio; Dragoni, Nicola; Madsen, Jan.

    9th European Conference on Wireless Sensor Networks, EWSN 2012: Poster and Demo Proceedings. 2012. p. 84-85.

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

  8. Published

    Simulation, Control and Optimization of Single Cell Protein Production in a U-Loop Reactor. / Engoulevent, Franck Guillaume; Jørgensen, John Bagterp.

    Proceedings of the 17th Nordic Process Control Workshop. ed. / John Bagterp Jørgensen; Jakob Kjøbsted Huusom; Gürkan Sin. Kogens Lyngby : Technical University of Denmark, 2012. p. 203.

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

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

  10. Published

    Classification of parasite eggs used as an active pharmaceutical ingredient (API). / Bruun, J. M.; Carstensen, Jens Michael; Thamsborg, S.; Roepstorff, A.; Christensen, S. ; Kapel, C. M. O.

    Joint Spring Symposium 2012 - Double burden of disease – how parasites interact with each other, their host and the society: Danish Society for Parasitology and Danish Society for Tropical Medicine & International Health. Danish Society for Parasitology, 2012. p. 7.

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

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

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