IMM Publications - 1997

Journal papers

• Amtoft, T., Nielson, F., Riis Nielson, H., Type and Behaviour Reconstruction for Higher-Order Concurrent Programs, Journal of Functional Programming, vol. 7(3), pp. 321-347, 1997 [full] [bibtex]
  
  
• Bjørndal, L., Darvann, T., Bro-Nielsen, M., Larsen, R., Thylstrup, A., Automated Image Analysis in Undetermined Sections of Human Permanent Third Molars, Archives of Oral Biology, vol. 42(4), pp. 329-332, 1997 [full] [bibtex]
  
  
• Boon, J. P., Meer, J. v. d., Spliid, H., Concentration dependent changes of PCB patterns in different species of fish eating mammals in relation to uptake from food and biotransformation capacity, Arch. Environ. Contam. Toxicol., vol. 33, pp. 298-311, 1997 [full] [bibtex]
  
  
• Caprani, O., Madsen, K., Stauning, O., Existence Test for Asynchronous Interval Iterations, Reliable Computing, no. 3, pp. 259-268, 1997 [full] [bibtex]
  
  
• Clausen, J., Perregaard, M., Solving Large Quadratic Assignment Problems in Parallel, Computational Optimization and Applications, vol. 8, pp. 111 - 128, 1997 [full] [bibtex]
  
  
• Edlund, O., Ekblom, H., Madsen, K., Algorithms for Non-linear M-Estimation, Computational Statistics, vol. 12, pp. 373-383, 1997 [full] [bibtex]
  
  
• Ersbøll, B. K., Book review of "Image Analysis for the Biological Sciences" by Glasbey, C.A. and Horgan, G.W., Statistics in Medicine, vol. 16, pp. 2759-2760, 1997 [full] [bibtex]
  
  
• Fierro, R. D., Golub, G. H., Hansen, P. C., O'Leary, D. P., Regularization by Truncated Total Least Squares, SIAM J. Scientific Computing, vol. 18, pp. 1223-1241, 1997 [full] [bibtex]
  
  
• Fierro, R. D., Hansen, P. C., Low-Rank Revealing UTV Decompositions, Numerical Algorithms, vol. 15, pp. 37-55, 1997 [full] [bibtex]
  
  
• Fischer, P., Sequential and Parallel Algorithms for Finding a Maximum Convex Polygon, Computational Geometry, Theory and Applications, vol. 7, pp. 187-200, 1997 [full] [bibtex]
  
  
• Fischer, P., Hoeffgen, K. U., Lefmann, H., PAC-Learning from General Examples, Theoretical Computer Science, vol. 172, pp. 43-65, 1997 [full] [bibtex]
  
  
• Hansen, P. C., Ostromsky, T., Sameh, A., Zlatev, Z., Solving Sparse Linear Least Squares Problems on Some Supercomputers by Using Large Dense Blocks, BIT, vol. 37, pp. 535-558, 1997 [full] [bibtex]
  
  
• Hansen, M. R., Chaochen, Z., Duration Calculus: Logical Foundations, Formal Aspects of Computing, vol. 9, pp. 283-330, 1997 [full] [bibtex]
  
  
• Haxthausen, A. E., Order-sorted Algebraic Specifications with Higher-order Functions, Theoretical Computer Science, vol. 183, pp. 157-185, 1997 [full] [bibtex]
  
  
• Larsen, R. M., Hansen, P. C., Efficient Implementation of the SOLA Mollifier Method, Astronomy and Astrophysics, Suppl. Ser., vol. 121, pp. 587-598, 1997 [full] [bibtex]
  
  
• Larsen, J., Hansen, L. K., Generalization: The Hidden Agenda of Learning, The Past, Present, and Future of Neural Networks for Signal Processing, IEEE Signal Processing Magazine, pp. 43-45, 1997 [full] [bibtex] [pdf] [ps]
  
  
• Lauritsen, M. B., Rostgaard, M., Poulsen, N. K., GPC Using a Delta-Domain Emulator-Based Approach, International Journal of Control, vol. 68(1), pp. 219-232, 1997 [full] [bibtex]
  
  
• Ludvigsen, L., Albrechtsen, H., Holst, H., Christensen, T. H., Correlating phospolipid fatty acids (PLFA) in a landfill leachate polluted aquifer eith bio geochemical factors by multivariate statistical methods, FEMS Microbiology Reviews, vol. 20, pp. 447-460, 1997 [full] [bibtex]
  
  
• Madsen, J., Grode, J., Knudsen, P. V., Petersen, M. E., Haxthausen, A., LYCOS: The Lyngby Co-Synthesis System, Design Automation of Embedded Systems, vol. 2(2), pp. 195 - 236, 1997 [full] [bibtex]
  
  
• Ribeiro, A. B., Nielsen, A. A., An Application of Discriminant Analysis to Pattern Recognition of Selected Contaminated Soil Features in Thin Sections, Geoderma, vol. 76(3-4), pp. 253-262, 1997 [full] [bibtex] [pdf]
  
  

