IMM Publications - 1993

Journal papers

• Bandler, J. W., Biernacki, R., Chen, S., Gao, L., Madsen, K., Huber Optimization of Circuits: A Robust Approach, IEEE Trans. Microwave Theory and Tech., vol. MTT-41, pp. 2279-2287, 1993 [full] [bibtex]
  
  
• Caprani, O., Godthåb, B., Madsen, K., Use of a Real- Valued Local Minimum in Parallel Global Optimization, Interval Computations, vol. 2, pp. 71-82, 1993 [full] [bibtex]
  
  
• Carstensen, J., Madsen, H., Poulsen, N. K., Nielsen, M. K., Grey box modelling in two time domains of a wastewater pilot scale plant, Environmetrics, vol. 4, pp. 187-208, 1993 [full] [bibtex]
  
  
• Frølich, A., Nielsen, B. F., Conradsen, K., McNair, P., Filtering clinically significant hypercalcaemia from non-signifcant hypercalcaemia at the laboratory level, Scand J Clin Lab Invest, vol. 53, pp. 215-223, 1993 [full] [bibtex]
  
  
• Gislason, E., Johansen, M., Conradsen, K., Ersbøll, B. K., Jacobsen, S. K., Three different criteria for the design of two-dimensional zero phase FIR digital filters, IEEE Transactions on Signal Processing, vol. 41(10), pp. 3070-3074, 1993 [full] [bibtex]
  
  
• Haxthausen, A. E., Pedersen, J. S., Prehn, S., RAISE: a Product Supporting Industrial Use of Formal Methods, Technique et Science Informatiques, vol. 12(3), pp. 319-346, Afcet/Hermes, 1993 [full] [bibtex]
  
  
• Madsen, K., Nielsen, H. B., A Finite Smoothing Algorithm for Linear Estimation, SIAM J. on Optimization, vol. 3, pp. 223-235, 1993 [full] [bibtex]
  
  
• Madsen, K., Nielsen, H. B., A Finite Smoothing Algorithm for Linear L1 Estimation, SIAM J. on Optimization, vol. 3, pp. 223-235., 1993 [full] [bibtex]
  
  
• Nørholt, S. E., Sindet-Pedersen, S., Bugge, C., Branebjerg, P. E., Ersbøll, B. K., Bastian, H. L., A randomized, double blind, placebo controlled, dose-response study of the analgesic effect of lornoxicam after surgical removal of mandibular third molars, The Journal of Clinical Pharmacologi, vol. 35(6), pp. 606-614, 1993 [full] [bibtex]
  
  
• Sparsø, J., Staunstrup, J., Delay-insensitive Multi-ring Structures, Integration, the VLSI journal, vol. 15(3), pp. 313-340, 1993 [full] [bibtex]
  
  
• Storr-Hansen, E., Spliid, H., Coplanar polychlorinated biphenyl congener levels and patterns and the identification of separate polulations of harbour seals (Phoca Vitulina) in Denmark, Arch. Environ. Contam. Toxicol., vol. 24, pp. 24-58, 1993 [full] [bibtex]
  
  
• Storr-Hansen, E., Spliid, H., Distribution patterns of polychlorinated biphenyl congeners in harbour seal (phoca Vitulina) tissues, Arch. Environ. Contam. Toxicol., vol. 25, pp. 328-345, 1993 [full] [bibtex]
  
  
• Thyregod, P., Does Mil-STD 105 Motivate the Vendor to Improve Shipped Quality ?, Economic Quality Control, vol. 8, pp. 251-253, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Solving real-life combinatorial problems using simulated annealing, Belgian Journal of Operational Research, vol. 33(1-2), pp. 49-63, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Rygaard, J. M., Optimizing input rates to manufacturing cells in a production system, Belgian Journal of Operational Research, vol. 34, pp. 39-53, 1993 [full] [bibtex]
  
  

Conference papers

