IMM Publications - 1995

Journal papers

• Bandler, J. W., Biernacki, R., Chen, S., Hemmers, R., Madsen, K., Electromagnetic Optimization Exploiting Aggressive Space Mapping, IEEE Trans. Microwave Theory Tech., vol. MTT-43, pp. 2874-2882, 1995 [full] [bibtex]
  
  
• Bendtsen, C., Hansen, P. C., Madsen, K., Nielsen, H. B., Pinar, M. C., Implementation of QR up- and downdating on a massively parallel computer, Parallel Computing, vol. 21, pp. 49-61, 1995 [full] [bibtex]
  
  
• Bendtsen, C., Hansen, P. C., Madsen, K., Nielsen, H. B., Pinar, M. C., Implementation of QR up- and downdating on a massively parallel computer, ParallelParallel Computing, no. 21, pp. 49-61, 1995 [full] [bibtex]
  
  
• Caprani, O., Madsen, K., Stauning, O., Enclosing Solutions of Integral Equations, International Journal of Reliable Computing, pp. 45-51, 1995 [full] [bibtex]
  
  
• Clausen, J., Krarup, J., A Family of Bipartite Cardinality Matching Problems Solvable in O(n^2) Time, Nordic Journal of Computing, vol. 2, pp. 496 - 501, 1995 [full] [bibtex]
  
  
• Clausen, T., Ejrnæs, M., Olesen, M., Hilger, K., Skov, J. L., Bodin, P., Kuhle, A., Chorkendorff, I., Response to "Comment on 'Enhanced Jc's of YBa2Cu3O7 - x-Ag ex situ annealed coevaporated films on LaAlO3 (100) substrates'" (Appl. Phys. Lett. 67, 3650 (1995)), vol. 67(24), pp. 3652, Applied Physics Letters, 1995 [full] [bibtex] [pdf]
  
  
• Fränzle, M., von Stengel, B., Wittmüss, A., A generalized notion of semantic independence, Information Processing Letters, vol. 53, pp. 5-9, 1995 [full] [bibtex]
  
  
• Hansen, M. R., Pandya, P. K., Chaochen, Z., Finite Divergence, Theoretical Computer Science, vol. 138, pp. 113-139, 1995 [full] [bibtex]
  
  
• Jensen, K., Søndergaard, I., Skovgaard, I. M., Nielsen, H. B., From Image Processing to Classification: 1. Modelling Disturbances of Isoelectric Focusing Patterns, Electrophoresis, vol. 16, pp. 921-926, 1995 [full] [bibtex]
  
  
• Møller, S., Kristensen, C. S., Poulsen, L. K., Carstensen, J. M., Molin, S., Bacterial growth on surfaces: Automated image analysis for quantification of growth rate-related parameters, Applied and Environmental Microbiology, vol. 61(2), pp. 741-748, 1995 [full] [bibtex]
  
  
• Schutt, C., Clausen, J., Parallel Algorithms for the Assignment Problem - Experimental Evaluation of Three Distributed Algorithms, AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 22, pp. 337 - 351, 1995 [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, Environment International, vol. 21(5), pp. 551-556, 1995 [full] [bibtex]
  
  
• Storr-Hansen, E., Spliid, H., Boon, J. P., Patterns of chlorinated biphnyl congeners in harbor seals (Phoca vitulina) and in their food: Statistical analysis, Arch. Environ. Contam. Toxicol., vol. 28, pp. 48-54, 1995 [full] [bibtex]
  
  
• Vidal, V. V., Optimizing a model for multi-products batch sizes in-proces inventories and multi-work centers, IMA journal of mathematics applied in Business and Industry, vol. 6, pp. 361-363, 1995 [full] [bibtex]
  
  
• Vidal, V. V., How to teach/learn OR?, Investigacon Operational (Portugal), vol. 15, pp. 97-110, 1995 [full] [bibtex]
  
  
• Vidal, V. V., Hansen, M. P., Planning of high school examinations in Denmark, European Journal of Operational Research, vol. 87, pp. 519-534, 1995 [full] [bibtex]
  
  

• Vidal, V. V., Olesen, T. B., Beslutningsstøtte i strategisk planlægning, DORS nyt, pp. 6, 1995 [full] [bibtex]
  
  

• Andersen, A. T., Grove, N. U., Nielsen, B. F., Statistisk undersøgelse af arbejdsbelastningen på en fødegang, Ugeskrift for læger, vol. 157(44), pp. 6133-6138, 1995 [full] [bibtex]
  
  

Conference papers

• Andersen, A. T., Jensen, A., Nielsen, B. F., Modelling and performance study of packet-traffic with self-similar characteristics over several timescales with Markovian Arrival Processes MAP, Nordic Teletraffic Seminar, NTS 12, VTT Symposium 154, pp. 269-283, VTT, 1995 [full] [bibtex]
  
  
• Bandler, J. W., Biernacki, R. M., Chen, S. H., Madsen, K., Aggressive Space Mapping for Electromagnetic Design, IEEE MTT-S Int. Microwave Symp. Digest, pp. 1455-1458, 1995 [full] [bibtex]
  
  
• Blaabjerg, S., Andersen, A. T., Nielsen, B. F., Intercept and Asymptotic Behaviour of the nGI/G/1, Nordic Teletraffic Seminar, NTS 12, VTT Symposium 154, pp. 167-180, VTT, 1995 [full] [bibtex]
  
  
• Bro-Nielsen, M., Modelling Elasticity in Solids using Active Cubes - Application to Simulated Operations, Computer Vision, Virtual Reality, and Robotics in Medicine (CVRMed'95), Nice, France, vol. 905, pp. 535-541, Springer-Verlag, 1995 [full] [bibtex] [pdf]
  
  
• Ersbøll, B. K., A simple centextual classifier, The 8th Australasian Conference on Remote Sensing, Canberra, 25-29 Marh 1995, pp. 8, 1995 [full] [bibtex]
  
  
• Folm-Hansen, J., Carstensen, J. M., Schultz, N., Analysing confocal laser scanning micrographs of pulp fibres, The 3rd European Researach Symposium on Image Analysis for Pulp and Paper Researach and Products, Stockholm, Sverige, pp. 9 pp, 1995 [full] [bibtex]
  
  
• Grode, J. N., Madsen, J., Resource Considerations during Parallel Scheduling of Large Control Flow Dominated Applications, Proceedings of the 4th International Conference on VLSI and CAD, ICVC'95, pp. 379 - 382, 1995 [full] [bibtex]
  
  
• Groes, L., Pejtersen, J., Langkilde, G., Holst, H., A statistical approach regarding the performance of sensory panels trained to assess perceived air quality, CIB Proceedings, Publication 188, pp. 80-91, 1995 [full] [bibtex]
  
  
• Haxthausen, A. E., Order-sorted Algebraic Specifications with Higher-order Functions, Proceedings of AMAST'95, no. 936, pp. 133-151, Springer-Verlag, 1995 [full] [bibtex]
  
  
• Holst, H., Nyholm, N., Analysis of algal toxicity test data, Asking the right questions: Ecotoxicity and statistics, pp. 2, 1995 [full] [bibtex]
  
  
• Lauritsen, M., Rostgaard, M., Poulsen, N. K., Generalized Predictive Control in The Delta-Domain, American Control Conference (ACC95), Seattle, USA, vol. 5, pp. 3709-3713, 1995 [full] [bibtex]
  
  
• Lauritsen, M., Rostgaard, M., Poulsen, N. K., Optimal Prediction in the Delta-Domain, European Control Conference (ECC95), Rome, Italy, vol. 4, pp. 2851-2856, 1995 [full] [bibtex]
  
  
• Madsen, J., Hald, B. G., An Approach to Interface Synthesis, Proceedings of the 8th International Symposium on System Synthesis, ISSS'95, pp. 16 - 21, 1995 [full] [bibtex]
  
  
• Nielsen, B. F., Andersen, A. M. S., Traffic Models of the Message Transfer Part MTP, New Telecommunication Services for Developing Networks, pp. 22-35, LONIIS, 1995 [full] [bibtex]
  
  
• Pãlchen, W., Rank, G., Kluge, A., Nielsen, A. A., Ersbøll, B. K., Differentiation between geogenic and anthropogenic influences on soils in a mining processing area - some alternatives, Biometrics 95, 25-27 September 1995, pp. 1, International Biometric Society Autralasian Region, 1995 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages, Proc. TAPSOFT, vol. 915, pp. 590-604, Springer-Verlag, 1995 [full] [bibtex]
  
  
• Schmidt, M., Stidsen, T., GA to train NN's using sharing and pruning: Global GA search combined with local BP search, Conference on Applied Decision Technology, 1995 [full] [bibtex]
  
  
• Schmidt, M., Stidsen, T., Using GA to train NN using sharing and pruning, Scandinavian Conference of Artificial Intelligence 1995, Tronheim, 1995 [full] [bibtex]
  
  
• Schulerud, H., Carstensen, J. M., Danielsen, H. E., Multiresolution texture analysis of four classes of mice liver cells using different cell cluster representation, The 9th Scandinavian Conference on Image Analysis, Uppsala, Sweden, pp. 121-129, 1995 [full] [bibtex]
  
  
• Vidal, V. V., Hansen, M. P., Nation wide scheduling of examinations: lessons from experience, 1st. International conference on the practise and theory of automated timetabling, Edinburgh, Scotland, pp. 468-473, 1995 [full] [bibtex]
  
  

• Larsen, R., Estimation of Airflow in livestock Buildings., Proceedings of the 4th Danish Conference on Pattern Recognition and Image Analysis (DANKOMB, DSAGM yearly meeting), Aug. 14-15, pp. 213-210, Dept. of Computer Science (DIKU), University of Copenhagen, 1995 [full] [bibtex] [pdf]
  
  
• Nielsen, M. K., Carstensen, J., Madsen, H., Poulsen, N. K., Harremo, P., Methodologies for the Analysis of Data From Sewersm and Wastewater Treatment Plants, Nordic Seminar on Nitrogen removal from Municipal Wastewater Finland, 1995 [full] [bibtex]
  
  
• VIdal, V. V., Tele-information and logistics: trends of interplay, NOAS'95, Reykjavik, Iceland, pp. 40-58, 1995 [full] [bibtex]
  
  
• Vidal, V. V., Creativity and Problem Solving, National OR Conference in Portugal-plenary speaker, Faro, Portugal, 1995 [full] [bibtex]
  
  

• Nyholm, N., Halling-Sørensen, B., Jensen, S. D., Holst, H., Peterson, H., New developments in algal toxicity test methodology, SETAC World Conference, 1995 [full] [bibtex]
  
  

Books

• George, C., Haxthausen, A. E., Hughes, S., Milne, R., Prehn, S., Pedersen, J. S., The RAISE Development Method, Prentice Hall Int., 1995 [full] [bibtex]
  
  

• Balas, E., Clausen, J., Integer Programming and Combinatorial Optimization, IPCO V, vol. 920, 1995 [full] [bibtex]
  
  
• Carstensen, J. M., Indledende Billedbehandling, Informatics and Mathematical Kodelling, Technical University of Denmark, 1995 [full] [bibtex]
  
  
• Dongarra, J., Madsen, K., Wasniewski, J., Applied Parallel Computing: Computations in Physics, Chemistry and Engineering Science, Springer, 1995 [full] [bibtex]
  
  

• Jones, N. D., Nielson, F., Abstract Interpretation: A Semantics-Based Tool for Program Analysis, Handbook of Logic in Computer Science, vol. 4, pp. 527-636, 1995 [full] [bibtex]
  
  

Master's theses

• Larsen, A., Automatisk vognløbsgenerering i et bybusselskab, IMM, 1995 [full] [bibtex]
  
  

Ph.D. theses

• Andersen, A. T., Modelling of packet traffic with matrix analytic methods, pp. 242, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex] [ps]
  
  
• Balle, S., Distributed-memory matrix computations, pp. 101, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Hesthaven, J., Numerical studies of unsteady coherent structures and transport in two-dimensional flows, pp. 203, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Jensen, J. C., Teoretiske og eksperimentelle dynamiske undersøgelser af jernbanekøretøjer, pp. 174, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Jørgensen, M., Nonlinear Hamiltonian systems, pp. 120, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Kohl, N., Exact methods for time constrained routing and related scheduling problems, pp. 234, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Kulmann, L., On automatic visual inspection of reflective surfaces, pp. xviii+223pp, Department of Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Lazarides, N., Nonlinearity in superconductivity and Josephson Junctions, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Munk, S. M., Centralized Monitoring of 10kV Cable Based Radial Distribution Networks, The Electronics Institute and the Power Engineering Department and the Department of Research and Development of NESA, 1995 [full] [bibtex] [zip]
  
  
• Rogon, T., Porous media: Analysis, reconstruction and percolation, pp. xiv+165 pp, Department of Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Rostgaard, M., Modelling, estimation and control of fast sampled dynamical systems, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Schultz, N., Segmentation and classification of biological objects, pp. xiv+194 pp., Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Sun, H., An Architecture for Robot Task Planning, 1995 [full] [bibtex]
  
  

• Slivsgaard, E. C., On the interaction between wheels and rails in railway dynamics, pp. 196, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex] [pdf]
  
  