Conference papers

• Andersen, A. T., Nielsen, B. F., An application of superpositions of two-state Markovian sources to the modelling of self-similar behaviour, INFOCOM'97, 1997 [full] [bibtex]
  
  
• Andersen, J. S., Holst, H., Lauritzen, M. D., Multivariate calibration - chlorophyll flouroscens measurements, Anvendt Kemometri, pp. 105-115, 1997 [full] [bibtex]
  
  
• Bjørn-Jørgensen, P., Madsen, J., Critical Path Driven Cosynthesis for Heterogeneous Target Architectures, Proceedings of 5th International Workshop on Hardware/Software Codesign, Codes/CASHE'97, pp. 15 - 19, 1997 [full] [bibtex]
  
  
• Bjørner, D., Koussobe, S., Noussi, R., Satchok, G., Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools, ICFEM'97: Intl. Conf. on ``Formal Engineering Methods'', Hiroshima, Japan, pp. 263-271, IEEE Computer Society Press, 1997 [full] [bibtex]
  
  
• Bro-Nielsen, M., Fast finite elements for surgery simulation, Proc. Medicine Meets Virtual Reality 5 (MMVR-5'97), 1997 [full] [bibtex] [pdf]
  
  
• Bro-Nielsen, M., Gramkow, C., Kreiborg, S., Non-rigid image registration using bone growth model, CVRMed-MRCAS '97. 1st Joint Conf., Comp. Vision, VR and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery, pp. 3-12, Springer-Verlag, 1997 [full] [bibtex] [pdf]
  
  
• Bro-Nielsen, M., Rigid registration of CT, MR and cryosection images using a GLCM framework, CVRMed-MRCAS '97. 1st Joint Conf, Comp Vision, VR and Robotics in Medicine and Medical Robotics and Comp-Assisted Surgery Proc, vol. 1205, pp. 171-180, Springer-Verlag, 1997 [full] [bibtex] [pdf]
  
  
• Cerioli, M., Haxthausen, A., Krieg-Brückner, B., Mossakowski, T., Permissive Subsorted Partial Logic in CASL, Proceedings of AMAST'97, no. 1349, Springer-Verlag, 1997 [full] [bibtex]
  
  
• Cesa-Bianchi, N., Fischer, P., Shamir, E., Simon, H. U., Randomized Hypotheses and Minimum Disagreement Hypotheses for Learning with Noise, Computational Learning Theory: Proc. EuroCOLT~'97, LNAI~1208, pp. 119-133, Springer Verlag, 1997 [full] [bibtex]
  
  
• Dan C.R. Jensen, S. P., Madsen, J., The Importance of Interfaces: A HW/SW Codesign Case Study, Proceedings of 5th International Workshop on Hardware/Software Codesign, Codes/CASHE'97, pp. 87 - 91, 1997 [full] [bibtex]
  
  
• Ersbøll, A. K., Ersbøll, B. K., On spatio-temporal kriging, Proceedings of the Third Annual Conference of the International Association for Methematica Geology., pp. 617-622, CIMNE, 1997 [full] [bibtex]
  
  
• Ersbøll, B. K., Nielsen, T. H., Conradsen, K., On fusion of high (spatial) resolution greyscale imagery with low (spatial) resolution color imagery, The Third International Airbourne Remote Sensing Conference and Exhibition, Copenhagen 7-10 July 1997, pp. 11-337, 1997 [full] [bibtex]
  
  
• Ersbøll, B. K., Lambeck, R., On modelling corridors between areas of remnant vegetation, Proceedings of the 17th EARSel Symposium, Lyngby, Denmark, 17-19 June 1997, pp. 7, Balkema Publishers, 1997 [full] [bibtex]
  
  
• Ersbøll, B. K., Use of a two-step Baysian classifier to avoid singularity and to aid interpretation, Sydney Int. Statistical Congress, 8-12 July, 1996, Proc. of the 28th Symp. on the Interface in Computing Science and Statistics, pp. 27, 110-114, Interface Foundation of North America, Inc, 1997 [full] [bibtex]
  
  
• Espensen, A. M., Bergstrøm, W., Madsen, H., Nielsen, H. A., Implementation of Mini CHP, International Symposium on District Heating and Simulation, 1997 [full] [bibtex]
  
  
• Fisker, R., Carstensen, J. M., Automated visual inspection of textile, The 10th Scandinavian Conference on Image Analysis, Lappeenranta, Finland, pp. 173-179, 1997 [full] [bibtex]
  
  
• Folm-Hansen, J., Carstensen, J. M., Kalibrering af farvekameraer, Copenhagen, Denmark, Den 6. Danske Konference om Mønstergenkendelse og Billedanalyse, pp. 10 pp, 1997 [full] [bibtex]
  
  
• Gasser, K., Nielson, F., Riis Nielson, H., Systematic realisation of control flow analyses for CML, Proc. ICFP'97, pp. 38-51, ACM Press, 1997 [full] [bibtex]
  
  
• Gramkow, C., Bro-Nielsen, M., Comparison of three filters in the solution of the Navier-Stokes equation in registration, Proc. Scandinavian Conference on Image Analysis (SCIA'97), pp. 785-802, 1997 [full] [bibtex] [pdf]
  
  
• Hansen, C. K., Thyregod, P., On the use of field failure data for repairable systems to identify sources of variation, Frontiers of Statistical Quality Control, vol. 5, pp. 221-247, Physica Verlag, 1997 [full] [bibtex]
  
  
• Holten-Lund, H., Madsen, J., Pedersen, S., A Case Study of a Hybrid Parallel 3D Surface Rendering Graphics Architecture, Proceedings of the 7th Workshop on Synthesis and System Integration of Mixed Technologies, SASIMI'97, pp. 149 - 154, 1997 [full] [bibtex]
  
  
• Kaaramees, M., Hansen, M. R., From Design Specifications to Parallel Implementations, Selected papers from the 8th Nordic Workshop on Programming Theory, pp. 129-138, 1997 [full] [bibtex]
  
  
• Larsen, R., A 3-D Contextual Classifier, Proceedings of the 7th Scandinavian Conference on Image Analysis (SCIA'97), pp. 9--12, 1997 [full] [bibtex] [pdf]
  
  
• Larsen, J., A parallel approach to the stable marriage problem, Proceedings of NOAS '97, pp. 277-287, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Larsen, R., Nielsen, A. A., Conradsen, K., Restoration of Hyperspectral Push-Broom Scanner Data, Proceedings of the 17th EARSeL Symposium on Future Trends in Remote Sensing. Lyngby, Denmark, pp. 157-162, 1997 [full] [bibtex] [pdf]
  
  
• Nielsen, A. A., Conradsen, K., Pedersen, J. L., Steenfelt, A., Spatial Factor Analysis of Stream Sediment Geochemistry Data from South Greenland, Proceedings of the Third Annual Conference of the International Association for Mathematical Geology (IAMG'97), pp. 955-960, 1997 [full] [bibtex] [pdf]
  
  
• Nielsen, A. A., Larsen, R., Skriver, H., Change Detection in Bi-temporal EMISAR Data from Kalø, Denmark, by Means of Canonical Correlations Analysis, Third International Airborne Remote Sensing Conference and Exhibition, vol. 1, pp. 281-287, 1997 [full] [bibtex]
  
  
• Nielsen, A. A., Ersbøll, B. K., W., P., Rank, Spatial analysis of multivariate, (lr-regularly sampled data: Geochemistry of the eastern Ertzgebirge, Proceedings of the 5th International Geostatistics Congress. Wollongong, 22-27 September 1996, pp. 1173-1184, Kluwer Academic Publishers, 1997 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Nielsen, T. S., Conditionally Parametric ARX-models for Modelling time delays in district heating systems, International Symposium on District Heating and Simulation, 1997 [full] [bibtex]
  
  
• Nielsen, H. A., Nielsen, T. S., Madsen, H., ARX-models with parameter variations estimated by local fitting, 11th IFAC Symposium on System Identification, vol. 2, pp. 475-480, 1997 [full] [bibtex]
  
  
• Nielsen, A. H., Pedersen, K. O. H., Poulsen, N. K., Estimating the Short-Circuit Impedance, 32nd University Power Engineering Conference UPEC97, vol. 1, pp. 453-457, 1997 [full] [bibtex]
  
  
• Nielsen, B. F., Ramaswami, V., A Computational Framework for a Quasi Birth and Death Process A Computational Framework for a Quasi Birth and Death Process with a Continuous Phase Variable, ITC-15, Elsevier, 1997 [full] [bibtex]
  
  
• Nielsen, F. Å., Hansen, L. K., Interactive information visualization in neuroimaging, Proceedings of the 1997 workshop on New paradigms in information visualization and manipulation, ACM, 1997 [full] [bibtex] [pdf]
  
  
• Nielson, F., Riis Nielson, H., Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis, Proc. POPL'97, pp. 332-345, ACM Press, 1997 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., A Prescriptive Framework for Designing Multi-Level Lambda-Calculi, Proc. PEPM'97, pp. 193-202, ACM Press, 1997 [full] [bibtex]
  
  
• Nørgaard, M., Poulsen, N. K., Ravn, O., NNSYSID & NNCTRL-Matlab Tools for System Identification with Neural Networks, Proceeding of the 11'th {IFAC} Symposium on System Identification (SYSID97), Kitakyushu, Fukuoka, Japan, pp. 975-981, 1997 [full] [bibtex]
  
  
• Rischel, H., Sun, H., Design and Prototyping of Real-Time Systems Using CSP and CML, Proc. of the 9th Euromicro Workshop on Real-Time Systems, pp. 121-127, IEEE Computer Society, 1997 [full] [bibtex]
  
  
• Schultz, N., Carstensen, J. M., Bimodal histogram transformation based on maximum likelihood parameter estimates in univariate Gaussian mixtures, Image Analysis and Processing, ICIAP'97, vol. 2, pp. 532-543, Springer, 1997 [full] [bibtex]
  
  
• Steensgaard-Madsen, J., A Generator for Composition Interpreters, Object-Oriented Technology: ECOOP 97 workshop reader, vol. 1357, pp. 369-373, 1997 [full] [bibtex]
  
  
• Sun, H., Ravn, A. P., Architectural Jigsaw Pattern, Proc. of the Foundation of Component-Based Systems Workshop, affiliate with ESES/FSE'97, pp. 221-230, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N. K., Robustness of Linear Systems towards Multi-Dissipative Pertubations, American Control Conference (ACC97), Albuquerque, New Mexico, USA, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N., Simultaneous output Feedback H-Control of p Plants using switching, European Control Conference, Brussels, Belgium, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N. K., Min-max control of non-linear systems with multi-dissipative opponents, Presented at 6th Viennese Workshop on Optimal Control, Dynamic Games, Nonlinear Dynamics and Adaptive Systems, 1997 [full] [bibtex]
  
  
• Xin, M., Poulsen, N. K., Bindner, H., Estimation of Wind Speed in connection to Wind Turbine, Procededings for ASTED International Conference on Control, Cancun, Mexico, pp. 105-109, 1997 [full] [bibtex]
  
  

• Golub, G. H., Hansen, P. C., O'Leary, D. P., Return of the TLS Regularization, Proceedings of the Interdisciplinary Inversion Workshop 5, pp. 112-122, Dept. of Earth Science, 1997 [full] [bibtex]
  
  
• Hansen, P. K., Hansen, P. C., Hansen, S. D., Sørensen, J. A., ULV-Based Signal Subspace Method for Speech Enhancement, International Workshop on Acoustic Echo and Noise Control, IWAENC'97, pp. 9-12, Imperial Collega, 1997 [full] [bibtex]
  
  
• Larsen, A., Madsen, O. B., Solving the multiple depot vehicle scheduling problem in a major scandinavian city, Proceedings, NOAS '97, no. 23, pp. 289-306, Department of Computer Science, University of Copenhagen, 1997 [full] [bibtex]
  
  
• Larsen, R., Estimation of Centers and Stagnation points in optical flow fields, Proceedinsg of the 6th Danisk Conference on Pattern Recognition and Image Analysis (DANKOMB, DSAGM yearly meeting), Aug., Dept. of Computer Science (DIKU), University of Copenhagen, 1997 [full] [bibtex] [pdf]
  
  
• Nielsen, H. A., Nielsen, T. S., Madsen, H., Local fitting of autoregressive models with external input, Symposium i anvendt statistik, pp. 175-188, 1997 [full] [bibtex]
  
  
• Thyregod, P., The Process of Developing an International Standard on Statistical Methods (invited paper), Bulletin of the International Statistical Institute, vol. LVII(2), pp. 339-342, 1997 [full] [bibtex]
  
  
• Vidal, V. V., Borges, P. M., Nominal Channel Allocation for Cellular Mobile Systems with Non-uniform Traffic Distribution, NOAS'97, Copenhagen, Denmark, pp. 172-190, 1997 [full] [bibtex]
  
  

• Nielsen, F. Å., Hansen, L. K., Toft, P., Goutte, C., Lange, N., Strother, S. C., Mørch, N., Svarer, C., Savoy, R., Rosen, B., Rostrup, E., Born, P., Comparison of two convolution models for fMRI time series, NeuroImage, vol. 5(4), pp. S473, Academic Press, 1997 [full] [bibtex] [pdf]
  
  

Books

• Brøns, M., Bendsøe, M. P., Sørensen, M. P., Progress in Industrial Mathematics at ECMI 96, B.G. Teubner Stuttgard, Germany, B.G. Teubner, 1997 [full] [bibtex]
  
  
• Holst, H., La Cour, L., Høskuldsson, A., Symposium i anvendt statistik, 1997 [full] [bibtex]
  
  
• Nielson, F., ML with Concurrency: Design, Analysis, Implementation, and Application, Springer-Verlag, 1997 [full] [bibtex]
  
  

• Amtoft, T., Nielson, F., Riis Nielson, H., Ammann, J., Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics, Analysis and Verification of Multiple-Agent Languages, no. 1192, pp. 172-206, 1997 [full] [bibtex]
  
  
• Bandler, J. W., Biernacki, R. M., Chen, S. H., Hemmers, R. H., Madsen, K., Space mapping optimization for engineering design, Large Scale Optimization with Applications, Part I, pp. 1-16, Springer, 1997 [full] [bibtex]
  
  
• Clausen, J., Parallel Branch and Bound - Principles and Personal experiences, Parallel Computing in Optimization, pp. 239 - 267, Kluwer, 1997 [full] [bibtex]
  
  
• Madsen, J., Grode, J., Knudsen, P. V., Hardware/Software Partitioning using the LYCOS System, Hardware/Software Codesign: Principles and Practices, pp. 257-279, 1997 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Amtoft, T., Polymorphic Subtyping for Effect Analysis: The Algorithm, Analysis and Verification of Multiple-Agent Languages, no. 1192, pp. 207-243, 1997 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Communication Analysis for Concurrent ML, ML with Concurrency, pp. 185-235, 1997 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Amtoft, T., Polymorphic Subtyping for Effect Analysis: The Static Semantics, Analysis and Verification of Multiple-Agent Languages, no. 1192, pp. 141-171, 1997 [full] [bibtex]
  
  
• Tamsdorf, R., Madsen, H., Carstensen, J. M., On optical flow estimation in radar images for precipitation forecasting, Operational Water Management, pp. 65-71, 1997 [full] [bibtex]
  
  
• Tidemann, J., Nielsen, A. A., A Simple Neural Network Contextual Classifier, Neurocomputation in Remote Sensing Data Analysis, pp. 186-193, Springer, 1997 [full] [bibtex] [pdf]
  
  

Master's theses

• Sternberg, J., Scanning and modelling of 3D objects, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf]
  
  

Ph.D. theses

• Arnbjerg-Nielsen., K., Statistical analysis of urban hydrology with special emphasis on rainfall modelling, pp. 161, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Bischoff, S., Modelling colliding-pulse mode-locked semiconductor lasers, pp. 217, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps.gz]
  
  
• Fränzle, M., Controller Design from Temporal Logic: Undecidability need not matter, no. 9710, Technische Fakultät der Christian-Albrechts-Universität Kiel, 1997 [full] [bibtex] [ps]
  
  
• Furst, C. E., Low Power / Low Voltage Interface Circuitry for Capacitive Sensors - Design, Optimization and Applications, Department of Information Technology, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf]
  
  
• Hansen, L. H., Stochastic modelling of central heating systems, pp. 301, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Hansen, P. S., Signal subspace methods for speech enhancement, pp. 214, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps.gz]
  
  
• Jacobsen, J. L., Dynamic modelling of processes in rivers affected by precipitation runoff, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Jensen, C. N., Nonlinear systems with discrete and continuous elements, pp. 205, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf]
  
  
• Jørgensen, C., Driftsoptimering på kraftvarmesystemer, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Lauritsen, M. B., Delta-Domain Predictive Control and Identification for Control, pp. 292, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Pedersen, M. W., Optimization of recurrent neural networks for time series modeling, pp. 322, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps.gz]
  
  
• Petersen, K. T., Estimation of speech quality in telecommunication systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Rasmussen, K. Ø., Nonlinear and stochastic dynamics of coherent structures, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Rosholm, A., Statistical methods for segmentation and classification of images, pp. xiv+181pp., Department of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Sommer, H. M., Variability in microbiological degradation experiments, analysis and case study, pp. 211, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Stauning, O., Automatic validation of numerical solutions, pp. 116, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Thorsen, R., Restoration of hand function in tetraplegics using myoelectrically controlled functional electrical stimulation of the controlling muscle, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Xin, M., Adaptive Extremum Control and Wind Turbine Control, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf] [ps]
  
  

