IMM Publications - 2005

Journal papers

• Andersen, T. S., Tiippana, K., Sams, M., Maximum Likelihood Integration of rapid flashes and beeps, Neuroscience Letters, vol. 380(1-2), pp. 155-60, 2005 [full] [bibtex]
  
  
• Andersen, M. N., Andersen, K. K., Kammersgaard, L. P., Olsen, T. S., Sex Differences in Stroke Survival: 10-Year Follow-up of the Copenhagen Stroke Study Cohort, Journal of Stroke and Cerebrovascular Diseases, vol. 14(5), pp. 215-220, 2005 [full] [bibtex] [pdf]
  
  
• Andersen, B. S., Gunnels, J. A., Gustavson, F. G., Wasniewski, J., A Fully Portable High Performance Minimal Storage Hybrid Format Cholesky Algorith, Transaction of Mathematical Software of ACM - TOMS, vol. 31(2), pp. 201-227, 2005 [full] [bibtex]
  
  
• Andersen, B., Hansen, M. E., Smedsgaard, J., Automated and unbiased image analyses as tools in phenotypic classification of small-spored Alternaria species, Phytopathology, vol. 95(9), pp. 1021-1029, 2005 [full] [bibtex]
  
  
• Antelo, E., Lang, T., Montuschi, P., Nannarelli, A., Digit-Recurrence Dividers with Reduced Logical Depth, IEEE Transactions on Computers, vol. 54, pp. 837-851, 2005 [full] [bibtex]
  
  
• Balslev, D., Nielsen, F. Å., Paulson, O. B., Law, I., Right Temporoparietal Cortex Activation during Visuo-proprioceptive Conflict, Cerebral Cortex, vol. 15(2), pp. 166-169, Oxford University Press, 2005 [full] [bibtex]
  
  
• Bisgaard, S., Kulahci, M., Checking Process Stability with the Variogram, Quality Engineering, vol. 17(2), pp. 323-327, 2005 [full] [bibtex]
  
  
• Bisgaard, S., Kulahci, M., The Effect of Autocorrelation on Statistical Process Control Procedures, Qualityu Engineering, vol. 17(3), pp. 481-489, 2005 [full] [bibtex]
  
  
• Bisgaard, S., Kulahci, M., Interpretation of Time Series Models, Quality Engineering, vol. 17(4), 2005 [full] [bibtex]
  
  
• Bodei, C., Curti, M., Degano, P., Buchholtz, M., Buchholtz, M., Nielson, F., Nielson, F., Nielson, H. R., Nielson, H. R., Priami, C., Priami, C., Performance Evaluation of Security Protocols Specified in LySa., Electr. Notes Theor. Comput. Sci., vol. 112, pp. 167-189, 2005 [full] [bibtex]
  
  
• Bodei, C., Buchholtz, M., Degano, P., Riis Nielson, H., Nielson, F., Static Validation of Security Protocols, Journal of Computer Security, vol. 13(3), pp. 347-390, 2005 [full] [bibtex] [pdf]
  
  
• Braithwaite, I., Blanke, M., Zhang, G., Carstensen, J. M., Design of a vision-based sensor for autonomous pig house cleaning, Eurasip journal on Applied Signal Processing, vol. 2005(13), pp. 2005-2017, 2005 [full] [bibtex]
  
  
• Bærentzen, J., Aanæs, H., Signed Distance Computation using the Angle Weighted Pseudo-normal, IEEE Transactions on Visualization and Computer Graphics, vol. 11(3), pp. 243-253, 2005 [full] [bibtex] [pdf]
  
  
• Bærentzen, A., Hardware-accelerated Point Generation and Rendering of Point-based Impostors, Journal of Graphics Tools, vol. 10(2), pp. 1-12, 2005 [full] [bibtex] [pdf]
  
  
• Chen, B. T., Madsen, K., Zhang, S., On Characterization of Quadratic Splines, Journal of Optimization Theory and Applications, vol. 124(1), pp. 93 - 111, 2005 [full] [bibtex]
  
  
• Christensen, L. P. B., A Low-Complexity Joint Synchronization and Detection Algorithm for Single-Band DS-CDMA UWB Communications, EURASIP, Journal on Applied Signal Processing, UWB - State of the Art, 2005 [full] [bibtex] [pdf]
  
  
• Drews, M., Lauritzen, B., Madsen, H., Analysis of a Kalman filter based method for on-line estimation of atmospheric dispersion parameters using radiation monitoring data, Radiation Protection Dosimetry, vol. 113(1), pp. 75-89, 2005 [full] [bibtex]
  
  
• Eldén, L., Hansen, P. C., Rojas, M., Minimization of linear functionals defined on solutions of large-scale discrete ill-posed problems, BIT, vol. 45, pp. 329-340, 2005 [full] [bibtex]
  
  
• Fedi, M., Hansen, P. C., Paoletti, V., Tutorial: analysis of depth resolution in potential-field inversion, Geophysics, vol. 70, pp. A1-A11, 2005 [full] [bibtex]
  
  
• Fierro, R. D., Hansen, P. C., UTV Expansion Pack: Special-Purpose Rank-Revealing Algorithms, Numerical Algorithms, vol. 40, pp. 47-66, 2005 [full] [bibtex]
  
  
• Franz, M., Chandra, D., Gal, A., Haldar, V., Probst, C. W., Reig, F., Wang, N., A Portable Virtual Machine Target for Proof-Carrying Code, Journal of Science of Computer Programming, vol. 57(3), pp. 275-294, 2005 [full] [bibtex] [pdf]
  
  
• Fränzle, M., Herde, C., Efficient Proof Engines for Bounded Model Checking of Hybrid Systems, Electronic Notes in Theoretical Computer Science, vol. 133, pp. 119-137, 2005 [full] [bibtex] [pdf]
  
  
• Gaididei, Y. B., Christiansen, P. L., Kevrekidis, P. G., Büttner, H., Bishop, A. R., : Localization of nonlinear excitations in curved waveguides, New Journal of Physics, 7, 2005, 52, 2005 [full] [bibtex]
  
  
• Gal, A., Probst, C. W., Franz, M., Structural Encoding of Static Single Assignment Form, Electronic Notes in Theoretical Computer Science, vol. 141(2), pp. 85-102, 2005 [full] [bibtex] [pdf]
  
  
• Gal, A., Probst, C. W., Franz, M., Integrated Java Bytecode Verification, Electronic Notes in Theoretical Computer Science, vol. 131, pp. 27-38, 2005 [full] [bibtex] [pdf]
  
  
• Hansen, P. C., Jensen, S. H., Prewhitening for Rank-Deficient Noise in Subspace Methods for Noise Reduction, IEEE Transactions on Signal Processing, vol. 53(10/1), pp. 3718-3726, 2005 [full] [bibtex]
  
  
• Hansen, M. E., Andersen, B., Smedsgaard, J., Automated and unbiased classification of chemical profiles from fungi using high performance liquid chromatography, Journal of Microbiological Methods, vol. 61, pp. 295-304, 2005 [full] [bibtex]
  
  
• Hansen, M. E., Smedsgaard, J., Larsen, T. O., X-hitting: A new algorithm for novelty detection and de-replication by UV spectra of complex mixtures of natural products, Analytical Chemistry, vol. 77(21), pp. 6805-6817, 2005 [full] [bibtex]
  
  
• Heskes, T., Opper, M., Wiegerinck, W., Winther, O., Zoeter, O., Approximate inference techniques with expectation constraints, Journal of Statistical Mechanics: Theory and Experiment, pp. 11015, 2005 [full] [bibtex] [pdf]
  
  
• Jensen, B. F., Refsgaard, H. H., Bro, R., Brockhoff, P. B., Classification of Membrane Permeability of Drug Candidates: A Methodological Investigation, QSAR and Combinatorial Science, vol. 24(4), pp. 449-457, 2005 [full] [bibtex]
  
  
• Jonsdottir, H., Madsen, H., Assessment of serious water shortage in the Icelandic water resource system, Physics and Chemistry of the Earth, vol. 30(6/7), pp. 420-425, 2005 [full] [bibtex]
  
  
• Klemp, K., Sander, B., Brockhoff, P., Vaag, A., Lund-Andersen, H., Larsen, M., The multifocal ERG in diabetic patients without retinopathy during euglycemic clamping, INVESTIGATIVE OPHTHALMOLOGY & VISUAL SCIENCE, vol. 46(7), pp. 2620-2626, 2005 [full] [bibtex]
  
  
• Kristensen, N. R., Madsen, H., Ingwersen, S. H., Using Stochastic Differential Equations for PK/PD Model Development, Journal of Pharmacokinetics and Pharmacodynamics, vol. 32(1), pp. 109-141, 2005 [full] [bibtex]
  
  
• Kulahci, M., Bisgaard, S., The Use of Plackett and Burman Designs to Construct Split-Plot Designs, Technometrics, vol. 47(4), pp. 495-502, 2005 [full] [bibtex]
  
  
• Larsen, T. O., Petersen, B. O., Duus, J. Ø., Sørensen, D., Frisvad, J. C., Hansen, M. E., Discovery of new natural products by application of X-hitting, a novel algorithm for automated comparison of full UV-spectra, combined with structural determination by NMR spectroscophy, Journal of Natural Products, vol. 68, pp. 871-874, 2005 [full] [bibtex]
  
  
• Lehmann, S., Jackson, A. D., Lautrup, B., Life, Death, and Preferential Attachment, Europhys. Lett., vol. 69(2), pp. 298-303, 2005 [full] [bibtex] [pdf]
  
  
• Lehmann, S., Jackson, A. D., Live and Dead Nodes, Computational & Mathematical Organization Theory, vol. 11, pp. 161-170, 2005 [full] [bibtex] [pdf]
  
  
• Lehn-Schiøler, T., Hegde, A., Erdogmus, D., Principe, J. C., Vector-Quantization using Information Theoretic Concepts, Natural Computing, vol. 4, pp. 39--51, Kluwer Academic Publishers, 2005 [full] [bibtex] [pdf]
  
  
• Løve, M., Sørensen, K. R., Larsen, J., Clausen, J., Using Heuristics to Solve the Dedicated Aircraft Recovery Problem, Central European Journal of Operations Research, vol. 13(2), pp. 189-207, 2005 [full] [bibtex]
  
  
• Madsen, H., Pinson, P., Kariniotakis, G., Nielsen, H. A., Nielsen, T. S., Standardizing the performance evaluation of short-term wind prediction models, Wind Engineering, vol. 29(6), pp. 475-489, 2005 [full] [bibtex]
  
  
• Madsen, S., Gaididei, Y. B., Christiansen, P. L., Pedersen, N. F., Domain walls and textured vortices in a two-component Ginzburg-Landau model, Physics Letters A, 344, 2005, 432-440, 2005 [full] [bibtex]
  
  
• Maletti, G., Ersbøll, B. K., Conradsen, K., A combined alignment and registration scheme of lesions with psoriasis, Information Science, vol. 175(3), pp. 141-159, 2005 [full] [bibtex]
  
  
• Nielsen, F. Å., Balslev, D., Hansen, L. K., Mining the posterior cingulate: Segregation between memory and pain components, NeuroImage, vol. 27(3), pp. 520-532, Elsevier, 2005 [full] [bibtex] [pdf]
  
  
• Nolsøe, K., Kessler, M., Pérez, J., Madsen, H., Bayesian conformational analysis of ring molecules, Journal of Chemometrics, pp. 35, 2005 [full] [bibtex]
  
  
• Nolsøe, K., Kessler, M., Madsen, H., Bayesian conformational analysis of ring molecules through Reversible Jumb MCMC, Journal of chemometrics, vol. 19(8), pp. 412-426, 2005 [full] [bibtex]
  
  
• Opper, M., Winther, O., Expectation Consistent Approximate Inference, Journal of Machine Learning Research, vol. 6, pp. 2177-2204, 2005 [full] [bibtex] [pdf] [zip]
  
  
• Overgaard, R. V., Jonsson, N., Tornoe, C. W., Madsen, H., Non-linear mixed-effects models with stochastic differential equations: implementation of an estimation algorithm, Journal of Pharmacokinetics and Pharmacodynamics, vol. 32(1), pp. 85-107, 2005 [full] [bibtex]
  
  
• Overgaard, R. V., Henriksen, J. E., Madsen, H., Insights to the minimal model of insulin secretion through a mean-field beta cell model, Journal of theoretical biology, vol. 237(4), pp. 382-389, 2005 [full] [bibtex]
  
  
• Pérez, J., García, L., Kessler, M., Nolsøe, K., E. Pérez, E., Serrano, J., Martínez, J. F., Carrascosa, R. L., Solid state conformational classification of eight-membered rings, Inorganica Chimica Acta, vol. 358(7), pp. 2432-2436, 2005 [full] [bibtex]
  
  
• Pérez, J., Nolsøe, K., Kessler, M., García, L., Pérez, E., Serrano, J. L., Bayesian methods for the conformational classification of, Acta Cryst, pp. 9, 2005 [full] [bibtex]
  
  
• Petersen, K. B., Hao, J., Lee, T., Generative and Filtering Approaches for Overcomplete Representations, Neural Information Processing - Letters and Reviews, vol. 8(1), 2005 [full] [bibtex]
  
  
• Petersen, K. B., Winther, O., Hansen, L. K., On the Slow Convergence of EM and VBEM in Low-Noise Linear Models, Neural Computation, vol. 17(9), pp. 1921-1926, 2005 [full] [bibtex]
  
  
• Pontoppidan, N. H., Sigurdsson, S., Larsen, J., Condition monitoring with Mean field independent components analysis, Mechanical Systems and Signal Processing, vol. 19(6), pp. 1337-1347, Elsevier, 2005 [full] [bibtex] [pdf]
  
  
• Pop, P., Eles, P., Peng, Z., Analysis and Optimization of Heterogeneous Real-Time Embedded Systems, IEE Proceedings - Computers and Digital Techniques, vol. 152(2), pp. 130--147, 2005 [full] [bibtex]
  
  
• Pop, P., Eles, P., Peng, Z., Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems, ACM Transactions on Embedded Computing Systems, vol. 4(1), pp. 112--140, 2005 [full] [bibtex]
  
  
• Refsgaard, H. H., Jensen, B. F., Brockhoff, P. B., Padkjær, S. B., Guldbrandt, M., Christensen, M. S., In Silico Prediction of Membrane Permeability from Calculated Molecular Parameters., Journal of Medicinal Chemistry, vol. 48, pp. 805-811, 2005 [full] [bibtex]
  
  
• Schultz, N., Nielsen, A. A., Conradsen, K., Sørensen, P. S., Madsen, K. N., A non-parametric 2D deformable template classifier, Environmetrics, vol. 16(1), pp. 81-94, 2005 [full] [bibtex] [pdf]
  
  
• Seigneur, J., Jensen, C. D., The Claim Tool Kit for ad hoc recognition of peer entities, Science of Computer Programming, vol. 54(1), pp. 49-71, Elsevier, 2005 [full] [bibtex]
  
  
• Sidsen, T., Thomadsen, T., Hierarchical Ring Network Design Using Branch-and-Price, Telecommunication Systems - Modeling, Analysis, Design and Management, vol. 29(1), pp. 61-76, 2005 [full] [bibtex]
  
  
• Stegmann, M. B., Ólafsdóttir, H., Larsson, H. B. W., Unsupervised motion-compensation of multi-slice cardiac perfusion MRI, Medical Image Analysis, vol. 9(4), pp. 394-410, Elsevier Science, 2005 [full] [bibtex] [pdf]
  
  
• Stidsen, T., Glenstrup, A., Quantifying optimal mesh and ring design costs, Naval Reserach Logistics, vol. 52(2), pp. 150-8, 2005 [full] [bibtex]
  
  
• Tommy, T., Thomas, S., Hierarchical Ring Network Design Using Branch-and-Price, Telecommunication Systems, vol. 29(1), pp. 61-76, 2005 [full] [bibtex] [pdf]
  
  
• Tornøe, C. W., Overgaard, R. V., Agerso, H., Nielsen, H. A., Madsen, H., Jonsson, E. N., Stochastic differential equations in NONMEM: implementation, application, and comparison with ordinary differential equations, Pharmaceutical Research, vol. 22(8), pp. 1247-1258, 2005 [full] [bibtex]
  
  
• Tuomainen, J., Andersen, T. S., Tiippana, K., Sams, M., Audio-visual speech perception is special, Cognition, vol. 96(1), pp. B13-22, 2005 [full] [bibtex]
  
  
• Tyssedal, J., Kulahci, M., Analysis of Split-Plot Designs with Economical Run Sizes, Journal of Quality and Reliability Engineering International, vol. 21(5), pp. 539-551, 2005 [full] [bibtex]
  
  
• Vestergaard, C., Erbou, S. G., Thauland, T., Adler-Nissen, J., Berg, P., Salt distribution in dry-cured ham measured by computed tomography and image analysis, Meat Science, vol. 69, pp. 9-15, 2005 [full] [bibtex]
  
  
• Vidal, V. V., Creativity for Operational Researchers, Investigacao Operational, vol. 25(1), pp. 1-24, Associacao Portuguesa de Investigacao Operacional, 2005 [full] [bibtex]
  
  
• Vidal, V. V., Dealing with problematic situations, Economic Analysis Working Papers, vol. 7(7), pp. 25, 2005 [full] [bibtex]
  
  
• Vidal, V. V., Soft OR approaches, Engevista, vol. 7(1), pp. 4-20, 2005 [full] [bibtex]
  
  
• Villadsen, J., Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency, Journal of Applied Non-Classical Logics, vol. 15, pp. 45-58, 2005 [full] [bibtex]
  
  

