IMM Publications - 1991

Journal papers

• Arjas, E., Hansen, C. K., Thyregod, P., Heterogeneous part quality as a source of reliabiity improvement in repairable systems, Technometrics, vol. 33, pp. 1-12, 1991 [full] [bibtex]
  
  
• Bjørner, D., Haxthausen, A. E., Havelund, K., Formal, Model-oriented Software Development Methods - From VDM to ProCoS & from RAISE to LaCoS, Future Generation Computer Systems, no. 7, North-Holland, 1991 [full] [bibtex]
  
  
• Bjørner, D., Formal Specification is an Experimental Science (in Russian)}, Programmirovanie, vol. 6, pp. 24-43, Russian Acad. of Science, Moscow, 1991 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Discriminant analysis of an integrated data base applied in uranium exploration, Economic Geology, vol. 86(2), pp. 377-386, 1991 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Data dependent orthogonal transformations of multichannel i mage data. IMSOR, PAMI, pp. 34, 1991 [full] [bibtex]
  
  
• Frølich, A., McNair, P., Nielsen, B. F., Transferability between Hospitals of Hypercalcaemia Discriminant Functions, 1991 [full] [bibtex]
  
  
• Hansen, C. T., Madsen, K., Nielsen, H. B., Optimization of Pipe Networks, Mathematical Programming, vol. 52, pp. 45-58, 1991 [full] [bibtex]
  
  
• Jansen, J. I., Sørensen, P. S., Spliid, H., Statistical control of hygienic quality of bathing water, Environmental monitoring and assessment, vol. 17, pp. 217-226, 1991 [full] [bibtex]
  
  
• Juel, H., On puzzle contests in MS/OR education, Interfaces, vol. 21, pp. 93, 1991 [full] [bibtex]
  
  
• Paaske, E., Pedersen, S., Sparsø, J., An area-efficient path memory structure for VLSI Implementation of high speed Viterbi decoders, Integration, the VLSI journal, vol. 12(2), pp. 79-91, 1991 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Using Transformations in the Implementation of Higher-order Functions, Journal of Functional Programming, vol. 1(4), pp. 459-494, 1991 [full] [bibtex]
  
  
• Sparsø, J., Jørgensen, H. N., Paaske, E., Pedersen, S., Rübner-Petersen, T., An area-efficient topology for VLSI implementation of Viterbi decoders and other shuffle-exchange type structures, IEEE Journal of Solid State Circuits, vol. 26(2), pp. 90-97, 1991 [full] [bibtex]
  
  
• Thyregod, P., Vibholm, S., On the assessment of Extremely Low Breakdown Probabilities by an Inverse Sampling procedure, IEEE transactions EI, vol. EI-26, pp. 367-377, 1991 [full] [bibtex]
  
  
• Thyregod, P., Spliid, H., A hypothesis of no interaction in factorial experiments with a binary response, Scand. J. of Statistics, vol. 18, pp. 197-209, 1991 [full] [bibtex]
  
  
• Vidal, V. V., Optimization of a sequence of reactors, Control and Cybernetics, vol. 20(2), pp. 23-32, 1991 [full] [bibtex]
  
  
• Vidal, V. V., Thorsen, M., OR in the Danish steel industry, European Journal of Operational Research, vol. 51, pp. 301-309, 1991 [full] [bibtex]
  
  
• Vidal, V. V., Rationality and ideology in OR, IFORS the developing countries newsletters, vol. 1(2), pp. 9-10, 1991 [full] [bibtex]
  
  

Conference papers