Technical reports

• Andersen, A. T., Nielsen, B. F., On the use of second order descriptors to characterize MAP, no. 050, IMM-DTU, 1997 [full] [bibtex]
  
  
• Bjørner, D., From Domain Engineering via Requirements to Software. Formal Specification and Design Calculi, Department of Information Technology, Software Systems Section, Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Flesche, H., Nielsen, A. A., Larsen, R., Development of a Model for Classification of 22 Minerals in Siliciclastic Rocks Based on SEM EDS Images., Norsk Hydro internal report R-078852, 1997 [full] [bibtex]
  
  
• Flesche, H., Nielsen, A. A., Larsen, R., Classification of Minerals from SEM EDS Images: Development of a Model for Classification of 27 Minerals Siliciclastic and Carbonate Rocks, Norsk Hydro internal report R-078852., 1997 [full] [bibtex]
  
  
• Larsen, R., Nielsen, A. A., Conradsen, K., casi Scanner Test Data, DANMAC report, Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Larsen, R., Nielsen, A. A., Conradsen, K., Pre-processing and Classification of GER 3715 Data: T3F1: DANMAC Data Report., Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Larsen, R., Estimation of fluid flow fields and their stagnation points, Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf]
  
  
• Larsen, R., Hansen, J. D., Ersbøll, B. K., Conradsen, K., Temporal interpolation in Meteosat images, Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf]
  
  
• Larsen, R., 3-D contextual Bayesian classifiers, Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [pdf]
  
  
• Nielsen, H. B., QPBOX USER'S GUIDE, A Fortran77 Package for Box Constrained Quadratic Programs, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Nielsen, A. A., Larsen, R., Conradsen, K., Classification of EMISAR C-band Data: M17/M25: DANMAC Data Report., Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Development of methods for evaluation of electricity savings and load levelling Measures, Part 1: Aggregated Power Consumption Models for the Eastern Part of Denmark, Department of Mathematical Modelling, Technical University of Denmark, DK-2800 Lyngby, Denmark in collaboration with NESA A/S,, 1997 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Development of methods for evaluation of electricity savings and load levelling Measures, Part 3: Experimental Assessment of the Effect of a Power Conservation Campaign, Department of Mathematical Modelling, Technical University of Denmark, DK-2800 Lyngby, Denmark in collaboration with NESA A/S,, 1997 [full] [bibtex]
  
  
• Nielsen, H. A., LFLM version 1.0, An S-PLUS / R library for locally weighted fitting of linear models, no. 22, Department of Mathematical Modelling, Technical University of Denmark, DK-2800 Lyngby, Denmark, 1997 [full] [bibtex]
  
  
• Nielsen, A. A., Conradsen, K., Multivariate alteration detection (MAD) in multispectral, bi-temporal image data: A new approach to change detction studies, IMM, DTU, 1997 [full] [bibtex] [zip]
  
  
• Nørgaard, M., Poulsen, N. K., Ravn, O., Autonomous Guided Vehicle - Modelling, no. 25, pp. 22, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Nørgaard, M., Poulsen, N. K., Ravn, O., Autonomous Guided Vehicle - Sensor analysis, no. 26, pp. 24, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Poulsen, N. K., Thygesen, U. H., Lauritsen, M., Rostgaard, M., Stokastisk Regulering i L-strukturen (Genreg), no. 2, Department of Mathematical Modelling (IMM), The Technical University of Denmark}, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N., Simultaneous output Feedback H_\infty Control of p Plants using switching, no. 24, pp. 24, epartment of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N. K., Min-max control of non-linear systems with multi-dissipative opponents, no. 23, epartment of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N. K., On Multi-dissipative perturbations in linear systems, no. 1, pp. 24, epartment of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Vidal, V. V., On the solution of production planning problems, pp. 21, IMSOR, DTH, 1997 [full] [bibtex]
  
  
• Vidal, V. V., Borges, P. M., A global maximum principle applied to a model of consumer brand choice, pp. 20, IMM, DTU, 1997 [full] [bibtex]
  
  
• Xin, M., Poulsen, N. K., Bindner, H., Extremum tracking control of a Wind turbine, no. 14, pp. 26, immdtu, 1997 [full] [bibtex]
  
  

