IMM Publications - 1985

Journal papers

With referee

  • Asmussen, S., Johansen, H., Uber eine stetigkeitsfrage betreffend das bedienungssystem GI/GI/s, Elektron. Inf. verarb. Kybern, EIK, vol. 22(10/11), pp. 565-570, 1985 [full] [bibtex]

  • Evans, I. G., Thyregod, P., Approximately optimal narrow limit gauges, Journal of Quality technology, vol. 17, pp. 63-66, 1985 [full] [bibtex]

  • Juel, H., Love, R. F., The facility location problem for hyper-rectilinear distances, IIE Transactions, vol. 17, pp. 94-98, 1985 [full] [bibtex]

  • Madsen, H., Spliid, H., Thyregod, P., Markov models in discrete and continous time for hourly observations of cloud cover, J. of climate and applied climatology, 1985 [full] [bibtex]

  • Nielson, F., Program Transformations in a Denotational Setting, ACM Transactions on Programming Languages and Systems, vol. 7(3), pp. 359-379, 1985 [full] [bibtex]

  • Thyregod, P., Evans, I. G., Comparisons of Bayesian variable and attribute sampling acceptance plans when the quality distribution is normal with known variance and the conformance requirement is one-sided, Mathematische Operationsforschung und Statistik, vol. 16, pp. 219-231, 1985 [full] [bibtex]

Conference papers

With referee

  • Conradsen, K., Ersbøll, B. K., Thyrsted, T., Simultaneous analysis of imagery of different origin, 45th session of the ISI, Amsterdam, pp. 187-188, 1985 [full] [bibtex]

  • Conradsen, K., Ersbøll, B. K., Nilsson, G., Thyrsted, T., Analysis of Satellite imagery combined with geophysical and giochemical measurements, First European Workshop on Remote sensing in Mineral Exploration, Bruxelles, pp. 87-107, 1985 [full] [bibtex]

  • Conradsen, K., Ersbøll, B. K., Thyrsted, T., A comparison of min/max autocorrelation factor analysis and ordinary factor analysis, Nordic Symposium in Applied Statistics, Lyngby, pp. 47-56, 1985 [full] [bibtex]

  • Holst, J., Poulsen, N. K., A Robust Self Tuning Controller for Timevarying Dynamic Systems, Identification and System Parameter Estimation, York, UK, vol. 2, pp. 1773-1778, 1985 [full] [bibtex]

  • Iversen, V. B., Nielsen, B. F., Some Properties of Coxian Distributions with Applications, International Conference Modelling Techniques and Tools for Performance Evaluation, pp. 69-74, 1985 [full] [bibtex]

  • Nielson, F., Tensor Products Generalize the Relational Data Flow Analysis Method, Proc. Fourth Hungarian Computer Science Conference, pp. 211-225, 1985 [full] [bibtex]

  • Riis Nielson, H., A Hoare-like Proof System for Total Correctness of Nested Recursive Procedures, Proc. Fourth Hungarian Computer Science Conference, 1985 [full] [bibtex]

Books

Author

  • Vidal, V. V., Teknologi og ulande (in Danish), pp. 200, IMSOR, DTH, 1985 [full] [bibtex]

Chapter

  • Bjørner, D., Nielsen, M., Meta Programs and Project Graphs, ETW: Esprit Technical Week, pp. 479-491, 1985 [full] [bibtex]

Master's theses

Academic theses

  • Johansen, H., Stabilitet i GI/GI/1, pp. 49, KUIMS, University of Copenhagen, Denmark, 1985 [full] [bibtex]

Ph.D. theses

Academic theses

  • Kaas-Petersen, C., Computational methods for continuation and bifurcation of nonlinear dissipative dynamical systems, Laboratory of Applied Mathematical Physics, The Technical University of Denmark, 1985 [full] [bibtex] [pdf]

  • Løvengreen, H. H., On Concurrency Formalization, Department of Computer Science, 1985 [full] [bibtex]

  • Poulsen, N. K., Robust Self Tuning Controllers, pp. 237, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1985 [full] [bibtex] [pdf]

Technical reports

  • Asmussen, S., Johansen, H., Uber eine stetigkeitsfrage betreffend das bedienungssystem GI/GI/s, Preprint, vol. 3, pp. 14, Institute of Mathematical Statistics, University of Copenhagen, 1985 [full] [bibtex]

  • Nielsen, B. F., Coxfordelinger egenskaber og anvendelser, no. 19, IMSOR, 1985 [full] [bibtex]

  • Vidal, V. V., OR og Produktionsstyring, pp. 13, IMSOR, DTH, 1985 [full] [bibtex]

  • Vidal, V. V., Ravn, H., Nahorski, Z., Stability of upper boundary (perturbation function): an introduction, pp. 100, IMSOR, DTH, 1985 [full] [bibtex]

  • Vidal, V. V., Ulandsteknologi, pp. 8, IMSOR, DTU, 1985 [full] [bibtex]

  • Vidal, V. V., A graphical method for economic selection of quality of manufactured product, pp. 11, IMSOR, DTH, 1985 [full] [bibtex]

  • Vidal, V. V., On the equivalence of two simple allocation problems, pp. 7, IMSOR, DTH, 1985 [full] [bibtex]

  • Vidal, V. V., Ravn, H., Nahorski, Z., On the connection between mathematical programming and discrete optimal control - a survey amd some new results, pp. 25, IMSOT, DTH, 1985 [full] [bibtex]

Lecture notes

  • Vidal, V. V., Some inventory models, pp. 24, IMSOR, DTH, 1985 [full] [bibtex]