Department of Informatics and Mathematical Modeling

  1. 1986
  2. Published

    Strategi for grundvandskontrol ved affaldsdeponier. / La Cour Jansen, Jes; Kjeldsen, Peter; Kirkegaard, Claus; Spliid, Henrik.

    In: Vand og Miljø, Vol. 1, 1986, p. 20-24.

    Publication: ResearchJournal article – Annual report year: 1986

  3. Published

    Sufficient conditions for the convexity of the perturbation function. / Vidal, Rene Victor Valqui.

    IMSOR, DTH, 1986.

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

  4. Published
  5. Published

    The Analysis of Insulation Breakdown Probabilities by the Up-And-Down Method. / Vibholm (fratrådt), Svend; Thyregod, Poul.

    In: IEEE Transactions on Electrical Insulation, Vol. EI-21, No. 2, 1986, p. 133-136.

    Publication: Research - peer-reviewJournal article – Annual report year: 1986

  6. Published

    The use of additional variables i classification of image data. / Conradsen, Knut; Ersbøll, Bjarne Kjær.

    Adaptive Image Analysis Symposium, Heriot-Watt University. 1986.

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

  7. Published

    The use of remote sensing in mapping of oxidized zones and lineaments in Greenland. / Thyrsted, T.; Conradsen, Knut; Ersbøll, Bjarne Kjær; Nilsson, G.

    First European Workshop in Remote Sensing in Mineral Exploration, Bruxelles. 1986. p. 111-125.

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

  8. 1985
  9. 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

  10. 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

  11. 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

  12. 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

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