• Bjørner, D., Towards a Meaning of `M' in VDM, Formal Description of Programming Concepts, pp. 137-258, SV, 1991 [full] [bibtex]
  
  
• Bjørner, D., Formal Software Development: Requirements for a CASE, European Symposium on Software Development Environment and CASE Technology, Springer, 1991 [full] [bibtex]
  
  
• Bjørner, D., Formal Specification is an Experimental Science (in English), Intl. Conf. on Perspectives of System Informatics, 1991 [full] [bibtex]
  
  
• Chaochen, Z., Hansen, M. R., Ravn, A. P., Rischel, H., Duration Specifications for Shared Processors, Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, vol. 571, pp. 21-32, Springer-Verlag, 1991 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Stedstrup, S., Fredfeld, K. E., Christensen, E., Some results on analysis of mammograms, ISI meeting, Cairo, pp. 2, 1991 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Nielsen, A. A., Noise removal in multichannel image data by a parametric maximum noise fraction estimator, 24th Symposium on Remote Sensing of Environment, Rio de Janeiro, Brazil, pp. 14, 1991 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Nielsen, A. A., Integration of multi-source data in mineral exploration, The Eighth Thematic Conference on Geological Remote Sensing, Denver, Colorado, pp. 1053-1066, 1991 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Multivariate Change Detection in Multispectral, Multitemporal Images, Near Real-Time Remote Sensing for Land and Ocean Applications, Eurimage and ESA/Earthnet, 1991 [full] [bibtex] [pdf]
  
  
• Conradsen, K., Ersbøll, B. K., Nielsen, A. A., Integration of Multi-Source Data in Mineral Exploration, Eighth Thematic Conference on Geologic Remote Sensing, vol. II, pp. 1053-1066, Environmental Research Institute of Michigan (ERIM), 1991 [full] [bibtex] [pdf]
  
  
• Frølich, A., Nielsen, B. F., Conradsen, K., McNair, P., Alternative diagnostic hypercalcaemia discriminant functions varied on incomplete datasets, World Congress on Medical Physics and Biological Engineering, 1991 [full] [bibtex]
  
  
• Frølich, A., Nielsen, B. F., Nielsen, J., Conradsen, K., McNair, P., Does Quality Control Work Between Local Hospitals?, World Congress on Medical Physics and Biological Engineering, 1991 [full] [bibtex]
  
  
• Grønning, P., Nielsen, T. Q., Løvengreen, H. H., Stepwise Development of a Distributed Load Balancing Algorithm, 4'th International Workshop on Distributed Algorithms, vol. 486, pp. 151-168, Springer-Verlag, 1991 [full] [bibtex]
  
  
• Hansen, C. K., Thyregod, P., Analysis of contaminated field failure data for repairable systems, Proceedings of the Annual Reliability and Maintainability Symposium, pp. 604-609, 1991 [full] [bibtex]
  
  
• Madsen, J., Single-Level Wiring for CMOS Functional Cells, Proceedings of the International Conference on Very Large Scale Integration, VLSI-91, pp. 8a.1.1 - 8a, 1991 [full] [bibtex]
  
  
• Madsen, J., Delay Estimation for CMOS Functional Cells, Proceedings of the 2nd European Design Automation Conference, EDAC-91, pp. 101 - 105, 1991 [full] [bibtex]
  
  
• Madsen, H., Nielsen, B. F., The Use of Phase Type Distributions for Modelling Packet-Switched Traffic, Teletraffic and Datatraffic in a Period of Change, pp. 593-599, Elsevier Science Publishers, 1991 [full] [bibtex]
  
  
• Nielsen, B. F., Kragh, A. L., Barker, V. A., A Combined Petri-Net and Markov Chain Analysis of an FMS, APORS 91, 1991 [full] [bibtex]
  
  
• Pallisgaard, H., Andersen, O. C., Linqvist, L., Madsen, J., Controller Synthesis in GAIA, A VHDL RT-Level Framework, Proceedings of the Second European Conference on VHDL Methods, EuroVHDL'91, pp. 78 - 85, 1991 [full] [bibtex]
  
  
• Parkum, J., Poulsen, N. K., Holst, J., Analysis of Forgetting Methods, The 9th IFAC/IFORS Symposium on Identification and System Parameter Estimation, Budapest, Hungary, vol. 1, pp. 134-189, 1991 [full] [bibtex]
  
  
• Poulsen, N. K., Damsgaard, A., Reinhold, T. A., Determination of Flutter Derivatives for the Great Belt Bridge, Eighth International Conference on Wind Engineering, 8-12 July 1991, Ontario, Canada, 1991 [full] [bibtex]
  
  
• Sparsø, J., Pedersen, S., Paaske, E., Design of a Fully Parallel Viterbi Decoder, Proc. of VLSI91, IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, pp. 29-39, North-Holland, 1991 [full] [bibtex]
  
  
• Søgaard-Andersen, J. F., Rump, C. Ø., Løvengreen, H. H., A Systematic Kernel Development, ACM SIGSOFT '91 Conference on Software for Critical Systems, pp. 55-65, ACM Press, 1991 [full] [bibtex]
  
  
• Vidal, V. V., Sørensen, L., A critical assessment of the Danish Water Action Plan, Environment, Energy and Natural Resources Management in the Baltic Region, pp. 497-511, 1991 [full] [bibtex]
  
  

• Carstensen, J. M., Conradsen, K., Spin-flip alternatives to spin-exchange Markov random field simulation implemented on a SIMD massively parallel computer, Visiondag på AUC, pp. 104-117, 1991 [full] [bibtex]
  
  
• Nielsen, H. A., Driftmæssig optimering af energiproduktion på kraftvarmeværk med akkumulatortank, Optimeringsmetoder för korttidsplanering av fjärrvärmeproduktion, 1991 [full] [bibtex]
  
  

Books

• Barzdin, J., Bjørner, D., Baltic Computer Science, Springer, 1991 [full] [bibtex]
  
  
• Bjørner, D., Kotov, V., Images of Programming: Dedicated to the Memory of Andrei P. Ershov, NH, 1991 [full] [bibtex]
  
  
• Carstensen, J. M., Øvelser i statistisk billedbehandling, Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1991 [full] [bibtex]
  
  

• Bjørner, D., Broy, M., Pottosin, I., Perspectives of System Informatics, I, Springer-Verlag, Berlin, 1991 [full] [bibtex]
  
  
• Vidal, V. V., et al, Environment, Energy, and Natural Resources Management in the Baltic Region, 3rd International Conference on Systems Analysis, Copenhagen 7-10 may, Nordic Council of Ministers, 1991 [full] [bibtex]
  
  

• Vidal, V. V., The systematization of practice, Systems Thinking in Europe, Plenum, NY, 1991 [full] [bibtex]
  
  

Master's theses

• Larsen, R., MAF and other transformations applied to remote sensing, pp. xii+130+205, Institute for Mathematical stastistics and Operations Research (IMSOR), Technical University of Denmark, DTU, 1991 [full] [bibtex]
  
  
• Nielsen, H. A., Driftoptimering for kraftvarmeværk med akkumulatortank, pp. 357, Technical University of Denmark, Department of Applied Mathematics and Computer Science, 1991 [full] [bibtex] [pdf]
  
  

Technical reports

• Bilbo, C. M., Spliid, H., Arvin, E., Holst, H., A program for estimation of kinetic parameters in a biodegradation model and a systematic approach to the design of experiments, Research report, no. 13, pp. 84, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1991 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Remote Sensing in Forecasting Agricultural Statistics in Kenya, pp. 191, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1991 [full] [bibtex] [pdf]
  
  
• Ersbøll, B. K., Conradsen, K., Automated Grading of Wood-slabs: The Development of a Prototype System, pp. 19, IMSOR, DTU, 1991 [full] [bibtex]
  
  
• Gammelgaard, A., Løvengreen, H. H., Rump, C., Søgaard-Andersen, J., Base System Verification, Department of Computer Science, Technical University of Denmark, 1991 [full] [bibtex]
  
  
• Holst, H., Statistical methods for planning of experiments and evaluation of results, Soil and Groundwater Cleaning, BIOMEC DK, pp. 189-204, 1991 [full] [bibtex]
  
  
• Kjeldsen, P., Holst, H., Kaalund, L., Simonsen, Y., Vendelboe, N., Jordprøvetagning på forurenede grunde - strategier, metoder og håndtering, Rapport, no. U8, pp. 110, Lossepladsprojektets sekretariat, 1991 [full] [bibtex]
  
  
• Nielsen, H. B., Implementation of a Finite Algorithm for Linear L1 Estimation, pp. 49, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1991 [full] [bibtex]
  
  
• Nielsen, H. B., SPLPAK - Pascal and Fortran77 Subprograms for Cubic Splines, pp. 28, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1991 [full] [bibtex]
  
  
• Thygesen, B. G., Poulsen, N. K., Holst, J., Limit results for sampled transfer functions, no. 17, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1991 [full] [bibtex]
  
  
• Thygesen, B. G., Poulsen, N. K., Holst, J., Approximative results for the zero location in sampled dynamical systems, no. 16, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1991 [full] [bibtex]
  
  
• Vidal, V. V., Supervision and OR, pp. 12, IMSOR, DTH, 1991 [full] [bibtex]
  
  

Lecture notes

• Carstensen, J. M., Øvelser i Statistisk Billedbehandling, pp. 28, Institute of Mathemataical Statistics and Operations Researach, Technical University of Denmark, 1991 [full] [bibtex]
  
  
• Pedersen, S., Sparsø, J., Struktureret konstruktion af digitale ASIC's, pp. 1-83, Department of Computer Science, Technical University of Denmark, 1991 [full] [bibtex]
  
  
• Poulsen, N. K., Introduktion til simulationssystemet {ACSL, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1991 [full] [bibtex]
  
  

Misc

• Thygesen, B. G., Poulsen, N. K., Holst, J., A State-Space Description for Sampled Delay Systems using Delta Operator, 1991 [full] [bibtex]
  
  

Doctoral theses

• Vidal, V. V., Engineering Optimization - selected contributions, Dr. techn. from DTU, pp. 88, IMSOR, DTU, 1991 [full] [bibtex]