Department of Informatics and Mathematical Modeling
- 2013
- 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-review › Journal article – Annual report year: 2013
- 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-review › Journal article – Annual report year: 2013
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2013
- 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-review › Journal article – Annual report year: 2013
- 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 › Book – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2011
- 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-review › Journal article – Annual report year: 2012
- 2012
- Published
Comparison of estimated energy intake from 224-hour recalls and a seven-day food record with objective measurements of energy expenditure in children. / Rothausen, Berit Worm; Matthiessen, Jeppe; Groth, Margit Velsing; Brockhoff, Per B.; F. Andersen, Lene; Trolle, Ellen.
In: Food & Nutrition Research, Vol. 56, 15.02.2012, p. 1-10.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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: Research › Book – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2011
- 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-review › Journal article – Annual report year: 2012
- Published
A convex programming framework for optimal and bounded suboptimal well field management. / Dorini, Gianluca Fabio ; Thordarson, Fannar Ørn; Bauer-Gottwein, Peter; Madsen, H.; Rosbjerg, Dan; Madsen, Henrik.
In: Water Resources Research, Vol. 48, 2012, p. W06525.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Paper – Annual report year: 2012
- 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-review › Conference abstract in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2011
- 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: Research › Poster – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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: Research › Book – Annual report year: 2012
- Published
Adverse effects on sexual development in rat offspring after low dose exposure to a mixture of endocrine disrupting pesticides. / Hass, Ulla; Boberg, Julie; Christiansen, Sofie; Jacobsen, Pernille Rosenskjold; Vinggaard, Anne Marie; Taxvig, Camilla; Poulsen, Mette Erecius; Herrmann, Susan Strange; Jensen, Bodil Hamborg; Petersen, Annette; Clemmensen, Line Katrine Harder; Petersen, Marta Axelstad.
In: Reproductive Toxicology, Vol. 34, No. 2, 2012, p. 261-274.Publication: Research - peer-review › Conference article – Annual report year: 2012
- 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-review › Conference article – Annual report year: 2012
- 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-review › Paper – Annual report year: 2012
- Published
A Frequency Matching Method: Solving Inverse Problems by Use of Geologically Realistic Prior Information. / Lange, Katrine; Frydendall, Jan; Cordua, Knud Skou; Hansen, Thomas Mejer; Melnikova, Yulia; Mosegaard, Klaus.
In: Mathematical Geosciences, Vol. 44, No. 7, 2012, p. 783-803.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Conference abstract for conference – Annual report year: 2012
- 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-review › Sound/Visual production (digital) – Annual report year: 2012
- 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-review › Conference abstract in proceedings – Annual report year: 2012
- 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-review › Sound/Visual production (digital) – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2011
- 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-review › Paper – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2010
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2011
- 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: Research › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Paper – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Paper – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
An ECNO semantics for Petri nets. / Kindler, Ekkart.
In: Petri Net Newsletter, No. 81, 2012, p. 3–16.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2011
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2011
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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: Research › Ph.d. thesis – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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: Research › Ph.d. thesis – Annual report year: 2012
- 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-review › Conference abstract in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
Attention: A Machine Learning Perspective. / Hansen, Lars Kai.
In: 2012 3rd International Workshop on Cognitive Information Processing (CIP). IEEE, 2012.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- E-pub ahead of print
Automated invariant alignment to improve canonical variates in image fusion of satellite and weather radar data. / Vestergaard, Jacob Schack; Nielsen, Allan Aasbjerg.
In: Journal of Applied Meteorology and Climatology, 2012.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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: Research › Report – Annual report year: 2012
- 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-review › Conference abstract in proceedings – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
Bayesian community detection.. / Mørup, Morten; Schmidt, Mikkel N.
In: Neural Computation, Vol. 24, No. 9, 2012, p. 2434-2456.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Conference abstract in journal – Annual report year: 2012
- Published
Biochips: The Integrated Circuit of Biology. / Madsen, Jan.
In: 2012 NORCHIP. IEEE, 2012.Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2012
- 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-review › Article in proceedings – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- 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-review › Book – Annual report year: 2012
- 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-review › Conference abstract in proceedings – Annual report year: 2012