IMM Publications - 1990

Journal papers

• Conradsen, K., Ersbøll, B. K., Variable selection in non-linear discriminant analysis. IMSOR, DTH, JASA, IMSOR, DTH, 1990 [full] [bibtex]
  
  
• Frølich, A., Nielsen, B. F., Transbøl, I., Respective roles of PTH and substrate for the l-hydroxylation of vitamin D in primary hyperparathyroidism PHP, Mineral and Electrolyte Metabolism, vol. 16, pp. 210-215, 1990 [full] [bibtex]
  
  
• Hansen, C. K., Thyregod, P., Estimation of the Mean Cumulative Number of Failures in a Repairable System with Mixed Exponential Lifetimes, Quality and Reliability Engineering International, vol. 6, pp. 329-340, 1990 [full] [bibtex]
  
  
• Hansen, L. K., Salamon, P., Neural Network Ensembles, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 12, pp. 993-1001, 1990 [full] [bibtex] [pdf]
  
  
• Madsen, K., Nielsen, H. B., Finite Algorithms for Robust Linear Regression, BIT, vol. 30, pp. 682-699, 1990 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Functional Completeness of the Mixed Lambda-Calculus and Combinatory Logic, Theoretical Computer Science, vol. 70, pp. 99-126, 1990 [full] [bibtex]
  
  
• Schneider, T., Petersen, O. H., Nielsen, A. A., Windfeld, K., A Geostatistical Approach to Indoor Surface Sampling Strategies, Journal of Aerosol Science, vol. 21(4), pp. 555-567, 1990 [full] [bibtex]
  
  
• Vidal, V. V., Christensen, J. M., Project evaluation for energy supply in rural areas of developing countries, European Journal of Operational Research, vol. 40(2), pp. 230-246, 1990 [full] [bibtex]
  
  
• Vidal, V. V., Ravn, H., Engineering applications of discrete-time optimal control, European Journal of Operational Research, vol. 45, pp. 241-250, 1990 [full] [bibtex]
  
  
• Vidal, V. V., Thorsen, M., A knowledge-based computer system for assessing new company names, Expert Systems for Information Management, vol. 3(2), pp. 129-141, 1990 [full] [bibtex]
  
  
• Vidal, V. V., Lot sizing as an uncapacited facility location problem, Investigacion Operacional (Cuba), vol. xi(2), pp. 143-147, 1990 [full] [bibtex]
  
  
• Vidal, V. V., Ferreira, J. A., Optimal partition of an interval - a theoretical discussion, INESC Journal of Research and Development, vol. 1(2), pp. 15-33, 1990 [full] [bibtex]
  
  

Conference papers

