Department of Informatics and Mathematical Modeling

  1. 1985
  2. Published

    On Concurrency Formalization. / Løvengreen, Hans Henrik.

    1985. 496 p. (Uden navn; No. ID-TR:85-3).

    Publication: ResearchPh.D. thesis – Annual report year: 1985

  3. Published

    A comparison of min/max autocorrelation factor analysis and ordinary factor analysis. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Thyrsted, T.

    Nordic Symposium in Applied Statistics, Lyngby. 1985. p. 47-56.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1985

  4. Published

    A graphical method for economic selection of quality of manufactured product. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1985.

    Publication: Research - peer-reviewReport – Annual report year: 1985

  5. Published

    A Hoare-like Proof System for Total Correctness of Nested Recursive Procedures. / Nielson, Hanne Riis.

    Proc. Fourth Hungarian Computer Science Conference. 1985.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1985

  6. Published

    Analysis of Satellite imagery combined with geophysical and giochemical measurements. / Conradsen, Knut; Ersbøll, Bjarne Kjær; Nilsson, G.; Thyrsted, T.

    First European Workshop on Remote sensing in Mineral Exploration, Bruxelles. 1985. p. 87-107.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1985

  7. Published

    A Robust Self Tuning Controller for Timevarying Dynamic Systems. / Holst, Jan; Poulsen, Niels Kjølstad.

    Identification and System Parameter Estimation, York, UK. 1985. p. 1773-1778.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1985

  8. Published

    Coxfordelinger egenskaber og anvendelser. / Nielsen, Bo Friis.

    IMSOR, 1985.

    Publication: Research - peer-reviewReport – Annual report year: 1985

  9. Published
  10. Published

    On the connection between mathematical programming and discrete optimal control - a survey amd some new results. / Vidal, Rene Victor Valqui; Ravn, Hans V.; Nahorski, Z.

    IMSOT, DTH, 1985.

    Publication: Research - peer-reviewReport – Annual report year: 1985

  11. Published

    On the equivalence of two simple allocation problems. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1985.

    Publication: Research - peer-reviewReport – Annual report year: 1985

Download list: To download, please limit the number of search results to 1,000 or less.