Search
Results
-
The Oberon system family
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für ComputersystemeReport -
-
ProQuel: using Prolog to implement a deductive database system
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
Using nP-based analysis in information retrieval
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
GIPSY: a generator for incremental programming systems
(1992)TIK ReportGIPSY (Generator for Incremental Programming Systems) is an experimental system, which produces incremental programming environments from a given language definition. Besides its tasks in a conventional environment, the compiler of a GIPSY generated system serves as a program base by making syntax and semantic information about a program accessible to other tools. The compiler manages a program internally in a general data model and offers ...Report -
Invariant manifolds of numerical integration schemes applied to stiff systems of singular perturbation type - Part I: RK-methods
(1992)SAM Research ReportFor implicit RK-methods applied to singularly perturbed systems of ODEs it is shown that the resulting discrete systems preserve the geometric properties of the underlying ODE. As an application of this invariant manifold result sharp bounds on the global error are derived.Report -
Smooth attractive invariant manifolds of singularly perturbed ODE's
(1992)SAM Research ReportUnder hypotheses suitable for applications an invariant manifold result for singularly perturbed ODE's is proved with sharp smoothness properties of the manifold.Report -
Retrieval von Grafikdokumenten
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport -
Attractive invariant manifolds for maps: Existence, smoothness and continuous dependence on the map
(1992)SAM Research ReportA global invariant manifold result for maps is derived with conditions that are easy to verify for applications. The result supplies existence and smoothness of the attractive manifold as well as additional useful properties. It is also shown that a Ck,1-perturbation of the map yields a Ck-perturbation of the manifold. Moreover, it is proved that if there is an attractive invariant manifold for the time-T map of an ODE then this manifold ...Report -
A temporal extension of the deductive database system ProQuel
(1992)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für InformationssystemeReport