IMM Publications - 1992

Journal papers

• Bilbo, C. M., Arvin, E., Holst, H., Spliid, H., Modelling the growth of methane-oxidizing bacteria in a fixed biofilm, Water Research, vol. 26(3), pp. 301-309, 1992 [full] [bibtex]
  
  
• Bjørner, D., Haxthausen, A. E., Havelund, K., Formal, Model-oriented Software Development Methods: From VDM to ProCoS, and from RAISE to LaCoS, Future Generation Computer Systems, 1992 [full] [bibtex]
  
  
• Ersbøll, B. K., Conradsen, K., Automated grading of wood-slabs. The development of a prototype system, Special issue of Industrial Metrology, vol. 2(3-4), pp. 219-236, 1992 [full] [bibtex]
  
  
• Fischer, P., Simon, H. -., On Learning Ring-Sum-Expansions, SIAM Journal on Computing, vol. 21, 1, pp. 181-192, 1992 [full] [bibtex]
  
  
• Fredfeld, K. E., Christensen, E., Conradsen, K., Ersbøll, B. K., Stedstrup, S., Automatic screening of plain film mammography, Seminars in Ultrasound, CT and MRI, vol. 13(2), pp. 135-139, 1992 [full] [bibtex]
  
  
• Hansen, C. K., Thyregod, P., On the analysis of field failure data for repairable systems, Reliability and System Safety, vol. 36, pp. 47-51, 1992 [full] [bibtex]
  
  
• Hansen, C. K., Thyregod, P., Component Lifetime Models Based on Weibull Mixtures and Competing Risks, Quality and Reliability Engineering International, vol. 8, pp. 325-333, 1992 [full] [bibtex]
  
  
• Henriksen, T., Madsen, K., Parallel Algorithms for Global Optimization., Interval Computations, vol. 3(5), pp. 88-95, 1992 [full] [bibtex]
  
  
• Holst, H., Comparison of different calibration methods suited for calibration problems with many variables, Applied Spectroscopy, vol. 46(12), pp. 1780-1784, 1992 [full] [bibtex]
  
  
• Juel, H., Love, R. F., The dual of a generalized minimax location problem, Annals of Operations Research, vol. 40, pp. 261-264, 1992 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Forced Transformations of Occam Programs, Information and Software Technology, vol. 34(2), pp. 91-96, 1992 [full] [bibtex]
  
  
• Parkum, J., Poulsen, N. K., Holst, J., Recursive forgetting algorithms, International Journal of Control, vol. 55(1), pp. 109-128, 1992 [full] [bibtex]
  
  
• Poulsen, N. K., Damsgaard, A., Reinhold, T. A., Determination of Flutter Derivatives for the Great Belt Bridge, Journal of Wind Engineering and Industrial Aerodynamics, vol. 41, pp. 153-164, 1992 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Bounded Fixed-Point Iteration, Journal of Logic and Computation, vol. 2(4), pp. 441-464, 1992 [full] [bibtex]
  
  
• Ritzau, M., Hillerup, S., Branebjerg, P. E., Prevention of alveolitis sicca dolorosa with metronidazole? A double blind placebo controlled clinical study, International Journal of Oral Maxillofacial Surgery, vol. 21, pp. 299-302, 1992 [full] [bibtex]
  
  
• Vidal, V. V., The afforestation problem: a heuristic method based on simulated annealing, European Journal of Operational Research, vol. 56, pp. 184-191, 1992 [full] [bibtex]
  
  
• Vidal, V. V., Petersen, K. M., Interprocess synchronization in a steel production, International Journal of Production Research, vol. 30(6), pp. 1415-1425, 1992 [full] [bibtex]
  
  
• Vidal, V. V., Ydiego, M., Planning of disposal sites in Dar Es Salaam, Tanzania - a decision support systems approach, Waste Management&Research, vol. 10, pp. 59-74, 1992 [full] [bibtex]
  
  
• Vidal, V. V., Computerization in developing countries: model and reality, IFORS the developing countries newsletter, vol. 2(2), pp. 6-7, 1992 [full] [bibtex]
  
  
• Wrisberg, M. N., Bilbo, C. M., Spliid, H., Induction of micronuclei in hemocytes of Mytilus edulis and statistical analysis, Ecotoxicology and environmental safety, vol. 23, pp. 191-205, 1992 [full] [bibtex]
  
  

Conference papers