• Andersen, A. T., Nielsen, B. F., A transient queueing study of delay during changeover in the Message Transfer Part MTP, NTS-11, pp. 8.4.1-8.4.1, 1993 [full] [bibtex]
  
  
• Bandler, J. W., Biernacki, R. M., Chen, S. H., Gao, L., Robustizing Circuit Optimization using Huber Functions., IEEE MTT Trans. Microwave Symp. Digest, pp. 1009-1012, 1993 [full] [bibtex]
  
  
• Bowen, J. P., Fränzle, M., Olderog, E., Ravn, A. P., Developing correct systems, Proc. 5th Euromicro Workshop on Real-Time Systems, pp. 176-189, IEEE Computer Society Press, 1993 [full] [bibtex]
  
  
• Bro-Nielsen, M., Suzuki, K., Watanabe, M., 3D Modeling Method from Occluding Contours by Geometric Primitives,, Proc. Asian Conference on Computer Vision (ACCV'93), Osaka, Japan, no. 244-247, pp. 221-225, 1993 [full] [bibtex] [pdf]
  
  
• Carstensen, J. M., Cooccurrence feature performance in texture classification, The 8th Scandinavian Conference on Image Analysis, Tromsø, Norway, pp. 831-838, 1993 [full] [bibtex]
  
  
• Carstensen, J. M., Frykman, P., Towards integration of voxel models and object models in the simulation of geological sequences, The International Workshop: Statistics of Spatial Processes: Theory and applications, Bari, Italy, pp. 30-35, 1993 [full] [bibtex]
  
  
• Carstensen, J. M., Schultz, N., Analysing confocal laser scanning micrographs of pulp fibres, The 2nd European Research Symposium on Image Analysis for Pulp and Paper Research and Production, Darmstadt, Germany, pp. 63-67, 1993 [full] [bibtex]
  
  
• Chaochen, Z., Hansen, M. R., Sestoft, P., Decidability and Undecidability Results for Duration Calculus, STACS'93, vol. 665, pp. 58-68, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Chaochen, Z., Ravn, A. P., Hansen, M. R., An Extended Duration Calculus for Hybrid Systems, Hybrid Systems, vol. 736, pp. 36-59, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Hald, B. G., Madsen, J., Performance Aspects of Gate Matrix Layout, Proceedings of the 6th International Conference on VLSI Design '93, pp. 226 - 229, 1993 [full] [bibtex]
  
  
• Haxthausen, A. E., George, C. W., A Concurrency Case Study Using RAISE, Proceedings of FME'93: Industrial Strength Formal Methods, vol. 670, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Madsen, K., Jonasson, K., A Projected Conjugate Gradient Method for Sparse Minimax Problems., Proc. Symp. on Applied Mathematical Programming and Modelling. Budapest., pp. 304-311, 1993 [full] [bibtex]
  
  
• Madsen, J., Vandaele, B., Deferral Based List Scheduling, Proceedings of the 3rd International Conference on VLSI and CAD, ICVC'93, pp. 201 - 204, 1993 [full] [bibtex]
  
  
• Møller, D., Nielsen, B. F., Modelling the End-to-End Message Transfer Distribution in the ATCS Communication System, NTS-11, pp. 2.3.1-2.3.2, 1993 [full] [bibtex]
  
  
• Møller, D., Nielsen, B. F., Analysis of the Telecommunication Demands in a Large Geographically Dispersed Company, NTS-11, pp. 10.1.1-10.1, 1993 [full] [bibtex]
  
  
• Nielsen, A. A., Ersbøll, B. K., Pälchen, W., Rank, G., Aspects of analysis of multivariate, spatial data: Geochemistry from the Eastern Erzgebirge, GUESS'1 Nordic Symposium on Variability in Pollluted Soil and Groundwater, Ås, Norway, pp. 14, 1993 [full] [bibtex]
  
  
• Nielsen, B. F., Sauerberg, J., Evaluation of a method for online control of the metering system in the analoque telephone network, Digital Communication Network Management, pp. 1-11, ITC, 1993 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Layered Predicates, Proc. REX'92 workshop on Semantics -- foundations and applications, vol. 666, pp. 425-456, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., From CML to Process Algebras, Proc. CONCUR'93, vol. 715, pp. 493-508, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Finiteness Conditions for Strictness Analysis, Proc. Workshop on Static Program Analysis, vol. 724, pp. 194-205, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Pälchen, W., Rank, G., Kluge, A., Ersbøll, B. K., A new approach to differentiation between geogenic and anthropogenic influences on soils in a mining processing area, GUESS'1 Nordic Symposium on Variability in Polluted Soil and Groundwater, Ås, Norway, pp. 14, 1993 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., A rapprochement Between Discrete-time operators, European Control Conference (ECC93), Groningen, The Netherlands, vol. 2, pp. 426-431, 1993 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. K., Thygesen, B. G., Ravn, O., Stochastic Modelling and adaptive LQG control of a ship, 12'th IFAC World Congress, Sydney, Australia, vol. 5, pp. 397-400, 1993 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., General Predictive Control Using the Delta Operator, Proceedings of the 32th Conference on Decision and Control, San Antonio, Texas, USA, vol. 2, pp. 1769-1774, 1993 [full] [bibtex]
  
  
• Sommer, H. M., Holst, H., Spliid, H., Arvin, E., Non-linear parameter estimation in microbiologic degradation systems and statistic test for common estimation, International Congress on Moddelling and Simulation, 1993 [full] [bibtex]
  
  
• Sparsø, J., Staunstrup, J., Design and Performance Analysis of Delay Insensitive Multi-Ring Structures, Hawaii International Conference on Systems Sciences (HICSS'26). Volume1: Architecture, pp. 349-358, 1993 [full] [bibtex]
  
  
• Sparsø, J., Nielsen, C. D., Nielsen, L. S., Staunstrup, J., Design of Self-timed Multipliers: A Comparison, Asynchronous Design Methodologies, pp. 165-180, Elsevier Science Publishers, 1993 [full] [bibtex]
  
  
• Suzuki, K., Wada, T., Bro-Nielsen, M., Automatic Object Modeling based on Multiview Sensing Images, Proc. Asian Conference on Computer Vision (ACCV'93), Osaka, Japan,, pp. 244-247, 1993 [full] [bibtex]
  
  
• Vidal, V. V., The afforestation problem: outline of a decision support system, International Symposium on System Analysis and Management decisions in Forestry, Valdivia, Chile, pp. 10-13, 1993 [full] [bibtex]
  
  

• Holst, H., Kontrol af renset jord, ATV-møde: Vejledninger om renset jord, ATV, 1993 [full] [bibtex]
  
  
• Holst, H., Sampling founded on historical knowledge and statistical methods, Forurenset Grunn: Prøvetakning, Analyser, Risikovurderinger SFT/ATV, pp. 13, 1993 [full] [bibtex]
  
  
• Holst, H., Statistisk vurdering af måleresultater belyst ved et konkret eksempel, ATV-møde: Tungmetaller, pp. 85-87, ATV, 1993 [full] [bibtex]
  
  
• Juel, H., On heuristics for location in the plane, 6th International Symposium on Locational Decisions, 1993 [full] [bibtex]
  
  
• Larsen, R., Estimation of Motion Vector Fields, Proceedings of the 2nd Danish Conference on Pattern Recognition and Image Analysis (DANKOMB, DSAGM yearly meeting), Aug. 25-26, pp. 37-42, Dept. of Computer Science (DIKU), University of Copenhagen, 1993 [full] [bibtex] [pdf]
  
  
• Vidal, V. V., Sørensen, L., Evaluation of integrated environmental models: some methodological issues, NOAS'93, Trondheim, Norway, pp. 260-284, 1993 [full] [bibtex]
  
  

• Nielsen, A. A., Multispectral and multitemporal change detection - new approaches, Seminar on Satellite Remote Sensing of Environment and Agriculture in Developing Countries, pp. 53, 1993 [full] [bibtex]
  
  

Books

• Hjorth, E. L., Thyregod, P., Kvalitetsstyring - Statistiske metoder, pp. 357 pp., Erhvervsskolernes Forlag, 1993 [full] [bibtex]
  
  
• Juel, H., Supplementsnoter, opgaver og løsninger til Introduktion til Operationsanalyse, pp. 264, Institut for Matematisk Modellering, Danmarks Tekniske Universitet, 1993 [full] [bibtex]
  
  

• Bjørner, D., Broy, M., Pottosin, I. V., Formal Methods in Programming and Their Applications, Springer-Verlag, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Applied Simulated annealing, Springer Verlag, 1993 [full] [bibtex]
  
  

• Ranerup, K., Philipson, L., Madsen, J., Olesen, O., Janssen, G., Controller Synthesis and Verification, {Application-Driven Architecture Synthesis}, pp. 211 - 232, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Andersen, K., Solving the quadratic assignment problem, Applied Simulated Annealing, pp. 61-83, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Borges, P. M., Design of a teleprocessing communication network using simulated annealing, Applied Simulated Annealing, pp. 201-215, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Solving the afforestation problem, Applied Simulated Annealing, pp. 239-253, Springer Verlag, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Optimal partition of an interval - the discrete version, Applied Simulated Annealing, pp. 291-311, Springer Verlag, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Rygaard, J. M., Optimal pallet capacity for a FMS, Applied Simulated Annealing, pp. 335-354, 1993 [full] [bibtex]
  
  
• Zlatev, Z., Wasniewski, J., Venugopal, M., Moth, J., Optimizing Air Pollution Models on Two Alliant Computers, The Institute of Mathematics and Its Applications, Oxford, UK, 1993 [full] [bibtex]
  
  

Ph.D. theses

• Grunkin, M., On the analysis of image data using simultaneous interaction models, pp. 223 pp., IMSOR, Technical University of Denmark, DTU, 1993 [full] [bibtex] [pdf]
  
  
• Jensen, J. A., Digital image processing designed for evaluation of MR-examinations of the cardiovascular system, pp. 256 pp., IMSOR, Technical University of Denmark, DTU, 1993 [full] [bibtex]
  
  
• Jørgensen, J. F., Scanning probe microscopy image restoration and analysis., pp. 144 pp, IMSOR, Technical University of Denmark, DTU, 1993 [full] [bibtex]
  
  
• Olsson, C. K., Image processing methods in materials science, pp. 274 pp., IMSOR, Technical University of Denmark, DTU, 1993 [full] [bibtex]
  
  
• Palsson, O. P., Stochastic modeling, control and optimization of district heating systems, Technical University of Denmark, Department of Applied Mathematics and Computer Science, 1993 [full] [bibtex] [pdf]
  
  
• Sejling, K., Modelling and prediction of load in district heating systems, Technical University of Denmark, Department of Applied Mathematics and Computer Science, 1993 [full] [bibtex] [pdf]
  
  
• Søgaard, H. T., Stochastic systems with embedded parameter variations - applications to district heating, Technical University of Denmark, Department of Applied Mathematics and Computer Science, 1993 [full] [bibtex] [pdf]
  
  

Technical reports

• Bjørner, D., University Curricula in Software Technology, no. 7, 1993 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Ersbøll, B. K., Larsen, R., Hartelius, K., New Technologies for Mineral Exploration and Surveillance of Environmental Impacts of Mining Operations - Based on Remote Sensing and Multi-dataset Analysis. Extended Progress Report. CEC funded project no. BRE2-CT92-0201, pp. 39, IMSOR, DTU, 1993 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Windfeld, K., Ersbøll, B. K., Larsen, R., Hartelius, K., Olsson, C. K., Application and Development of New Techniques Based on Remote Sensing, Data Integration and Multivariate Analysis for Mineral Exploration. Final Report. CES funded project no. MA2M-CT90-0010., pp. 96, IMSOR, DTU, 1993 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Windfeld, K., Ersbøll, B. K., Larsen, R., Hartelius, K., Olsen, C. K., Application and Devolopment of New Techniques Based on Remote Sensing, Data Integration and Multivariate Analysis for Mineral Exploration. Final Report. CEC funded project no. MA2M-CT-90-0010, pp. 23, IMSOR, DTU, 1993 [full] [bibtex]
  
  
• Fränzle, M., Müller-Olm, M., Drift and Granularity of Time in Real-Time System Implementation, no. Kiel MF, Christian-Albrechts-Universität, 1993 [full] [bibtex]
  
  
• Fränzle, M., von Karger, B., Proposal for a Programming Language Core for ProCoS II, no. Kiel MF, Christian-Albrechts-Universität, 1993 [full] [bibtex]
  
  
• Hansen, M. R., Olderog, E., Constructing Circuits from Decidable Duration Calculus, Fachbereich Informatik, University Oldenburg, Germany, 1993 [full] [bibtex]
  
  
• Hansen, M. R., Olderog, E., Schenke, M., Fränzle, M., Karger, B. v., Müller-Olm, M., Rischel, H., A Duration Semantics for Real-Time Reactive Systems, Report no. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany, 1993 [full] [bibtex]
  
  
• Palsson, O. P., Ravn, H. F., Scenario analysis and the progressive hedging algorithm - simple numerical examples, pp. 28, Technical University of Denmark, Department of Applied Mathematics and Computer Science, 1993 [full] [bibtex] [pdf]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., Modelling of a One Degree of Freedom Flexible Link, no. 14, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1993 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., General Predictive Control Using the Delta Operator, no. 13, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1993 [full] [bibtex]
  
  
• Sommer, H. M., Holst, H., Spliid, H., Arvin, E., Non-linear parameter estimation in microbiologic degradation systems and statistic test for common estimation, Technical Report, no. 19, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1993 [full] [bibtex]
  
  

Lecture notes

• Busk, T., Nielsen, H. B., Numerisk Integration, pp. 24, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1993 [full] [bibtex]
  
  
• Nielsen, H. B., Thomsen, P. G., Numeriske Metoder for Sædvanlige Differentialligninger, pp. 44, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1993 [full] [bibtex]
  
  
• Poulsen, N. K., A short introduction to Matlab, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1993 [full] [bibtex]
  
  
• Vidal, V. V., Planlægning og OR, pp. 165, IMSOR, DTH, 1993 [full] [bibtex]
  
  

Misc

• Juel, H., LaTeX noter, Institut for Matematisk Modellering, Danmarks Tekniske Universitet, 1993 [full] [bibtex]
  
  

• Conradsen, K., Nielsen, A. A., Windfeld, K., Ersbøll, B. K., Larsen, R., Hartelius, K., Ohlsson, C. K., Application and Development of New Techniques Based on Remote Sensing, Data Integration and Multivariate Analysis for Mineral Exploration., Final Report. Technical Annex. The Commission of the European Communities, Contract No. MA2M-CT90-0010., pp. 92, 1993 [full] [bibtex]
  
  
• Poulsen, N. K., Rostgaard, M., Thygesen, B. G., Ravn, O., Prediction Error Methods for Delta Models, 1993 [full] [bibtex]
  
  
• Poulsen, N. K., Holst, J., Kalman Filtering with Unknown Variance Level, 1993 [full] [bibtex]
  
  
• Thygesen, B. G., Poulsen, N. K., Generalized Predictive controller design using the delta operator, 1993 [full] [bibtex]