Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    Code Generation for Protocols from CPN models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars Michael ; Kindler, Ekkart.

    2012. Paper presented at 24th Nordic Workshop on Programming Theory (NWPT 2012), Bergen, Norway.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  3. Published

    Cognitive semantic networks: emotional verbs throw a tantrum but don't bite. / Petersen, Michael Kai; Hansen, Lars Kai.

    2012 3rd International Workshop on Cognitive Information Processing (CIP). IEEE, 2012.

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

  4. Published

    Collaborative trust evaluation for wiki security. / Lindberg, Kasper; Jensen, Christian D.

    2012 Tenth Annual International Conference on Privacy, Security and Trust (PST). IEEE, 2012. p. 176-184.

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

  5. Published

    Combining Semantic and Acoustic Features for Valence and Arousal Recognition in Speech. / Karadogan, Seliz; Larsen, Jan.

    2012 3rd International Workshop on Cognitive Information Processing (CIP). IEEE, 2012.

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

  6. Published

    Comments on ‘Improving the speed of decimal division’. / Lang, T.; Nannarelli, Alberto.

    In: I E T Computers and Digital Techniques, Vol. 6, No. 6, 2012, p. 370-371 .

    Publication: Research - peer-reviewComment/debate – Annual report year: 2012

  7. Published

    Comparison of Classical and Modern Uncertainty Qualification Methods for the Calculation of Critical Speeds in Railway Vehicle Dynamics. / Bigoni, Daniele; Engsig-Karup, Allan Peter; True, Hans.

    Proceedings of 13th Mini Conference on Vehicle System dynamics, Identification and Anomalities. 2012.

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

  8. Published

    Comparison of different control strategies on FMD in Denmark. / Boklund, Anette ; Hisham Beshara Halasa, Tariq; Christiansen, Lasse Engbo; Enøe, Claes.

    Optimizing the control of foot-and-mouth disease in Denmark by simulation: Final report. Kgs. Lyngby : Technical University of Denmark, 2012. p. 21-30.

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

  9. Published

    Computational Methods for Model Predictive Control : New Opportunities for Computational Scientists. / Jørgensen, John Bagterp (Author); Boiroux, Dimitri (Author); Hovgaard, Tobias Gybel (Author); Halvgaard, Rasmus (Author); Skajaa, Anders (Author); Gade-Nielsen, Nicolai Fog (Author); Standardi, Laura (Author); Sokoler, Leo Emil (Author); Völcker, Carsten (Author); Capolei, Andrea (Author); Frison, Gianluca (Author); Schmidt, Signe (Author); Duun-Henriksen, Anne Katrine (Author).

    2012. Technical University of Denmark.Workshop on the State-of-the-Art in Scientific and Parallel Computing (PARA 2012), Helsinki, Finland, 10/06/12.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2012

  10. Published

    Computer-aided diagnosis system for bone scintigrams from Japanese patients: importance of training database. / Horikoshi, Hiroyuki; Kikuchi, Akihiro; Onoguchi, Masahisa; Sjöstrand, Karl; Edenbrandt, Lars.

    In: Annals of Nuclear Medicine, Vol. 26, No. 8, 2012, p. 622-626.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  11. Published

    Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer, 2012. p. 94-106 (Lecture Notes in Computer Science, Vol. 7519).

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

Download list: To download, please limit the number of search results to 1,000 or less.