IMM Publications - 2003

Journal papers

Submitted

  • Bolander, T., Which Patterns of Semantic Dependency are Paradoxical?, I, 2003 [full] [bibtex]

  • Bolander, T., Which Patterns of Semantic Dependency are Paradoxical?, II, 2003 [full] [bibtex]

  • Dyrholm, M., Hansen, L. K., CICAAR: Convolutive Independent Component Analysis with an Auto-Regressive Inverse Model, Submitted to IEEE Signal Processing Letters, 2003 [full] [bibtex]

  • Fabricius, T., Winther, O., Correcting the Bias of Subtractive Interference Cancellation in CDMA: Advanced Mean Field Theory, IEEE Transactions on Information Theory, 2003 [full] [bibtex] [pdf]

With referee

  • Akhmatov, V., Knudsen, H., Nielsen, A. H., Pedersen, J. K., Poulsen, N. K., Modelling and transient stability of large wind farmss, Electrical Power and Energy Systems, vol. 25, pp. 123-144, 2003 [full] [bibtex]

  • Bache, M., Gaididei, Y. B., Christiansen, P. L., Nonclassical statistics of intracavity x(2) waveguides: The quantum optical dimer, Physical Review A, vol. 67, pp. 1-15/043802, 2003 [full] [bibtex]

  • Bergé, L., Gouédard, C., Schjødt-Eriksen, J., Ward, H., Filamentation patterns in Kerr media vs. beam shape robustness, nonlinear saturation and polarization states, Physica D, vol. 176, pp. 181-211, 2003 [full] [bibtex]

  • Bisgaard, S., Thyregod, P., A Method For Identifying Which Tolerance Causes Malfunction In Assembled Products, Quality Engineering, vol. 15(4), pp. 687-692, 2003 [full] [bibtex]

  • Box, G. E. P., Bisgaard, S., Graves, S., Kulahci, M., Van Gilder, J., Ting, T., James, J., Marko, K., Zatorski, H., Evaluation of Dynamic Monitoring Systems: The Waterfall Chart, Quality Engineering, vol. 16(2), pp. 183-191, 2003 [full] [bibtex]

  • Brimberg, J., Juel, H., Schöbel, A., Properties of 3-dimensional median line location models, Annals of Operations Research, vol. 122, pp. 71-85, 2003 [full] [bibtex]

  • Bærentzen, J. A., Christensen, N. J., Hardware Accelerated Point Rendering of Isosurfaces, Journal of WSCG, vol. 11(1), pp. 41-48, University of West Bohemia, 2003 [full] [bibtex] [pdf]

  • Cahill, V., Gray, E., Seigneur, J., Jensen, C. D., Chen, Y., Shand, B., Dimmock, N., Twigg, A., Bacon, J., English, C., Wagealla, W., Terzis, S., Nixon, P., di Marzo Serugendo, G., Bryce, C., Carbone, M., Krukow, K., Nielsen, M., Using Trust for Secure Collaboration in Uncertain Environments, IEEE Pervasive Computing, vol. 2(3), pp. 52-61, 2003 [full] [bibtex]

  • Christensen, A., Melgaard, H., Iwersen, J., Thyregod, P., Determination of Control limits for environmental monitoring in cleanrooms based on a hierarchical Poisson-Gamma model., Journal of Quality Technology, vol. 35, pp. 275-285, 2003 [full] [bibtex]

  • Christiansen, P. L., Arnbak, H. C., Zolotaryuk, A. V., Ermakov, V. N., Gaididei, Y. B., On the existence of resonances in the transmission probability for interactions arising from derivatives of Dirac's delta function, Journal of Physics A (Mathematical and General), vol. 36(27), pp. 7589-7600, 2003 [full] [bibtex]

  • Conradsen, K., Nielsen, A. A., Schou, J., Skriver, H., A test statistic in the complex Wishart distribution and its application to change detection in polarimetric SAR data, IEEE Transactions on Geoscience and Remote Sensing, vol. 41(1), pp. 4-19, 2003 [full] [bibtex] [pdf]

  • Corria, C., Christiansen, P. L., Gaididei, Y. B., Muto, V., Pedersen, N. F., Sørensen, M. P., Fluxons and their interactions in a system of three stacked Josephson junctions, Physical Review B, vol. 68, pp. 035415, 2003 [full] [bibtex]

  • Csato, L., Opper, M., Winther, O., Tractable Inference for Probabilistic Data Models, Complexity, vol. 8(4), pp. 64-68, Wiley, 2003 [full] [bibtex] [pdf]

  • Ersbøll, A. K., Ersbøll, B. K., Epidemiological studies based on small sample sizes - a statistician's point of view., ACTA Veterinaria Scandinavica, suppl 98, pp. 127-140, 2003 [full] [bibtex]

  • Ersbøll, B. K., Porto, M., Third CAFIA Meeting, Computer Assisted Fundus Image Analysis, Torino, Italy, European Journal of Ophthalmology, vol. 13(2), pp. 223-239, 2003 [full] [bibtex]

  • Fränzle, M., Niehaus, J., Metzner, A., Damm, W., A Semantics for Distributed Execution of Statemate, Formal Aspects of Computing, vol. 15(4), pp. 390-405, Springer Verlag, 2003 [full] [bibtex] [pdf]

  • George, C., Haxthausen, A. E., The Logic of the RAISE Specification Language, Computing and Informatics, vol. 22(3 - 4), pp. 323 - 350, Slovac Academy of Sciences, 2003 [full] [bibtex]

  • Gørtz, I. L., Reuss, S., Sørensen, M. H., Strong Normalization from Weak Normalization by Translation into the lambda-I-calculus, Higher-Order and Symbolic Computation, vol. 16(3), pp. 253-285, Kluwer Academic Publishers, 2003 [full] [bibtex]

  • Haahr, A. M., Madsen, H., Smedsgaard, J., Bredie, W. L., Stahnke, L. H., Refsgaard, H. H., Flavor Release Measurement by Atmospheric Pressure Chemical Ionization Ion Trap Mass Spectrometry, Construction of Interface and Mathematical Modeling of Release Profiles, Analytical Chemistry - Columbus, vol. 75(3), pp. 655-662, 2003 [full] [bibtex]

  • Hansen, M. E., Lund, F., Carstensen, J. M., Visual clone identification of penicilium commune isolates, Journal of Microbiological methods, vol. 52, pp. 221-229, 2003 [full] [bibtex]

  • Hartelius, K., Carstensen, J. M., Bayesian grid matching, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 25(2), pp. 162-173, 2003 [full] [bibtex]

  • Hermann, N. V., Kreiborg, S., Darvann, T. A., Jensen, B. L., Dahl, E., Bolund, S., Craniofacial Morphology and Growth Comparisons in Children With Robin Sequence,Isolated Cleft Palate, and Unilateral Complete Cleft Lip and Palate, Cleft Palate Craniofacial Journal, vol. 40(4), pp. 373-396, 2003 [full] [bibtex]

  • Hermann, N. V., Kreiborg, S., Darvann, T. A., Jensen, B. L., Dahl, E., Bolund, S., Early Craniofacial Morphology and Growth in Children With Nonsyndromic Robin Sequence, Cleft Palate Craniofacial Journal, vol. 40(2), pp. 131-143, 2003 [full] [bibtex]

  • Hilger, K. B., Larsen, R., Wrobel, M., Growth Modeling of Human Mandibles using Non-Euclidean Metrics, Medical Image Analysis, vol. 7, pp. 425-433, Elsevier, 2003 [full] [bibtex] [pdf]

  • Holm, P. E., Rootzén, H., Borggaard, O. K., Maberg, J. P., Christensen, T. H., Correlation of Cadmium Distribution Coefficients to Soil Caracteristics, Journal of Environmental Quality, vol. 32(1), pp. 138, 2003 [full] [bibtex]

  • Jacobsen, M., Hansen, P. C., Saunders, M. A., Subscpace preconditioned LSQR for discrete ill-posed problems, BIT, vol. 43, pp. 975-989, 2003 [full] [bibtex]

  • Khalack, J. M., Zolotaryuk, Y., Christiansen, P. L., Discrete breathers in classical ferromagnetic lattices with easy-plane anisotropy, Chaos, vol. 13(2), pp. 683-692, 2003 [full] [bibtex]

  • Królikowski, W., Bang, O., Wyller, J., Rasmussen, J. J., Optical Beams in Nonlocal Nonlinear Media, Acta Physica Polonica A, vol. 103(2-3), pp. 133-147, 2003 [full] [bibtex]

  • Kulahci, M., Box, G. E. P., Catalysis of Discovery and Development in Engineering and Industry, Quality Engineering, vol. 15(3), pp. 509-513, 2003 [full] [bibtex]

  • Landberg, L., Giebel, G., Nielsen, H. A., Nielsen, T., Madsen, H., Short-term Prediction - An Overview, Wind Energy, vol. 6, pp. 273-280, 2003 [full] [bibtex]

  • Larsen, B. D., Christensen, N. J., Real-time Terrain Rendering using Smooth Hardware Optimized Level of Detail, Journal of WSCG, vol. 11(2), pp. 282-9, 2003 [full] [bibtex] [pdf]

  • Larsen, R., Hilger, K. B., Statistical shape analysis using non-Euclidean metrics, Medical Image Analysis, vol. 7(4), pp. 417-423, 2003 [full] [bibtex] [pdf]

  • Lehmann, S., Lautrup, B. E., Jackson, A. D., Citation Networks in High Energy Physics, Phys. Rev. E, vol. 68, pp. 026113, 2003 [full] [bibtex] [pdf]

  • LeMesurier, B., Christiansen, P. L., Regularization and control of self-focusing in the 2D cubic Schrodinger equation by attractive linear potentials, Physica D: Nonlinear Phenomena, vol. 184(1), pp. 226-236, 2003 [full] [bibtex]

  • Malzahn, D., Opper, M., Learning Curves and Bootstrap Estimates for Inference with Gaussian Processes: A Statistical Mechanics Study, Complexity, vol. 8(4), pp. 57-63, Wiley, 2003 [full] [bibtex] [ps]

  • McKeown, M., Hansen, L. K., Sejnowski, T. J., Independent Component Analysis for fMRI: What is Signal and What is Noise?, Current Opinion in Neurobiology, vol. 13(5), pp. 620-629, 2003 [full] [bibtex] [pdf]

  • Mossakowski, T., Haxthausen, A. E., Sannella, D., Tarlecki, A., Casl, the Common Algebraic Specification Language: Semantics and Proof Theory, Computing and Informatics, vol. 22(3 - 4), pp. 285-322, Slovac Academy of Sciences, 2003 [full] [bibtex]

  • Nielson, F., Hansen, R. R., Riis Nielson, H., Abstract Interpretation of Mobile Ambients, Science of Computer Programming, vol. 47, pp. 145-175, 2003 [full] [bibtex]

  • Nielson, F., Nielson, H. R., Priami, C., Schuch da Rosa, D., Control Flow Analysis for BioAmbients, Electronic Notes in Theoretical Computer Science, 2003 [full] [bibtex] [pdf]

  • Nikolov, N. I., Sørensen, T., Bang, O., Bjarklev, A., Improving efficiency of supercontinuum generation in photonic crystal fibers, Journal of the Optical Society of America B, vol. 20(11), pp. 2329-2337, 2003 [full] [bibtex]

  • Nikolov, N. I., Neshev, D., Bang, O., Królikowski, W., Quadratic solitons as nonlocal solitons, Physical Review E, vol. 68, pp. 036614, 2003 [full] [bibtex]

  • Nilsson, L. A. F., Thygesen, U. H., Lundgren, B., Nielsen, B. F., Nielsen, J. R., Beyer, J. E., Vertical migration and dispersion of sprat (Sprattus sprattus) and herring (Clupea harengus) schools at dusk in the Baltic Sea, Aquatic Living Resources, vol. 16(3), pp. 317-324, 2003 [full] [bibtex]

  • Pedersen, K. O. H., Nielsen, A. H., Poulsen, N. K., Short-Curcuit impedance measurement, IEE Proceedings on Generation, Transmission and Distribution, vol. 150(2), pp. 169-174, 2003 [full] [bibtex]

  • Pedersen, J. K., Helgesen-Pedersen, K. O., Poulsen, N. K., Akhmatov, V., Nielsen, A. H., Contribution to a dynamic wind turbine model validation from a wind farm islanding experiment, Electric Power Systems Research, vol. 64, pp. 41-51, 2003 [full] [bibtex]

  • Pilegaard, H., Hansen, M. R., Sharp, R., An Approach to Analyzing Availability Properties of Security Protocols, Nordic Journal of Computing, vol. 10(4), pp. 337-373, 2003 [full] [bibtex]

  • Pop, P., Eles, P., Peng, Z., Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems, IEE Computers and Digital Techniques Journal, vol. 150(5), pp. 303--312, 2003 [full] [bibtex]

  • Reddy, A. T., Neibur, D., Andersen, K. K., Pericolo, P. P., Cabrera, G., Evaluation of the suitability of different chiller performance models for on-line training applied to automated fault detection and diagnosis, HVAC&R Research, vol. 9(4), pp. 385-414, 2003 [full] [bibtex]

  • Reddy, A. T., Andersen, K. K., Niebur, D., Information content of incoming data during field monitoring: Application to chiller modeling, HVAC&R Research, vol. 9(4), pp. 365-383, 2003 [full] [bibtex]

  • Schou, J., Skriver, H., Nielsen, A. A., Conradsen, K., CFAR edge detector for polarimetric SAR images, IEEE Transactions on Geoscience and Remote Sensing, vol. 41(1), pp. 20-32, 2003 [full] [bibtex] [pdf]

  • Schuhmacher, A., Hald, J., Rasmussen, K. B., Hansen, P. C., Sound source reconstruction using inverse boundary element calculations, J. Acoust. Soc. Am., vol. 113(1), pp. 114-127, 2003 [full] [bibtex]

  • Seigneur, J., Jensen, C. D., Privacy Recovery with Disposable Email Addresses, IEEE Security & Privacy, vol. 1(6), pp. 35-39, 2003 [full] [bibtex]

  • Stegmann, M. B., Larsen, R., Multi-band Modelling of Appearance, Image and Vision Computing, vol. 21(1), pp. 61-67, Elsevier Science, 2003 [full] [bibtex] [pdf]

  • Stegmann, M. B., Ersbøll, B. K., Larsen, R., FAME - A Flexible Appearance Modelling Environment, IEEE Transactions on Medical Imaging, vol. 22(10), pp. 1319-1331, Institute of Electrical and Electronics Engineers (IEEE), 2003 [full] [bibtex] [pdf]

  • Stephen, L., Rottenberg, D., Strother, S., Anderson, J., Muley, S., Ashe, J., Frutiger, S., Rehm, K., Hansen, L. K., Yacoub, E., Hu, X., The Evaluation of Preprocessing Choices in Single-Subject BOLD fMRI Using NPAIRS Performance Metrics, NeuroImage, vol. 18(1), pp. 10-27, 2003 [full] [bibtex] [pdf]

  • Thodberg, H. H., Rosholm, A., Application of the active shape model in a commercial medical device for bone densitometry, Image and Vision Computing, vol. 21(13-14), pp. 1155-1161, Elsevier, 2003 [full] [bibtex]

  • Thoefner, M. B., Ersbøll, B. K., Jansson, N., Hesselholt, M., Diagnostic decision rule for support in clinical assessment of the need for surgical intervention in horses with acute abdominal pain, Canadian Journal of Veterinary Research, vol. 67(1), pp. 20-29, 2003 [full] [bibtex]

  • True, H., Trzepacz, L., Die Dynamik eines Güterwagenradsatzes mit Trockenreibungsdämpfung, EI-Eisenbahningenieur, vol. 54(7), pp. 37-42, 2003 [full] [bibtex]

  • Tuszynski, J. A., Middleton, J., Portet, S., Dixon, J. M., Bang, O., Christiansen, P. L., Salerno, M., Large amplitude spatial fluctuations in the boundary region of the Bose-Einstein condensate in the Gross-Pitaevskii regime, Physica A, vol. 325(3-4), pp. 455-476, 2003 [full] [bibtex]

  • Vidal, V. V., Creativita e Professione, Galileo, vol. XV(160), pp. 34-35, 2003 [full] [bibtex]

  • Vidal, V., Participative Action Research: The Vision Conference, Economic Analysis Working Papers, vol. 12(15), 2003 [full] [bibtex]

  • Vidal, V., Sørensen, L., The anatomy of soft approaches, Investigacion Operacional, vol. 24(2), pp. 173-188, Universidad de La Habana, 2003 [full] [bibtex]

  • Xia, F., Modelling of a two-dimensional Coulomb friction oscillator, Journal of Sound and Vibration, vol. 265, pp. 1063-1074, 2003 [full] [bibtex]

  • Zolotaryuk, Y., Christiansen, P. L., Salerno, M., AC driven directed motion of solitary waves, International Journal of Modern Physics B, vol. 17(22-24), pp. 4428-4433, 2003 [full] [bibtex]