• Andersen, A. M. S., Nielsen, B. F., Traffic models of the Message Transfer Part MTP, NTS-10, 1992 [full] [bibtex]
  
  
• Bjørner, D., A Role for UNU/IIST: Developing Countries' Access to New Information Technologies, Access to Science and Technology - The Role of Information Technology, Kyoto University & UNU Press, 1992 [full] [bibtex]
  
  
• Bjørner, D., Trustworthy Computing Systems: The ProCoS Experience, 14'th ICSE: Intl. Conf. on Software Eng., Melbourne, Australia, pp. 15-34, ACM Press, 1992 [full] [bibtex]
  
  
• Bjørner, D., From Research to Practice: Self-reliance of the Developing World through Software Technology: Usage, Education & Training, Development & Research, Information Processing '92, IFIP World Congress '92, Madrid, pp. 65-71, IFIP Transaction A-12: Algorithms, Software, Architecture, 1992 [full] [bibtex]
  
  
• Bjørner, D., Nilsson, J. F., Algorithmic & Knowledge Based Methods - Do they ``Unify''? - with some Programme Remarks for, International Conference on Fifth Generation Computer Systems: FGCS'92, ICOT, 1992 [full] [bibtex]
  
  
• Buth, B., Buth, K., Fränzle, M., von Karger, B., Lakhneche, Y., Langmaack, H., Müller-Olm, M., Provably correct compiler development and implementation, Compiler Construction, vol. 641, pp. 141-155, Springer Verlag, 1992 [full] [bibtex]
  
  
• Carstensen, J. M., Grunkin, M., Conradsen, K., Measurement of enzymatic treatment effect on textile using digital image analysis, MVA '92, IAPR Workshop on Machine Vision Applications, Tokyo, Japan, pp. 277-280, 1992 [full] [bibtex]
  
  
• Ersbøll, B. K., Conradsen, K., A strategy for grading natural materials using a two-step classification procedure, SPIE, Boston, pp. 12, 1992 [full] [bibtex]
  
  
• Hald, B. G., Madsen, J., A New Layout Model For Automatic Gate Matrix Layout Generation, Proceedings of the NORCHIP Seminar'92, pp. 112 - 118, 1992 [full] [bibtex]
  
  
• Hansen, M. R., Chaochen, Z., Semantics and Completeness of Duration Calculus, Real-Time: Theory in Practice, REX Workshop, vol. 600, pp. 209-225, Springer-Verlag, 1992 [full] [bibtex]
  
  
• Hansen, M. R., Chaochen, Z., Staunstrup, J., A Real-Time Duration Semantics for Circuits, TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., NJ, ACM/SIGDA, 1992 [full] [bibtex]
  
  
• Løvengreen, H. H., Staunstrup, J., Synchronous Realization of Asynchronous Computations, IFIP WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Elsevier, 1992 [full] [bibtex]
  
  
• Madsen, K., Nielsen, H. B., A Continuation Method for Linear Estimation., Statistical Analysis and Related Methods, pp. 371-377, North Holland, 1992 [full] [bibtex]
  
  
• Madsen, K., Ekblom, H., Robust Algorithms for Non-Linear Estimation., Statistical Analysis and Related Methods, pp. 327-335, North Holland, 1992 [full] [bibtex]
  
  
• Madsen, J., Hald, B. G., Controller Synthesis Using Compiled Cells, Proceedings of the NORCHIP Seminar'92, pp. 36 - 43, 1992 [full] [bibtex]
  
  
• Madsen, K., Nielsen, H. B., A Continuation Method for Linear Estimation, 2nd Int. Conf. On Stat. Data Analysis based on the L1-norm and Related Methods, Neuchatel, pp. 371-377, North Holland, 1992 [full] [bibtex]
  
  
• Nielsen, B. F., Barker, V. A., A Phase Type Model for the Trunk Reservation Protection Method, NTS-10, 1992 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., The tensor product in Wadler's analysis of lists, Proc. ESOP'92, vol. 582, pp. 351-370, Springer-Verlag, 1992 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Bounded Fixed Point Iteration, Proc. POPL'92, pp. 71-82, ACM Press, 1992 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Finiteness Conditions for Fixed Point Iteration, Proc. Lisp and Functional Programming (LFP), pp. 96-108, ACM Press, 1992 [full] [bibtex]
  
  
• Solberg, K. L., Riis Nielson, H., Nielson, F., Inference Systems for Binding Time Analysis, Proc. Workshop on Static Program Analysis, pp. 247-254, University of Bordeaux, 1992 [full] [bibtex]
  
  
• Sparsø, J., Staunstrup, J., Dantzer-Sørensen, M., Design of delay insensitive circuits using multi-ring structures, Proc. of EURO-DAC'92, European Design Automation Conference, Hamburg, Germany, September 7-10, pp. 15-20, 1992 [full] [bibtex]
  
  
• Thyregod, P., Madsen, H., On an adaptive acceptance control chart for autocorrelated processes, Frontiers in Statistical Quality COntrol, vol. 4, pp. 138-154, Physica Verlag, 1992 [full] [bibtex]
  
  
• Vidal, V. V., Rygaard, J. M., A DSS for determinig multi-product optimal batch sizes with in-process inventories and multi-work centers, IFIP/IFORS/IMACS/ISPE Symposium on information control problems in manufacturing technology, Poland, pp. 599-606, Springer Verlag, 1992 [full] [bibtex]
  
  
• Vidal, V. V., Ferreira, J. S., Optimal partitioning of an interval: some case studies, 2nd. APORS, Beijing, China, pp. 277-282, Peking University Press, 1992 [full] [bibtex]
  
  

