Department of Informatics and Mathematical Modeling
- 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-review › Sound/Visual production (digital) – Annual report year: 2012
- Published
Simulated Effects of Introducing Emergency Vaccination or Depopulation During FMD Outbreaks in Denmark. / Boklund, Anette ; Hisham Beshara Halasa, Tariq; Christiansen, Lasse Engbo; Willeberg, Preben; Enøe, Claes.
2012. Abstract from EuFMD meeting 2012, Jerez de la Frontera, Spain.Publication: Research - peer-review › Conference abstract for conference – Annual report year: 2012
- Published
Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).
College Publications, 2012. 592 p.Publication: Research › Book – Annual report year: 2012
- Published
On measuring surface wave phase velocity from station–station cross-correlation of ambient signal. / Boschi, Lapo; Weemstra, Cornelis; Verbeke, Julie; Ekström, Göran; Zunino, Andrea; Giardini, Domenico.
In: Geophysical Journal International, Vol. 192, No. 1, 2012, p. 346–358.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Geometric Cauchy problems for spacelike and timelike CMC surfaces in R2,1. / Brander, David.
In: Differential Geometry of Submanifolds: Proceedings of RIMS Symposium. Kyoto University, 2012. p. 85-93 (RIMS Kokyuroku, Vol. 1775).Publication: Research › Article in proceedings – Annual report year: 2012
- Published
Elimination of Parallel Copies using Code Motion on Data Dependence Graphs. / Brandner, Florian; Colombet, Quentin.
In: Computer Languages, Systems and Structures, Vol. 39, No. 1, 2012, p. 25–47.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Static Profiling of the Worst-Case in Real-Time Programs. / Brandner, Florian; Hepp, Stefan; Jordan, Alexander.
In: Proceedings of the 20th International Conference on Real-Time and Network Systems. Association for Computing Machinery, 2012. p. 101-110.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Static Routing in Symmetric Real-Time Network-on-Chips. / Brandner, Florian; Schoeberl, Martin.
In: Proceedings of the 20th International Conference on Real-Time and Network Systems (RTNS 2012). Association for Computing Machinery, 2012. p. 61-70.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Uncertainty in prediction and simulation of flow in sewer systems. / Breinholt, Anders; Mikkelsen, Peter Steen (Supervisor); Madsen, Henrik (Supervisor); Grum, Morten (Supervisor).
Kgs. Lyngby : DTU Environment, 2012. 77 p.Publication: Research › Ph.d. thesis – Annual report year: 2012
- 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.
In: 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-review › Conference abstract in proceedings – Annual report year: 2012