IMM Publications - 1986

Journal papers

• Bjørner, D., Software Engineering and Programming: Past-Present-Future, IPSJ: Inform. Proc. Soc. of Japan, vol. 8(4), pp. 265-270, 1986 [full] [bibtex]
  
  
• Conradsen, K., Hagerup, M., Ersbøll, B. K., Billeder omsat i tal, Naturens Verden, vol. 6, pp. 232-240, 1986 [full] [bibtex]
  
  
• Hendricks, E., Poulsen, N. K., Minimum Energy Control of Large Diesel Engines, SAE technical paper, vol. 861191, 1986 [full] [bibtex]
  
  
• Iversen, V. B., Nielsen, B. F., Comments to a Paper by V. Giorno, C. Negri and A. G. Nobile, Jour. Appl. Prob., vol. 23(4), pp. 1047-1048, 1986 [full] [bibtex]
  
  
• Juel, H., Love, R. F., A geometrical interpretation of the existing facility solution condition for the Weber problem, The Journal of the Operational Research Society, vol. 37, pp. 1129-1131, 1986 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Comments on Georgeff's Transformation and Reduction Strategies for Typed Lambda Expressions, ACM Transactions on Programming Languages and Systems, vol. 8(3), pp. 406-407, 1986 [full] [bibtex]
  
  
• Thyrsted, T., Conradsen, K., Ersbøll, B. K., Remote sensing used in mineral exploration in Greenland. Commission on thematic mapping from satellite imagery, International Cartographic Association, pp. 5, 1986 [full] [bibtex]
  
  
• Vibholm, S., Thyregod, P., The analysis of insulation breakdown probabilities by the up and down method, IEEE Transactions,, vol. EI-21, pp. 133-136, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Ravn, H., Operational Research for Developing Countries - a case of transfer of technology, Journal of the Operational Research Society, vol. 37(2), pp. 205-210, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Madsen, O. G., Booking policy for flights with two pasenger types, European Journal of Operational Research, vol. 27(3), pp. 274-288, 1986 [full] [bibtex]
  
  
• Vidal, V. V., A Global Maximum Principle for Discrete-Time Control Problems, Engineering Optimization, vol. 10(2), pp. 150-162, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Solving a family of simple allocations problems, Investigacion Operacional (Cuba), vol. vii(2), pp. 78-84, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Becker, P., On Lagrange multipliers and QRA-work, IEEE Journal of selected areas in communication, vol. 36, pp. 1143-1148, 1986 [full] [bibtex]
  
  

• Vidal, V. V., Optimal Control i Discret Tid, DORS-nyt, pp. 13, 1986 [full] [bibtex]
  
  

Conference papers