Without referee

  • Hansen, J., Constraint Programming versus Mathematical Programming, Orbit, vol. 3, DORS, 2003 [full] [bibtex] [ps]

  • Vidal, V. V., Creativity for Engineers, orbit, pp. 20-23, 2003 [full] [bibtex]

Conference papers

Submitted

  • Kristensen, N. R., Madsen, H., Jørgensen, S. B., Identification of Continuous Time Models Using Discrete Time Data, SYSID2003, Rotterdam, Holland - Aug. 2003, 2003 [full] [bibtex]

  • Kristensen, N. R., Madsen, H., Jørgensen, S. B., Stochastic Grey-Box Modelling as a Tool for Improving the Qualilty of First Engineering Principles Models, ADCHEM 2003, Hong Kong, Kina, 2003 [full] [bibtex]

  • Kristensen, N. R., Madsen, H., Jørgensen, S. B., A Unified Framework for Systematic Model Improvement, PSE 2003, Kun Ming, Kina, Juni 2003, 2003 [full] [bibtex]

  • Kristensen, N. R., Madsen, H., Jørgensen, S. B., Developing Phenomena Models from Experimental Data, ESCAPE-13, Lappeenranta, Finland, June 2003, 2003 [full] [bibtex]

With referee

  • Aanæs, H., Larsen, R., Bærentzen, J. A., PDE Based Surface Estimation for Structure from Motion., 13th Scandinavian Conference on Image Analysis, Gothenburg, Sweden, vol. 2749, pp. 632-639, Springer, 2003 [full] [bibtex]

  • Aanæs, H., Bærentzen, J. A., Pseudo--Normals for Signed Distance Computation, Vision, Modeling, and visualization 2003, Munich, Germany, 2003 [full] [bibtex]

  • Abendroth, J., Jensen, C. D., Partial Outsourcing: A New Paradigm for Access Control, 8th ACM Symposium on Access Control Models and Technologies, pp. 134-141, 2003 [full] [bibtex]

  • Abendroth, J., Jensen, C. D., A Unified Security Framework for Networked Applications, Eighteenth ACM Symposium on Applied Computing, 2003 [full] [bibtex]

  • Albertsen, N. C., Frandsen, P. E., Sørensen, S. B., A new advanced interface for GRASP - the frame concept, Proceedings of the 26th ESA Antenna Technology Workshop on Satellite Antenna Modelling and Design Tools, pp. 29-36, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Albertsen, N. C., Frandsen, P. E., Taswapw - A software package for Planar Waveguide Arrays, Sixth International Conference on Computational Methods in Electrical Engineering and Electromagnetics (ELECTROCOMP), pp. 313-321, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Bandler, J. W., Sheng, Q. S., Gebre-Mariam, D., Madsen, K., Pedersen, F., Søndergaard, J., EM-based surrogate modeling and design exploiting implicit, frequency and output space mappings, IEEE MTT-S International Microwave Symposium Digest, pp. 1003-1006, IEEE, 2003 [full] [bibtex]

  • Beierholm, T., Pedersen, B. D., Winther, O., Low Complexity Bayesian Single Channel Source Separation, ICASSP'2004, 2003 [full] [bibtex] [pdf]

  • Bjørner, D., Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering, CTS2003: 10th IFAC Symposium onControl in Transportation Systems, Elsevier Academic Publs., 2003 [full] [bibtex]

  • Bjørner, D., Domain Engineering: A "Radical Innovation" for Software and Systems Engineering ? A Biased Account, The Zohar Manna Intl.Symp. on "Verification: Theory & Practice", Springer-Verlag, 2003 [full] [bibtex]

  • Bjørner, D., New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems., FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems., L'Harmattan Hongrie, 2003 [full] [bibtex]

  • Bjørner, D., An Ontology for a TripTych Formal Software Development, US DoD Workshop on "Radical Innovations for Software and Systems Engineering", Springer-Verlag, 2003 [full] [bibtex]

  • Bjørner, D., Domain Engineering: A ``Radical Innovation'' for Systems and Software Engineering~?, Verification: Theory and Practice, pp. 54 pages, Springer-Verlag, 2003 [full] [bibtex]

  • Bjørner, D., Towards Design Calculi for Requirements Engineering and Software Design, From Object-orientation to Formal Methods: Dedicated to the Memory of Ole-Johan Dahl, vol. 2635, pp. 21, Springer-Verlag, 2003 [full] [bibtex]

  • Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Riis Nielson, H., Automatic Validation of Protocol Narration, Proceedings of the 16th Computer Security Foundations Workshop (CSFW 03)., pp. 126-140, IEEE Computer Society Press, 2003 [full] [bibtex]

  • Bolander, T., From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 443-448, Morgan Kaufmann, 2003 [full] [bibtex]

  • Bøjstrup, K., Niemann, H. H., Poulsen, N. K., Jørgensen, S. B., Iterative Identification for Control and Robust Performance of Bioreactor, 13th IFAC symposium on System Identification, Rotterdam (SYSID03), pp. 1673-1678, 2003 [full] [bibtex]

  • Calhoun, V. D., Adali, T., Hansen, L. K., Larsen, J., Pekar, J. J., ICA of Functional MRI Data: An Overview, Fourth International Symposium on Independent Component Analysis and Blind Source Separation, pp. 281-288, 2003 [full] [bibtex] [pdf]

  • Carstensen, J. M., Lassen, N. C. K., Hansen, P. W., Hansen, M. E., Multispectral vision technology, Proceedings of the 5th European Symposium on Near Infrared Spectroscopy, pp. 153-158, 2003 [full] [bibtex]

  • Chen, Y., Jensen, C. D., Gray, E., Seigneur, J., Risk Probability Estimating Based on Clustering, The 4th IEEE Anual Information Assurance Workshop, 2003 [full] [bibtex]

  • Christiansen, L. E., Evans, M. C., Waino, M., Ethelberg, S., Madsen, H., Wegener, H. C., Climate as a predictor of prevalence of compylobacter spp. in humans and broilers in Denmark, Conference on Campylobacter, Helecobacter and Related Organisms, Aarhus, Denmark, October, 2003 [full] [bibtex]

  • Corney, J. F., Bang, O., Spatial solitons in nonlinear photonic crystals, Nonlinear Optics: Materials, Fundamentals and Applications, OSA Technical Digest, Optical Society of America, pp. 22-124, 2003 [full] [bibtex]

  • Ersbøll, B. K., Bruun, J., Madsen, J. F., Ersbøll, A. K., Antibacterial drug use for treatment of mastitis in Danish dairy cows, The International Society for Veterinary Epidemiology and Economics, Viña del Mar, Chile, 17-21 November, no. 568, pp. 3, 2003 [full] [bibtex]

  • Ersbøll, B. K., Bruun, J., Uncovering multivariate structure between milk productions variables and udder health variables using canonical correlations, The International Society for Veterinary Epidemiology and Economics, Viña del Mar, Chile, 17.-21. November, no. 568, pp. 3, 2003 [full] [bibtex]

  • Farrell, S., Jensen, C. D., Scaling an Interplanetary Internet, International Conference on Recent Advances in Space Technologies (RAST 2003), 2003 [full] [bibtex]

  • Farrell, S., Jensen, C. D., Trajectory Based Addressing, 8th Cabernet Radicals Workshop, 2003 [full] [bibtex]

  • Fränzle, M., Herde, C., Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems, Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2003), vol. 2850, pp. 302-316, Springer Verlag, 2003 [full] [bibtex] [ps]

  • Girard, A., Rasmussen, C. E., Quiñonero-Candela, J., Murray-Smith, R., Gaussian Process Priors with Uncertain Inputs - Application to Multiple-Step Ahead Time Series Forecasting, Neural Information Processing Systems, 2003 [full] [bibtex] [ps]

  • Gjaldbæk, T., Haxthausen, A. E., Modelling and Verification of Interlocking Systems for Railway Lines, Proceedings of the 10th IFAC Symposium on Control in Transportation Systems, Elsevier Science Ltd, Oxford, 2003 [full] [bibtex]

  • Gómez, D. D., Carstensen, J. M., Ersbøll, B. K., Building an image based system to automatically score psoriasis, 2003 [full] [bibtex] [pdf]

  • Gray, E., Chen, Y., Jensen, C. D., Initial Investigation into Cross-Context Trust and Risk Assessment, International Conference on Communication, Network, and Information Security, 2003 [full] [bibtex]

  • Gray, E., Seigneur, J., Chen, Y., Jensen, C. D., Trust Propagation in Small Worlds, The First International Conference on Trust Management, pp. 239-254, Springer Verlag, LNCS 2692, 2003 [full] [bibtex]

  • G{'o}mez, D. D., Carstensen, J. M., Ersbøll, B., Building an Image-Based System to automatically Score psoriasis, Proceedings of the 13th Scandinavian conference in image analysis, pp. 557-564, 2003 [full] [bibtex]

  • Gørtz, I. L., Wirth, A., Asymmetry in k-Center Variants, Proc. 6th Int. Workshop on Approximation Algorithms for Combinatorial Optimization Problem. Lecture Notes in Computer Science, vol. 2764, Springer, 2003 [full] [bibtex]

  • Hansen, L. K., Petersen, K. B., Monaural ICA of white noise mixtures is hard, Proceedings of ICA'2003 Fourth Int. Symp.. on Independent Component Analysis and Blind Signal Separation, Nara Japan, April 4,, pp. 815-820, 2003 [full] [bibtex] [pdf]

  • Hansen, M. R., Sharp, R., Using Interval Logics for Temporal Analysis of Security Protocols, First ACM Workshop on Formal Methods in Security Engineering (FMSE'03), pp. 24-31, ACM Press, 2003 [full] [bibtex]

  • Hansen, M. R., Duration Calculus (Extended Abstract), Workshop on Interval Logics and Duration Calculi, ESSLLI'03, pp. 66-84, 2003 [full] [bibtex]

  • Hansen, L. K., Dyrholm, M., A prediction matrix approach to convolutive ICA, Proceedings of IEEE Workshop on Neural Networks for Signal Processing XIII Toulouse, France, Sept. 17-19, 2003, pp. 249-258, IEEE Press, 2003 [full] [bibtex] [pdf]

  • Hansen, M. E., Carstensen, J. M., Color-Based Image Retrieval from High-Similarity Image Databases, Proceedings of the 13th Scandinavian conference in image analysis, pp. 1098-1105, 2003 [full] [bibtex]

  • Harrington, A., Jensen, C. D., Cryptographic Access Control in a Distributed File System, 8th ACM Symposium on Access Control Models and Technologies, pp. 158-165, 2003 [full] [bibtex]

  • Haxthausen, A. E., Peleska, J., Generation of Executable Railway Control Components from Domain-Specific Descriptions, Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS'2003), pp. 83 - 90, L'Harmattan Hongrie, 2003 [full] [bibtex]

  • Haxthausen, A. E., Peleska, J., Automatic Verification, Validation and Test for Railway Control Systems based on Domain-Specific Descriptions, Proceedings of the 10th IFAC Symposium on Control in Transportation Systems, Elsevier Science Ltd, Oxford, 2003 [full] [bibtex]

  • Hilger, K. B., Larsen, R., Kreiborg, S., Krarup, S., Darvann, T., Marsh, J., Active Shape Analysis of Mandibular Growth, Medical Image Computing and Computer-Assisted Intervention - MICCAI, Springer, 2003 [full] [bibtex] [pdf]

  • Holst, J., Lindström, E., Madsen, H., Nielsen, H. A., Model Validation in Non-Linear Continuous-Discrete Grey-Box Models, Proceedings of the 13th IFAC Symposium on System Identification, 2003 [full] [bibtex]

  • Jantzen, J., Poulsen, N. K., Adaptation in the Fuzzy Self-Organizsing Controller, Eunite 2003, European Symposium on Intelligent Technologies, Hybrid Systems and their implementation on Smart Adaptive Systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Jimenez, M. J., Madsen, H., Andersen, K. K., How to get physical parameters using MATLAB, in book: Conference on Dynamic Analysis and Modelling, DAME-BC, Ispra, 2003 [full] [bibtex]

  • Karlsen, B., Sørensen, H. B., Larsen, J., Jakobsen, K. B., GPR Detection of Buried Symmetrically Shaped Mine-like Objects using Selective Independent Component Analysis, Proceedings of the 2003 Detection and Remediation Technologies for Mines and Mine-Like Targets, AeroSense 2003, vol. 5089, pp. 375-386, SPIE, 2003 [full] [bibtex] [pdf]

  • Klim, S., Mortensen, S., Bodvarsson, B., Hyldstrup, L., Thodberg, H., More Active Shape Model, Image and Vision Computing New Zealand 2003, 2003 [full] [bibtex] [pdf]

  • Larsen, R., Hilger, K. B., Probabilistic Generative Modelling, 13th Scandinavian Conference on Image Analysis (SCIA) , Gothenburg, Sweden, vol. 2749, pp. 861-868, Springer, 2003 [full] [bibtex] [pdf]

  • Larsen, R., Hilger, K. B., Skoglund, K., Darkner, S., Paulsen, R. R., Stegmann, M. B., Lading, B., Thodberg, H., Eiriksson, H., Some Issues of Biological Shape Modelling with Applications, 13th Scandinavian Conference on Image Analysis (SCIA), Gothenburg, Sweden, vol. 2749, pp. 509-519, Springer, 2003 [full] [bibtex] [pdf]

  • Larsen, J., Hansen, L. K., Kolenda, T., Nielsen, F. Å., Independent Component Analysis in Multimedia Modeling, Fourth International Symposium on Independent Component Analysis and Blind Source Separation, pp. 687-696, 2003 [full] [bibtex] [pdf]

  • Lindegaard, M. P., Representing RSL Specifications in Isabelle/HOL, Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings, pp. 95-110, Aracne Editrice S.R.L., 2003 [full] [bibtex]

  • Lophaven, S., Carstensen, J., Rootzen, H., Space-time modeling of dissolved inorganic nitrogen, Bulletin of the International Statistical Institute 54th Session, Contributed Papers, vol. LX(2), pp. 749-750, International Statistical Institute, 2003 [full] [bibtex]

  • Madsen, J., Mahadevan, S., Virk, K., Gonzalez, M. J., Network-on-Chip Modeling for System-Level Multiprocessor Simulation, The 24th IEEE International Real-Time Systems Symposium, pp. 265-274, IEEE Computer Society, 2003 [full] [bibtex]

  • Madsen, J., Virk, K., Gonzalez, M. J., Abstract RTOS Modelling for Multiprocessor System-on-Chip, International Symposium on System-on-Chip, pp. 147-150, IEEE, 2003 [full] [bibtex]

  • Maletti, G. M., Ersbøll, B. K., Change detection in registered psoriasis lesions image patterns, 12th Workshop on Stochastic Geometry, Stereology and Image Analysis, Prague, Czech Republic, pp. 22, 2003 [full] [bibtex]

  • Maletti, G. M., Ersbøll, B. K., Illumination correction from psoriasis image data, 13th Scandinavian Conference on Image Analysis, Gothenburg, Sweden, vol. 2749, pp. 549-556, 2003 [full] [bibtex]

  • Malzahn, D., Opper, M., A Statistical Mechanics Approach to Approximate Analytical Bootstrap Averages, Advances in Neural Information Processing Systems 15, MIT Press, 2003 [full] [bibtex] [ps]

  • Nielsen, A. A., Conradsen, K., Skriver, H., Polarimetric synthetic aperture radar data and the complex Wishart distribution, 13th Scandinavian Conference on Image Analysis (SCIA), pp. 1082-1089, Springer, 2003 [full] [bibtex] [pdf]

  • Nielsen, S. F., Madsen, J., Power Constrained High-Level Synthesis of Battery Powered Digital Systems, DATE 2003, pp. 1136-1137, 2003 [full] [bibtex]

  • Nilsson, J. F., Jensen, P. A., Ontology-based Semantics for Prepositions, ACM-SIGSEM Workshop on the Linguistic Dimension of Prepositions and their use in Computational Linguistics, Institut de Recherce en Informatique de Toulouse,, 2003 [full] [bibtex]

  • Nørgaard, M., Poulsen, N. K., Ravn, O., KALMTOOL for use with Matlab, 13th IFAC Symposium on System Identification, Rotterdam (SYSID2003), pp. 1490-1495, 2003 [full] [bibtex]

  • Paulsen, R. R., Hilger, K. B., Shape Modelling Using Markov Random Field Restoration of Point Correspondences, Information Processing in Medical Imaging, 2003 [full] [bibtex] [pdf]

  • Pedersen, T. F., Hansen, L. K., Bayesian multichannel tracking of periodic signals: A new way to detemine the running speed of mechanical systems, Seventh International Symposium on Signal Processing and its Applications ISSPA 2003 1-4 July 2003, Paris, FRANCE, 2003 [full] [bibtex] [pdf]

  • Penicka, M., Strupchanska, A. K., Bjørner, D., Train Maintenance Routing, FORMS2003: Symposium on Formal Methods for RailwayOperation and Control Systems, L'Harmattan Hongrie, 2003 [full] [bibtex]

  • Pontoppidan, N. H., Larsen, J., Unsupervised Condition Change Detection In Large Diesel Engines, 2003 IEEE Workshop on Neural Networks for Signal Processing, pp. 565-574, IEEE Press, 2003 [full] [bibtex] [pdf]

  • Pontoppidan, N. H., Larsen, J., Fog, T., Independent component analysis for detection of condition changes in large diesels, COMADEM 2003, no. 16, pp. 493-502, Växjö University Press, 2003 [full] [bibtex] [pdf]

  • Pontoppidan, N. H., Dyrholm, M., Fast Monaural Separation of Speech, AES 23rd International Conference, Signal Processing in Audio Recording and Reproduction., Audio Engineering Society, Inc., 2003 [full] [bibtex] [pdf]

  • Pop, P., Eles, P., Peng, Z., Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems, Languages, Compilers and Tools for Embedded Systems, pp. 113--122, 2003 [full] [bibtex]

  • Pop, P., Eles, P., Peng, Z., Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems, Design Automation and Test in Europe, pp. 184--189, 2003 [full] [bibtex]

  • Quiñonero-Candela, J., Girard, A., Larsen, J., Rasmussen, C. E., Propagation of Uncertainty in Bayesian Kernel Models - Application to Multiple-Step Ahead Forecasting, International Conference on Acoustics, Speech and Signal Processing, vol. 2, pp. 701-704, IEEE, 2003 [full] [bibtex] [pdf] [ps]

  • Seigneur, J., Biegel, G., Jensen, C. D., P2P with JXTA-Java pipes, 2nd International Conference on the Principles and Practice of Programming in Java, 2003 [full] [bibtex]

  • Seigneur, J., Farrell, S., Jensen, C. D., Gray, E., Chen, Y., Towards security auto-configuration for smart appliances, Smart Objects Conference, 2003 [full] [bibtex]

  • Seigneur, J., Farrell, S., Jensen, C. D., Gray, E., Chen, Y., End-to-end trust in pervasive computing starts with recognition, First International Conference on Security in Pervasive Computing, 2003 [full] [bibtex]

  • Skriver, H., Nielsen, A. A., Conradsen, K., Evaluation of the Wishart Test Statistic for Polarimetric SAR Data, International Geoscience and Remote Sensing Symposium (IGARSS), Invited Paper, 2003 [full] [bibtex] [pdf]

  • Solem, J., Aanæs, H., Heyden, A., PDE Based Shape from Specularities, Scale Space 2003, 2003 [full] [bibtex]

  • Stegmann, M. B., The AAM-API: An Open Source Active Appearance Model Implementation, Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th Int. Conference, Montréal, Canada, pp. 951-952, Springer, 2003 [full] [bibtex] [pdf]

  • Stegmann, M. B., Larsson, H. B. W., Motion-compensation of Cardiac Perfusion MRI using a Statistical Texture Ensemble, Functional Imaging and Modeling of the Heart, FIMH 2003, vol. 2674, pp. 151-161, Springer Verlag, 2003 [full] [bibtex] [pdf]

  • Streltsov, N., Sparsø, J., Bokov, S., Kleberg, S., The Synputer - A Novel MIMD Processor Targeting High Performance Low Power DSP Applications, International Signal Processing Conference 2003, pp. CD-ROM, Global Technology Conferences ( www.gt-conferences.com ), 2003 [full] [bibtex]

  • Strupchanska, A. K., Penicka, M., Bjørner, D., Railway Staff Rostering, FORMS2003: Symposium on Formal Methods for RailwayOperation and Control Systems, L'Harmattan Hongrie, 2003 [full] [bibtex]

  • Svensson, C., Aanæs, H., Kahl, F., Structure Estimation and Surface Triangulation of Deformable Objects, Scandinavian Conference on Image Analysis 2003, 2003 [full] [bibtex]

  • Sørensen, J. V., Madsen, H., Data assimilation in an operational forecast system of the North Sea-Baltic Sea system, Elsevier Science & Technology Books, 2003 [full] [bibtex]

  • Thodberg, H. H., Ólafsdóttir, H., Adding Curvature to Minimum Description Length Shape Models, British Machine Vision Conference, BMVC, 2003 [full] [bibtex] [pdf]

  • Thodberg, H. H., Minimum Description Length Shape and Appearance Models, Proceedings of Information Processing in Medical Imaging (IPMI 2003) ,, Springer, 2003 [full] [bibtex] [pdf]

  • Virk, K., Madsen, J., Resource Allocation Model for Modelling Abstract RTOS on Multiprocessor System-on-Chip, The 21th Norchip Conference, pp. 48-51, 2003 [full] [bibtex]

  • Zolotaryuk, Y., Christiansen, P. L., Salerno, M., Ratchet-like motion of ac driven topological solitons, Nonlinear Physics: Theory and Experiment II, pp. 309-315, World Scientific, 2003 [full] [bibtex]

Without referee

  • Andersen, S. K., Carlsen, H., Thomsen, P. G., Simulation of Temperature Fluctuations in Stirling Engine Regenerator Matrices, Proceedings of 11.th international Stirling engine Conference, Dept. of Mechanical and Aeronautical Engineering, 2003 [full] [bibtex]

  • Darkner, S., Larsen, R., Wedgelet Compression for Appearance Models, Proceedings of the 12th Danish Conference on Pattern Recognition and Image Analysis (DANKOMB, DSAGM) , August 21-21, Department of Computer Science, University of Copenhagen (DIKU), 2003 [full] [bibtex]

  • Kulahci, M., Ramirez, J., Cotter, M., Tobias, R., Fractionation of Two-level Designs for Multi-Step Processes (Preserving the Split-Plot Structure), European Network for Business and Industrial Statistics Conference, Barcelona-Spain, 2003 [full] [bibtex]

  • Mahadevan, S., Bjerregaard, T., Sparsø, J., Madsen, J., Using SystemC to Model Asynchronous Communication at Different Levels of Abstraction, Third ACiD-WG Workshop, 2003 [full] [bibtex]

  • Nielsen, C. S., Ravn, H. F., Schaumburg-Müller, C., Two wind power prognosis criteria and regulating power costs, 4th Int'l Workshop on Large-Scale Integration of Wind Power and Transmission Networks for Offshore Wind Farms, 2003 [full] [bibtex] [pdf]

  • Skoglund, K., Larsen, R., Lading, B., Building a 3-D Appearance Model of the Human Face, DSAGM, DIKU (Datalogisk Institut), 2003 [full] [bibtex] [pdf]

  • Tornøe, C. W., Agersø, H., Nielsen, H. A., Madsen, H., Jonsson, E. N., Population pharmacokinetic modelling of a subculaneous depot for GnRH antagonist degarelix, PAGE meeting, Verona, June, 2003 [full] [bibtex]

  • Vidal, V., Facilitacion de procesos creativos, I Conference of Peruvian Scientists, 2003 [full] [bibtex]

Abstracts

  • Balslev, D., Nielsen, F. Å., Visuoproprioceptive representations for tool skills, NeuroImage, vol. 19(2), 2003 [full] [bibtex]

  • Balslev, D., Gerlach, C., Nielsen, F. Å., Paulson, O. B., Law, I., Left parietal and posterior cingulate cortices recognize congruence between tool and effector movement, NeuroImage, vol. 19(2), 2003 [full] [bibtex]

  • Chen, A. C. N., Kold, J., Arendt-Nielsen, L., Hansen, L. K., Nielsen, F. Å., Brain mapping of cold/pain vs. heat/pain: A 3D VRTM analyses on the published PET/fMRI data, NeuroImage, vol. 19(2), 2003 [full] [bibtex]

  • Hansen, L. K., ICA if fMRI based on a convolutive mixture model, Ninth Annual Meeting of the Organization for Human Brain Mapping (HBM 2003), NewYork, 2003 June., 2003 [full] [bibtex]

  • Nielsen, H. B., Lophaven, S. N., Søndergaard, J., Surrogate modelling by kriging, 18th International Symposium on Mathematical Programming, pp. 140-141, Mathematical Programming Society, 2003 [full] [bibtex]

  • Nielsen, F. Å., The Brede database: a small database for functional neuroimaging, NeuroImage, vol. 19(2), Elsevier, 2003 [full] [bibtex] [pdf] [ps]

  • Nielsen, A. A., Müller, A., Change detection by the MAD method in hyperspectral image data, Abstracts from the 3rd EARSeL Workshop on Imaging Spectroscopy, 2003 [full] [bibtex] [pdf]

  • Spliid, H., Lophaven, S., Merser, S., Borgwardt, A., Incidensanalyse ved procesovervågning i klinisk praksis, Patientsikkerhedskonferencen, Dansk Selskab for Patientsikkerhed, 2003 [full] [bibtex]

  • Stegmann, M. B., Larsson, H. B. W., Fast Registration of Cardiac Perfusion MRI, Proc. International Society of Magnetic Resonance In Medicine - ISMRM 2003, Toronto, Ontario, Canada, pp. 702, ISMRM, 2003 [full] [bibtex] [pdf]

  • Tornøe, C. W., Agersø, H., Nielsen, H. A., Madsen, H., Jonsson, E. N., Non-Linear Mixed-Effects Models in NLME with Differential Equations, PAGE meeting, Verona, 2003 [full] [bibtex]

  • Tornøe, C. W., Agersø, H., Nielsen, H. A., Madsen, H., Jonsson, E. N., Population pharmacokinetic modeling of a subcutaneous depot for GnRH antagonist degarelix, PAGE meeting, Verona, 2003 [full] [bibtex]

Books

Author

  • Bjørner, D., The SE Book: Principles and Techniques of Software Engineering, vol. I: Abst, [Publisher currently (March 2003) being negotiated], 2003 [full] [bibtex]

Editorship

  • Molina, C., Adali, T., Larsen, J., Hulle, M. V., Douglas, S. C., Rouat, J., Proceedings of the IEEE 2003 Neural Networks for Signal Processing Workshop, IEEE Press, 2003 [full] [bibtex]

  • Tind, J., Clausen, J., ISMP 2003, 18. International Symposium on Mahtematical Programming, vol. 97(1-2), Springer Verlag, 2003 [full] [bibtex]

Chapter

  • Albeanu, G., Vladicescu, F. P., Total quality for software engineering management, Handbook of Reliability Engineering, pp. 567-582, Springer, 2003 [full] [bibtex]

  • Bjørner, D., What is a method? An Essay on some aspects of software engineering., Programming Methodology, vol. 9, pp. 175-203, Springer-Verlag, 2003 [full] [bibtex]

  • Bjørner, D., Domain Models of "The Market" - In Preparation for E-Commerce, Practical Foundations of Business and System Specifications, Kluwer Academic Press, 2003 [full] [bibtex]

  • Hansen, L. K., Purushotham, A., Kim, S., Testing competing hypotheses about single trial fMRI, Exploratory Analysis and Data Modeling in Functional Neuroimaging, vol. 3, pp. 49-62, MIT Press, 2003 [full] [bibtex] [ps]

  • Kristensen, N. R., Madsen, H., Jørgensen, S. B., An investigation of some tools for process model identification for prediction, Dynamic Model Development: Methods, Theory and Applications, Elsevier, 2003 [full] [bibtex]

Master's theses

Academic theses

  • Andersen, M. N., Andersen, R. Ø., Filtering in hybrid dynamic Bayesian networks, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Ardoino, O., Petersen, H. B., Abonnementssystem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Arnbak, H. C., Wave Propagation in Systems with Alternating Linear and Nonlinear Layers, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Birch, S., Statistical text modelling - Towards modelling of matching problems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Brickmanne, M. d. l. H., Preserving Cybercrime Evidence, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [ps]

  • Bruun, K. W., Modelling code mobility, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Christensen, L. P. B., Signal processing for ultra-wideband systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Christensen, T., Hvilsted, G., Design af en multiprocessor 3D-engine i SystemC til en FPGA, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Christensen, T., On-chip netværk med prioriterede trafikklasser, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Christiansen, J. K., Olsen, K. P., Produktionen af geografiske data, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Clauwaert, S., Raasch, R., Stereoscopic camera calibration for motion estimation, part 1-2, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Dejlighed, U., Object / Data source mapping layer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Duron, R., Johansson, B., An embedded demonstrator for 3D audio, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Eggert, D., Neural network control, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Eggertsson, H., The Scandinavian electricity power market and market power, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Enevoldsen, M., Decision support for fighter pilots, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Frandsen, O., Hardware based blind source separation for realtime signal processing, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [zip]

  • Gislason, G. K., Unit commitment for combined heat and power production - Using Tabu search, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Grenz, J. D., Development tools in software engineering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Halldorsson, T. I., Unit commitment for combined heat and power production - Using simulated annealing, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Hansen, A. B. C., Test and signalling for a 40Gbps transmitter/receiver prototype, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hansen, M., Datasikkerhed for web services i BankInvest, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hansen, M. L., Virtual Reality modelstrukturer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hjalvig, S., Kampfeldt, J., Kryptografisk adgangskontrol i peer-to-peer netværk, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Hoffmann, M., Petersen, D. E., Dry Friction and Impact Dynamics in Railway Vehicles, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Horsbøl, O., Bumpless transfer og regulering af vindmøller, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Jacobsen, D. J., Probabilistic Speech Detection, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Jensen, A. T., Algoritmer til skygger i realtidsgrafik og udvikling af hybridløsning, 2003 [full] [bibtex]

  • Jensen, T. K., Regularizing iterations for image restoration, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Jensen, T. B., Tolstrup, T. K., Teoribaseret udvikling af pålidelige webbaserede systemer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Jensen, K. G., Larsen, C. M., Cybercrime forensics, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [zip]

  • Jensen, A. T., Realtids skygger - hybridløsninger, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Jensen, M. M., Nielsen, T. K., A study planning system, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Ju, S., Lot sizing and delivery scheduling, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Jørgensen, N. A., Design of a low-power platform for running an embedded operating system, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Karlsen, R., Segmentation based automatic condition monitoring on large diesel engines, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [zip]

  • Kristiansen, B., Spangsege, K., 3D-console - An application interface based on X3D, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps] [ps.gz]

  • Krog, T., Visualization of Large-Scale Fluid, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Larsen, K., SoC system level integration, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Larsen, J. S., Optimering af MPEG-2 AAC dekodning MIPS processorer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Larsen, J. M., Korteste vej beregninger - state of the art, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Liu, J., Study Planning System Base on Web Service Technology, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Madsen, C. K., Integration of Specification Techniques, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maigaard, S., Undersøgelse af datasikkerhed i forbindelse med hjemmearbejdspladser i Danmark, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Meng, A., Robust adaptive filtering using information theoretical methods, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Miyashita, G., High-Level Synthesis of a MPEG-4 Decoder Using SystemC, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Morozova, A., Business modeling, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [ps]

  • Mønsted, H., eFuture - Kubebaseret ad hoc rapportering fra SQL databaser, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Nielsen, R. S., Real Time Rendering of Atmospheric Scattering Effects for Flight Simulators, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Nielsen, B. B., Håkansson, R., Virtual Reality Experiment Platform, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Nissen, H. E., Statistisk analyse af opformering af campylobacter, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Noriega, F., ERP Client Security, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Pajkovski, V., Bandwidth allocation in RT linux, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Pedersen, J., Statistisk analyse af kræftpatienters kropslige potentiale, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Pedersen, M. S., Speech segregation using blind source separation combined with head-related transfer functions, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Petersen, D. B., Embedded system design of a simple digital camera using SystemC, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Plakaris, G., Power efficient arithmetric circuits for application specific processors, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Poulsen, C., Christensen, M. R., A Framework for Ontology Based Queries in a Semistructured Database for World Heritage, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Rasmussen, B. R., Bedi, P. B., Testing in software engineering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Shrestha, M., Zhong, Z., Sound quality user-defined cursor reading control-tonality metric, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Skettrup, M., Multivariat dataanalyse af 2D-elektroforesegeler, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Skjerning, J., Analysis of Mouse Joints - Examination of Osteoarthritis by Automatic Visual Inspection, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Skoglund, K., Three-dimensional face modelling and analysis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Suleyman, C., Hassain, K. Q., Kombineret ressourceallokering og autorisation, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Thomsen, H. G., GPS til teknisk måling i en grønlandsk kommune, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Thrane, P., UW detektion, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Vangkilde, I., A web-portal with semantic web technologies, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Veluswamy, R., Fitting standard software to customer needs, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Warming, L. H., Netværks RTK, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Woods, E., Estimating WCET of real time programs, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Wrobel, M., Minimax optimization without second order information, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Wu, K., Optimal algorithms for GSM Viterbi modules, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Yttesen, J., Knowledge management - Developing a policy, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Zhou, J., Zheng, Y., Inducing Queries From Examples of World Heritage, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

Industrial collaborations

  • Andreasen, M., Web services payment systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

Ph.D. theses

Academic theses

  • Aanæs, H., Methods for Structure from Motion, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Bolander, T., Logical Theories for Agent Introspection, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [ps]

  • Bolander, T., Logical Theories for Agent Introspection, Informatics and Mathematical Modelling (IMM), Technical University of Denmark, 2003 [full] [bibtex]

  • Bredmose, H., Deterministic modelling of water waves in the frequency domain, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Christens, P. F., Statistical modelling of traffic safety development, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, and Danish Transport Research Center, 2003 [full] [bibtex] [pdf] [ps]

  • Fabricius, T., Multiuser detection and channel estimation: Exact and approximate methods, pp. 272, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [zip]

  • Hansen, J., Industrialised application of combinatorial optimization, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Have, A. S., Datamining on distributed medical databases, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hindsberger, M., Interconnected hydro-thermal systems - Models, methods, and applications, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Jespersen, K. G., Dynamics in nonlinear optical polymers, pp. 128, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Joensen, A., Short-term wind power prediction, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G. M., Novelty detection in dermatological images, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [zip]

  • Oldager, N., Conceptual Knowledge Representation and Reasoning, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Pedersen, T. E., Statistical analysis of the reliability of complex systems for maintenance planning, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Pedersen, T. F., Bayesian analysis of rotating machines - A statistical approach to estimate and track the fundamental frequency, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Pop, P., Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems, no. 833, Dept. of Computer and Information Science, Linköping University, 2003 [full] [bibtex]

  • Rehm, D., Hiearchial modeling of bioassays, pp. 134, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Sigurdsson, S., A Probabilistic Framework for Detection of Skin Cancer by Raman Spectra, pp. 202, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [zip]

  • Søndergaard, J., Optimization using surrogate models - by the space mapping technique, pp. 203, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [zip]

Technical reports

  • Brimberg, J., Juel, H., Schöbel, A., Locating a circle on a sphere, Informatics and Mathematical Modelling, Technical University of Denmark, 2003 [full] [bibtex] [pdf]

  • Elden, L., Hansen, P. C., Rojas, M., Minimization of Linear Functionals Defined on Solutions of Large-Scale Discrete Ill-Posed Problems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Hansen, N. H., Hvad bør vi mene? - Hvad bør vi gøre? Et videnskabsteoretisk essay med relation til Lomborg-sagen, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hansen, J., Kristensen, T. F., Crane scheduling for a plate storage in a shipyard: Modelling the problem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hansen, J., Kristensen, T. F., Crane scheduling for a plate storage in a shipyard: Solving the problem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hansen, J., Kristensen, T. F., Crane scheduling for a plate storage in a shipyard: Experiments and results, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hansen, J., Solving the non-oriented three-dimensional bin packing problem with stability and load bearing constraints, pp. 24, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hansen, P. S., 16 delaktiviteter under EDU-IT-projektet, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Jacobsen, N. G., GUIer gør godt - Introduktion til GUIer i Matlab, pp. 22, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [ps]

  • Larsen, J., Distribution of the Density of a Gaussian Mixture, Informatics and Mathematical Modelling, DTU, 2003 [full] [bibtex] [pdf] [zip]

  • Larsen, J., Gaussian Integrals, Informatics and Mathematical Modelling, DTU, 2003 [full] [bibtex] [pdf]

  • Madsen, R. E., Multi-Subject fMRI Generalization with Independent Component Representation, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G., Ersbøll, B., Principal component analysis of psoriasis lesions images, pp. 28, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G., Ersbøll, B., A hierarchical classification scheme of psoriasis images, pp. 23, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G., Ersbøll, B., Illumination correction in psoriasis lesions images, pp. 25, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G., Ersbøll, B., Texture alteration detection in bitemporal images of lesions with psoriasis, pp. 30, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G., Ersbøll, B., A combined alignment and registration scheme of psoriasis lesion images, pp. 42, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Maletti, G., Ersbøll, B., Change detection in registered psoriasis lesion image patterns, pp. 14, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Nielsen, H. A., Madsen, H., Teksturdata til beregning af friktionsværdier - anvendelse på vejoverflader?, no. 124, Vejteknisk Institut, Vejdirektoratet, 2003 [full] [bibtex]

  • Nielsen, H. A., Madsen, H., Fluorescens-spektre målt vha. BioView i indløbet på rensningsanlæg, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby, 2003 [full] [bibtex]

  • Nielsen, H. A., Madsen, H., Adaptiv kalibrering af COD-sensor baseret på fluorescens-spektre, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby, 2003 [full] [bibtex]

  • Nielsen, H. A., Madsen, H., Kalibrering af COD-sensor (BioView) placeret i indløb til renseanlæg, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby, 2003 [full] [bibtex]

  • Nielson, F., Nielson, H. R., Sun, H., Observation Predicates in Flow Logic, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Nolsøe, K., Kessler, M., Madsen, H., Estimating Functions with Prior Knowledge, (EFPK) for diffusions, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Pedersen, A. K., Larsen, L. M., Pedersen, G. K., Heinesen, M. V., Dueholm, K. S., Geological section along the south and south-west coast of Disko, central West Greenland. 1:20000 coloured geological sheet, Working paper, The Geological Survey of Denmark and Greenland, 2003 [full] [bibtex]

  • Pilegaard, H., A feasibility Study: The Succinct Solver v2.0, XSB Prolog v2.6, and Flow-Logic Based Program Analysis for Carmel, 2003 [full] [bibtex] [pdf]

  • Pontoppidan, N. H., Larsen, J., Sigurdsson, S., Steel, J., Douglas, R., Fog, T., Brown, E., Data acquisition strategy and signal preprocessing, Informatics and Mathematical Modelling, Technical University of Denmark, 2003 [full] [bibtex]

  • Quinonero-Candela, J., Girard, A., Rasmussen, C. E., Prediction at an Uncertain Input for Gaussian Processes and Relevance Vector Machines Application to Multiple-Step Ahead Time-Series Forecasting, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Schjødt-Eriksen, J., Clausen, J., Optimization and Simulation in Drug Development - Review and Analysis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [ps]

  • Sigurdsson, S., Larsen, J., Philipsen, P. A., Gniadecka, M., Wulf, H. C., Hansen, L. K., Estimating and suppressing background in Raman spectra with an artificial neural network, 2003 [full] [bibtex] [pdf]

  • Sigurdsson, S., Hansen, L. K., Drzewiecki, K., Identifying black dots in dermatoscopic images using template matching, 2003 [full] [bibtex] [pdf]

  • Sigurdsson, S., Hansen, L. K., Drzewiecki, K., Color segmentation of skin lesions with the generalizable Gaussian mixture model, 2003 [full] [bibtex] [pdf]

  • Stegmann, M. B., Davies, R. H., Automated Analysis of Corpora Callosa, pp. 10, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Thodberg, H. H., Minimum Description Length Shape and Appearance Models, pp. 12, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Thomadsen, T., Stidsen, T., The Quadratic Selective Travelling Salesman Problem, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf] [ps]

  • Vidal, V. V., Creativity and Problem Solving, pp. 27, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