Technical reports

• Andersen, A. T., Nielsen, B. F., An experimental study of queueing performance of MAPs with apparently self-similar behaviour, no. TD{95, IMM, 1995 [full] [bibtex]
  
  
• Andersen, A. T., Jensen, A., Nielsen, B. F., Modelling of apparently self-similar packet arrival processes with Markovian Arrival Processes MAP, no. TD{95, IMM, 1995 [full] [bibtex]
  
  
• Bjørner, D., New Software Technology Development, no. 46, 1995 [full] [bibtex]
  
  
• Bjørner, D., Software Support for Infrastructure Systems, no. 47, 1995 [full] [bibtex]
  
  
• Bjørner, D., Software Systems Engineering - From Domain Analysis to Requirements Capture - an Air Traffic Control Example, no. 48, 1995 [full] [bibtex]
  
  
• Brimberg, J., Juel, H., A bicriteria model for locating a semi-desirable facility in the plane, Institute of Mathematical Modelling, Technical University of Denmark, 1995 [full] [bibtex]
  
  
• Brimberg, J., Juel, H., A minisum model with forbidden regions for locating a semi-desirable facility in the plane, Institute of Mathematical Modelling, Technical University of Denmark, 1995 [full] [bibtex]
  
  
• Brimberg, J., Juel, H., On locating a semi-desirable facility on the continuous plane, Institute of Mathematical Modelling, Technical University of Denmark, 1995 [full] [bibtex]
  
  
• Dahlerup, S., Jacobsen, S. K., Juel, H., Three ADD procedures for location in the plane, Institute of Mathematical Modelling, Technical University of Denmark, 1995 [full] [bibtex]
  
  
• Hansen, A. D., Christensen, A., Poulsen, N. K., Model Reduction and Gain Scheduling Control, no. 12, imsordth, 1995 [full] [bibtex]
  
  
• Hansen, A. D., Poulsen, N. K., Level and Rate Constraints in Predictive Control, no. 20, imsordth, 1995 [full] [bibtex]
  
  
• Iwersen, J., Thyregod, P., A Cusum Chart for Monitoring Process Variability, pp. 20 pp., 1995 [full] [bibtex]
  
  
• Larsen, A., IMM Optimization Library, IMM, 1995 [full] [bibtex]
  
  
• Larsen, R., Conradsen, K., Ersbøll, B., Estimation of Dense Image Flow Fields in Fluids, pp. 19, Dept. of Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex] [pdf]
  
  
• Nielsen, H. B., Automatic Classification from Electropherograms, pp. 22, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Model for brændselsforbrug og elproduktion på Korsør kraftvarmeværk, Institut for Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby, 1995 [full] [bibtex]
  
  
• Olesen, T. B., Vidal, R. V. V., SWOT - metode og anvendelser, Technical University of Denmark, CTI, 1995 [full] [bibtex] [pdf]
  
  
• Vidal, V. V., Olesen, T. B., TOWS: metode og anvendelser, pp. 15, CTI, DTU, 1995 [full] [bibtex]
  
  
• Xin, M., Poulsen, N. K., Bindner, H., Estimation of Wind Speed in Connection to a Wind Turbine, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1995 [full] [bibtex] [ps]
  
  
• Xin, M., Poulsen, N. K., Bindner, H., A Pitch regulated variable speed wind turbine, no. 27, imsordth, 1995 [full] [bibtex]
  
  

Misc

• Liu, Z., Hansen, M. R., Madsen, J., Brage, J. P., Real-Time Semantics for Data Flow Graphs, Accepted for poster presentation at the IFIP Advanced Research Working Conference on Correct Hardware Design and Verification, 1995 [full] [bibtex]
  
  

• Nielsen, H. A., Madsen, H., Off-line Wind Power Prediction Tool. Version 1.0 - Users Manual, Institut for Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby, 1995 [full] [bibtex]
  
  

• Clausen, J., Beregnelighed, vol. 2, pp. 502, 1995 [full] [bibtex]
  
  
• Hankin, C. L., RiisNielson, H., New Trends in the Integration of Paradigms, Schloss Dagstuhl report 126 Internationales Begegnungs- und Forschungszentrum für Informatik, 1995 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Kostægte Fjernvarmetariffer - Load Management i Fjernvarmenet - Matematisk Model. Appendiks B: Model for brændselsforbrug og elproduktion på Korsør kraftvarmeværk, Birch & Krogboe A/S, Teknikerbyen 34, DK-2830 Virum, 1995 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Wind Power Prediction Tool in Central Dispatch Centres. Chapter: Neural Networks for Wind Power Prediction, Wind Power Prediction Tool in Central Dispatch Centres, pp. 59-73, Eltra, 1995 [full] [bibtex]
  
  
• Nielsen, H. A., Madsen, H., Adaptive recursive least squares algorithm used in Wind Power Prediction Tool, Department of Mathematical Modelling, Technical University of Denmark, DK-2800 Lyngby, Denmark, 1995 [full] [bibtex]