• Larsen, R., Nielsen, A. A., Grunkin, M., Conradsen, K., Restoration of GERIS Data using the Maximum Noise Fractions Transformation, Proceedings of the 8th Visionday, AUC, November 25th, 1992, -- Imaging and Active Vision, pp. 129-144, Danish Image Processing Consortium, 8th Visionday, 1992 [full] [bibtex]
  
  
• Larsen, R., Orthogonal Transformations of GER data, Proceedings of the 1st Danish Conference on Pattern Recognition and Image Analysis (DANKOMB, DSAGM yearly meeting), Jun 11-12, pp. 47-53, Dept. of Computer Science (DIKU), Universiity of Copenhagen, 1992 [full] [bibtex]
  
  
• Vidal, V. V., Sørensen, L., An evaluation of integrated environmental models exemplified with the RAINS model, VI Latin American Meeting on Operational Research and Systems Engineering, Mexico, 1992 [full] [bibtex]
  
  

Books

• Hjorth, E. L., Nielsen, H. B., Thyregod, P., SPC-Statistisk processtyring, Dansk Standard, 1992 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Two-Level Functional Languages, Cambridge University Press, 1992 [full] [bibtex]
  
  
• RAISE Language Group, Haxthausen, A. E., The RAISE Specification Language, Prentice Hall Int., 1992 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Semantics with Applications: A Formal Introduction, Please consult http://www.imm.dtu.dk/~riis for an electronic copy., Wiley, 1992 [full] [bibtex]
  
  

• Conradsen, K., Nielsen, A. A., Windfeld, K., Analysis of Geochemical Data Sampled on a Regional Scale, Statistics in the Environmental and Earth Sciences, pp. 283-300, Edward Arnold, 1992 [full] [bibtex] [pdf]
  
  
• Thyregod, P., Sampling plans, Encyclopedia of Statistical Science, pp. 246-254, Wiley, 1992 [full] [bibtex]
  
  

Ph.D. theses

• Carstensen, J. M., Description and Simulation of Visual Texture, pp. 234, Institure of Mahematical Statistics and Operations Research, Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Madsen, J., Layout Synthesis using Compiled Cells, Department of Computer Science, Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Parkum, J. E., Recursive identification of time-varying systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1992 [full] [bibtex] [pdf]
  
  
• Windfeld, K., Application of computer intensive data analysis methods to the analysis of digital images and spatial data, pp. 190 pp., IMSOR, Technical University of Denmark, DTU, 1992 [full] [bibtex]
  
  

Technical reports

• Baudin, F., Klootsema, R., Rievers, S., Dijkstra, E. D., Paaske, E., Justesen, J., Larsen, K., Sparsø, J., Pedersen, S., Design and development of a very high speed Reed-Solomon encoder/decoder chip set: Architectural design report, pp. 1-525, Centre Suisse d'electronique et microtechnique S. A. (CSEM) and Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Bauduin, F., Klootsema, R., Rievers, S., Dijkstra, E. D., Paaske, E., Justesen, J., Larsen, K., Sparsø, J., Pedersen, S., Design and development of a very high speed Reed-Solomon encoder/decoder chip set: Requirement Analysis, pp. 1-106, Centre Suisse d'electronique et microtechnique S. A. (CSEM) and Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Bechmann, H., Poulsen, N. K., Hendricks, E., Adaptive Optimization of the indicated efficiency in spark ignition engines, no. 18, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Carstensen, J., Madsen, H., Poulsen, N. K., Identification of wastewater processes using nonlinear grey box models, no. 6, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Holst, H., Comparison of different methods suited for calibration problems with many variables, Technical Report, no. 7, pp. 19, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1992 [full] [bibtex]
  
  
• Ravn, H. F., Optimal scheduling of combined heat and power, Technical University of Denmark, Department of Applied Mathematics and Computer Science, 1992 [full] [bibtex] [pdf]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., A rapprochement Between Discrete-time operators, no. 15, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. k., Ravn, O., Spectral factorization using the delta operator, no. 14, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Sejling, K., Madsen, H., Henningsen, A., Poulsen, N. K., Methods for quantification of the estimator uncertainty in recursive estimation of restricted, no. 5, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Sparsø, J., Staunstrup, J., Design and Performance Analysis of Delay-Insensitive Multi-Ring Structures, pp. 1-25, Department of Computer Science, Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Thygesen, B. G., Poulsen, N. K., Holst, J., Calculas for stochastic systems based on the delta operator., no. 17, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  
• Thygesen, B. G., Poulsen, N. K., Holst, J., Sampling of a continuous time linear quadratic criterion, no. 16, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1992 [full] [bibtex]
  
  

Lecture notes

• Juel, H., Practice problems (for 0403 Introduction to Operations Research), Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1992 [full] [bibtex]
  
  

Misc

• Juel, H., Introduktion til LaTeX på IMSOR, Institut for Matematisk Statistik og Operationsanalyse, Danmarks Tekniske Universitet, 1992 [full] [bibtex]
  
  

• Thygesen, B. G., Rostgaard, M., Poulsen, N. K., Holst, J., Design of Deterministic Controllers based on the Delta-Operator, 1992 [full] [bibtex]