Department of Informatics and Mathematical Modeling

  1. 2014
  2. Published
  3. Published
  4. Published
  5. 2013
  6. Published
  7. 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

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

  9. 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, 2013, p. 25–47.

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

  10. Published
  11. Published

    Global Existence and Blowup for a Parabolic Equation with a Non-Local Source and Absorption. / Ling, Zhi; Lin, Zhigui; Pedersen, Michael.

    In: Acta Applicandae Mathematicae, Vol. 124, No. 1, 2013, p. 171-186.

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

  12. Published

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

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

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

  13. Published

    Modeling and forecasting of wind power generation - Regime-switching approaches. / Trombe, Pierre-Julien ; Madsen, Henrik (Main supervisor); Pinson, Pierre (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2013. 166 p. (PHD-2013; No. 287).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  14. Published

    Nonconvex Model Predictive Control for Commercial Refrigeration. / Hovgaard, Tobias Gybel; Larsen, Lars F.S. ; Jørgensen, John Bagterp; Boyd, Stephen.

    In: International Journal of Control, Vol. 86, No. 8, 2013, p. 1349-1366.

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

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

  16. Published

    Scheduling sampling to maximize information about time dependence in experiments with limited resources. / Græsbøll, Kaare; Christiansen, Lasse Engbo.

    In: Biological Rhythm Research, Vol. 44, No. 5, 2013, p. 745-755.

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

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

  18. Published

    Towards Clone Detection in UML Domain Models. / Störrle, Harald.

    In: Software and Systems Modeling, Vol. 12, No. 2, 2013, p. 307-329.

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

  19. Published

    Trading wind energy on the basis of probabilistic forecasts both of wind generation and of market quantities. / Zugno, Marco; Jónsson, Tryggvi; Pinson, Pierre.

    In: Wind Energy, Vol. 16, No. 6, 2013, p. 909-926.

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

  20. Published

    Using anisotropic diffusion equations in pixon domain for image de-noising. / Nadernejad, Ehsan; Forchhammer, Søren; Sharifzadeh, Sara.

    In: Signal, Image and Video Processing, Vol. 7, No. 6, 2013, p. 1113-1124.

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

  21. 2012
  22. Published
  23. 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

  24. Published

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

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

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

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

  26. Published

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

    In: Lecture Notes in Computer Science, Vol. 7465, 2012, p. 624-638.

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

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

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

  29. Published
  30. Published

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

    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

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

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

    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

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

    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

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

  35. Published

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

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

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

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

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

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

  39. Published

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

    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

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

  41. Published
  42. 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

  43. 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 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC). IEEE, 2012. p. 2381-2385.

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

  44. Published
  45. Published

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

    In: Lecture Notes in Computer Science, Vol. 7148, 2012, p. 396-411.

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

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

  47. Published

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

    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

  48. Published

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

    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

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

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

  51. Published

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

    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

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

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

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

  55. Published

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

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

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

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

  57. Published

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

    2012 NORCHIP. IEEE, 2012.

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

  58. Published

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

    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

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

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

    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

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

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

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

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

  65. Published

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  80. Published

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

    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

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

  82. Published

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

    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

  83. Published

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

    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

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

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

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

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

  86. Published

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

    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

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

  88. Published

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

    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

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

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

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

  92. Published

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

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

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

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

  94. Published

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

    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

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

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

  97. Published

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

    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

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

  99. Published

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

    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

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

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

  102. Published

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

    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

  103. Published

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

    Scientific Proceedings of EWEA 2012 - European Wind Energy Conference & Exhibition. European Wind Energy Association (EWEA), 2012. p. 147-152.

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

Previous 1 2 3 4 5 6 7 8 ...65 Next
Download list: To download, please limit the number of search results to 1,000 or less.