Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    Optimizing the control of foot-and-mouth disease in Denmark by simulation : Comparison of different control strategies on FMD in Denmark. / Boklund, Anette (Author); Hisham Beshara Halasa, Tariq (Author); Christiansen, Lasse Engbo (Author); Enøe, Claes (Author).

    2012. Closing seminar for Optimizing the control of foot-and-mouth disease in Denmark by simulation, Copenhagen, Denmark, 09-05-12.

    Publication: Research - peer-reviewSound/Visual production (digital) – Annual report year: 2012

  3. Published

    Optimizing the control of foot-and-mouth disease in Denmark by simulation : Influence of livestock markets on spread of FMD. / Boklund, Anette (Author); Hisham Beshara Halasa, Tariq (Author); Christiansen, Lasse Engbo (Author); Enøe, Claes (Author).

    2012. Closing seminar for Optimizing the control of foot-and-mouth disease in Denmark by simulation, Copenhagen, Denmark, 09-05-12.

    Publication: Research - peer-reviewSound/Visual production (digital) – Annual report year: 2012

  4. Published

    Optimizing the control of foot-and-mouth disease in Denmark by simulation : Consequences of changes in herd sizes and densities for the contingency planning. / Hisham Beshara Halasa, Tariq (Author); Boklund, Anette (Author); Enøe, Claes (Author); Christiansen, Lasse Engbo (Author).

    2012. Closing seminar for Optimizing the control of foot-and-mouth disease in Denmark by simulation, Copenhagen, Denmark, 09-05-12.

    Publication: Research - peer-reviewSound/Visual production (digital) – Annual report year: 2012

  5. Published

    Overnight Control of Blood Glucose in People with Type 1 Diabetes. / Boiroux, Dimitri; Duun-Henriksen, Anne Katrine; Schmidt, Signe; Nørgaard, Kirsten; Madsbad, Sten; Skyggebjerg, Ole; Jensen, Peter Ruhdal; Poulsen, Niels Kjølstad; Madsen, Henrik; Jørgensen, John Bagterp.

    In: Proceedings of the 8th IFAC Symposium on Biological and Medical Systems. 2012.

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

  6. Published

    Paraconsistent Computational Logic. / Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: 8th Scandinavian Logic Symposium: Abstracts. ed. / Patrick Blackburn; Klaus Frovin Jørgensen; Neil Jones; Erik Palmgren. 2012. p. 59-61.

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

  7. Published

    Parallelizing More Loops with Compiler Guided Refactoring. / Larsen, Per; Ladelsky, Razya; Lidman, Jacob ; McKee, Sally A.; Karlsson, Sven ; Zaks, Ayal.

    In: 2012 41st International Conference on Parallel Processing (ICPP). IEEE, 2012. p. 410-419 (International Conference on Parallel Processing. Proceedings).

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

  8. Published

    Parallel Programming using OpenCL on Modern Architectures. / Nielsen, Allan Svejstrup ; Engsig-Karup, Allan Peter; Dammann, Bernd.

    Technical University of Denmark, 2012. 49 p. (IMM-Technical Report-2012; No. 05).

    Publication: ResearchReport – Annual report year: 2012

  9. Published

    Parallel Sparse Matrix - Vector Product : Pure MPI and hybrid MPI-OpenMP implementation. / Alexandersen, Joe; Lazarov, Boyan Stefanov; Dammann, Bernd.

    Kgs. Lyngby : Technical University of Denmark, 2012. 61 p. (IMM-Technical Report-2012; No. 10).

    Publication: ResearchReport – Annual report year: 2012

  10. Published

    Parameter optimization in the regularized kernel minimum noise fraction transformation. / Nielsen, Allan Aasbjerg (Invited author); Vestergaard, Jacob Schack (Invited author).

    In: IEEE International Geoscience and Remote Sensing Symposium proceedings. IEEE, 2012. p. 370-373 (IEEE International Geoscience and Remote Sensing Symposium).

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

  11. Published

    Patterns for Safety-Critical Java Memory Usage. / Rios Rivas, Juan Ricardo; Nilsen, Kelvin; Schoeberl, Martin.

    In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 1-8.

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