IMM Publications - 1994

Journal papers

• Arnbjerg-Nielsen, K., Harremoes, P., Spliid, H., Non-parametric statistics on extreme rainfall, Nordic hydrology, vol. 25, pp. 267-278, 1994 [full] [bibtex]
  
  
• Barker, V. A., Nielsen, B. F., Using Program Package NSPCG to Analyze the Trunk Reservation Service Protection Method, Computers Ops. Res., vol. 21(1), pp. 27-37, 1994 [full] [bibtex]
  
  
• Boe, L., Tolker-Nielsen, T., Eegholm, K. M., Spliid, H., Vrang, A., Fluctuation analysis of mutations to nalidixic resistance in Escherichia coli, J. Bacteriology, vol. 176, pp. 2781-2787, 1994 [full] [bibtex]
  
  
• Carstensen, J. M., Morphological Markov random fields, Statistics and Probability Letters, vol. 20(4), pp. 321-326, 1994 [full] [bibtex]
  
  
• Carstensen, J., Madsen, H., Poulsen, N. K., Nielsen, M. K., Identification of wastewater treatment processes for nutrient removal on a full-scale WWTP by statistical methods, Water Research, vol. 28(10), pp. 2055-2066, 1994 [full] [bibtex]
  
  
• Clausen, T., Ejrnæs, M., Olesen, M., Hilger, K., Skov, J. L., Bodin, P., Kuhle, A., Chorkendorff, I., Enhanced Jc's of YBa2Cu3O7 - x-Ag ex situ annealed coevaporated films on LaAlO3 (100) substrates, vol. 65(18), pp. 2350-2352, Applied Physics Letters, 1994 [full] [bibtex] [pdf]
  
  
• Frølich, A., Nielsen, B. F., Nielsen, J., Conradsen, K., McNair, P., Do local hospitals meet the analytical goals for the use of common reference intervals, Scand J Clin Lab Invest, vol. 54, pp. 169-176, 1994 [full] [bibtex]
  
  
• Hansen, K. V., Larsen, J., An Algorithm for Successive Identification of Reflections, IEEE Transactions on Image Processing, vol. 3(3), pp. 281-291, 1994 [full] [bibtex]
  
  
• Hansen, M. R., Model-Checking Discrete Duration Calculus, Formal Aspects of Computing, vol. 6A, pp. 826-845, 1994 [full] [bibtex]
  
  
• Holst, J., Lindblad, B., Bergqvist, D., Garre, K., Nielsen, H. A., Hedner, U., Østergaard, P. B., Protamine neutralization of intravenous and subcutaneous LMWH, Blood, Coagulation, and Fibrinolysis, vol. 5(5), pp. 795-803, 1994 [full] [bibtex]
  
  
• Jonasson, K., Madsen, K., Programming for Sparse Minimax Optimization, BIT, vol. 34, pp. 372-388, 1994 [full] [bibtex]
  
  
• Larsen, J., Optimizing Neural Network Architectures Using Generalization Error Estimators, Radiophysics (Russian), vol. 37(9), pp. 1131-1147, 1994 [full] [bibtex]
  
  
• Lindhardt, B., Holst, H., Christensen, T. H., Comparison of soxhlet and shake extraction of polycyclic aromatic hydrocarbons from coal tar polluted soils sampled in the field, International Journal of Environmental Analytical Chemistry, vol. 57, pp. 9-19, 1994 [full] [bibtex]
  
  
• Madsen, K., Toft, O., A Parallel Method for Linear Interval Equations, Interval Computations, vol. 3, pp. 81-105, 1994 [full] [bibtex]
  
  
• Madsen, K., Nielsen, H. B., Pinar, M. C., New Characterizations of Solutions to Overdetermined Systems of Linear Equations, Operations Research Letters, vol. 16(3), pp. 159-166, 1994 [full] [bibtex]
  
  
• Madsen, K., Nielsen, H. B., Pinar, M. C., New Characterizations of Solutions to Overdetermined Systems of Linear Equations, Operations Research Letters, vol. 16(3), pp. 159-166, 1994 [full] [bibtex]
  
  
• Nielsen, L. S., Niessen, C., Sparsø, J., van Berkel, C. H., Low-power operation using self-timed circuits and adaptive scaling of the supply voltage, IEEE Transactions on VLSI Systems, vol. 2(4), pp. 391-397, 1994 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., The tensor product in Wadler's analysis of lists, Science of Computer Programming, vol. 22, pp. 327-354, 1994 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. k., Ravn, O., Spectral factorization using the delta operator, Systems and Control Letters, vol. 22(5), pp. 293-301, 1994 [full] [bibtex]
  
  
• Spliid, H., Tørslev, J., Statistical analysis of joint toxicity in biological growth experiments, Ecotoxicology and environmental safety, vol. 28, pp. 181-192, 1994 [full] [bibtex]
  
  
• Vidal, V. V., On the optimal sizing problem, Journal of the Operational Research Society, vol. 45(6), pp. 714-719, 1994 [full] [bibtex]
  
  
• Vidal, V. V., A simple convex optimization problem with many applications, IMA Journal of Mathematics Applied in Business and Industry, vol. 5, pp. 15-23, 1994 [full] [bibtex]
  
  

