Search
Results
-
-
On the expressive power of Query languages
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
Computerarchitektur aus damaliger und heutiger Sicht
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Abteilung für Informatik, Departement InformatikReport -
3-wertige Logiken und stabile Logik
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Theoretische InformatikReport -
Towards a unified theory of concurrency control and recovery
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
Second-order signature
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
Numerical solution of a nozzle flow
(1992)SAM Research ReportThe problem of a high enthalpy nozzle flow is considered. Rotational symmetry is assumed. The governing inhomogeneous Euler equations are given, and the special treatment of the high temperature gas, the vibrational and chemical equilibrium is described. Some numerical boundary conditions are given and the problem of rotational symmetry is mentioned. At the end some numerical results are shown.Report -
-
Maximizing bilinear forms subject to linear constraints
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches RechnenReport -
Limit computation in computer algebra
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches RechnenReport