Lecture notes

  • Juel, H., Noter (til 02701 Introduktion til Operationsanalyse), pp. 63, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2003 [full] [bibtex]

  • Sharp, R., The Poor Man's Guide to Computer Networks and their Applications, pp. 102, Informatics and Mathematical Modelling, DTU, 2003 [full] [bibtex] [pdf]

  • Vidal, V. V., Dealing with Problematic Situations, 2003 [full] [bibtex]

Software

  • Hansen, L. K., Nielsen, F. Å., Larsen, J., Periodic Signal Component Estimation Software, Departntment of Informatics and Mathematical Modelling, 2003 [full] [bibtex] [zip]

  • Stegmann, M. B., The IMM Publication Database, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Stegmann, M. B., The AAM-API, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

Misc

Presentations

  • Hansen, M. E., Pre-processing and analysis of spectrometric data, The Society of Danish Engineers, The Chemometrics Group, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hansen, M. E., Multispectral Vision Technology, 5th European Symposium on Near Infrared (NIR) Spectroscopy, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hansen, M. E., On statistical pattern recognition of fungal cultures, Seminar at BioCentrum–DTU, Technical University of Denmark, Kgs. Lyngby, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hansen, M. E., Smedsgaard, J., Automated data processing of high-resolution mass spectra, 2nd International Conference on Plant Metabolomics, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hansen, M. E., Color-Based Image Retrieval from High-Similarity Image Databases, 13th Scandinavian Conference on Image Analysis (SCIA), Gothenburg, Sweeden, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Hilger, K. B., Mathematical Modelling of Mandibular Metamorphosis from 3D CT (invited talk), Danish Society for Biomedical Engineering Meeting on Biomedical Image Analysis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Hilger, K. B., Issues in Biological Shape Modelling, Seminar at the Department of Statistics, Oxford University, 2003 [full] [bibtex]

  • Hilger, K. B., Statistical Shape Modelling and Markov Random Field Restoration (invited tutorial and exercise), Copenhagen Image and Signal Processing (CISP) Workshop, 2003 [full] [bibtex]

  • Larsen, J., Independent Component Analysis in Multimedia Modeling, Informatics and Mathematical Modelling, Technical University of Denmark, 2003 [full] [bibtex] [zip]

  • Larsen, T. O., Hansen, M. E., Smedsgaard, J., Rasmussen, T. B., Gibskov, M., Frisvad, J. C., Use of intelligent screening and biocombinatorial libraries in fungal metabolite discovery, 8th Danish Biotechnology Conference, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex]

  • Nielsen, F. Å., Receiver Operating Characteristics Curves in functional magnetic resonance imaging, Informatics and Mathematical Modelling, Technical University of Denmark, 2003 [full] [bibtex] [pdf]

  • Sharp, R., Sikkerhed i Gridsystemer, IDA-IT meeting on Grid Technology, pp. 11, 2003 [full] [bibtex]

