Department of Informatics and Mathematical Modeling

  1. 2013
  2. Published

    A Neural Marker of Perceptual Consciousness in Infants. / Kouider, Sid; Stahlhut, Carsten; Gelskov, Sofie V.; Barbosa, Leonardo S.; Dutat, Michel; de Gardelle, Vincent; Christophe, Anne; Dehaene, Stanislas; Dehaene-Lambertz, Ghislaine.

    In: Science, Vol. 340, No. 6130, 2013, p. 376-380.

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

  3. Published

    Binaural Integrated Active Noise Control and Noise Reduction in Hearing Aids. / Serizel, Romain; Moonen, Marc; Wouters, Jan; Jensen, Søren Holdt.

    In: IEEE Transactions on Audio, Speech, and Language Processing, Vol. 21, No. 5, 2013, p. 1113-1118.

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

  4. Published

    Dietary patterns on weekdays and weekend days in 4–14-year-old Danish children. / Rothausen, Berit Worm; Matthiessen, Jeppe; Andersen, L. F.; Brockhoff, Per B.; Tetens, Inge.

    In: British Journal of Nutrition, Vol. 109, No. 9, 2013, p. 1704-1713.

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

  5. Published

    Early Detection of Parametric Roll Resonance on Container Ships. / Galeazzi, Roberto; Blanke, Mogens; Poulsen, Niels Kjølstad.

    In: I E E E Transactions on Control Systems Technology, Vol. 21, No. 2, 2013, p. 489-503.

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

  6. Published

    FindZebra: A search engine for rare diseases. / Dragusin, Radu; Petcu, Paula; Lioma, Christina Amalia; Larsen, Birger; Jørgensen, Hans Henrik; Cox, Ingemar; Hansen, Lars Kai; Ingwersen, Peter; Winther, Ole.

    In: International Journal of Medical Informatics, Vol. 82, No. 6, 2013, p. 528–538.

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

  7. Published

    HemaExplorer: a database of mRNA expression profiles in normal and malignant haematopoiesis. / Bagger, Frederik Otzen; Rapin, Nicolas; Theilgaard-Mönch, Kim; Kaczkowski, Bogumil; Thoren, Lina A.; Jendholm, Johan; Winther, Ole; Porse, Bo Torben.

    In: Nucleic Acids Research, Vol. 41, No. D1, 2013, p. D1034–D1039.

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

  8. Published

    Least Squares Data Fitting with Applications. / Hansen, Per Christian; Pereyra, Víctor; Scherer, Godela.

    Baltimore : Johns Hopkins University Press, 2013. 328 p.

    Publication: ResearchBook – Annual report year: 2012

  9. Published

    Oblique projections and standard-form transformations for discrete inverse problems. / Hansen, Per Christian.

    In: Numerical Linear Algebra with Applications, Vol. 20, No. 2, 2013, p. 250–258.

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

  10. Published

    The maximum number of minimal codewords in long codes. / Alahmadi, A.; Aldred, R.E.L.; dela Cruz, R.; Solé, P.; Thomassen, Carsten.

    In: Discrete Applied Mathematics, Vol. 161, No. 3, 2013, p. 424-429.

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

  11. 2012
  12. Published
  13. Published

    2012 IEEE International Workshop on Machine Learning for Signal Processing (MLSP 2012). / Santamaría, Ignacio (Editor); Arenas-Garcia, Jeronimo (Editor); Camps-Valls, Gustavo (Editor); Erdogmus, Deniz (Editor); Perez-Cruz, Fernando (Editor); Larsen, Jan (Editor).

    IEEE, 2012. (Machine Learning for Signal Processing).

    Publication: ResearchBook – Annual report year: 2012

  14. Published

    A Bayesian Analysis of the Radioactive Releases of Fukushima. / Tomioka, Ryota; Mørup, Morten.

    In: Proceedings of the 15th International Conference on Artificial Intelligence and Statistics (AISTATS) 2012: AISTATS 2012 Proceedings. Vol. 22 2012. p. 1243-1251.

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

  15. Published

    Acceleration of the GrIS mass loss as observed by GRACE. / Svendsen, Peter Limkilde; Andersen, Ole Baltazar; Nielsen, Allan Aasbjerg.

    In: Geophysical Research Abstracts, Vol. 14, 2012, p. EGU2012-2734.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  16. Published

    A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

    In: Multidisciplinary Research and Practice for Information Systems. ed. / Gerald Quirchmayr; Josef Basl; Ilsun You; Lida Xu; Edgar Weippl. Springer Verlag, 2012. p. 624-638 (Lecture Notes in Computer Science, Vol. 7465).

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

  17. Published

    A comparative study of two fast nonlinear free-surface water wave models. / Ducrozet, Guillaume; Bingham, Harry B.; Engsig-Karup, Allan Peter; Bonnefoy, Félicien; Ferrant, Pierre.

    In: International Journal for Numerical Methods in Fluids, Vol. 69, 2012, p. 1818-1834.

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

  18. Published

    A Comparison of Decision Methods for C pk When Data are Autocorrelated. / Lundkvist, Peder; Vannman, Kerstin; Kulahci, Murat.

    In: Quality Engineering, Vol. 24, No. 4, 2012, p. 460-472.

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

  19. Published
  20. Published

    A Coupled Finite Difference and Moving Least Squares Simulation of Violent Breaking Wave Impact. / Lindberg, Ole; Bingham, Harry B.; Engsig-Karup, Allan Peter.

    In: Proceedings of 31st International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2012.

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

  21. Published

    A Cross-Platform Smartphone Brain Scanner. / Larsen, Jakob Eg; Stopczynski, Arkadiusz; Stahlhut, Carsten; Petersen, Michael Kai; Hansen, Lars Kai.

    2012. Paper presented at CHI 2012 Conference , Austin, Texas, United States.

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

  22. Published

    A Dantzig-Wolfe Decomposition Algorithm for Linear Economic MPC of a Power Plant Portfolio. / Standardi, Laura; Edlund, Kristian; Poulsen, Niels Kjølstad; Jørgensen, John Bagterp.

    In: Proceedings of the 17th Nordic Process Control Workshop. ed. / John Bagterp Jørgensen; Jakob Kjøbsted Huusom; Gürkan Sin. Kogens Lyngby : Technical University of Denmark, 2012. p. 141.

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

  23. Published

    A Dantzig-Wolfe Decomposition Algorithm for Linear Economic MPC of a Power Plant Portfolio. / Standardi, Laura; Edlund, Kristian; Poulsen, Niels Kjølstad; Jørgensen, John Bagterp.

    In: The 10th European Workshop on Advanced Control and Diagnosis (ACD 2012). Technical University of Denmark, 2012.

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

  24. Published

    Adaptive calibration of (u,v)‐wind ensemble forecasts. / Pinson, Pierre.

    In: Royal Meteorological Society. Quarterly Journal, Vol. 138, No. 666, 2012, p. 1273-1284.

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

  25. Published

    Adaptive Media Access Control for Energy Harvesting - Wireless Sensor Networks. / Fafoutis, Xenofon; Dragoni, Nicola.

    In: 2012 Ninth International Conference on Networked Sensing Systems (INSS). IEEE, 2012.

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

  26. Published

    Adaptive modelling and forecasting of offshore wind power fluctuations with Markov-switching autoregressive models. / Pinson, Pierre; Madsen, Henrik.

    In: Journal of Forecasting, Vol. 31, No. 4, 2012, p. 281–313.

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

  27. Published

    Adaptive RT for H&N Cancer: The Usefulness of Deformable Image Registration. / Behrens, C.F.; Eiland, R.B.; Sjöström, D.; Maare, C.; Paulsen, Rasmus Reinhold; Samsøe, E.

    2012. Poster session presented at American Society for Radiation Oncology 54th Annual Meeting, ASTRO's 54th Annual Meeting, Boston, MA, United States.

    Publication: ResearchPoster – Annual report year: 2012

  28. Published

    Adaptive RT for Head-and-Neck Cancer: The Usefulness of Deformable Image Registration. / Behrens, C.F.; Eiland, R.B.; Sjöström, D.; Maare, C.; Paulsen, Rasmus Reinhold.

    In: International Journal of Radiation: Oncology - Biology - Physics, Vol. 84, No. 3S, 2012, p. S775.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  29. Published

    A desktop 3D printer in safety-critical Java. / Strøm, Tórur Biskopstø; Schoeberl, Martin.

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

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

  30. 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: ResearchBook – Annual report year: 2012

  31. Published
  32. Published

    A Feasible Real-time Multiplane MRI-LINAC Guidance Strategy. / Bjerre, Troels; Kim, T.; Munck af Rosenschold, P.; Aznar, M.; Specht, L.; Larsen, Rasmus; Keall, P.

    In: International Journal of Radiation: Oncology - Biology - Physics, Vol. 84, No. 3, Supplement 1, 2012, p. S719.

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

  33. Published

    A First-Order Primal-Dual Reconstruction Algorithm for Few-View SPECT. / Wolf, Paul; Jørgensen, Jakob Heide; Gilat-Schmidt, Taly; Sidky, Emil Y.

    2012. Paper presented at 2012 IEEE Nuclear Science Symposium and Medical Imaging Conference, Anaheim, CA, United States.

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

  34. Published
  35. Published

    A General Framework for Probabilistic Characterizing Formulae. / Sack, Joshua; Zhang, Lijun.

    In: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 Proceedings. Springer, 2012. p. 396-411 (Lecture Notes in Computer Science; No. 7148).

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

  36. Published

    A General Probabilistic Forecasting Framework for Offshore Wind Power Fluctuations. / Trombe, Pierre-Julien ; Pinson, Pierre; Madsen, Henrik.

    In: Energies, Vol. 5, No. 3, 2012, p. 621-657.

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

  37. Published

    A generative model for multi-atlas segmentation across modalities. / Iglesias, J. E.; Sabuncu, M. R.; Van Leemput, Koen.

    In: 2012 9th IEEE International Symposium on Biomedical Imaging (ISBI). IEEE, 2012. p. 888-891 (International Symposium on Biomedical Imaging. Proceedings).

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

  38. Published

    A generative model for probabilistic label fusion of multimodal data. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

    In: Multimodal Brain Image Analysis: Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings. Springer, 2012. p. 115–133 (Lecture Notes in Computer Science, Vol. 7509).

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

  39. Published

    A Generic High-performance GPU-based Library for PDE solvers. / Glimberg, Stefan Lemvig; Engsig-Karup, Allan Peter.

    2012. Abstract from International Workshop PDE Software Frameworks, Münster, Germany.

    Publication: Research - peer-reviewConference abstract for conference – Annual report year: 2012

  40. Published

    A Generic High-performance GPU-based Library for PDE solvers. / Glimberg, Stefan Lemvig (Author); Engsig-Karup, Allan Peter (Author).

    2012. International Workshop PDE Software Frameworks, Münster, Germany, 18-06-12.

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

  41. Published

    A generic library for large scale solution of PDEs on modern heterogeneous architectures. / Glimberg, Stefan Lemvig; Engsig-Karup, Allan Peter.

    In: 7th International Workshop on Parallel Matrix Algorithms and Applications (PMAA’12): Programme and Abstracts. The European Research Consortium for Informatics and Mathematics, 2012. p. 12.

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

  42. Published

    A GPU-based High-Performance Library with Application to Nonlinear Water Waves. / Glimberg, Stefan Lemvig (Author); Engsig-Karup, Allan Peter (Other).

    2012. Dansis Research Seminar 2012, Kgs. Lyngby, Denmark, 23-05-12.

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

  43. Published

    A hierarchical model for ordinal matrix factorization. / Paquet, Ulrich; Thomson, Blaise; Winther, Ole.

    In: Statistics and Computing, Vol. 22, No. 4, 2012, p. 945-957.

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

  44. Published

    A High-Order WENO Finite Difference Water Wave Model for Interactive Ship-Wave Simulation. / Engsig-Karup, Allan Peter; Lindberg, Ole; Glimberg, Stefan Lemvig; Dammann, Bernd; Bingham, Harry B.; Madsen, Per A.

    2012. Paper presented at International Conference on Spectral and High Order Methods (ICOSAHOM 2012), Gammarth, Tunisia.

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

  45. Published

    A Hold-out method to correct PCA variance inflation. / Garcia-Moreno, Pablo; Artes-Rodriguez, Antonio; Hansen, Lars Kai.

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

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

  46. Published

    AIR Tools - A MATLAB package of algebraic iterative reconstruction methods. / Hansen, Per Christian; Saxild-Hansen, Maria.

    In: Journal of Computational and Applied Mathematics, Vol. 236, No. 8, 2012, p. 2167-2178.

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

  47. Published

    A Light-Weight Statically Scheduled Network-on-Chip. / Sørensen, Rasmus Bo; Schoeberl, Martin; Sparsø, Jens.

    In: 2012 NORCHIP. IEEE, 2012.

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

  48. Published

    A look back: 57 years of scientific computing. / Wasniewski, Jerzy.

    In: Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski ; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 1-9 (Lecture Notes in Computer Science, Vol. 7203).

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

  49. Published

    A Machine-Learning Approach to Predict Main Energy Consumption under Realistic Operational Conditions. / Petersen, Joan P; Winther, Ole; Jacobsen, Daniel J.

    In: Ship Technology Research, Vol. 59, No. 1, 2012, p. 64-72.

    Publication: ResearchJournal article – Annual report year: 2012

  50. Published

    A Move in the Security Measurement Stalemate: Elo-Style Ratings to Quantify Vulnerability. / Pieters, Wolter; van der Ven, Sanne H.G.; Probst, Christian W.

    In: Proceedings of the 2012 workshop on New security paradigms. Association for Computing Machinery, 2012. p. 1-14.

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

  51. Published

    An ALE Weighted Least Squares Method for Simulation of Violent Water Wave Impact. / Lindberg, Ole; Engsig-Karup, Allan Peter; Bingham, Harry B.

    2012. Paper presented at International Conference on Spectral and High Order Methods (ICOSAHOM 2012), Gammarth, Tunisia.

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

  52. Published

    Analysis of an iterated local search algorithm for vertex cover in sparse random graphs. / Witt, Carsten.

    In: Theoretical Computer Science, Vol. 425, 2012, p. 117-125.

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

  53. Published

    Analysis of Queues with Rational Arrival Process Components - A General Approach. / Bean, Nigel G.; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 31.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  54. Published

    Analysis of Target Volume Definition Using CT, MRI and FDG-PET in Radiotherapy Treatment Planning of Anal Cancer. / Serup-Hansen, E.; Hendel, H. Westergreen ; Johannesen, H. Hjorth ; Ottosson, W.; Kristensen, B.; Hollensen, Christian; Persson, G. Fredberg ; Geertsen, P. F. ; Havsteen, H.

    In: Radiotherapy & Oncology, Vol. 103, No. Supplement 1, 2012, p. S305.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  55. Published

    Analytical Comparison of MAC Schemes for Energy Harvesting - Wireless Sensor Networks. / Fafoutis, Xenofon; Dragoni, Nicola.

    In: 2012 Ninth International Conference on Networked Sensing Systems (INSS). IEEE, 2012.

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

  56. Published

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

    In: 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

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

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

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

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

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

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

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

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

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

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

    In: 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

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

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

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

  68. Published

    An overview of multivariate gamma distributions as seen from a (multivariate) matrix exponential perspective. / Bladt, Mogens; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 34.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  69. Published

    Application of the Infinite Relational Model combined with the Bayesian Model of Generalization for Effective Cross-Cultural Knowledge Transfer. / Glückstad, Fumiko Kano; Mørup, Morten.

    In: The 26th Annual Conference of the Japanese Society for Artificial Intelligence, 2012. 2012.

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

  70. Published

    A predictive model of music preference using pairwise comparisons. / Jensen, Bjørn Sand; Gallego, Javier Saez ; Larsen, Jan.

    In: 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2012. p. 1977-1980 (I E E E International Conference on Acoustics, Speech and Signal Processing. Proceedings).

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

  71. Published

    Archetypal analysis for machine learning and data mining. / Mørup, Morten; Hansen, Lars Kai.

    In: Neurocomputing, Vol. 80, 2012, p. 54–63.

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

  72. Published

    Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Blaga, Felician Stefan.

    In: CASES '12: Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems . Association for Computing Machinery, 2012. p. 181-190.

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

  73. Published

    Artificial Neural Network Based State Estimators Integrated into Kalmtool. / Bayramoglu, Enis; Ravn, Ole; Poulsen, Niels Kjølstad.

    In: System Identification. Vol. 16 International Federation of Automatic Control, 2012. p. 1547-1552 (IFAC Proceedings Volumes (IFAC-PapersOnline) ).

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

  74. Published

    ASAM: Automatic Architecture Synthesis and Application Mapping. / Jozwiak, L.; Lindwer, M.; Corvino, R.; Meloni, P.; Micconi, Laura; Madsen, Jan; Diken, E.; Gangadharan, Deepak; Jordans, R.; Pomata, S.; Pop, Paul; Tuveri, G.; Raffo, L.

    In: 2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. p. 216-225.

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

  75. Published

    Aspects of energy intake assessment, dietary intake patterns and sleep duration in children. / Rothausen, Berit Worm; Tetens, Inge (Supervisor); Matthiessen, Jeppe (Supervisor); Frost Andersen, Lene (Supervisor); Brockhoff, Per B. (Supervisor).

    Søborg : DTU Food, 2012. 56 p.

    Publication: ResearchPh.d. thesis – Annual report year: 2012

  76. Published

    A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.

    In: 2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .

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

  77. Published

    A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 187 p. (IMM-PHD-2012; No. 278).

    Publication: ResearchPh.d. thesis – Annual report year: 2012

  78. Published

    A Survey of Formal Methods in Software Development. / Bjørner, Dines (Invited author).

    In: 2012 19th Asia-Pacific Software Engineering Conference (APSEC). Vol. 2 IEEE, 2012. (Asia Pacific Software Engineering Conference. Proceedings).

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

  79. Published

    A SynoviocyteModel for Osteoarthritis and Rheumatoid Arthritis: Response to Ibuprofen, Betamethasone, and Ginger Extract—A Cross-Sectional In Vitro Study. / Ribel-Madsen, Søren; Bartels, Else Marie; Stockmarr, Anders; Borgwardt, Arne; Cornett, Claus; Danneskiold-Samsøe, Bente; Bliddal, Henning.

    In: Arthritis, Vol. 2012, 2012, p. 505842.

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

  80. Published

    A third mode of surface‐associated growth: immobilization of Salmonella enterica serovar Typhimurium modulates the RpoS‐directed transcriptional programme. / Knudsen, Gitte Maegaard; Nielsen, Maj‐Britt; Grassby, Terri; Danino‐Appleton, Vittoria; Thomsen, Line E.; Colquhoun, Ian J.; Brocklehurst, Tim F.; Olsen, John; Hinton, Jay C. D.

    In: Environmental Microbiology, Vol. 14, No. 8, 2012, p. 1855-1875.

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

  81. Published

    A Transmission-Cost-Based Model to Estimate the Amount of Market-Integrable Wind Resources. / Morales González, Juan Miguel; Pinson, Pierre; Madsen, Henrik.

    In: I E E E Transactions on Power Systems, Vol. 27, No. 2, 2012, p. 1060-1069 .

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

  82. Published

    Attention: A Machine Learning Perspective. / Hansen, Lars Kai.

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

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

  83. Published

    A Unifying Model for the Analysis of Phenotypic, Genetic and Geographic Data. / Guillot, Gilles; Rena, Sabrina; Ledevin, Ronan; Michaux, Johan; Claude, Julien.

    In: Systematic Biology, Vol. 61, No. 6, 2012, p. 897-911.

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

  84. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    In: Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

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

  85. E-pub ahead of print
  86. Published

    Automated segmentation of the skeleton in whole-body bone scans: influence of difference in atlas. / Kikuchi, Akihiro; Onoguchi, Masahisa; Horikoshi, Hiroyuki; Sjöstrand, Karl; Edenbrandt, Lars.

    In: Nuclear Medicine Communications, Vol. 33, No. 9, 2012, p. 947-953.

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

  87. Published

    Automatic Quality Measurement and Parameter Selection for Example-based Texture Synthesis. / Laursen, Lasse Farnung; Clemmensen, Line Katrine Harder; Bærentzen, Jakob Andreas; Igarashi, T.; Ersbøll, Bjarne Kjær.

    Kongens Lyngby : Technical University of Denmark, 2012. 31 p. (IMM-Technical Report-2012; No. 07).

    Publication: ResearchReport – Annual report year: 2012

  88. Published

    Automatic quantification of iris color. / Christoffersen, S.; Harder, Stine; Andersen, J. D.; Johansen, P.; Dahl, Anders Lindbjerg; Morling, N. ; Paulsen, Rasmus Reinhold.

    In: Meeting of the English Speaking Working Group (ESWG) of the International Society of Forensic Genetics (ISFG): Programme. 2012. p. 20.

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

  89. Published

    Auto-Segmentation of Bone in MRI-only Based Radiotherapy Using Ultra Short Echo Time. / Edmund, J. M.; Kjer, Hans Martin; Hansen, R. H.

    In: Radiotherapy & Oncology, Vol. 103, No. Supplement 1, 2012, p. S75.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  90. Published

    Auto-tuning Dense Vector and Matrix-vector Operations for Fermi GPUs. / Sørensen, Hans Henrik Brandenborg.

    In: Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 619-629 (Lecture Notes in Computer Science, Vol. 7203).

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

  91. E-pub ahead of print

    Auto-tuning of level 1 and level 2 BLAS for GPUs. / Sørensen, Hans Henrik Brandenborg.

    In: Concurrency and Computation: Practice & Experience, 2012.

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

  92. Published

    Bactericidal Antibiotics Do Not Appear To Cause Oxidative Stress in Listeria monocytogenes. / Feld, Louise; Knudsen, Gitte Maegaard; Gram, Lone.

    In: Applied and Environmental Microbiology, Vol. 78, No. 12, 2012, p. 4353-4357.

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

  93. Published

    Bayesian community detection.. / Mørup, Morten; Schmidt, Mikkel N.

    In: Neural Computation, Vol. 24, No. 9, 2012, p. 2434-2456.

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

  94. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    In: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

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

  95. Published

    Beyond the CP-curve in Model-based Control of Wind Turbines. / Henriksen, Lars Christian; Hansen, Morten Hartvig; Poulsen, Niels Kjølstad.

    In: Scientific Proceedings of EWEA 2012 - European Wind Energy Conference & Exhibition. EWEA - The European Wind Energy Association, 2012. p. 147-152.

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

  96. Published

    Bilateral matrix-exponential distributions. / Bladt, Mogens; Esparza, Luz Judith R; Nielsen, Bo Friis.

    In: S I G M E T R I C S Performance Evaluation Review, Vol. 39, No. 4, 2012, p. 25.

    Publication: Research - peer-reviewConference abstract in journal – Annual report year: 2012

  97. Published

    Biochips: The Integrated Circuit of Biology. / Madsen, Jan.

    In: 2012 NORCHIP. IEEE, 2012.

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

  98. Published

    Bioinspired computation in combinatorial optimization: algorithms and their computational complexity. / Neumann, Frank; Witt, Carsten.

    In: Proceedings of the fourteenth international conference on Genetic and evolutionary computation: Companion. Association for Computing Machinery, 2012. p. 1035-1058.

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

  99. Published

    Black-Box Search by Unbiased Variation. / Lehre, Per Kristian; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 623-642.

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

  100. Published

    Building an Orthonormal Basis from a 3D Unit Vector Without Normalization. / Frisvad, Jeppe Revall.

    In: Journal of Graphics Tools, Vol. 16, No. 3, 2012, p. 151–159.

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

  101. Published

    Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).

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

  102. Published

    Calculation of AC losses in HTS stacks and coils for large scale applications. / Rodriguez Zermeno, Victor Manuel ; Abrahamsen, Asger Bech; Mijatovic, Nenad; Jensen, Bogi Bech; Sørensen, Mads Peter.

    In: Conference program book - 2012 Applied Superconductivity Conference (ASC 2012). 2012. p. 893-893.

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

Previous 1 2 3 4 5 6 7 8 ...65 Next