Department of Informatics and Mathematical Modeling
- 1983
- Published
Optimization of Discrete Time Systems - the upper boundary approach. / Vidal, Rene Victor Valqui; Ravn, Hans V.; Nahorski, Z.
Spriger Verlag, 1983.Publication: Research - peer-review › Book – Annual report year: 1983
- Published
Optimizing a Pump-Pipe System. / Vidal, Rene Victor Valqui; Ferreira, Jose S.
In: Investigacao Operational (Portugal), Vol. 3, No. 1, 1983, p. 16-30.Publication: Research - peer-review › Journal article – Annual report year: 1983
- Published
Peru, Fiskeindustri, Imperialisme (in Danish). / Vidal, Rene Victor Valqui; Petersen, Kim T.
RUC forlag, 1983.Publication: Research - peer-review › Book – Annual report year: 1983
- Published
Proof Systems for Computation Time. / Nielson, Hanne Riis.
In: Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science. 1983.Publication: Research - peer-review › Article in proceedings – Annual report year: 1983
- Published
Strong Abstract Interpretation using Power Domains. / Mycroft, A.; Nielson, Flemming.
In: Proc. ICALP'83. Springer-Verlag, 1983. p. 536-547.Publication: Research - peer-review › Article in proceedings – Annual report year: 1983
- Published
Subharmonic generation in Josephson junction fluxon oscillators biased on Fiske steps. / Sørensen, Mads Peter; Christiansen, Peter Leth; Parmentier, R. D.; Skovgaard, Ove.
In: Applied Physics Letters, Vol. 42, No. 8, 1983, p. 739-741.Publication: Research - peer-review › Journal article – Annual report year: 1983
- Published
The Discrete-Time Maximum Principle - a survey and some new results. / Vidal, Rene Victor Valqui; Ravn, Hans V.
In: International Journal of Control, Vol. 40, No. 3, 1983, p. 135-152.Publication: Research - peer-review › Journal article – Annual report year: 1983
- Published
The solution of location problems with certain existing facility structures. / Juel, Henrik; Love, Robert F.
In: Canadian Journal of Operational Research and Information Processing, Vol. 21, No. 2, 1983, p. 145-150.Publication: Research - peer-review › Journal article – Annual report year: 1983
- Published
Towards Viewing Nondeterminism as Abstract Interpretation. / Nielson, Flemming.
In: Proc. Foundations of Software Technology and Theoretical Computer Science. 1983.Publication: Research - peer-review › Article in proceedings – Annual report year: 1983
- Published
Vurdering af teknologisk udvikling indenfor levnedsmiddelsektoren (8 rapporter). / Vidal, Rene Victor Valqui.
1983.Publication: Research - peer-review › Book – Annual report year: 1983