• Conradsen, K., Ersbøll, B. K., Pedersen, J. L., Comparison of visual and automated lineament analysis on landsat MSS image from south Greenland, Earsel 10th Annniversary Symposium, Lyngby, ESA SP-258, pp. 205-211, 1986 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Pedersen, J. L., Automated analysis of linear features based on satellite imagery compared with geological setting, Second European Workshop on remote Sensing in Mineral Exploration, Bruxelles, pp. 275-292, 1986 [full] [bibtex]
  
  
• Conradsen, K., Nielsen, A. A., Ersbøll, B. K., Pedersen, J. L., Statistical methods and remote sensing techniques applied in analysis of combined geodata, Second European Workshop on Remote Sensing in Mineral Exploration, Bruxelles, pp. 245-272, 1986 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., The use of additional variables i classification of image data, Adaptive Image Analysis Symposium, Heriot-Watt University, pp. 4, 1986 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Pedersen, J. L., Automated identification of linear features in digital imagery, Nordic Symposium in Applied Statistics, RECKU, København, pp. 299-313, 1986 [full] [bibtex]
  
  
• Hendricks, E., Holst, J., Poulsen, N. K., Joensen, H., Adaptive Minimum Energy Control of Large Diesel Engines, IFAC Workshop on Adaptive Systems in Control and Signal Processing, Lund, Sweden, pp. 231-236, 1986 [full] [bibtex]
  
  
• Jensen, M. N., Sharp, R. I., Skov, M., Sparsø, J., LAN-DTH - A Hierarchical Local Area Network based on a High Speed Optic Token Ring, Proc.of IFIP TC6/WG6.4 International In Depth Symposium on Local Communication Systems LAN and PBX, pp. 339-351, 1986 [full] [bibtex]
  
  
• Madsen, J., Stassen, F., Digital Design Using Module Generators, Proceedings of the 2nd NORSILC/NORCHIP Seminar, pp. 15 pages, 1986 [full] [bibtex]
  
  
• Nielsen, B. F., Estimation af parameterværdier i Cox-fordelinger til trafikanalyse, NTS-6, pp. 1-12, 1986 [full] [bibtex]
  
  
• Nielson, F., Abstract Interpretation of Denotational Definitions, Proc. STACS'86, vol. 210, pp. 1-20, Springer-Verlag, 1986 [full] [bibtex]
  
  
• Nielson, F., Expected Forms of Data Flow Analysis, Programs as Data Objects, vol. 217, pp. 172-191, Springer-Verlag, 1986 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Code Generation from Two-Level Denotational Meta-Languages, Programs as Data Objects, vol. 217, pp. 192-205, Springer-Verlag, 1986 [full] [bibtex]
  
  
• Nielson, F., Correctness of Code Generation from a Two-Level Meta-Language (Extended Abstract), Proc. ESOP'86, vol. 213, pp. 30-40, Springer-Verlag, 1986 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Pragmatic Aspects of Two-Level Denotational Meta-Languages, Proc. ESOP'86, vol. 213, pp. 133-143, Springer-Verlag, 1986 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Semantics Directed Compiling for Functional Languages, Proc. ACM Conference on LISP and Functional Programming, pp. 249-257, 1986 [full] [bibtex]
  
  
• Thyrsted, T., Conradsen, K., Ersbøll, B. K., Nilsson, G., The use of remote sensing in mapping of oxidized zones and lineaments in Greenland, First European Workshop in Remote Sensing in Mineral Exploration, Bruxelles, pp. 111-125, 1986 [full] [bibtex]
  
  
• Vidal, V. V., On the connections between Mathematical Programming and Discrete Optimal Control, !2th IFIP Conference on Systems Modelling and Optimization, Budapest, Hungary, pp. 234-243, Spriger Verlag, 1986 [full] [bibtex]
  
  

• Vidal, V. V., Thorsen, M., ES and OR: Trends of interplay, EURO'86, pp. 20, 1986 [full] [bibtex]
  
  

Books

• Bjørner, D., Project Graphs and Meta-Programs: Towards a Theory of Software Development, Proc. Capri '86 Conf. on Innovative Software Factories and Ada, Lecture Notes on Computer Science, 1986 [full] [bibtex]
  
  
• Bjørner, D., Software Development Graphs - A Unifying Concept for Software Development?, pp. 1-9, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Arinbjarnarson, A., Computer Aided Production Planning in A Small Firm, OR in Micros (Portugal), North Holland, 1986 [full] [bibtex]
  
  

Technical reports

• Juel, H., Love, R. F., A geometrical interpretation of the existing facility solution condition for the Weber problem, Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1986 [full] [bibtex]
  
  
• Løvengreen, H. H., Formel specifikation af parallelle systemer -- en kort orientering, Deåartment of Computer Science, 1986 [full] [bibtex]
  
  
• Sparsø, J., A POLYNET to VME-bus Interface Unit - Block diagram and principles of oparation, pp. 1-53, Department of Computer Science, Technical University of Denmark, 1986 [full] [bibtex]
  
  
• Sparsø, J., Hardware Architecture of a Node for the LAN-DTH High Speed Token Ring, pp. 1-61, 1986 [full] [bibtex]
  
  
• Spliid, H., MARIMA - Estimation of multivariate time series models. User guide for a computer program, pp. 76, Technical University of Denmark, The Institute of Mathematical Statistics and Operations Research, 1986 [full] [bibtex] [pdf]
  
  
• Vidal, V. V., Ravn, H., Anvendelse af OR i forbindelse med udvikling af gas, pp. 29, IMSOR, DTH, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Sufficient conditions for the convexity of the perturbation function, pp. 4, IMSOR, DTH, 1986 [full] [bibtex]
  
  
• Vidal, V. V., Om teknologi aftaler/teknologivurdering - et kritisk udgangspunkt, pp. 16, IMSOR, DTH, 1986 [full] [bibtex]
  
  

Lecture notes

• Vidal, V. V., Ravn, H., Opgaver og eksempler til "Notes on Static and Dynamic Optimization", pp. 192, IMSOR, DTH, 1986 [full] [bibtex]