Ergebnisse für: Inverse Method
Hier findest Du Bücher, die sich mit Inverse Method beschäftigen.
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as seve...
A major task for physical oceanographers is to determine the movement of oceanic water from observations. This book introduces a simple, efficient inverse method, the P-vector method, with a two-step determination of the velocity from hydrographic data. The book provide insights into the basics of t...
This book introduces state-of-the-art verification techniquesfor real-time embedded systems, based on the inverse method forparametric timed automata. It reviews popular formalisms for thespecification and verification of timed concurrent systems and, inparticular, timed automata as well as several ...
This book introduces state-of-the-art verification techniquesfor real-time embedded systems, based on the inverse method forparametric timed automata. It reviews popular formalisms for thespecification and verification of timed concurrent systems and, inparticular, timed automata as well as several ...
A major task for physical oceanographers is to determine the movement of oceanic water from observations. This book introduces a simple, efficient inverse method, the P-vector method, with a two-step determination of the velocity from hydrographic data. The book provide insights into the basics of t...
A major task for physical oceanographers is to determine the movement of oceanic water from observations. This book introduces a simple, efficient inverse method, the P-vector method, with a two-step determination of the velocity from hydrographic data. The book provide insights into the basics of t...
This volume contains the Proceedings of a meeting held at Montpellier from November 27th to December 1st 1989 and entitled "Inverse Problems Multicen tennials Meeting". It was held in honor of two major centennials: the foundation of Montpellier University in 1289 and the French Revolution of 1789. ...
Inverse problems of spectral analysis consist in recovering operators from their spectral characteristics. Such problems often appear in mathematics, mechanics, physics, electronics, geophysics, meteorology and other branches of natural science. This monographis devoted to inverse problems of ...