Ergebnisse für: Refinements
Hier findest Du Bücher, die sich mit Refinements beschäftigen.
A frequent task in system design is to refine a transition system, i.e. to remove undesired transitions. This task can be hard if one is confronted with a large system. This work presents an approach for handling large systems via bisimulations: A large, possibly infinite system is transformed into ...
Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezü...
In this monograph, noncooperative games are studied. Since in a noncooperative game binding agreements are not possible, the solution of such a game has to be self enforcing, i. e. a Nash equilibrium (NASH [1950,1951J). In general, however, a game may possess many equilibria and so the problem arise...
In this monograph, noncooperative games are studied. Since in a noncooperative game binding agreements are not possible, the solution of such a game has to be self enforcing, i. e. a Nash equilibrium (NASH [1950,1951J). In general, however, a game may possess many equilibria and so the problem arise...
B-Spline and NURBS techniques have already been successfully used in Isogeometric Analysis which is a method for directly integrating CAD models in numerical simulations. Our purpose is to improve existing techniques to enhance the efficiency. First, we use local B-Spline subdivisions and knot i...
Modern Charge-Density Analysis focuses on state-of-the-art methods and applications of electron-density analysis. It is a field traditionally associated with understanding chemical bonding and the electrostatic properties of matter. Recently, it has also been related to predictions of properties and...
An introduction to game theory, complete with step-by-step tools and detailed examples.  This book offers condensed breakdowns of game-theory concepts. Specifically, this textbook provides “tools” or “recipes” to solve different classes of games. Game Theory presents the ...
This is the first book to treat combinatorial and geometric aspects of two-dimensional solitons. Based on recent research by the author and his collaborators, the book presents new developments focused on an interplay between the theory of solitons and the combinatorics of finite-dimensional Grassma...
An introduction to game theory, complete with step-by-step tools and detailed examples. 
This book offers condensed breakdowns of game-theory concepts. Specifically, this textbook provides “tools” or “recipes” to solve different classes of games.
Game Theory presents the informat...
Strategic decision making involves deliberating about the consequences of every available course of action. This in turn, requires hypothesizing about the beliefs of the other players and their possible reactions to observed play. Unless individuals have previous experience with similar games or pla...
Modern Charge-Density Analysis focuses on state-of-the-art methods and applications of electron-density analysis. It is a field traditionally associated with understanding chemical bonding and the electrostatic properties of matter. Recently, it has also been related to predictions of properties and...
An introduction to game theory, complete with step-by-step tools and detailed examples. 
This book offers condensed breakdowns of game-theory concepts. Specifically, this textbook provides “tools” or “recipes” to solve different classes of games.
Game Theory presents the informat...
I have been pleased with the favourable reception of the first edition of this book and I am grateful to have the opportunity to prepare this second edition. In this revised and enlarged edition I corrected some misprints and errors that occurred in the first edition (fortunately I didn't find too m...
This is the first book to treat combinatorial and geometric aspects of two-dimensional solitons. Based on recent research by the author and his collaborators, the book presents new developments focused on an interplay between the theory of solitons and the combinatorics of finite-dimensional Grassma...
Modern Charge-Density Analysis focuses on state-of-the-art methods and applications of electron-density analysis. It is a field traditionally associated with understanding chemical bonding and the electrostatic properties of matter. Recently, it has also been related to predictions of properties and...
I have been pleased with the favourable reception of the first edition of this book and I am grateful to have the opportunity to prepare this second edition. In this revised and enlarged edition I corrected some misprints and errors that occurred in the first edition (fortunately I didn't find too m...