Department of Informatics and Mathematical Modeling

  1. 2012
  2. 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

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

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

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

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

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

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

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

  10. Published

    An Intuitionistic Fuzzy Methodology for Component-Based Software Reliability Optimization. / Madsen, Henrik; Grigore, Albeanu; Popenţiuvlǎdicescu, Florin.

    In: International Journal of Performability Engineering, Vol. 8, No. 1, 2012, p. 67-76.

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

  11. Published

    A Novel Automated Platform for Quantifying the Extent of Skeletal Tumour Involvement in Prostate Cancer Patients Using the Bone Scan Index. / Ulmert, David; Kaboteh, Reza; Fox, Josef J.; Savage, Caroline; Evans, Michael J.; Lilja, Hans; Abrahamsson, Per-Anders; Björk, Thomas; Gerdtsson, Axel; Bjartell, Anders; Gjertsson, Peter; Höglund, Peter; Lomsky, Milan; Ohlsson, Mattias; Richter, Jens; Sadik, May; Morris, Michael J.; Scher, Howard I.; Sjöstrand, Karl; Yu, Alice; Suurküla, Madis; Edenbrandt, Lars; Larson, Steven M.

    In: European Urology, Vol. 62, No. 1, 2012, p. 78-84.

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

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