• Clausen, J., Teknikker i IT-støttet beslutningstagning, Effektivitet, no. 5, pp. 12-15, Dansk Rationaliserings Forening, 2005 [full] [bibtex]
  
  
• Clausen, J., Jespersen, J., Rezanova, N. J., Når uheldet er ude, Effektivitet, no. 5, pp. 26-28, Dansk Rationaliseringsforening, 2005 [full] [bibtex]
  
  
• Jensen, C. D., Krogh, J., Security in open Grid systems, Public Service Review: Nordic States (winter 2004), PSCA International Ltd., 2005 [full] [bibtex]
  
  
• Vidal, V. V., Ole Rømer -the first operational researcher in Denmark, ORBIT, no. 10, 2005 [full] [bibtex]
  
  
• Vidal, V. V., What is OR?, orbit, pp. 4-8, 2005 [full] [bibtex]
  
  

• Bjørner, D., TRain Column, British Computer Society FACS FACTS, no. 1, pp. 27-28, 2005 [full] [bibtex]
  
  
• Bjørner, D., Train Column, British Computer Society FACS FACTS, no. 2, pp. 19-23, 2005 [full] [bibtex]
  
  
• Bjørner, D., An Example Railway Domain, British Computer Society FACTS FACT, no. 2, pp. 29-39, 2005 [full] [bibtex]
  
  
• Bjørner, D., Train Column, British Computer Society FACS FACT, no. 3, pp. 14-16, 2005 [full] [bibtex]
  
  
• Bjørner, D., Multimodal Transportation Nets, British Computer Society FACS FACT, no. 4, pp. 30, 2005 [full] [bibtex]
  
  
• Hansen, L. K., Stilhed før fremtiden, Jyllandspostens kronik, 12. november, November, 2005 [full] [bibtex] [pdf]
  
  
• Vidal, V. V., Creatividad y los profesionales, Madri+d, no. 29, pp. 12 p., 2005 [full] [bibtex]
  
  

Conference papers

• Huusom, J. K., Poulsen, N. K., Jørgensen, S. B., Closed loop identification for Nonlinear process models. Challenges and Methods., SYDID06, 2005 [full] [bibtex]
  
  
• Madsen, R. E., Kauchak, D., Elkan, C., Approximating The Dirichlet Compound Multinomial Distribution, Neural Information Processing Systems, 2005 [full] [bibtex]
  
  
• Weddin, M., Winther, O., Frame Selection for Speaker Identification, 2005 [full] [bibtex] [pdf]
  
  