Posters

  • Hansen, M. E., Smedsgaard, J., Automated data processing of high-resolution mass spectra, 2nd International Conference on Plant Metabolomics, 2003 [full] [bibtex] [pdf]

  • Larsen, B. D., Christensen, N. J., Optimizing Photon Mapping Using Multiple Photon Maps for Irradiance Estimates, WSCG POSTER proceedings, 2003 [full] [bibtex] [pdf]

  • Nielsen, F. Å., The Brede database: a small database for functional neuroimaging (poster), Ninth Annual Meeting of the Organization for Human Brain Mapping (HBM 2003), 2003 [full] [bibtex] [pdf] [ps.gz]

Manuals

Other

  • Boe-Hansen, R., Albrechtsen, H., Arvin, E., Spliid, H., Mikrobielle forureninger - vi ser kun toppen af isbjerget., Dansk Vand, pp. 86-90, Dansk vand- og spildevandsforening, 2003 [full] [bibtex]

  • Bærentzen, J. A., On Left-balancing Binary Trees, 2003 [full] [bibtex] [pdf]

  • Hilger, K. B., Larsen, R., Mathematical Modelling of Mandibular Metamorphosis (4M) Status Report, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Meng, A., An introduction to Markov and Hidden Markov Models, 2003 [full] [bibtex] [pdf]

  • Skoglund, K., Fitting a 3-D Deformable Model To 2-D Images - Some Results, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Skoglund, K., An Implementation for Memory Efficient and Data Type Independent Linear and Planar Procrustes Alignment, pp. 3, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Skoglund, K., Building a Statistical Shape Model from 3D Face Scans, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [full] [bibtex] [pdf]

  • Sparsø, J., The Thomas B. Thrige Center for Microinstruments, Report 1997-2002, pp. 1-20, 2003 [full] [bibtex]