• Barker, V. A., Nielsen, B. F., The Analysis of a Manufacturing Unit by Sparse Matrix Techniques, First International Workshop on the Numerical Solution of Markov Chains, 1990 [full] [bibtex]
  
  
• Bjørner, D., Druffel, L. M., Industrial Experience in using Formal Methods, Intl. Conf. on Software Engineering, pp. 264-266, IEEE Computer Society Press, 1990 [full] [bibtex]
  
  
• Ersbøll, B. K., Carstensen, J. M., Vipwob-konceptet anvendt på imsor, Visiondag på AUC, pp. 7-25, 1990 [full] [bibtex]
  
  
• Frølich, A., Nielsen, B. F., Investigation of the transferability of clinical chemical data, 8th Nordic meeting on Medical and Biological Engineering, 1990 [full] [bibtex]
  
  
• Frølich, A., Nielsen, B. F., Conradsen, K., McNair, P., Handling incomplete data sets with statistical techniques., Advanced Informatics in Europe. KAVAS workshop on Knowledge Acquistition, Visualization and Assessment., pp. 61-64, 1990 [full] [bibtex]
  
  
• Frølich, A., Nielsen, B. F., Discriminant functions in different geographical areas, Lecture notes in Medical Informatics, pp. 570-572, Springer, 1990 [full] [bibtex]
  
  
• Grønning, P., Nielsen, T. Q., Løvengreen, H. H., Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables, 10'th Conference on Foundations for Software Technology and Theoretical Computer Science, vol. 472, pp. 332-348, Springer-Verlag, 1990 [full] [bibtex]
  
  
• Hansen, M. R., Chaochen, Z., Specification & Verification of Higher Order Processes, Mathematical Foundations of Computer Science, vol. 452, pp. 322-328, 1990 [full] [bibtex]
  
  
• Løvengreen, H. H., Ravn, A. P., Rischel, H., Design of Embedded Real-time Systems: Developing a Method for Practical Software Engineering, COMPEURO '90, IEEE International Conference on Computer Systems and Software Engineering, pp. 385-390, IEEE Computer Society Press, 1990 [full] [bibtex]
  
  
• Madsen, H., Nielsen, B. F., The Use of Phase-Type Distributions for Modelling Packet-Switched Traffic, NTS-9, pp. V.4I.1-VI.4, 1990 [full] [bibtex]
  
  
• Madsen, J., The Impact of Novel Algorithms, Architectural design Methodologies and Synthesis Strategies on Future ASIC Design, Proceedings of the ESPRIT Technical Conference, 1990 [full] [bibtex]
  
  
• Madsen, J., Novel Architecture Design Methodologies and Synthesis Strategies for Future ASIC Design, Proceedings of the 5th NORSILC/NORCHIP Seminar'90, pp. 1.0 - 1.9, 1990 [full] [bibtex]
  
  
• Madsen, J., Brage, J. P., Flow Graph Modelling Using VHDL Bus Resolution Functions, Proceedings of the 5th NORSILC/NORCHIP Seminar'90, pp. 7.0 - 7.10, 1990 [full] [bibtex]
  
  
• Parkum, J., Poulsen, N. K., Holst, J., Selective Forgetting in Adaptive procedures, The 11th IFAC World Congress in Tallinn, vol. 3, pp. 180-185, 1990 [full] [bibtex]
  
  
• Pedersen, S., Sparsø, J., Experiences from the design of a large VLSI chip, Proc. of NORCHIP/NORSILC seminar, Lund, October 30-November 1, pp. 12.0-12.11, 1990 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Eureka Definitions for Free! -or- Disagreement Points for Fold/Unfold Transformations, Proc. ESOP'90, vol. 432, pp. 291-305, Springer-Verlag, 1990 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Context Information for Lazy Code Generation, Proc. LISP and Functional Programming, pp. 251-263, ACM Press, 1990 [full] [bibtex]
  
  
• Steensgaard-Madsen, J., Adding abstract datatypes to Meta-IV, {VDM '90 VDM and Z- Formal Methods in Software Development}, pp. 233-243, Springer-Verlag, 1990 [full] [bibtex]
  
  

• Ersbøll, B. K., Carstensen, J. M., VIPWOB-konceptet anvendt på IMSOR, Kompendium for visiondag på AUC, pp. 7-25, 1990 [full] [bibtex]
  
  
• Juel, H., The dual of a generalized minimax location problem, 5th International Symposium on Locational Decisions, 1990 [full] [bibtex]
  
  
• Parkum, J., Poulsen, N. K., Analysis of On-line Estimation Methods designed for the time-varying case, Proceedings of the Nordic CACE Symposium, Lyngby, pp. 6.18-6.22, 1990 [full] [bibtex]
  
  
• Poulsen, N. K., Holst, J., Parkum, J., System Identification - a Sensitivity Approach, Proceedings of the Nordic CACE Symposium, Lyngby, pp. 5.13-5.21, 1990 [full] [bibtex]
  
  

• Bilbo, C. M., Spliid, H., Holst, H., Statistical analysis of growth in biological systems, 2th International Conference on Statistical Methods for the Environmental Sciences and The First General Meeting of the Environ, 1990 [full] [bibtex]
  
  

Books

• Vidal, V. V., OR in developing countries, special issue of European Journal of Operational Research, vol. 82, 1990 [full] [bibtex]
  
  

• Vidal, V. V., OR and Social praxis, Liber Amicorum for prof. Arne Jensen, pp. 14, IMSOR, DTH, 1990 [full] [bibtex]
  
  

Technical reports

• Bilbo, C. M., Spliid, H., Arvin, E., Holst, H., Analysis of interactions in a multicomponent system, Research report, no. 8, pp. 12, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1990 [full] [bibtex]
  
  
• Bilbo, C. M., Spliid, H., Holst, H., Statistical analysis of growth in biological systems, Research report, no. 7, pp. 12, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1990 [full] [bibtex]
  
  
• Christensen, H. I., Melsen, P., Ersbøll, B. K., Carstensen, J. M., Kjærulff, M., Nielsen, M., Test Bed for Experimental Computer Vision. VIPWOB-memo 9003, pp. 31, Aalborg, 1990 [full] [bibtex]
  
  
• Gislason, E., Johansen, M., Conradsen, K., Ersbøll, B. K., Jackobsen, S. K., On the Design of Two-dimensional Zero Phase FIR Digital Filters, pp. 31, IMSOR, DTU, 1990 [full] [bibtex]
  
  
• Holst, J., Poulsen, N. K., A Robust Self-Tuning Controller for Time Varying Systems, no. LUTFD2, Department of Mathematical Statistics, Lund Institute of Technology, Lund, Sweden, 1990 [full] [bibtex]
  
  
• Holst, H., Enheds- og totalmængder i dagrenovation fra private husstande, Rapport, no. 22, pp. 144, Miljøstyrelsen, 1990 [full] [bibtex]
  
  
• Jensen, L. S., Løvengreen, H. H., Distributed Implementation of DATALOG, Department of Computer Science, Technical University of Denmark, 1990 [full] [bibtex]
  
  
• Nielsen, H. B., AAFAC: A Package of Fortran77 Subprograms for Solving A'Ax = c, pp. 36, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1990 [full] [bibtex]
  
  
• Parkum, J., Poulsen, N. K., Identifiability Analysis and Calibration of Models for Waste Water Treatment Processes, no. 2, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1990 [full] [bibtex]
  
  
• Parkum, J., Poulsen, N. K., Holst, J., Deterministisc Convergence of Recursive Forgetting Algorithms, no. 1, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1990 [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, pp. 1-19, Department of Computer Science, Technical University of Denmark, 1990 [full] [bibtex]
  
  

Lecture notes

• Vidal, V. V., Ravn, H., Statisk Optimering, pp. 200, 1990 [full] [bibtex]
  
  

Misc

• Madsen, J., Brage, J. P., Flow Graph Modelling Using VHDL Bus Resolution Functions, Proceedings of the ASCIS Open Workshop on Verification and Specification, (Slide-set), 1990 [full] [bibtex]
  
  

Doctoral theses

• Nielson, F., Theoretical Aspects of Semantics-Based Language Implementation, Aarhus University, 1990 [full] [bibtex]