Lecture notes

• Nielsen, H. B., Direct Methods for Sparse Matrices, pp. 44, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex] [ps]
  
  
• Poulsen, N. K., Stokastisk adaptiv regulering - Basis, vol. 1, pp. 196, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Poulsen, N. K., Stokastisk adaptiv regulering -Stokastiske Systemer, filtrering og regulering, vol. 2, pp. 236, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Poulsen, N. K., Stokastisk adaptiv regulering - System identifikation, vol. 3, pp. 107, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Poulsen, N. K., Stokastisk adaptiv regulering - Adaptive Systemer, vol. 4, pp. 43, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Poulsen, N. K., Stokastisk adaptiv regulering - Appendix, vol. 5, pp. 66, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1997 [full] [bibtex]
  
  
• Sparsø, J., Compilation of lecture notes for "Summer School on Asynchronous Circuit Design", DTU, August 18-22, 1997 [full] [bibtex]
  
  
• Vidal, V. V., Planlægning og OR, pp. 210, IMM, DTU, 1997 [full] [bibtex]
  
  

Software

• Nielsen, H. A., LFLM (Local Fitting of Linear Models / Locally weighted Fitting of Linear Models), Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1997 [full] [bibtex]
  
  
• Olhsson, M., Toft, P., geo, Informatics and Mathematical Modelling, Technical University of Denmark, 1997 [full] [bibtex] [zip]
  
  

Misc

• Christiansen, P. L., Sørensen, M. P., Solitons and Coherent Structures in Physics and Biology, Solitons and Coherent Structures in Physics and Biology (SOLPHYS), MIDIT, 1997 [full] [bibtex]
  
  
• Hankin, C. L., Riis Nielson, H., Palsberg, J., Strategic Directions in Computer Science: Models of Programming Languages, ACM Sigplan Notices, vol. 32(1), 1997 [full] [bibtex]
  
  
• Nielson, F., et al., Logical and Operational Methods in the Analysis of Programs and Systems, Proceedings of the Fifth LOMAPS Workshop, pp. 1-21, Springer-Verlag, 1997 [full] [bibtex]
  
  
• Nielson, F., Perspectives on Program Analysis, ACM Sigplan Notices, vol. 32(1), 1997 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Analysis of Programs, Encyclopedia of Mathematics, Supplement Volume 1, Kluwer, 1997 [full] [bibtex]
  
  
• Thygesen, U. H., Poulsen, N. K., Robustness of Non-Linear Systems towards Multi-Dissipative Pertubations, 1997 [full] [bibtex]