• Vidal, V. V., OR - fra naturvideskab til actionsforksning, DORS nyt, pp. 10, 1994 [full] [bibtex]
  
  

Conference papers

• Bandler, J. W., Biernacki, R. M., Chen, S. H., Hemmers, R. H., Madsen, K., The Huber concept in device modeling, circuit diagnosis and design centering, IEEE Int. Symp. Circuits and Systems, pp. 129-132, 1994 [full] [bibtex]
  
  
• Bjørner, D., Prospects for a Viable Software Industry - Enterprise Models, Design Calculi, and Reusable Modules, First ACM Japan Chapter Conference, World Scientific Publ, 1994 [full] [bibtex]
  
  
• Bjørner, D., Lin, D. Y., Prehn, S., Domain Analyses: A Case Study of Station Management, KICS'94: Kunming International CASE Symposium, Yunnan Province, P.R.of China, 1994 [full] [bibtex]
  
  
• Brage, J. P., Madsen, J., A Codesign Case Study in Computer Graphics, Proceedings of the Third International Workshop on Hardware/Software Codesign, pp. 132 - 139, 1994 [full] [bibtex]
  
  
• Fränzle, M., Müller-Olm, M., Towards provably correct code generation for a hard real-time programming language, Compiler Construction (CC 94), vol. 786, pp. 294-308, Springer Verlag, 1994 [full] [bibtex] [ps]
  
  
• Hald, B. G., Madsen, J., A Flexible Architecture Representation for High Level Synthesis, Proceedings of the Second Asian Pacific Conference on Hardware Description Languages, APCHDL'94, pp. 247 - 250, 1994 [full] [bibtex]
  
  
• Jifeng, H., Hoare, C. A. R., Fränzle, M., Müller-Olm, M., Olderog, E., Schenke, M., Hansen, M. R., Ravn, A. P., Rischel, H., Provably correct systems, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94), pp. 288-335, Springer Verlag, 1994 [full] [bibtex]
  
  
• Madsen, J., Brage, J. P., Modeling Shared Variables in VHDL, Proceedings of the European Design Automation Conference with EURO-VHDL'94, pp. 486 - 491, 1994 [full] [bibtex]
  
  
• Nielsen, A. A., Larsen, R., Restoration of GERIS Data Using the Maximum Noise Fractions Transform, Proceedings from the First International Airborne Remote Sensing Conference and Exhibition, vol. 2, pp. 557-568, 1994 [full] [bibtex]
  
  
• Nielsen, L. S., Sparsø, J., Low-power operation using self-timed circuits and adaptive scaling of the supply voltage, IEEE International Workshop on Low Power Design, pp. 99-105, IEEE Computer Society Press, 1994 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Constraints for Polymorphic Behaviours of Concurrent ML, Proc. Constraints in Computational Logics, vol. 845, pp. 73-88, Springer-Verlag, 1994 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Higher-Order Concurrent Programs with Finite Communication Topology, ACM Conference on Principles of Programming Languages, pp. 84-97, ACM Press, 1994 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., ML-estimation for Delta Based State Space Models, Identification and System Parameter Estimation (SYSID4), Copenhagen, Denmark, vol. 3, pp. 663-668, 1994 [full] [bibtex]
  
  
• Solberg, K. L., Riis Nielson, H., Nielson, F., Strictness and Totality Analysis, Proc. Static Analysis Symposium (SAS'94), vol. 864, pp. 408-422, Springer-Verlag, 1994 [full] [bibtex]
  
  
• Sun, H., Kroszynski, U., Simulation of Compliant Motion with Force-Sensor Feedback, Proc. of the IASTED International Conference on Applied Modelling and Simulation, pp. 44-47, IASTED-ACTA Press, 1994 [full] [bibtex]
  
  
• Sørensen, M. U., Hansen, O. E., Løvengreen, H. H., Combining Temporal Specification Techniques, ICTL '94 Temporal Logic, vol. 827, pp. 1-16, Springer-Verlag, 1994 [full] [bibtex]
  
  

• Larsen, R., Temporal Interpolation in Meteorological Satellite Image Sequences, Proceedings of the Danish Remote Sensing Day - Danish Society for Remote Sensing, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• Nielsen, A. A., Larsen, R., Restoration of GERIS Data Using the Maximum Noise Fractions Transform,, Danish Remote Sensing Day - Danish Society for Remote Sensing, August 25th, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• VIdal, V. V., Telecommunication's network design using simulated annealing, 4th APORS, Fukuoka, Japan, pp. 56-66, 1994 [full] [bibtex]
  
  

• Nyholm, N., Holst, H., Spliid, H., Andersen, H., Algal toxicity tests - selection of endpoints and statistical treatment of results, 4th SETAC-Europe Congress, 1994 [full] [bibtex]
  
  

Books

• Vidal, V. V., A Sociological Study of Operational Research, PhD in Cultural Sociology, pp. 134, Institut for Kultur Sociologi, Københavns Universitet, 1994 [full] [bibtex]
  
  

• Sparsø, J., Staunstrup, J., Josephs, M. B., ACiD-WG workshop on Asynchronous Low-Power VLSI, Lyngby, Denmark, April 11-12, Technical University of Denmark, 1994 [full] [bibtex]
  
  

• Bjørner, D., Formal Models of Robots: Geometry & Kinematics, A Classical Mind,\/, Festschrift for C.A.R. Hoare, pp. 37-58, Prentice-Hall, 1994 [full] [bibtex]
  
  
• Madsen, K., Toft, O., Parallel Interval Methods for Perturbed Linear Systems, Lecture Notes in Scientific Computing: Parallel Scientific Computing, pp. 358-362, Springer, 1994 [full] [bibtex]
  
  

Master's theses

• Isaksen, P., Ikke lineær dynamik - Undersøgelse af Cooperriders komplekse bogie med flanger ved høj hastighed, Technical University of Denmark, DTU Informatics, E-mail: reception@imm.dtu.dk, 1994 [full] [bibtex] [pdf]
  
  
• Isaksen, P., Ikke lineær dynamik, Technical University of Denmark, DTU Informatics, E-mail: reception@imm.dtu.dk, 1994 [full] [bibtex] [pdf]
  
  

Ph.D. theses

• Ersbøll, A. K., On the spatial and temporal correlations in experimentation with agricultural applications, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• Krieger Lassen, N., Automated determination of crystal orientations from electron backscattering patterns, pp. xv+136 pp., Deaprtment of Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex] [pdf]
  
  
• Larsen, R., Estimation of visual motion in image sequences, pp. xiv+143 pp., Department of Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex] [pdf] [ps]
  
  
• Melgaard, H., Identification of physical models, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex] [pdf] [ps]
  
  
• Møller, D., Methods for analysis and design of heterogeneous telecommunication networks, vol. 1-2, pp. 569, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• Nielsen, A. A., Analysis of Regularly and Irregularly Sampled Spatial, Multivariate, and Multi-temporal Data, Informatics and Mathematical Modelling, Technical University of Denmark, 1994 [full] [bibtex] [pdf]
  
  
• Rygard, J. M., Design and optimization of flexible manufacturing systems, pp. 232 s., Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• Wang, C., Stochastic differential equations and a biological system, pp. 153, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  

