springer berlin heidelberg springer berlin heidelberg feb 1989 (71 résultats)

Taschenbuch. Etat : Neu. Neuware -The book explores the possibility of extending the notions of 'Grassmannian' and 'Gauss map' to the PL category. They are distinguished from 'classifying space' and 'classifying map' which are essentially homotopy-theoretic notions. The analogs of Grassmannian and Gauss map defined incorporate geometric and combinatorial information. Principal applications involve characteristic class theory, smoothing theory, and the existence of immersion satifying certain geometric criteria, e.g. curvature conditions. The book assumes knowledge of basic differential topology and bundle theory, including Hirsch-Gromov-Phillips theory, as well as the analogous theories for the PL category. The work should be of interest to mathematicians concerned with geometric topology, PL and PD aspects of differential geometry and the geometry of polyhedra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -This book is devoted to Large Scale Systems methodologies including decomposition, aggregation, and model reduction techniques. The focus is put on theoretical and practical results resulting from the application of these techniques in the area of stability and decentralized control. Every result is illustrated by examples to facilitate understanding. The appendices provide a collection of ready-to-use packages implementing some algorithms included in the book. Graduate students concerned with system and control theory will be interested in this book, since it offers a global synthesis on the problem of structurally constrained control. The book addresses also scientists and lecturers in the areas of large scale systems and control theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Etat : Neu. Neuware -Das vorliegende Buch liefert die Ergebnisse der Saarbrücker Fachtagung zum Thema CIM, die zum zweiten Mal stattfindet und richtet sich insbesondere an den Mittelstand. Die mit der Just-in-time-Philosophie verbundene Verkürzung der Durchlaufzeiten und die steigende Produktvielfalt erfordern eine schnelle Anpassung an veränderte Markterfordernisse. Durch CIM, den informationstechnischen und organisatorischen Verbund der planerisch-dispositiven Aufgaben der Produktionsplanung und -steuerung mit den technischen Aufgaben der CAD-/CAM-Komponenten, können Transparenz und Flexibilität in der Fertigung erreicht werden. Die mittelständische Industrie weist häufig bereits eine hohe organisatorische Flexibilität auf. Dies muß unterstützt werden durch die Integration auf der informationstechnischen Seite, damit der Vorsprung, den der Mittelstand in der Flexibilität gegenüber der Großindustrie noch besitzt, gehalten werden kann. Auf der Tagung berichten Anwender, wie sie sich dieser Herausforderung gestellt haben. Alle Referenten, die über Lösungen oder Planungen in ihren Unternehmen berichten, kommen aus Betrieben mit mittelständischen Strukturen. Auch die Wissenschaftler und Berater haben sich in ihren Forschungsarbeiten und Projekten mit den besonderen Problemen des Mittelstandes auseinandergesetzt. Das Informationsangebot wird abgerundet durch die Vorstellung des Programmes Fertigungstechnik des Bundesministers für Forschung und Technologie für die Förderung von CIM-Einführungen bei kleineren und mittleren Firmen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die bildliche Darstellung des Feten mittels Ultraschall ist eine Routinemethode in der Schwangerschaftsüberwachung. Mit Hilfe der Dopplersonographie kann nun auch der feto- und uteroplazentare Blutstrom gemessen werden. Für die geburtshilfliche Diagnostik lassen sich daraus wertvolle Aussagen zum prä- und subpartalen Verlauf gewinnen. Das vorliegende Buch dient der Einarbeitung in die Methode. Deshalb werden zunächst Technik und Physik der Dopplersonographie erklärt und die praktische Durchführung der Untersuchung beschrieben. Zahlreiche Dopplerkurven dokumentieren die typischen Befunde bei normalen und pathologischen Schwangerschaften, z.B. bei fetaler Mangelversorgung, tokolytischer Behandlung, EPH-Gestose sowie unter der Geburt. Ein neu entwickeltes Punktsystem (Dopplerscore) hilft bei der diagnostischen Bewertung der Befunde.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -Die Möglichkeiten zur Rechnerunterstützung beim Layoutentwurf hybrider Schichtschaltungen, dem Bindeglied zwischen Leiterplatten- und Integrationstechnik, werden in einem verständlichen und umfassenden Überblick vorgestellt. Es ist beschrieben, wie die einzelnen Arbeitsschritte mit Hilfe neuer Algorithmen und Vorgehensweisen wesentlich unterstützt oder gar ganz automatisiert werden können. Die Widerstandsberechnung wird unter Berücksichtigung aller für die Dimensionierung wichtigen technologischen Einflüsse behandelt. Anschließend werden Grundlagen für die interaktive Plazierung und ein neuer Ansatz zur automatischen Verdrahtung vorgestellt. Der Prüfung und Weiterverarbeitung des Layouts dienen die vorgestellten neuen Verfahren der Entwurfsregelprüfung, Kompaktierung und Maskengenerierung. Alle Themen sind speziell auf die besonderen Anforderungen in der Hybridtechnik abgestimmt. Sowohl dem Entwickler als auch dem Anwender von CAD-Verfahren werden für alle Stufen im Layoutentwurf neue Lösungen vermittelt und an Beispielen erläutert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Etat : Neu. Neuware -In diesem Band wird der Einfluß von Verfahrensparametern bei den Durchdrückverfahren Voll-Vorwärts-Fließpressen und Verjüngen auf das Ermüdungsverhalten von Werkstücken untersucht. Die hergestellten bauteilähnlichen Proben werden durch Berechnung des lokalen Umformgrades, experimentelle Ermittlung der Umformeigenspannungen und der mechanischen Kennwerte, Messung des Härteprofils und der Oberflächenbeschaffenheit sowie begleitende metallographische Untersuchungen näher charakterisiert. Das Ermüdungsverhalten des Werkstoffes Ck15G vor und nach der Umformung wird diskutiert, der Einfluß verschiedener Versuchsführungen und der Versuchsfrequenz untersucht. Für die ermüdeten Schwingproben wird eine mikroskopische Betrachtung der Feinstruktur durchgeführt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book explores the possibility of extending the notions of 'Grassmannian' and 'Gauss map' to the PL category. They are distinguished from 'classifying space' and 'classifying map' which are essentially homotopy-theoretic notions. The analogs of Grassmannian and Gauss map defined incorporate geometric and combinatorial information. Principal applications involve characteristic class theory, smoothing theory, and the existence of immersion satifying certain geometric criteria, e.g. curvature conditions. The book assumes knowledge of basic differential topology and bundle theory, including Hirsch-Gromov-Phillips theory, as well as the analogous theories for the PL category. The work should be of interest to mathematicians concerned with geometric topology, PL and PD aspects of differential geometry and the geometry of polyhedra. 212 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Global optimization is concerned with finding the global extremum (maximum or minimum) of a mathematically defined function (the objective function) in some region of interest. In many practical problems it is not known whether the objective function is unimodal in this region; in many cases it has proved to be multimodal. Unsophisticated use of local optimization techniques is normally inefficient for solving such problems. Therefore, more sophisticated methods designed for global optimization, i.e. global optimization methods, are important from a practical point of view. Most methods discussed here assume that the extremum is attained in the interior of the region of interest, i.e., that the problem is essentially unconstrained. Some methods address the general constrained problem. What is excluded is the treatment of methods designed for problems with a special structure, such as quadratic programming with negatively quadratic forms. This book is the first broad treatment of global optimization with an extensive bibliography covering research done both in east and west. Different ideas and methods proposed for global optimization are classified, described and discussed. The efficiency of algorithms is compared by using both artificial test problems and some practical problems. The solutions of two practical design problems are demonstrated and several other applications are referenced. The book aims at aiding in the education, at stimulating the research in the field, and at advising practitioners in using global optimization methods for solving practical problems. 272 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is the second part of an intended three-volume treatise on semialgebraic topology over an arbitrary real closed field R. In the first volume (LNM 1173) the category LSA(R) or regular paracompact locally semialgebraic spaces over R was studied. The category WSA(R) of weakly semialgebraic spaces over R - the focus of this new volume - contains LSA(R) as a full subcategory. The book provides ample evidence that WSA(R) is 'the' right cadre to understand homotopy and homology of semialgebraic sets, while LSA(R) seems to be more natural and beautiful from a geometric angle. The semialgebraic sets appear in LSA(R) and WSA(R) as the full subcategory SA(R) of affine semialgebraic spaces. The theory is new although it borrows from algebraic topology. A highlight is the proof that every generalized topological (co)homology theory has a counterpart in WSA(R) with in some sense 'the same', or even better, properties as the topological theory. Thus we may speak of ordinary (=singular) homology groups, orthogonal, unitary or symplectic K-groups, and various sorts of cobordism groups of a semialgebraic set over R. If R is not archimedean then it seems difficult to develop a satisfactory theory of these groups within the category of semialgebraic sets over R: with weakly semialgebraic spaces this becomes easy. It remains for us to interpret the elements of these groups in geometric terms: this is done here for ordinary (co)homology. 400 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages. 404 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency. 556 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These Lecture Notes arose from discussions we had over a working paper written by the first author in fall 1987. We decided then to write a short paper about the basic structure of evolutionary stability and found ourselves ending up with a book manuscript. Parts of the material contained herein were presented in a seminar at the Department of Mathematics at the University of Vienna, as well as at a workshop on evolutionary game theory in Bielefeld. The final version of the manuscript has certainly benefitted from critical comments and suggestions by the participants of both the seminar and the workshop. Thanks are also due to S. Bomze-de Barba, R. Burger, G. Danninger, J. Hofbauer, R. Selten, K. Sigmund, G. Stiastny and F. Weising. The co-operation of W. Muller from Springer Verlag, Heidelberg, is gratefully acknowledged. Vienna, November 1988 Immanuel M. Bomze Benedikt M. Potscher III Contents 1. Introduction 1 2. Strategies and payoffs 5 2. 1. A general setting for evolutionary game theory 6 2. 2. Mixed strategies and population games 8 2. 3. Finite number of strategies . . . . . 13 2. 4. Infinitely many (pure) strategies 15 2. 5. Structured populations: asymmetric contests and multitype games 17 2. 6. Additional remarks . . . . . . . . . . . . . . . . . . . . . 21 3. Evolutionary stability 25 3. 1. Definition of evolutionary stability 25 3. 2. Evolutionary stability and solution concepts in classical game theory 30 3. 3. Conditions for evolutionary stability based on the normal cone 31 3. 4. 160 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fourth International Working Conference on Statistical and Scientific Data Base Management (IV SSDBM) held on June 21-23, 1988 in Rome, Italy, continued the series of conferences initiated in California in December 1981. The purpose of this conference was to bring together database researchers, users and system builders, working in this specific field, to discuss the particular points of interest, to propose new solutions to the problems of the domain and to expand the topics of the previous conferences, both from the theoretical and from the applicational point of view. The papers of four scientific sessions dealt with the following topics: knowledge base and expert system, data model, natural language processing, query language, time performance, user interface, heterogeneous data classification, storage constraints, automatic drawing, ranges and trackers, and arithmetic coding. Two other special sessions presented work on progress papers on geographical data modelling, spatial database queries, user interface in an Object Oriented SDB, interpretation of queries, graphical query language and knowledge browsing front ends. The conference also had three invited papers on topics of particular interest such as 'Temporal Data', 'Statistical Data Management Requirements' and 'Knowledge Based Decision Support Systems', included in this volume. The introductory paper by M. Rafanelli provides both an introduction to the general concepts helpful to people outside the field and a survey of all the papers in these Proceedings. Furthermore, there were three open panels. Papers by the chairmen, contributions of the panelists and a summary of the respective discussions are included in this volume, too. 468 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the proceedings of an IFIP conference held at the University of Santiago de Compostela in July 1987. The conference was devoted to the following topics: state constrained optimal control problems, shape optimization, identification of parameters, stabilisation, controlability, numerical methods and industrial applications. 336 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two important yardsticks for verification methods, those of compositionality and modularity, are made precise. The problem of reusing software is addressed by the introduction of the notion of specification adaptation. Within this context, different methods for specifying the observable behavior with respect to partial correctness of communicating processes are considered, and in particular the contrast between the 'programs are predicates' and the 'programs are predicate transformers' paradigms is shown. The associated formal proof systems are proven sound and complete in various senses with respect to the denotational semantics of the programming language, and they are related to each other to give an in-depth comparison between the different styles of program verification. The programming language TNP used here is near to actual languages like Occam. It combines CCS/CSP style communication based programming with state based programming, and allows dynamically expanding and shrinking networks of processes. 284 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book merges two major areas of control: the design of control systems and adaptive control. Original contributions are made in the polynomial approach to stochastic optimal control and the resulting control laws are then manipulated into a form suitable for application in the self-tuning control framework. A major contribution is the derivation of both scalar and multivariable optimal controllers for the rejection of measurable disturbances using feedforward. A powerful feature of the book is the presentation of a case-study in which the LQG self-tuner was tested on the pressure control loop of a power station. The broad coverage of the book should appeal not only to research workers, teachers and students of control engineering, but also to practicing industrial control engineers. 324 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On November 6 and 7, 1987, lipid and lipoprotein researchers from all over Europe convened in Munich on the occasion of the second European Workshop on Lipid Metabolism (EWLM). This informal gathering was devoted to two main topics, and recent research results were presented and discussed during a poster session. Recent developments in the physiology and pathophysiology of lipoprotein sub fractions were discussed on the first day of the meeting. In recent years, new analytical tools have been created for analyzing lipoprotein subfractions, particularly the apolipoprotein component. With the, introduction of immunological and elec trophoretic methods it has become clear that the heterogeneity of the plasma lipopro tein system is even greater than had been assumed only a decade or so ago. Despite this, it is apparent from the contributions to this volume that new methods for differentiating lipoprotein subfractions will increase our understanding of lipoprotein metabolism, especially of the triglyceride-rich lipoprotein particles and the high density lipoproteins. The complex functions of the various plasma apolipoproteins and their association with the lipoprotein lipid in single or complex lipoprotein particles give rise to a complex and dynamic metabolic system that changes constantly during the day. While it has for some time been possible to delineate fairly accurately the atherogenic potential of low-density lipoproteins, which are comparatively simple lipoprotein particles, the new methods of lipoprotein subfraction analysis will be needed to select and differentiate amongst the potentially atherogenic triglyceride rich particles, especially the chylomicron and very low density lipoprotein remnants. 148 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to Large Scale Systems methodologies including decomposition, aggregation, and model reduction techniques. The focus is put on theoretical and practical results resulting from the application of these techniques in the area of stability and decentralized control. Every result is illustrated by examples to facilitate understanding. The appendices provide a collection of ready-to-use packages implementing some algorithms included in the book. Graduate students concerned with system and control theory will be interested in this book, since it offers a global synthesis on the problem of structurally constrained control. The book addresses also scientists and lecturers in the areas of large scale systems and control theory. 404 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Contents: H. Brezis: Sk-valued Maps with Singularities.- L.A. Caffarelli: Free Boundary Problems. A Survey.- J. Moser: Minimal Foliations on a Torus.- L. Nirenberg: Variational Methods in Nonlinear Problems.- R.M. Schoen: Variational Theory for the Total Scalar Curvature Functional for Riemannian Metrics and Related Topics.- A.J. Tromba: A Classical Variational Approach to Teichmüller Theory.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The book is the second part of an intended three-volume treatise on semialgebraic topology over an arbitrary real closed field R. In the first volume (LNM 1173) the category LSA(R) or regular paracompact locally semialgebraic spaces over R was studied. The category WSA(R) of weakly semialgebraic spaces over R - the focus of this new volume - contains LSA(R) as a full subcategory. The book provides ample evidence that WSA(R) is 'the' right cadre to understand homotopy and homology of semialgebraic sets, while LSA(R) seems to be more natural and beautiful from a geometric angle. The semialgebraic sets appear in LSA(R) and WSA(R) as the full subcategory SA(R) of affine semialgebraic spaces. The theory is new although it borrows from algebraic topology. A highlight is the proof that every generalized topological (co)homology theory has a counterpart in WSA(R) with in some sense 'the same', or even better, properties as the topological theory. Thus we may speak of ordinary (=singular) homology groups, orthogonal, unitary or symplectic K-groups, and various sorts of cobordism groups of a semialgebraic set over R. If R is not archimedean then it seems difficult to develop a satisfactory theory of these groups within the category of semialgebraic sets over R: with weakly semialgebraic spaces this becomes easy. It remains for us to interpret the elements of these groups in geometric terms: this is done here for ordinary (co)homology. 400 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Global optimization is concerned with finding the global extremum (maximum or minimum) of a mathematically defined function (the objective function) in some region of interest. In many practical problems it is not known whether the objective function is unimodal in this region; in many cases it has proved to be multimodal. Unsophisticated use of local optimization techniques is normally inefficient for solving such problems. Therefore, more sophisticated methods designed for global optimization, i.e. global optimization methods, are important from a practical point of view. Most methods discussed here assume that the extremum is attained in the interior of the region of interest, i.e., that the problem is essentially unconstrained. Some methods address the general constrained problem. What is excluded is the treatment of methods designed for problems with a special structure, such as quadratic programming with negatively quadratic forms. This book is the first broad treatment of global optimization with an extensive bibliography covering research done both in east and west. Different ideas and methods proposed for global optimization are classified, described and discussed. The efficiency of algorithms is compared by using both artificial test problems and some practical problems. The solutions of two practical design problems are demonstrated and several other applications are referenced. The book aims at aiding in the education, at stimulating the research in the field, and at advising practitioners in using global optimization methods for solving practical problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The monograph is addressed to researchers in the field of geometric theory of infinite dimensional systems. The author uses basic concepts of the infinite dimensional system theory, approximate controllability, initial observability, which are covered in the second and third chapter. The book is self-contained with respect to the notions of the geometric theory, although sometimes the author refers to the references for the finite dimensional case. 172 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages. 408 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The monograph is addressed to researchers in the field of geometric theory of infinite dimensional systems. The author uses basic concepts of the infinite dimensional system theory, approximate controllability, initial observability, which are covered in the second and third chapter. The book is self-contained with respect to the notions of the geometric theory, although sometimes the author refers to the references for the finite dimensional case.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Fourth International Working Conference on Statistical and Scientific Data Base Management (IV SSDBM) held on June 21-23, 1988 in Rome, Italy, continued the series of conferences initiated in California in December 1981. The purpose of this conference was to bring together database researchers, users and system builders, working in this specific field, to discuss the particular points of interest, to propose new solutions to the problems of the domain and to expand the topics of the previous conferences, both from the theoretical and from the applicational point of view. The papers of four scientific sessions dealt with the following topics: knowledge base and expert system, data model, natural language processing, query language, time performance, user interface, heterogeneous data classification, storage constraints, automatic drawing, ranges and trackers, and arithmetic coding. Two other special sessions presented work on progress papers on geographical data modelling, spatial database queries, user interface in an Object Oriented SDB, interpretation of queries, graphical query language and knowledge browsing front ends. The conference also had three invited papers on topics of particular interest such as 'Temporal Data', 'Statistical Data Management Requirements' and 'Knowledge Based Decision Support Systems', included in this volume. The introductory paper by M. Rafanelli provides both an introduction to the general concepts helpful to people outside the field and a survey of all the papers in these Proceedings. Furthermore, there were three open panels. Papers by the chairmen, contributions of the panelists and a summary of the respective discussions are included in this volume, too.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -On November 6 and 7, 1987, lipid and lipoprotein researchers from all over Europe convened in Munich on the occasion of the second European Workshop on Lipid Metabolism (EWLM). This informal gathering was devoted to two main topics, and recent research results were presented and discussed during a poster session. Recent developments in the physiology and pathophysiology of lipoprotein sub fractions were discussed on the first day of the meeting. In recent years, new analytical tools have been created for analyzing lipoprotein subfractions, particularly the apolipoprotein component. With the, introduction of immunological and elec trophoretic methods it has become clear that the heterogeneity of the plasma lipopro tein system is even greater than had been assumed only a decade or so ago. Despite this, it is apparent from the contributions to this volume that new methods for differentiating lipoprotein subfractions will increase our understanding of lipoprotein metabolism, especially of the triglyceride-rich lipoprotein particles and the high density lipoproteins. The complex functions of the various plasma apolipoproteins and their association with the lipoprotein lipid in single or complex lipoprotein particles give rise to a complex and dynamic metabolic system that changes constantly during the day. While it has for some time been possible to delineate fairly accurately the atherogenic potential of low-density lipoproteins, which are comparatively simple lipoprotein particles, the new methods of lipoprotein subfraction analysis will be needed to select and differentiate amongst the potentially atherogenic triglyceride rich particles, especially the chylomicron and very low density lipoprotein remnants.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -These Lecture Notes arose from discussions we had over a working paper written by the first author in fall 1987. We decided then to write a short paper about the basic structure of evolutionary stability and found ourselves ending up with a book manuscript. Parts of the material contained herein were presented in a seminar at the Department of Mathematics at the University of Vienna, as well as at a workshop on evolutionary game theory in Bielefeld. The final version of the manuscript has certainly benefitted from critical comments and suggestions by the participants of both the seminar and the workshop. Thanks are also due to S. Bomze-de Barba, R. Burger, G. Danninger, J. Hofbauer, R. Selten, K. Sigmund, G. Stiastny and F. Weising. The co-operation of W. Muller from Springer Verlag, Heidelberg, is gratefully acknowledged. Vienna, November 1988 Immanuel M. Bomze Benedikt M. Potscher III Contents 1. Introduction 1 2. Strategies and payoffs 5 2. 1. A general setting for evolutionary game theory 6 2. 2. Mixed strategies and population games 8 2. 3. Finite number of strategies . . . . . 13 2. 4. Infinitely many (pure) strategies 15 2. 5. Structured populations: asymmetric contests and multitype games 17 2. 6. Additional remarks . . . . . . . . . . . . . . . . . . . . . 21 3. Evolutionary stability 25 3. 1. Definition of evolutionary stability 25 3. 2. Evolutionary stability and solution concepts in classical game theory 30 3. 3. Conditions for evolutionary stability based on the normal cone 31 3. 4.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two important yardsticks for verification methods, those of compositionality and modularity, are made precise. The problem of reusing software is addressed by the introduction of the notion of specification adaptation. Within this context, different methods for specifying the observable behavior with respect to partial correctness of communicating processes are considered, and in particular the contrast between the 'programs are predicates' and the 'programs are predicate transformers' paradigms is shown. The associated formal proof systems are proven sound and complete in various senses with respect to the denotational semantics of the programming language, and they are related to each other to give an in-depth comparison between the different styles of program verification. The programming language TNP used here is near to actual languages like Occam. It combines CCS/CSP style communication based programming with state based programming, and allows dynamically expanding and shrinking networks of processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.