• Aanæs, H., Solem, J., Overlapping Constraint for Variational Surface, SCIA 05, 2005 [full] [bibtex]
  
  
• Aghito, S. M., Stegmann, M. B., Forchhammer, S., Ersbøll, B. K., Segmentation of object-based video of gaze communication, HCI International, 11th International Conference on Human-Computer Interaction, Las Vegas, USA, 2005 [full] [bibtex]
  
  
• Ahrendt, P., Goutte, C., Larsen, J., Co-occurrence Models in Music Genre Classification, IEEE International workshop on Machine Learning for Signal Processing, pp. 247-252, 2005 [full] [bibtex] [pdf]
  
  
• Albeanu, G., Popentiu-Vladicescu, F., Thyregod, P., Madsen, H., A Probabilistic-Fuzzy Approach for TQSEM, Fifth Annual Meeting of ENBIS, 2005 [full] [bibtex]
  
  
• Albertsen, N. C., Frandsen, P. E., Sørensen, S. B., Methods and algorithms in a new software design tool for complex antenna and quasi-optical systems, 17th IMACS World Congress Scientific Computation, Applied Mathematics and Simulation, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Alstrup, S., Gørtz, I. L., Rauhe, T., Thorup, M., Zwick, U., Union-Find with Constant Time Deletions, Proc. 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, vol. 3580, pp. 78-89, Springer-Verlag, 2005 [full] [bibtex]
  
  
• Andersen, H. S., Rootzen, H., Fysisk aktivitet blandt unge i Danmark - statistisk analyse af faktorer for unges risikoadfærd, 27. Symposium i Anvendt Statistik, Økonomisk Institut, SDU, 2005 [full] [bibtex]
  
  
• Andersen, K. K., Using an Internet Based Quiz System as a Supplementary Aid in Teaching Statistics, in Proceedings, International Statistical Institute, 2005 [full] [bibtex]
  
  
• Angiolini, F., Mahadevan, S., Madsen, J., Benini, L., Sparsø, J., Realistically Rendering SoC Traffic Patterns with Interrupt Awareness, IFIP International Conference on Very Large Scale Integration (VLSI-SoC), 2005 [full] [bibtex]
  
  
• Antelo, E., Lang, T., Montuschi, P., Nannarelli, A., Low Latency Digit-Recurrence Reciprocal and Square-Root Reciprocal Algorithm and Architecture, Proc. of 17th Symposium on Computer Arithmetic, pp. 147-152, IEEE, 2005 [full] [bibtex]
  
  
• Benini, L., Kremer, U., Probst, C. W., Schelkens, P., Power-aware computing systems, Dagstuhl Seminar Proceedings, 2005 [full] [bibtex] [pdf]
  
  
• Bille, P., Gørtz, I. L., The Tree Inclusion Problem: In Optimal Space and Faster, Proc. 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, vol. 3580, pp. 66-77, Springer-Verlag, 2005 [full] [bibtex]
  
  
• Bjerregaard, T., Mahadevan, S., Olsen, R. G., Sparsø, J., An OCP Compliant Network Adapter for GALS-based SoC Design Using the MANGO Network-on-Chip, Proceedings of the International Symposium on System-on-Chip (SoC'05), pp. 171-174, IEEE, 2005 [full] [bibtex] [pdf]
  
  
• Bjerregaard, T., Sparsø, J., A Router Architecture for Connection-Oriented Service Guarantees in the MANGO Clockless Network-on-Chip, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’05), pp. 1226-1231, IEEE Computer Society, 2005 [full] [bibtex] [pdf]
  
  
• Bjerregaard, T., Sparsø, J., A Scheduling Discipline for Latency and Bandwidth Guarantees in Asynchronous Network-on-Chip, Proceedings of the 11th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC’05), pp. 34-43, IEEE Computer Society, 2005 [full] [bibtex] [pdf]
  
  
• Bjørner, D., A Cloverleaf of Software Engineering, SEEM2005, 3rd IEEE Intl. Conference on Software Engineering and Formal Methods, pp. 75-85, 2005 [full] [bibtex]
  
  
• Bodei, C., Buchholtz, M., Curti, M., Degano, P., Nielson, F., Riis Nielson, H., Priami, C., Performance Evaluation of Security Protocols, Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages (QAPL 04), vol. 112, pp. 167-189, Elsevier, 2005 [full] [bibtex] [ps]
  
  
• Bolander, T., Braüner, T., Two Tableau-Based Decision Procedures for Hybrid Logic, Methods for Modalitites 4, pp. 79-96, 2005 [full] [bibtex]
  
  
• Buchholtz, M., Montangero, C., Perrone, L., Semprini, S., For-LySa: UML for Authentication Analysis, Global Computing: IST/FET International Workshop, GC 2004, vol. 3267, pp. 93-106, Springer Verlag, 2005 [full] [bibtex] [pdf]
  
  
• Buchholtz, M., Automated Analysis of Infinite Scenarios, Symposium on Trustworthy Global Computing, 2005 [full] [bibtex]
  
  
• Buchholtz, M., Gilmore, S., Haenel, V., Montangero, C., End-to-end integrated security and performance analysis on the DEGAS Choreographer platform, Formal Methods 2005, 2005 [full] [bibtex]
  
  
• Bærentzen, A., Robust Generation of Signed Distance Fields from Triangle Meshes, Fourth International Workshop on Volume Graphics, 2005., pp. 167-239, 2005 [full] [bibtex]
  
  
• Cagalj, M., Capkun, S., Rengaswamy, R., Tsigkogiannis, I., Srivastava, M., Hubaux, J., Integrity (I) codes: Message Integrity Protection Over Insecure Channels, IEEE Symposium on Security and Privacy, 2005 [full] [bibtex] [pdf]
  
  
• Canty, M. J., Nielsen, A. A., Schlittenhardt, J., Sensitive change detection for remote sensing monitoring of nuclear treaties, 31st International Symposium on Remote Sensing of Environment, Global Monitoring for Sustainability and Security, 2005 [full] [bibtex] [pdf]
  
  
• Canty, M., Jahnke, G., Nielsen, A., Schlittenhardt, J., Change Detection for Remote Monitoring of Underground Nuclear Testing: Comparison with Seismic and Associated Explosion Source Phenomenological Data, General Assembly of the European Geosciences Union, 2005 [full] [bibtex] [pdf]
  
  
• Cardarilli, G., Del Re, A., Nannarelli, A., Re, M., Low Power and Low Leakage Implementation of RNS FIR Filters, Proc. of 39th Asilomar Conference on Signals, Systems, and Computers, pp. 1620-1624, 2005 [full] [bibtex]
  
  
• Cardarilli, G., Del Re, A., Nannarelli, A., Re, M., Programmable Power-of-two RNS Scaler and its Application to a QRNS Polyphase Filter, Proc. of 2005 IEEE International Symposium on Circuits and Systems (ISCAS), Kobe (Japan), pp. 1002-1005, IEEE, 2005 [full] [bibtex]
  
  
• Christensen, L. P. B., Minimum Symbol Error Rate Detection in Single-Input Multiple-Output Channels with Markov Noise, The 6th IEEE Workshop on Signal Processing Advances in Wireless Communications (SPAWC), 2005 [full] [bibtex] [pdf]
  
  
• Enslev, J., Nielsen, A., Fränzle, M., Hansen, M. R., Bounded Model Construction for Duration Calculus, Proceedings of the 17th Nordic Workshop on Programming Theory, 2005 [full] [bibtex]
  
  
• Feng, L., Hansen, L. K., On low level cognitive components of speech, International Conference on Computational Intelligence for Modelling (CIMCA'05), vol. 2, pp. 852-857, 2005 [full] [bibtex] [pdf]
  
  
• Frisvad, J. R., Christensen, N. J., Falster, P., Efficient light scattering through thin semi-transparent objects, Proceedings of GRAPHITE 2005, pp. 135-138, The Association for Computing Machinery, Inc. (ACM), 2005 [full] [bibtex] [pdf]
  
  
• Frisvad, J. R., Christensen, N. J., Falster, P., Lighting effects for mobile games, Proceedings of SIGRAD 2005, Special Theme: Mobile Graphics, pp. 13-18, Linköping University Electronic Press, 2005 [full] [bibtex] [pdf]
  
  
• Frisvad, J. R., Falster, P., Møller, G. L., Christensen, N. J., Knowledge exchange between agents in real-time environments, Proceedings of the International Conference on Computer Animation and Social Agents (CASA 2005), pp. 127-132, The Hong Kong Polytechnic University, 2005 [full] [bibtex] [pdf]
  
  
• Frisvad, J. R., Frisvad, R. R., Christensen, N. J., Falster, P., Scene independent real-time indirect illumination, Proceedings of Computer Graphics International 2005, pp. 185-190+275, IEEE Visualization and Graphics Technical Committee, 2005 [full] [bibtex] [pdf]
  
  
• Fränzle, M., Hansen, M. R., A Robust Interpretation of Duration Calculus, Theoretical Aspects of Computing - ICTAC 2005, vol. 3722, pp. 257-271, Springer-Verlag, 2005 [full] [bibtex]
  
  
• Gal, A., Probst, C. W., Franz, M., Untyped Memory in the Java Virtual Machine, ECOOP Workshop on Programming Languages and Operating Systems, 2005 [full] [bibtex] [pdf]
  
  
• Gray, E., Jensen, C. D., O'Connell, P., Weber, S., Seigneur, J., Chen, Y., Trust Evolution Policies for Security in Collaborative Ad Hoc Applications, Proceedings of the 1st International Workshop on Security and Trust Management, 2005 [full] [bibtex]
  
  
• Hansen, L. K., Ahrendt, P., Larsen, J., Towards Cognitive Component Analysis, AKRR'05 -International and Interdisciplinary Conference on Adaptive Knowledge Representation and Reasoning, Pattern Recognition Society of Finland, Finnish Artificial Intelligence Society, Finnish Cognitive Linguistics Society, 2005 [full] [bibtex] [pdf]
  
  
• Hansen, R. R., Siveroni, I., Towards Verification of Well-Formed Transactions in Java Card Bytecode, Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), Elsevier, 2005 [full] [bibtex] [pdf]
  
  
• Hansen, M. E., Ersbøll, B. K., Carstensen, J. M., Nielsen, A. A., Estimation of Critical Parameters in Concrete Production Using Multispectral Vision Technology, Lecture Notes in Computer Science, LNCS3540, pp. 1228-1237, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Hansen, S. M., Skriver, J., Nielson, H. R., Using static analysis to validate the SAML Single Sign-on Protocol, WITS, 2005 [full] [bibtex]
  
  
• Hansen, R. R., Probst, C. W., Secure Dynamic Program Repartitioning, 2005 [full] [bibtex] [pdf]
  
  
• Holm, D. A., Sidaros, K., ASL: Comparison of presaturation and RF pulse optimization, Proc. International Society of Magnetic Resonance In Medicine - ISMRM 2005, Miami, Florida, USA, pp. 1153, 2005 [full] [bibtex] [pdf]
  
  
• Holst, E., Rootzen, H., Hvordan sammenligner man to målemetoder? - Nogle grundlæggende betragtninger, 27. Symposium i Anvendt Statistik, Økonomisk Institut, SDU, 2005 [full] [bibtex]
  
  
• Holten-Lund, H., Embedded 3D Graphics Core for FPGA-based System-on-Chip Applications, FPGAworld conference 2005, pp. 8-13, Electrum-Kista, 2005 [full] [bibtex] [pdf]
  
  
• Huusom, J. K., Bonne, D., Poulsen, N. K., Jørgensen, S. B., Process identification Challenges for Nonlinear Model Predictive Control, International Workshop on Assesment and Future Directions of Nonlinear Model Predictive Control, Freudenstadt-Lauterbad, Germ, pp. 451-458, I, 2005 [full] [bibtex]
  
  
• Huusom, J. K., Jensen, A. D., Jørgensen, S. B., Michelsen, M. L., Recke, B., Knudsen, J., Jørgensen, J. B., Modeling for Predictive Control of Cement Grinding Circuits, 16th IFAC World Congress, 2005 [full] [bibtex]
  
  
• Høyer, J. L., Bøvith, T., Validation and Applications of Near-Real Time Altimetry Data for Operational Oceanography in Coastal and Shelf Seas, Proceedings of the 2004 Envisat & ERS Symposium, 6-10 September 2004, ESA, 2005 [full] [bibtex] [pdf]
  
  
• Izosimov, V., Pop, P., Eles, P., Peng, Z., Design Optimization of Time- and Cost-Constrained Fault-Tolerant Distributed Embedded Systems, Design Automation and Test in Europe Conference, pp. 864--869, 2005 [full] [bibtex]
  
  
• Jensen, A. B. O., Numerical Weather Predictions for GPS positioning, A Window on the Future of Geodesy. Proceedings of the IAG 2003 General Assembly. Sapporo, Japan., pp. 65-70, Springer, 2005 [full] [bibtex] [pdf]
  
  
• Jensen, T. Ø., Berg, R. L., Bennedsen, L., Brandt, G., Spliid, H., Geochemical and microbial processes in the insaturated zone at the Arrenæs artificial recharge trial plant, ISMAR conference, Berlin, 2005 [full] [bibtex]
  
  
• Jørgensen, J. B., Kristensen, M. R., Thomsen, P. G., Madsen, H., Numerically Efficient Filtering and Prediction in Stochastic Differential Algebraic Equations, International Workshop on Assessment and Future Directions of Nonlinear Model Predictive Control, pp. 459-466, 2005 [full] [bibtex]
  
  
• Jørgensen, J. B., Structured Quadratic Programming Algorithms for Optimization of Dynamic Systems, International Workshop on Assessment and Future Directions of Nonlinear Model Predictive Control, 2005 [full] [bibtex]
  
  
• Jørgensen, J. B., Kristensen, M. R., Thomsen, P. G., Michelsen, M., Jørgensen, S. B., Sensitivity Analysis in Index-1 Differential Algebraic Equations by ESDIRK Methods, 16th IFAC World Congress, Praha May 2005, 2005 [full] [bibtex]
  
  
• Koziel, S., Bandler, J. W., Madsen, K., Towards a Rigorous Formulation of the Space Mapping Technique for Engineering Design, Int. Symp. Circuits, Syst. ISCAS (Kobe, Japan), pp. 5605-5608, 2005 [full] [bibtex]
  
  
• Koziel, S., Bandler, J. W., Mohamed, A. S., Madsen, K., Enhanced surrogate models for statistical design exploiting space mapping technology, IEEE MTT-S Int. Microwave Symp. Dig. (Long Beach, CA), 2005 [full] [bibtex]
  
  
• Kristensen, M. R., Jørgensen, J. B., Thomsen, P. G., Michelsen, M. L., Jørgensen, S. B., Sensitivity Analysis in Index-1 DAEs by ESDIRK Methods, 16th IFAC World Congress, 2005 [full] [bibtex]
  
  
• Larsen, R., Nielsen, A. A., Functional Maximum Autocorrelation Factors, 9th Scandinavian Conference on Chemometrics, Reykjavik, Iceland, University of Iceland, 2005 [full] [bibtex] [pdf]
  
  
• Larsen, R., Non-linear Shape Decomposition using ISOMAP, 9th Scnadinavian Conference on Chemometrics, University of Iceland, 2005 [full] [bibtex] [pdf]
  
  
• Larsen, R., Functional 2D Procrustes Shape Analysis, 14th Scandinavian Conference on Image Analysis, vol. 3540, pp. 205-213, Springer Verlag, 2005 [full] [bibtex] [pdf]
  
  
• Lehn-Schiøler, T., Hansen, L. K., Larsen, J., Mapping from Speech to Images Using Continuous State Space Models, Lecture Notes in Computer Science, vol. 3361, pp. 136 - 145, Springer, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, H., Thyregod, P., Popentiu, F., Albeanu, G., Coarna, M., Serbanescu, L., Mirza, D., Tautan, A., Considerations Concerning a Fuzzy-Genetic Algorithm with Application to CEM I Type Cements Quality Optimization, Proceedings of the 9th World Multi-Conference on Systemics, Cybernetics and Informatics,Orlando, vol. X, pp. 350-353, 2005 [full] [bibtex]
  
  
• Madsen, R. E., Kauchak, D., Elkan, C., Modeling Word Burstiness Using the Dirichlet Distribution, International Conference on Machine Learning, pp. 489--498, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, H., Thyregod, P., Burtschy, B., Popentiu, F., Albeanu, G., On Using Soft Computing Techniques in Software Reliability Engineering, Advances in Safety and Reliability, ESREL 2005, vol. 2, pp. 1317-1323, Taylor and Francis Group, 2005 [full] [bibtex]
  
  
• Mahadevan, S., Storgaard, M., Madsen, J., Virk, K. M., ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality, 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), IEEE Computer Society, 2005 [full] [bibtex]
  
  
• Mahadevan, S., Storgaard, M., Madsen, J., ARTS: A System-Level Framework for Modeling MPSoC Components and Analysis of their Causality, 13th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 480-483, IEEE Computer Society, 2005 [full] [bibtex]
  
  
• Mahadevan, S., Angiolini, F., Storgaard, M., Olsen, R., Sparsø, J., Madsen, J., A Network Traffic Generator Model for Fast Network-on-Chip Simulation, Design, Automation and Test in Europe, pp. 780-785, 2005 [full] [bibtex]
  
  
• Makholm, H., Wells, J. B., Type inference, principal typings, and let-polymorphism for first-class mixin modules, International Conference on Functional Programming, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Meng, A., Shawe-Taylor, J., An Investigation of Feature Models for Music Genre Classification using the Support Vector Classifier, International Conference on Music Information Retrieval, pp. 604-609, 2005 [full] [bibtex] [pdf]
  
  
• Meng, A., Ahrendt, P., Larsen, J., Improving Music Genre Classification by Short-Time Feature Integration, IEEE International Conference on Acoustics, Speech, and Signal Processing, vol. V, pp. 497-500, 2005 [full] [bibtex] [pdf]
  
  
• Morgenstjerne, A., Karlsen, B., Larsen, J., Sørensen, H. B., Jakobsen, K. B., A comparative and combined study of EMIS and GPR detectors by the use of Independent Component Analysis, Proceedings of the 2005 Detection and Remediation Technologies for Mines and Mine-Like Targets, AeroSense 2005, SPIE, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, C. R., Andersen, E. H., Nielson, H. R., Static Validation of a Voting Protocol, Automated Reasoning for Security Protocol Analysis (ARSPA 2005), vol. 135(1), pp. 115-134, Elsevier, 2005 [full] [bibtex]
  
  
• Nielsen, S. F., Behavioral Synthesis of Asynchronous Circuits, Conference Poster, 8th SIGDA Ph.D. Forum. Design Automation Conference, 2005 [full] [bibtex]
  
  
• Nielsen, A. A., Canty, M. J., Multi- and hyperspectral remote sensing change detection with generalized difference images by the IR-MAD method, MultiTemp2005, Biloxi, Mississippi, USA, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, A. A., An iterative extension to the MAD transformation for change detection in multi- and hyperspectral remote sensing data, 4th EARSeL Workshop on Imaging Spectroscopy, pp. 485-495, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, A. A., Regularisation in multi- and hyperspectral remote sensing change detection, 6th Geomatic Week Conference, 2005 [full] [bibtex] [pdf]
  
  
• Nielson, F., Nielson, H. R., Heuristics for Enforcing Security Constraints, CPSec Barcelona, 2005 [full] [bibtex]
  
  
• Niemann, H., Poulsen, N. K., Active Fault Diagnosis in Closed-loop Systems, IFAC wordl Congress, 2005, Pragh, I, 2005 [full] [bibtex]
  
  
• Nilsson, J. F., Lundstrøm, J. E., Hamfelt, A., A metalogic formalization of legal argumentation as game trees with defeasible reasoning, Proceedings of ICAIL'05, International Conference on AI and Law, ACM, 2005 [full] [bibtex]
  
  
• Nilsson, J. F., Eriksson, J. L., Hamfelt, A., Argumentation as a Metacognitive Skill of Passing Acceptance - a Case Study from a Scientific Dispute, AAAI Spring Symposium on Metacognition in Computation, American Association of Artificial Intelligence, 2005 [full] [bibtex]
  
  
• Nurmi, J., Madsen, J., Ofner, E., Isoaho, J., Tenhunen, H., The SoC-Mobinet Model in System-on-Chip Education, International Conference on Microelectronic Systems Education (MSE´05), 2005 [full] [bibtex]
  
  
• Olsson, R. K., Hansen, L. K., A harmonic excitation state-space approach to blind separation of speech, Advances in Neural Information Processing Systems, vol. 17, pp. 993-1000, MIT Press, 2005 [full] [bibtex] [pdf]
  
  
• Opper, M., Winther, O., Expectation Consistent Free Energies for Approximate Inference, Advances in Neural Information Processing Systems 17 (NIPS'2004), MIT Press, 2005 [full] [bibtex] [pdf]
  
  
• Pedersen, M. S., Wang, D., Larsen, J., Kjems, U., Overcomplete Blind Source Separation by Combining ICA and Binary Time-Frequency Masking, IEEE International workshop on Machine Learning for Signal Processing, pp. 15-20, 2005 [full] [bibtex] [pdf]
  
  
• Pedersen, M. S., Larsen, J., Kjems, U., On the difference between updating the mixing matrix and updating the separation matrix, International Conference on Acoustics, Speech and Signal Processing (ICASSP'05), vol. V, pp. 297-300, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Petersen, K. B., Winther, O., The EM Algorithm in Independent Component Analysis, IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP, 2005 [full] [bibtex] [pdf]
  
  
• Pilegaard, H., Nielson, F., Nielson, H. R., Static analysis of a Model of the LDL degradation pathway, Third International Workshop on Computational Methods in Systems Biology (CMSB'05), University of Edinburgh, 2005 [full] [bibtex] [pdf]
  
  
• Pontoppidan, N. H., Larsen, J., Sigurdsson, S., Non-stationary Condition Monitoring of large diesel engines with the AEWATT toolbox, 59th meeting of the Society for Machinery Failure Prevention Technology, Society for Machinery Failure Prevention Technology, 2005 [full] [bibtex] [pdf]
  
  
• Pop, T., Pop, P., Eles, P., Peng, Z., Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems, International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 67--71, 2005 [full] [bibtex]
  
  
• Poulsen, N. K., Ravn, O., Pay-Load Estimation of a 2DOF Flexible Link Robot, CLAWAR, 2005 [full] [bibtex] [pdf]
  
  
• Probst, C. W., Gal, A., Franz, M., Average Case vs. Worst Case-Margins of Safety in System Design, New Security Paradigms Workshop, 2005 [full] [bibtex] [pdf]
  
  
• Ravn, H. F., Riisom, J., Schaumburg-Müller, C., A Stochastic Unit Commitment Model for a Local CHP Plant, IEEE PowerTech'05, St. Petersburg, Russia, June 27-30, IEEE, 2005 [full] [bibtex] [pdf]
  
  
• Rootzen, H., How to fit professional development into our busy lives: Continuing education voucher systems, Fifth Annual Meeting of ENBIS, 2005 [full] [bibtex]
  
  
• Seigneur, J., Gray, A., Jensen, C. D., Trust Transfer: Encouraging Self-Recommendations without Sybil Attack, Third International Conference on Trust Management, pp. 321-337, Springer Verlag, 2005 [full] [bibtex]
  
  
• Sejerøe, T. H., Poulsen, N. K., Ravn, O., A new evaluation platform for Navigation systems, IFAC world Congress, 2005, Pragh, 2005 [full] [bibtex] [pdf]
  
  
• Sharp, R., Can we avoid misuse of Grid systems?, 1st Nordic Grid Neighbourhood Conference, Department of Physics, University of Oslo, 2005 [full] [bibtex]
  
  
• Sigurdsson, S., Pontoppidan, N. H., Larsen, J., Supervised and unsupervised condition monitoring of non-stationary acoustic emission signals, Proceedings of the 18th International Congress on Condition Monitoring and Diagnostic Engineering Management (COMADEM), pp. 535-541, Cranfield University Press, 2005 [full] [bibtex] [pdf]
  
  
• Stegmann, M. B., Pedersen, D., Bi-temporal 3D active appearance models with applications to unsupervised ejection fraction estimation, International Symposium on Medical Imaging 2005, San Diego, CA, Proc. of SPIE, vol. 5747, pp. 336-350, SPIE, 2005 [full] [bibtex] [pdf]
  
  
• Stegmann, M. B., Skoglund, K., Ryberg, C., Mid-sagittal plane and mid-sagittal surface optimization in brain MRI using a local symmetry measure, International Symposium on Medical Imaging 2005, San Diego, CA, Proc. of SPIE, vol. 5747, pp. 568-579, SPIE, 2005 [full] [bibtex] [pdf]
  
  
• Søgaard, L. V., Holm, D. A., Simonsen, H. J., Rowland, I. J., Advanced pre-clinical MR imaging and spectroscopy at 4.7T, Hvidovre Hospital Forskningsdag, 2005 [full] [bibtex] [pdf]
  
  
• Sørensen, P., Hansen, A. D., Thomsen, K., Madsen, H., Nielsen, H. A., Poulsen, N. K., Lov, F., Blaabjerg, F., Donovan, M. H., Wind farm controllers with grid support, Large Scale Wind Power workshop, Glasgow, 2005 [full] [bibtex]
  
  
• Thomsen, P. G., True, H., On the problems of non-smooth railway vehicle dynamics, Presented at Multibody Dynamics 2005, ECCOMAS Thematic Conference, Madrid, 21-24 June 2005, 2005 [full] [bibtex] [pdf]
  
  
• Tolstrup, T. K., Nielson, F., Riis Nielson, H., Information Flow Analysis for VHDL, Parallel Computing Technoligies, Springer, 2005 [full] [bibtex] [pdf]
  
  
• True, H., Hoffmann, M., Jönsson, P., The Design and performance of the European freight wagon standard suspensions, Proceedings of IMECE2005, November 5-11, 2005, Orlando, Florida, USA, pp. 1-10, ASME, 2005 [full] [bibtex]
  
  
• True, H., Hansen, T. G., Lundell, H., On quasi-stationary curving dynamics of a railway bogie, Proceedings of the 6th International conference on Structural Dynamics, Paris, 4-7 September, 2005, vol. 2, pp. 1517-22, Millpress, Rotterdam, Netherlands, 2005 [full] [bibtex]
  
  
• True, H., Trzepacz, L., On the Dynamics of a railway freight wagon wheelset with dry friction damping, Proceedings of the IUTAM Symposium, Rome, Italy, 8-13 June 2003, pp. 159-168, Springer, 2005 [full] [bibtex]
  
  
• True, H., Hansen, T. G., Lundell, H., On the Quasi-stationary curving dynamics of a railroad truck, Proceedings of the 2005 ASME/IEEE Joint Rail Conference, Pueblo, Colorado, vol. 29, pp. 131-38, ASME, New York, 2005 [full] [bibtex]
  
  
• Unnthorsson, R., Pontoppidan, N. H., Jonsson, M. T., Extracting Information from Conventional AE Features for Fatigue Onset Damage Detection in Carbon Fiber Composites, 59th meeting of the Society for Machinery Failure Prevention Technology, Society for Machinery Failure Prevention Technology, 2005 [full] [bibtex] [pdf]
  
  
• Vadde, K. K., Syrotiuk, V. R., Kulahci, M., Towards Understanding Factor Dynamics, 2nd IEEE International Workshop on Adaptive Wireless Networks (AWiN), St. Louis, Missouri, 2005 [full] [bibtex]
  
  
• Venkatachalam, V., Probst, C. W., Franz, M., A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing, Dagstuhl Seminar Proceedings, 2005 [full] [bibtex] [pdf]
  
  
• Venkataramani, G., Bjerregaard, T., Chelcea, T., Goldstein, S. C., SOMA A Tool for Synthesizing and Optimizing Memory Accesses in ASICs, Proceedings of the IEEE/ACM/IFIP International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS'05), pp. 231-236, ACM, 2005 [full] [bibtex] [pdf]
  
  
• Vesteinsson, A., Aanæs, H., Sveinsson, J., Benediktsson, J. A., Spectral Consistent Satellite Image Fusion: Using a High, IGARSS 05, 2005 [full] [bibtex]
  
  
• Vester-Christensen, M., Leimberg, D., Ersbøll, B. K., Hansen, L. K., Towards emotion modeling based on gaze dynamics in generic interfaces, HCI International, 11th International Conference on Human-Computer Interaction, Las Vegas, USA, 2005 [full] [bibtex]
  
  
• Virk, K., Madsen, J., Shafique, M., Menon, A., System-Level Modeling and Simulation of MEMS-Based Sensors, IEEE International Multi-Topic Conference (INMIC), IEEE, 2005 [full] [bibtex]
  
  
• Virk, K., Shafique, M., Madsen, J., Menon, A., System-Level Modelling and Simulation of MEMS-based Sensors, IEEE International Multi-Topic Conference, 2005 [full] [bibtex]
  
  
• Virk, K., Hansen, K., Madsen, J., System-level Modeling of Wireless Integrated Sensor Networks, International Symposium on System-on-Chip (SoC), 2005 [full] [bibtex]
  
  
• Virk, K., Leopold, M., Madsen, J., Bonnet, P., Hansen, M., Design of A Development Platform for HW/SW Codesign of Wireless IOntegrated Sensor Nodes, EUROMICRO Symposium on DIGITAL SYSTEM DESIGN, 2005 [full] [bibtex]
  
  
• Wu, K., Madsen, J., Run-time Dynamic Reconfiguration: A Reality Check Based on FPGA Architectures from Xilinx, 2005 [full] [bibtex]
  
  
• Zagorodnov, V., Hansen, M. F., Performance evaluation of parametric bias field correction, ICIP 2005, IEEE International Conference on Image Processing., 2005 [full] [bibtex] [pdf]
  
  

• Almimi, A. A., Kulahci, M., Montgomery, D. C., Follow-up Designs to Resolve Confounding in Split-Plot Experiments, Research in Engineering and Applied Sciences Symposium, Tempe, 2005 [full] [bibtex]
  
  
• Bregnbæk, L., Schaumburg-Müller, C., Local CHP Plants between the Natural Gas and Electricity Systems, RISØ International Energy Conference, May 23-25, RISØ, Denmark, 2005 [full] [bibtex] [pdf]
  
  
• Bærentzen, A., From Points to Smooth Surfaces, International Workshop on PDE Methods in Computer Graphics, University of Copenhagen, Denmark, 2005 [full] [bibtex]
  
  
• Erbou, S. G., Sørensen, H. B. D., Stage, B., Detection of Cast Shadows in Surveillance Applications, Den 14. Danske Konference i Mønstergenkendelse og Billedanalyse, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Fagertun, J., Gomez, D. D., Ersbøll, B. K., Larsen, R., A face recognition algorithm based on multiple individual discriminative models, Dansk Selskab for Genkendelse af Mønstre (Danish Pattern Recognition Society) DSAGM 2005, pp. 69-75, DIKU, University of Copenhagen, 2005 [full] [bibtex] [pdf]
  
  
• Hansen, R. R., Non-Interference and Simple Erasure Policies for Java Card Bytecode, Programming Language Interference and Dependence 2005, 2005 [full] [bibtex]
  
  
• Holm, D. A., Bøvith, T., Cappellin, C., Detection of Tumors in Dynamic Magnetic Resonance Images using Principal Component Analysis, Visionday 2005, 2005 [full] [bibtex] [pdf]
  
  
• Jensen, A. B. O., Zabic, M., Overø, H. M., Ravn, B., Nielsen, O. A., Availability of GNSS for Road Pricing in Copenhagen, Proceedings of the 18th International Technical Meeting of the Satellite Division of the Institute of Navigation-ION GNSS 2005, pp. 2951-2961, The Institute of Navigation, 2005 [full] [bibtex]
  
  
• Juel, H., Locating a circle on a sphere, 10th International Symposium on Locational Decisions, 2005 [full] [bibtex]
  
  
• Kulahci, M., Vanmann, K., How to Handle Autocorrelation in Capability Analysis, European Network for Business and Industrial Statistics Conference, New Castle-UK, 2005 [full] [bibtex]
  
  
• Leimberg, D., Vester-Christensen, M., Ersbøll, B. K., Hansen, L. K., Heuristics for speeding up gaze estimation, Proc. Svenska Symposium i Bildanalys, SSBA 2005, Malmø, Sweden, SSBA, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, H., Nielsen, H. A., Nielsen, T. S., A tool for predicting the wind power production of off-shore wind plants, Proceedings of the Copenhagen Offshore Wind Conference & Exhibition, 2005 [full] [bibtex]
  
  
• Nielsen, J. P., Hansen, J. K., (supervised by) Bruun, H., (supervised by) Haxthausen, A. E., Designing a Flexible Kernel Providing VDM++ Support for Eclipse, Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK, 2005 [full] [bibtex]
  
  
• Ólafsdóttir, H., Nonrigid registration of myocardial perfusion MRI, Proc. Svenska Symposium i Bildanalys, SSBA 2005, Malmø, Sweden, SSBA, 2005 [full] [bibtex] [pdf]
  
  
• Stegmann, M. B., Skoglund, K., On Automating and Standardising Corpus Callosum Analysis in Brain MRI, Proc. Svenska Symposium i Bildanalys, SSBA 2005, Malmø, Sweden, pp. 1-4, SSBA, 2005 [full] [bibtex] [pdf]
  
  
• Vester-Christensen, M., Leimberg, D., Ersbøll, B. K., Hansen, L. K., Deformable Models for Eye Tracking, Den 14. Danske Konference i Mønstergenkendelse og Billedanalyse, 2005 [full] [bibtex] [pdf]
  
  

• Andersen, M. N., Andersen, K. K., Kammersgaard, L. P., Olsen, T. S., Gender Differences in Stroke Survival The Copenhagen Stroke Study (COST), 14'th European Stroke Conference, Bologna, Italy, May 25 - 28, 2005, 2005 [full] [bibtex]
  
  
• Balslev, D., Nielsen, F. Å., Lund, T. E., Law, I., Paulson, O. B., Similar brain networds for detecting visuo-motor and visuo-propriceptive synchrony, 11th Annual Meeting of the Organization For Human Brain Mapping. June 12-16, 2005. Toronto, Ontario, Canada., 2005 [full] [bibtex]
  
  
• Bjerregaard, T., Sparsø, J., Mahadevan, S., Madsen, J., Modular SoC-Design using the MANGO clockless NoC (Invited talk), International Conference on Parallel Computing (PARCO'05), 2005 [full] [bibtex]
  
  
• Dyrby, T. B., Lind, N. M., Vejby Søgaard, L., Alexander, D. C., Parker, G. J., Paulson, O. B., Validation of Diffusion Tensor Imaging for in vivo tracing of cortico-thalamic projections in the Göttingen minipig brain, Proceeding International Society Neuroscience, 2005 [full] [bibtex]
  
  
• Dyrby, T., Liptrot, M. G., Standardizing MR image Intensity In Multi-Center Studies, Proceeding International Society for Magnetic Resonance in Medicine, 2005 [full] [bibtex]
  
  
• Dyrby, T. B., Vejby, L. S., Parker, G. J. M., Alexander, D. C., Lind, N. M., Paulson, O. B., Jelsing, J., Validation of multi-fibre probabilistic tractography of corticothalamic projections in the Göttingen minipig brain, Proceeding International Society for magnetic resonance in Medicine, 2005 [full] [bibtex]
  
  
• Gao, H., Nielson, H. R., Analysis of LYSA-calculus with explicit confidentiality annotations, Nordic Workshop on Programming Theory, 2005 [full] [bibtex] [pdf]
  
  
• Jelsing, J., Hay-Schmidt, A., Uylings, H. B., Dyrby, T., Pakkenberg, B., The prefrontal cortex of the Göttingen minipig brain defined by neural projection criteria and cytoarchitecture, Proceeding International Society for Neuroscience, 2005 [full] [bibtex]
  
  
• Liptrot, M. G., Dyrby, T., Simonsen, H., Søgaard, L. V., Brandt, C., Rowland, I. J., Semi-Quantitative Assessment of Inflammation in dMRI using Data Mining Techniques, Preceeding International Society for Magnetic Resonance in Medicine, 2005 [full] [bibtex]
  
  
• Liptrot, M. G., Dyrby, T., Simonsen, H., Søgaard, L. V., Brandt, C., Rowland, I. J., Semi-Quantitative Assessment of Inflammation in dMRI using Data Mining Techniques, Proceeding Image Analysis and in vivo Pharmachology, 2005 [full] [bibtex]
  
  
• Lophaven, S., Carstensen, J., Rootzen, H., Design of environmental monitoring programs - choosing sampling locations, The International Conference on Quantitative Methods for the Environmental Sciences and General Meeting of TIES, Beijing, pp. 72, 2005 [full] [bibtex]
  
  
• Madsen, J., Design Space Exploration for Heterogeneous, Networked MPSoC Design (Invited talk), ARTIST Workshop on Distributed Embedded Systems, 2005 [full] [bibtex]
  
  
• Madsen, J., Sensor Networks: Towards Ambient Intelligence (Invited talk), DIAG Conference, 2005 [full] [bibtex]
  
  
• Madsen, J., Cross-layer Modelling for Heterogeneous MPSoCs (Invited talk), Multiprocessor System-on-Chip Symposium, 2005 [full] [bibtex]
  
  
• Madsen, K. H., Lund, T. E., Simultaneous acquisition of polar and eccentricity mappings of the human visual cortex using fMRI, Proceedings of the Annual Meeting of ISMRM, no. 566, 2005 [full] [bibtex]
  
  
• Nielsen, C. R., Andersen, E. H., Nielson, H. R., Static Validation of Voting Protocols, Nordic Workshop on Programming Theory, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, K., Madsen, K., Frederiksen, J., fMRI used as a diagnostic tool, Human Brain Mapping, 2005 [full] [bibtex]
  
  
• Ramsøy, T. Z., Lund, T. E., Liptrot, M. G., Sidaros, K., Christensen, M. S., Nielsen, F. Å., Paulson, O. B., Jernigan, T. L., Effects of Spatial Normalization on Detection of Perirhinal Cortex Activation in Individual Subjects Using fMRI, Alzheimer's Assocation International Conference on Prevention of Dementia, 2005 June 18-21, Washington, D.C., 2005 [full] [bibtex]
  
  
• Ryberg, C., Rostrup, E., Stegmann, M. B., Waldemar, G., Barkhof, F., Fazekas, F., Erkinjuntti, T., Wahlund, L. O., Pantoni, L., Inzitari, D., Clinical significance of corpus callosum atrophy in a mixed elderly population, Vas-cog 2005, Florence, Italy, pp. 1, 2005 [full] [bibtex]
  
  
• Skoglund, K. V., Stegmann, M. B., Ryberg, C., Ólafsdóttir, H., Rostrup, E., Estimation and Perturbation of the Mid-Sagittal Plane and its Effects on Corpus Callosum Morphometry, Proc. International Society of Magnetic Resonance In Medicine - ISMRM 2005, Miami, Florida, USA, ISMRM, 2005 [full] [bibtex] [pdf]
  
  
• Stegmann, M. B., Bi-temporal 3D Active Appearance Modelling, IAVP - Image Analysis in Vivo Pharmachology, Roskilde, Denmark, 2005 [full] [bibtex]
  
  

Books

• Dueholm, K., Laurentzius, M., Jensen, A. B. O., GPS, 3. udg., Nyt Teknisk Forlag, 2005 [full] [bibtex]
  
  
• Fischer, P., An Introduction to Graphical User Interfaces with Java Swing, Pearson Education, 2005 [full] [bibtex]
  
  
• Rayner, J. C., Best, D. J., Brockhoff, P. B., Rayner, G. D., Nonparametrics for Sensory Science: A More Informative Approach, pp. 192 pages, Blackwell Professional, 2005 [full] [bibtex]
  
  

• Brockhoff, P. B., Næs, T., Qannari, M., Editorship, Journal of Chemometrics, vol. 19(3), pp. 121, 2005 [full] [bibtex]
  
  
• Calhoun, V., Adali, T., Larsen, J., Miller, D., Douglas, S., Proceedings of IEEE Machine Learning for Signal Processing Workshop XV, IEEE, 2005 [full] [bibtex]
  
  
• Li, Z., Vulkov, L., Wasniewski, J., Numerical Analysis and Its Applications, Conference Proceedings., Third International Conference, NAA'04, Rousse, Bulgaria, June 29-July 3, 2004,, vol. 3401, Springer-Verlag GmbH, 2005 [full] [bibtex]
  
  

• Kallehauge, B., Larsen, J., Madsen, O. B. G., Solomon, M., The Vehicle Routing Problem with Time Windows, Column Generation, Springer, 2005 [full] [bibtex]
  
  
• Madsen, J., Virk, K., Multiprocessor Systems - Modelling and Simulation, Embedded Systems Design: The ARTIST Roadmap for Research and Development, pp. 388-405, Springer, 2005 [full] [bibtex]
  
  
• Nilsson, J. F., Bruun, H., Entity-Relationship Models reconsidered as Grammars and Algebras, Information Modelling and Knowledge Bases XVI, IOS Press, 2005 [full] [bibtex]
  
  
• Pop, P., Eles, P., Peng, Z., Distributed Embedded Real-Time Systems: Analysis and Exploration, Embedded Systems Design: The ARTIST Roadmap for Research and Development, vol. 3436, pp. 406--422, 2005 [full] [bibtex]
  
  
• Pop, P., Ernst, R., Eles, P., Peng, Z., Automotive Industry, Embedded Systems Design: The ARTIST Roadmap for Research and Development, vol. 3436, 2005 [full] [bibtex]
  
  

Master's theses

• Alstrøm, T. S., Type II superconductivity - studied by the Ginzburg-Landau equation, 2005 [full] [bibtex] [pdf]
  
  
• Anderberg, M., A description language and analysis tool for a software development environment, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Andersen, E. H., Nielsen, C. R., Static validation of voting protocols, Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}, 2005 [full] [bibtex]
  
  
• Andersen, S., Holmslykke, S., Integration of "UML-ised" Formal Techniques and Tools with RSL and the RSL toolset, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Andersen, E. H., Nielsen, C. R., Static validation of voting protocols, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Benton, K., Allocating Inspection Resources Along the Supply Chain: A Statistical Model and Optimization, ASU, 2005 [full] [bibtex]
  
  
• Brinkløv, M. H., Incremental trust in grid systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Cabrera, F. A., HTTP application-level intrusion detection and prevention, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Cao, J., AAA functionality for handheld systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Christensen, H., Høgh, J., Cryptographic Access Control in Remote Procedure Call, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Cutler, N., Class generation for numerical wind atlases, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Darre, S., A personal firewall for Linux, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Dollerup, M. D., Sherical harmonic lighting in computer graphics, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Du, Y., A Satellite Ground Station Control System, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• El-Azm, F., Sonification and augmented data sets in binary classification, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Emborg, M. P., Berth allocation problem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Engholm, R., Estimation of adipose tissue on minipigs using MRI, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Enslev, J., Nielsen, A., Bounded Model Construction for Duration Calculus, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Evers, T. K., Soft methods in small firms, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Fagertun, J., Face Recognition, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Felstedt, J., Pedersen, M. M., Modellering af investeringer i elsektoren, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Forman, J. A., Jørgensen, A., An alternative baseline methodology for the power sector - Taking a systemic approach, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Frederiksen Smit, T., Verification of Sensor Network Models using UppAal, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Gerencer, B., Building a data warehouse web application, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Gottfredsen, M., Holmetoft, U., Kreativitet, innovation, rammeværk - vejen frem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Gregersen, J., Madsen, C., Shape analysis and point correspondence of facial surfaces, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Grubov, S., Hartvig, R., Al in Computer games, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Hansen, M. F., Quality Estimation and Segmentation of Pig Backs, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Hardarson, G., 3D measurement using camera, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Hjalmsson, O. F., Prototype for a mixed separation air traffic control user interface, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [ps]
  
  
• Hjaltalin, M. I., Secure Electronic Report Submission, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Jensen,, L. L., Irsberg, J., Fighting spam, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Johnsen, M., High Level Database Interface with Application to GIS, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Jørgensen, T. D., Transformation of applicative specifications into imperative specifications, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Kjærulff, P., Hardware, Software co-synthesis med genetisk multiobjektive algorithmer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Knudsen, M. B., Undersøgelse af RTK Teknikker, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Krogh, H. C., Brug af intervalmetoder til bifurkationsundersøgelse, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Krogh, J., Trust in open grid systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [ps]
  
  
• Larsen, P., Sørensen, P. V., Weazel - A system modeling framework, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Leimberg, D., Vester-Christensen, M., Eye Tracking, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Li, L., Pickup and Delivery Problem with Hub Reloading, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Liu, S., Self-illumination studies for computer graphics applied on an intergrating sphere and in photon mapping, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Luz, I. d. C., Pathfinder: Interpretation of GPS data, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, M. S., Bæk, M. M., Modelling a Distributed Railway Control System (Not yet published 5), Informatics and Mathematical Modelling,Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Madsen, S., Systematisk udvikling af web-baserede systemer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, M. S., Bæk, M. M., Modelling a Distributed Railway Control System, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Magnusson, G. S., Atladottir, K., Virtual Karaoke System, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Mendoza, O. A. C., A simulator prototype for an ERP system, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Mørup, M., Analysis of Brain Data - Using Multi-Way Array Models on the EEG, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, J. P., Hansen, J. K., Development of an overture/VDM++ tool set for Eclipse, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Olsen, R. G., OCP based adapter for network-on-chip, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Olsen, L. D., Kruger, A., Undersøgelse af datasikkerhed i forbindelse med mobile arbejdspladser i Danmark, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Omar, A. H., Audio Segmentation and Classification, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Owusu, R. K., Numerical and statistical approaches to inverse problems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Pedersen, J., Modular Algorithms for Large Scale Total Variation Image Deblurring, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Pedersen, A., Hedegaard, A., Security in POS systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Petersen, J. P., Forensic examination of log files, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Rabbe, J., Preventing Illicit Information Flow in Networked Computer Games using Security Annotations, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Rahbek, D., Toolbox for convolutive mixtures, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Rasmussen, K. B., Optimization of path protection, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Sigurgeirsdottir, S. Y., Models in software engineering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Sindholt, J., A comparison of shadow algorithms, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Song, S., Dynamic feed-back mechanisms in trust-based DSR, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Stensgaard, M. B., Design of an asynchronous communication network for an audio DSP chip, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Storgaard, M., Integration of System-On-Chip Simulation Models, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Storgård, M., Integration of System-on-Chip Simulation Models, IMM, DTU, 2005 [full] [bibtex]
  
  
• Sørensen, J. K., Software til den internetbaserede handelsvirksomhed, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Thygesen, J. K., Implementering af modulært stereointerface til 3D målinger i digitale billeder, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Tornslev, K., 3D scanning using multibeam laser, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Treppendahl, L. B., Integration af GPS og Traditionelle Landmålingsteknikker, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Vagtborg, M., Realtidsrendering - Lindenmayers systemer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Wen, M., Algorithms of Scheduling Aircraft Landing Problem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Yao, D., Adaptive firewalls for grid computing, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Yates, D. V. E., Adaptive filtering and control for an ASVC, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Zhang, Y., Static Analysis for Protocol Validation in Hierarchical Networks, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  

• Akselsen, M., Design of compressor for hearing aids, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Andersen, N. S., Mood prediction in music, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Andersen, M. R., Compensation on Nonlinearities in Transducers, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Bregnbæk, L., Natural Gas Supply in Denmark - A Model of Natural Gas Transmission and the Liberalized Gas Market, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Cai, X., Extremely low power fully synthesizable pree-add mulitply accumulate unit for a DSP, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Cai, X., Extremely Low Power Pre-add Multiply Accumulate design for a DSP, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Degn, H., Shadere, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Egholm, J., Reflektionsmodeller til compact disc rendering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Elmvang, M. M., Customer-Relationship Management System til Teknologisk Institut, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Gonzalez, J. A., Robost active shape models, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Gorny, B., Improving performance of J2EE applications, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Greve, O., Strategiudvikling i landbrugsvirksomheder - fremgangsmåde og metode, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Hansen, J. O., Distributed build management framework, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Havgaard, L., Sample Error by Sample Collection of Samples for GrapeScan, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Henriksen, N., Domain Modelling and Formal Specification of a Generic OPC Alarm Collector, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Hofman, M. A., Madsen, L. F., Robustness in train scheduling, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Jonsdottir, A. H., Statistical analysis of ECG signals with focus on QT, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Kjeldsen, A. H., Meyer, P., Revenue Management - Theory and Practice, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Klitz, P., Pedersen, J., Combined production and distribution planning, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Larsen, K. L., Steffensen, M., Business applications on occasionally connected devices, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Linnet, U., Tools supporting wind energy trade in deregulated markets, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Luthra, A., Ashraf, W., Security in VoIP Systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Markov, Y. E., Response Times and Statistics System, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Møllenbach, C. K., Planlægning af rengøring i fly, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Nie, L., Comparison of Exact and Approximate Multi-User Detection for GSM, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, A. B., Pitch based sound classification, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Nørgaard, L., Multivariate calibration, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Petursdottir, A. M., Gudmundsdottir, M., Solving a vehicle routing problem with cross docking, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [ps]
  
  
• Saks, P., Adaptive and non-linear time series models in exchange rate forecasting, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Vasilev, G., Analysis and Re-Design of Farmaceutisk Grovrensning System, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Vester, K. L., Martiny, M. C., Information retrieval in document spaces using clustering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Weddin, M. E., Speaker Identification for Hearing Instruments, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Zhang, Q., Sørensen, A. H., Models for predicting pharmaceuticals sale, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  

Ph.D. theses

• Andersen, T. S., Model-based Assessment of Factors Influencing Categorical Audiovisual Perception, Helsinki University of Technology, 2005 [full] [bibtex]
  
  
• Bjerregaard, T., The MANGO clockless network-on-chip: Concepts and implementation, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Drews, M., Data assimilation on atmospheric dispersion of radioactive materials, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Gomez, D. D., Development of an image based system to objectively score the severity of phoriasis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Grooss, J., A Level Set Discontinuous Galerkin Method for Free Surface Flows - and Water-Wave Modeling, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Gørtz, I. L., Topics in Algorithms: Data Structures on Trees and Approximation Algorithms on Graphs, IT Univeristy of Copenhagen, 2005 [full] [bibtex] [pdf]
  
  
• Hansen, M. E., Indexing and Analysis of Fungal Phenotypes Using Morphology and Spectrometry, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [zip]
  
  
• Hansen, R. R., Flow logic for language-based safety and security, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Høgh-Rasmussen, E., Tomographic reconstruction using anatomy and regularization, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Lehn-Schiøler, T., Making Faces - State-Space Models Applied to Multi-Modal Signal Processing, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Lemming, J., Risk and investment management in liberalized electricity markets, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, R. E., Approaches to better context modeling and categorization, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, S. F., Behavioral synthesis of asynchronous circuits, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Nikolov, N. I., Distributed nonlinear optical response, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Olsen, B. P., Maintenance of Digital Topographical Map Databases, National Survey and Cadastre Denmark (Kort og Matrikelstyrelsen), 2005 [full] [bibtex]
  
  
• Petersen, K. B., Mean Field ICA, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [ps]
  
  
• Sørensen, S. M., The use of Polarimetric EMISAR for the Mapping and Characterization of the Semi-Natural Environment, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Thomadsen, T., Hierarchical Network Design, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  

• Pontoppidan, N. H., Condition Monitoring and Management from Acoustic Emissions, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Tornøe, C. W., Population pharmacokinetic/pharmacodynamic modelling of the hypothalamic-pituitary-gonadal axis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  

Technical reports

• Ahrendt, P., The Multivariate Gaussian Probability Distribution, 2005 [full] [bibtex] [pdf]
  
  
• Andersen, B. R., Jørgensen, J. B., Jørgensen, S. B., U-Loop Reactor Modelling for Optimization. Part I: Estimation of Heat Loss, 2005 [full] [bibtex]
  
  
• Andersen, B. R., Jørgensen, J. B., Jørgensen, S. B., U-Loop Reactor Modelling for Optimization. Part II: Mass Transfer, 2005 [full] [bibtex]
  
  
• Bøvith, T., Andersen, S., Sea ice concentration from single-polarized SAR data using second-order grey level statistics and learning vector quantization, no. 05-04, Danish Meteorological Institute, 2005 [full] [bibtex]
  
  
• Clausen, J., Larsen, A., Larsen, J., Disruption Management in the Airline Industry - Concepts, Models and Methods, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Dohn, A., Christensen, S. G., Rousøe, D. M., The p/q-ACTIVE facility location problem: Investigation of the solution space and an LP-fitting heuristic, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Dongarra, J., Madsen, K., Wasniewski, J., PARA'04 Workshop on State-of-the-art in Scientific Computing, June 20-23, 2004 Complementary Proceedings, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [zip]
  
  
• Fagertun, J., Stegmann, M. B., The IMM Frontal Face Database, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [zip]
  
  
• Feng, L., Hansen, L. K., A New Database for Speaker Recognition, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Feng, L., Hansen, L. K., ON LOW-LEVEL COGNITIVE COMPONENTS OF SPEECH, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Frølich, A., Nielsen, B. F., Statistical Analysis of Hypercalcaemia Data related to Transferability, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [ps]
  
  
• Giebel, G., Badger, J., Landberg, L., Nielsen, H. A., Nielsen, T. S., Madsen, H., Sattler, K., Feddersen, H., Vedel, H., Tøfting, J., Kruse, L., Voulund, L., Wind Power Prediction using Ensembles, no. Risø-R-, Risø National Laboratory, 2005 [full] [bibtex]
  
  
• Lasse, M. L., Kasper, J. W., Speaker Recognition, 2005 [full] [bibtex] [pdf]
  
  
• Madsen, R. E., Approximating The DCM, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, H. A., Nielsen, T. S., Madsen, H., Giebel, G., Candidate Prediction Models and Methods, Informatics and Mathematical Modelling, 2005 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Nielsen, T. S., Badger, J., Giebel, G., Landberg, L., Sattler, K., Feddersen, H., Wind Power Ensemble Forecasting Using Wind Speed and Direction Ensembles from ECMWF or NCEP, Informatics and Mathematical Modelling, 2005 [full] [bibtex]
  
  
• Nielsen, H. A., Yates, D., Madsen, H., Nielsen, T. S., Badger, J., Giebel, G., Landberg, L., Sattler, K., Feddersen, H., Analysis of the Results of an On-line Wind Power Quantile Forecasting System, Informatics and Mathematical Modelling, 2005 [full] [bibtex]
  
  
• Pedersen, A. K., Pedersen, L. M., Pedersen, G. K., Dueholm, K. S., Geological section across north-central Disko from Nordfjord to Pingu, central West Greenland. 1:20 000 coloured geological sheet., The Geological Survey of Denmark and Greenland, 2005 [full] [bibtex]
  
  
• Petersen, K. B., Winther, O., Explaining slow convergence of EM in low noise linear mixtures, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Poulsen, N. K., Larsen, T. J., Hansen, M. H., Comparison between a PI and LQ-regulation for a 2 MW wind turbine, vol. Risø-i(2320), pp. 43, Risø National Laboratory, 2005 [full] [bibtex] [pdf]
  
  
• Powell, M. J., Five Lectures on Radial Basis Functions, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [ps]
  
  
• Sejerøe, T. H., Ravn, O., Poulsen, N. K., Simultanuous Location and Mapping - A Simulation Platform, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Sjöstrand, K., Lading, B., A Database of Registered, Textured 3D Models of the Human Face, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf] [zip]
  
  
• Stidsen, T., Thomadsen, T., Joint Routing and Protection Using p-cycles, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Stidsen, T., Kjærulff, P., Complete Rerouting Protection, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Thomsen, P. G., Numerical Solution of Differential Algebraic Equations and Applications, IMM-Technical Report, vol. 2005(6), pp. 96, Informatics and Mathematical Modelling, 2005 [full] [bibtex] [pdf]
  
  
• Thomsen, P. G., Numerical Solution of Differential Algebraic Equations and Applications, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Vidal, R. V., Operational Research: A multidisciplinary discipline, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Vidal, R. V., The Future Workshop: Democratic problem solving, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Wen, M., Larsen, J., Clausen, J., An exact algorithm for Aircraft Landing Problem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  

Lecture notes

• Haxthausen, A. E., Test of Object-oriented Software, 2005 [full] [bibtex] [pdf]
  
  
• Juel, H., Noter (til 02701 Introduktion til Operationsanalyse), pp. 62, 2005 [full] [bibtex]
  
  
• Poulsen, N. K., Stochastic Control - External Models, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  

Software

• Buchholtz, M., Nielsen, C. R., Nielson, H. R., Nielson, F., LySaTool, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Nielsen, H. B., IMMOPTIBOX, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Nielsen, A. A., Orthogonal transformations for change detection, Matlab code, 2005 [full] [bibtex] [zip]
  
  
• Pontoppidan, N. H., Larsen, J., Sigurdsson, S., AEWATTtoolbox, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Seidl, H., Nielsen, C. R., Nielson, H. R., Nielson, F., Pilegaard, H., Succinct Solver, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Sjöstrand, K., Matlab implementation of LASSO, LARS, the elastic net and SPCA, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [zip]
  
  
• Stegmann, M. B., 4D Viewer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [exe]
  
  

Misc

• Feng, L., Hansen, L. K., On Low-level Cognitive Components of Speech, International Conference on Computational Intelligence for Modelling (CIMCA'05), 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, F. Å., Databasing the Brain - Neuroinformatics, Multimodal Brain Imaging PhD-course, Informatics and Mathematical Modelling, Technical University of Denmark, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, F. Å., Non-negative partial least squares for meta-analytic parcellation of the human brain, 3rd Nordic workshop on Neuroinformatics September 9-11 2005, Informatics and Mathematical Modelling, Technical University of Denmark, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, F. Å., Databasing Molecular Neuroimaging, Informatics and Mathematical Modelling, Technical University of Denmark, 2005 [full] [bibtex] [pdf]
  
  

• Jensen, B. F., Brockhoff, P. B., Refsgaard, H., In Silico Prediction of Cytochrome P450 2D6 Inhibition., 3rd International Symposium on ComputationalMethods in Toxicology and Pharmacology Integrating Internet Resources, 29Oct-1Nov, 2005 [full] [bibtex]
  
  
• Jensen, B. F., Christensen, I. T., Brockhoff, P. B., Sjöström, M., Refsgaard, H., Classification of Solubility of small Drug Candidates., 9th Scandinavian Symposium on Chemometrics, August 21-25, Reykjavik, Iceland., 2005 [full] [bibtex]
  
  
• Jensen, B. F., Refsgaard, H., Brockhoff, P. B., Weighted Classification Accuracy taking Non-Classified Compounds into Account used for Comparison of Classification Results., 3rd BCS Summer School on Pattern Recognition, July 24-29, Plymouth, UK ., 2005 [full] [bibtex]
  
  
• Jensen, B. F., Refsgaard, H., Brockhoff, P. B., Classification of Membrane Permeability of Small Drug Candidates., The 15th European Symposium on Quantitative structure-Activity Relationships & Molecular Modelling, September 5-10, Istanbul., 2005 [full] [bibtex]
  
  
• Meng, A., Ahrendt, P., Larsen, J., Improving Music Genre Classification by Short Time Feature Integration, ICASSP, 2005 [full] [bibtex] [pdf]
  
  
• Meng, A., Shawe-Taylor, J., An Investigation of feature models for music genre classification using the support vector classifier, International Conference on Music Information Retrieval, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, C. R., Andersen, E. H., Static Validation of Voting Protocols, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Pedersen, M. S., Larsen, J., Kjems, U., On the difference between updating the mixing matrix and updating the separation matrix, ICASSP 2005, 2005 [full] [bibtex]
  
  

• Pedersen, M. S., How to make nice-looking eps-files from Visio, 2005 [full] [bibtex] [pdf]
  
  

• Ahrendt, P., Meng, A., Music Genre Classification using the multivariate AR feature integration model, MIREX 2005 (Contest on Music Genre Classification), 2005 [full] [bibtex] [pdf]
  
  
• Albertsen, N. C., GPAD - A General Pre-Processor for Antenna Software, SME Technology Successes, vol. 1(2), pp. 2, European Space Agency, 2005 [full] [bibtex]
  
  
• Andersen, M. M., Rootzen, H., I en verden med mænd og matematik: Helle for at forske i tal, Femina, vol. 28, pp. 50-51, 2005 [full] [bibtex]
  
  
• Madsen, H., Thyregod, P., Popentiu, F., Albeanu, G., Computer Aided Statistical Modelling fights Pollution, Scientific Computing World, no. 81, pp. 39, Europa Science Ltd, 2005 [full] [bibtex]
  
  
• Nielsen, F. Å., Neuroinformatik: Maskinforståelse af hjernen?, University of Copenhagen, "Body and Mind" Research Priority Area, 2005 [full] [bibtex] [pdf]
  
  
• Petersen, K. B., Analyse af blandet data, Tidsskriftet Gamma, no. 138, 2005 [full] [bibtex]
  
  
• Rootzén, H., Continuing Education in Statistics: A programme based on Learning Objects and Blended Learning, MSOR Connections, vol. 5(3), 2005 [full] [bibtex]
  
  
• Rootzén, H., Flexible and targeted Statistics Programme Based on Learning Objects and Blended Learning, ECMI Newsletter, no. 37, pp. 9-10, 2005 [full] [bibtex]
  
  
• Seigneur, J., Jensen, C. D., Editorial message special track on trust, recommendations, evidence and other collaboration know-how (TRECK), ACM Symposium on Applied Computing (SAC), 2005 [full] [bibtex]
  
  
• Sharp, R., Regnekraft fra et stik i væggen?, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Sharp, R., Bluetoothsikkerhed, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  

Patents

• Christensen, S. F., Johansen, I., Carstensen, J. M., Kuhlmann, L., Identification of encoded beads, WO2005061094, 2005 [full] [bibtex]
  
  

Bachelor theses

• Bach, P. S., Lip Syncronisation Based on Wave Patterns, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Karabulut, Y., Rapportering i et service orienteret arkitektur, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  

• Arkil, J., IT-støttet projektstyring, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Bentsen, N., Internetbetalinger og svindelbeskyttelse for et DRM system, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Blohm, C., Subversion as a software version control system in a global organization with the possibility of outsourcing, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Brendstrup, T., Fartviser.dk - Kommunikation Med En 8-bit Microcontroller Over Internettet, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Fogelberg, C. H., XML-baseret WebPart, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Gudmundsson, B., Parameter tool for StratOn, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Hansen, L., ICT produktkatalog med semantiske webservices, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Kaasen, S., Frydensberg, J., En risikovurdering af DACCIS, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Køie, L., IT-støttet varehåndtering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Larsen, P. B., Schulz, J., Uberrime.NET projektdokumentation, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Larsen, M. S., Projektværktøj, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex] [pdf]
  
  
• Nielsen, M. B., CARE arkiv, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Nielsen, Y. K., GUI til Standard Batch System, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Nordenlund, J., Support-chat system - A live-chat system for use in helpdesk environments, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Olsen, M. L., Procesautomatisering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Pedersen, S. H., GraphDesigner - GraphComposer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Serif, E., Layout engine, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Sindalsen, B. N., Installer tool for Danfoss HE-architecture based networks, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Sørensen, J. N., Kassesystem og digitalisering af en detail forretnings data, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  
• Valbjørn, J. K., Nyhedsmodul - Newsmodule, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2005 [full] [bibtex]
  
  

Demos

• Ahrendt, P., Meng, A., Larsen, J., Lehmann, S., The Clever Toolbox - the Art of Automated Genre Classification, ISP Group, Informatics and Mathematical Modelling, Tehcnical University of Denmark, 2005 [full] [bibtex] [zip]
  
  
• Lehn-Schiøler, T., Talking faces, 2005 [full] [bibtex]
  
  
• Sedighpour, S., Capkun, S., Ganeriwal, S., Srivastava, M., Implementation of Attacks on Ultrasonic Ranging Systems, ACM Conference on Embedded Networked Sensor Systems (SenSys), ACM, 2005 [full] [bibtex] [pdf]