Technical reports

• Andersen, A. T., Grove, N. U., Nielsen, B. F., Statistisk analyse af arbejdsbelastning på en fødegang, no. 5/94, IMM, 1994 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Ersbøll0, B. K., Larsen, R., Hartelius, K., Carstensen, J. M., Progress Report on EC Funded Project BRE2-CT201, pp. 33, IMM, DTU, 1994 [full] [bibtex]
  
  
• Goossenaerts, J., Bjørner, D., An Information Technology Framework for Lean/Agile Supply-based Industries in Developing Countries, no. 30, 1994 [full] [bibtex]
  
  
• Goossenaerts, J., Bjørner, D., Interflow Systems for Manufacturing: Concepts and a Construction, no. 31, 1994 [full] [bibtex]
  
  
• Lauritsen, M., Rostgaard, M., Poulsen, N. K., Emulator-Based GPC in the Delta Domain, no. 24, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1994 [full] [bibtex]
  
  
• Lauritsen, M., Rostgaard, M., Poulsen, N. K., Emulator-Based Prediction in the Delta-Domain, no. 25, immdtu, 1994 [full] [bibtex]
  
  
• Møller, D., Nielsen, B. F., Analysis of the Telecommunication Demands in a Large, Geographically Dispersed Company, no. 3/94, IMM, 1994 [full] [bibtex]
  
  
• Møller, D., Nielsen, B. F., Modelleing a Buffer System as an M/PH/1/N, no. 6/94, IMM, 1994 [full] [bibtex]
  
  
• Nielsen, H. B., Algorithms for Computing Pipe Network "Loops", pp. 40, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• Nielsen, H. B., Fitting Data from Electrophoretic Analysis of Wheat, pp. 31, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1994 [full] [bibtex]
  
  
• Rostgaard, M., Lauritsen, M., Poulsen, N. K., Ravn, O., Quadratic Controllers Based on Long Range Prediction, no. 11, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1994 [full] [bibtex]
  
  
• Rostgaard, M., Poulsen, N. K., Ravn, O., Pay-Load Estimation of a Flexible Robot, no. 10, immdtu, 1994 [full] [bibtex]
  
  
• Rostgaard, M., Lauritsen, M., Poulsen, N. K., Prediction using the Delta Operator, no. 9, Department of Mathematical Modelling (IMM), The Technical University of Denmark, 1994 [full] [bibtex]
  
  
• Torp, S., Ahring, B., Jungersen, G., Ravn, O., Poulsen, N. K., Udvikling af on-line gaschromatografisk målesystem til bestemmelse af {VFA, Bioteknik, Dansk Teknologisk Institut, 1994 [full] [bibtex]
  
  
• Xin, M., Kjølstad Poulsen, N., Bindner, H., Modelling and Control of a Wind Turbine, no. 27, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1994 [full] [bibtex]
  
  

Lecture notes

• Bowen, J., Hoare, C. A. R., Hansen, M. R., Ravn, A. P., Rischel, H., Olderog, E., Schenke, M., Fränzle, M., Müller-Olm, M., Jifeng, H., Jianping, Z., Provably correct systems, Tutorial material for the 1994 Formal Techniques in Real-Time and Fault-Tolerant Systems conference (FTRTFT 94), 1994 [full] [bibtex]
  
  
• Sparsø, J., Temporale forhold i synkrone integrerede kredsløb med 2-fase klok, pp. 1-19, Institut for Datateknik, Danmarks Tekniske Universitet., 1994 [full] [bibtex]
  
  
• Vidal, V. V., Planlægning og OR, pp. 200, IMM, DTU, 1994 [full] [bibtex]
  
  

Misc

• Juel, H., Fremstilling af eksamensprojekter, Institut for Matematisk Modellering, Danmarks Tekniske Universitet, 1994 [full] [bibtex]
  
  

• Clausen, J., Algoritmer, Den Store Danske Encyklopædi, vol. i, pp. 247, 1994 [full] [bibtex]
  
  
• Sparsø, J., Studievejledning 1994 - Institut for Datateknik, DTU, pp. 1-19, Institut for Datateknik, Danmarks Tekniske Universitet, 1994 [full] [bibtex]