Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    Analyzing Control Challenges for Thermal Energy Storage in Foodstuffs. / Hovgaard, Tobias Gybel; Larsen, Lars F. S. ; Skovrup, Morten Juel; Jørgensen, John Bagterp.

    2012 IEEE International Conference on Control Applications (CCA). IEEE, 2012. p. 956-961 (I E E E International Conference on Control Applications. Proceedings).

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

  3. Published

    Anatomical Connectivity Mapping – Measuring connectivity changes in Multiple Sclerosis. / Lyksborg, Mark; Larsen, Rasmus; Sørensen, P. S.; Blinkenberg, M.; Dogonowski, A. ; Garde, E.; Parker, G. J. M. ; Siebner, H. R. ; Dyrby, T.B. .

    2012 Annual Meeting Proceedings. The International Society for Magnetic Resonance in Medicine, 2012.

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

  4. Published

    Anatomy of Alternating Quantifier Satisfiability (Work in progress). / Dung, Phan Anh; Bjørner, Nikolaj; Monniaux, David.

    2012. Paper presented at 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), Manchester, United Kingdom.

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

  5. Published

    An automated approach for annual layer counting in ice cores. / Winstrup, Mai; Svensson, A. M.; Rasmussen, S. O.; Winther, Ole; Steig, E. J.; Axelrod, A. E.

    In: Climate of the Past Discussions, Vol. 8, No. 4, 2012, p. 2519-2555.

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

  6. Published

    An automated approach for annual layer counting in ice cores. / Winstrup, Mai; Svensson, A. M.; Rasmussen, S. O.; Winther, Ole; Steig, E. J.; Axelrod, A. E.

    In: Climate of the Past Discussions, Vol. 8, No. 6, 2012, p. 1881-1895.

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

  7. Published

    An ECNO semantics for Petri nets. / Kindler, Ekkart.

    In: Petri Net Newsletter, No. 81, 2012, p. 3–16.

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

  8. Published

    An Efficient Null Model for Conformational Fluctuations in Proteins. / Harder, Tim Philipp; Borg, Mikael; Bottaro, Sandro; Boomsma, Wouter; Olsson, Simon; Ferkinghoff-Borg, Jesper; Hamelryck, Thomas Wim.

    In: Structure, Vol. 20, No. 6, 2012, p. 1028-1039.

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

  9. Published

    An Electronic Patch for Wearable Health Monitoring by Reflectance Pulse Oximetry. / Haahr, Rasmus Grønbek; Duun, Sune Bro; Toft, Mette H.; Belhage, Bo; Larsen, Jan; Birkelund, Karen; Thomsen, Erik Vilain.

    In: I E E E Transactions on Biomedical Circuits and Systems, Vol. 6, No. 1, 2012, p. 45-53.

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

  10. Published

    An Evaluation of EEG Scanner’s Dependence on the Imaging Technique, Forward Model Computation Method, and Array Dimensionality. / Stahlhut, Carsten; Attias, Hagai Thomas ; Stopczynski, Arkadiusz; Petersen, Michael Kai; Larsen, Jakob Eg; Hansen, Lars Kai.

    2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE, 2012. p. 1538-1541 (I E E E Engineering in Medicine and Biology Society. Conference Proceedings).

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

  11. Published

    An improved dynamic test method for solar collectors. / Kong, Weiqiang; Wang, Zhifeng; Fan, Jianhua; Bacher, Peder; Perers, Bengt; Chen, Ziqian; Furbo, Simon.

    In: Solar Energy, Vol. 86, No. 6, 2012, p. 1838-1848.

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

Previous 1...4 5 6 7 8 9 10 11 ...644 Next
Download list: To download, please limit the number of search results to 1,000 or less.