springer berlin heidelberg springer berlin heidelberg feb 1989 (73 resultados)

Taschenbuch. Condición: Neu. 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. Condición: 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. Condición: Neu. 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. Condición: Neu. 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. Condición: 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. Condición: Neu. Neuware -Arbeitszeit ist keine einheitlich vorgegebene starre Größe mehr. Dauer und Lage der Arbeitszeit können unterschiedlich und beweglich gestaltet werden. Das schafft die Möglichkeit, die jeweiligen Erfordernisse des einzelnen Unternehmens, aber auch die ebenfalls nicht einheitlichen Interessen der Arbeitnehmer zu berücksichtigen. Neue Technologien sowie veränderte Marktanforderungen stellen an die Arbeitsorganisation und Arbeitsgestaltung der Produktionsbetriebe neue Aufgaben. Der Arbeitszeitgestaltung kommt hierbei eine nicht zu unterschätzende Bedeutung zu. Eine Vielzahl von Faktoren ist bei der Planung und Einführung neuer Arbeitszeitsysteme zu berücksichtigen, beispielsweise die Laufzeit der Maschinen, der Zuwachs an bedienerloser Maschinenzeit, die Schwankungen der Auftragsvolumina, der zunehmende Konkurrenzdruck, die Entwicklung der Personalkosten und das Bedürfnis der Mitarbeiter nach mehr Zeitsouveränität. Der vorliegende Band ist den zentralen Fragestellungen der Planung und Umsetzung flexibler Arbeitszeitmodelle gewidmet. Wissenschaftler und betriebliche Experten stellen ihre Erkenntnisse und Erfahrungen vor und erläutern vor allem die betriebswirtschaftlichen und rechtlichen Aspekte der Flexibilisierung der Arbeitszeiten im Produktionsbetrieb.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch.

Taschenbuch. Condición: 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. Condición: 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. Condición: Neu. Neuware -Hinweise, so dafil man ihr eine weite Verbreitung bei allen unfall chirurgisch tatigen Kollegen wUnschen kann. Essen, Juli 1988 Prof Dr. K.P. Schmit-Neuerburg Danksagung Meinem geschiitzten unfallchirurgischen Lehrer und verehrten Chef, Herrn Prof. Dr. K.P.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Dieser Informatik-Fachbericht ist der Tagungsband der 6. ITG/GI-Fachtagung 'Kommunikation in verteilten Systemen', Stuttgart, 22.-24.2.1989, in einer in zweijährigem Turnus stattfindenden Tagungsreihe. Er enthält 60 originäre Beiträge aus den Gebieten Kommunikationsdienste und -protokolle, Standardisierung, Kommunikations- und Transaktionsmechanismen in verteilten Systemen, Last- und Funktionsverbund in heterogenen Rechnernetzen, Beschreibungs-, Entwicklungsmethoden und -werkzeuge, Technik lokaler Hochgeschwindigkeitsnetze, Mobilfunknetze, Breitband-Vermittlungstechnik auf ATM-Basis, Kopplung heterogener Netze, Netzdiagnose, Verkehrsmessungen, Netzverwaltung (Netzmanagement), Modellierung und Leistungsbewertung, Netzplanung, verteilte Datenbanken, Büroautomatisierung, Fertigungsautomatisierung, Individual-Straßenverkehr. Das Buch vermittelt einen Überblick über den Stand der Technik und Wissenschaft auf dem Gebiet der Kommunikation in verteilten Systemen. Es ist der sechste Band in einer in zweijährigem Turnus stattfindenden Tagungsreihe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 920 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -In den letzten Jahren haben neue Anwendungen und Einsatzgebiete im Bereich der Datenbankverwaltung zahlreiche neuartige Forschungsprobleme und Entwicklungsaufgaben hervorgebracht. Dabei handelt es sich vorwiegend um Anwendungen aus den Gebieten CAD/CAM, VLSI-Entwurf, Software-Entwicklung, geographische Informationssysteme, Büroautomatisierung, Expertensysteme usw., die oft als Non-Standard-Anwendungen zusammengefaßt werden. In vielen Forschungsprojekten werden bereits aussichtsreiche Lösungsvorschläge für solche Aufgabenstellungen untersucht und durch Prototypimplementierungen getestet. Dadurch lassen sich Leistungsverhalten und andere Systemeigenschaften künftiger Datenhaltungssysteme schon relativ genau charakterisieren. Ziel dieses Informatik-Fachberichtes ist es, eine aktuelle Darstellung und Diskussion der Probleme und Anforderungen sowie der neuen Forschungs- und Entwicklungsergebnisse im Bereich der Datenbankverwaltung für Non-Standard-Anwendungen zu bieten. Solche Datenhaltungsprobleme stellen nicht nur interessante Aufgaben für die Datenbankforschung dar, sondern sprechen auch aktuelle Themen in vielen Bereichen der Praxis an. Die Beiträge der Fachtagung werden thematisch zu folgenden Sitzungen zusammengefaßt: Anwendungen I, Parallelität und Synchronisation, Integrität, Wissensbasierte DB-Ansätze, Implementierungsaspekte, Anwendungen II, Leistungsaspekte, Rekursion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -In diesem Buch wird für das Controlling der Datenverarbeitung ein Instrument entwickelt, das ein Kennzahlensystem in das Expertensystem EXARK (Expertensystem zur Analyse von DV- insbesondere Rechenzentrums-Kennzahlen) einbettet, mit dem Ziel der effektiven Steuerung und Kontrolle von DV-Abteilungen eines Unternehmens. Das Expertensystem umfaßt Funktionen zur Abfrage der Analyseergebnisse, zur Bewertung der Kennzahlenveränderungen, zur Erklärung der Bewertungen sowie zum Wissenserwerb. Die allgemeinen Ausführungen zum Themenbereich Expertensysteme und die Darstellung einer konkreten Anwendung sind so gestaltet, daß vor allem DV-Anwender, die sich in den Aufgabenbereich Expertensysteme einarbeiten wollen, hier eine umfassende Einführung erhalten. Die Umsetzung des beschriebenen Systems in ein ablauffähiges Programm bildet eine Basis für die Diskussion um den Nutzen von betrieblichen Expertensystemen im Bereich des DV-Controllings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Neben einer ausführlichen Einführung wird besonderes Gewicht auf die Anwendung der Methode gelegt. Der Einfluß der verschiedenen Parameter auf die ESR-Alterswerte wird durch Beispielrechnungen verdeutlicht. Die Beschreibung der Datierung von Quarz zeigt das enorme Potential dieser Altersbestimmungsmethode für die gesamte Geologie auf. Im Anhang werden die mathematischen, physikalischen und meßtechnischen Grundlagen erläutert. Durch die erstmalige, komplette Darstellung der Methode wird es dem Leser ermöglicht, sie tatsächlich anzuwenden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Deutsch.

Taschenbuch. Condición: 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. Condición: Neu. Neuware -Datenbanksysteme müssen - speziell in Nicht-Standard-Anwendungen wie CAD/CAM u.ä. - neben den rein passiven Datenbeständen auch aktive Elemente verwalten. Dies gilt in besonderem Maße im Bereich der Konsistenzsicherung von Mengen hochkomplexer Daten und Regeln, in dem bisher entwickelte Lösungen nicht ausreichen. Das Buch stellt dar, wie Triggermechanismen den entsprechenden Anforderungen gerecht werden können. Es wird ein umfassendes und allgemein einsetzbares Konzept - der Event-Trigger-Mechanismus ETM - neu entwickelt und in seinen Eigenschaften detailliert dargestellt. Der ETM gliedert sich als eigenständige Komponente in die DBMS-Architektur ein. Darauf aufbauend werden Systemschichten für die Definition von Dämonen zur Zustandsüberwachung und für die Realisierung von Konsistenzregeln eingesetzt. Ausführliche Beispiele und Angaben zur Implementierung runden die Darstellung der Konzeption ab. Der Mechanismus ist neben der Konsistenzsicherung für eine Reihe weiterer Aufgaben wie Reorganisation, Alarmbehandlung, Zugriffsüberwachung usw. einsetzbar.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Der vorliegende Band enthält die Vorträge der 17. Fortbildungstagung für psychosomatische Geburtshilfe und Gynäkologie. Die Schwerpunktthemen - perioperative Psychosomatik, Väterlichkeit und Bewußtseinswandel im Hinblick auf sexuell übertragbare Erkrankungen - sollen klinische, tiefenpsychologische und gesellschaftspolitisch relevante Aspekte in der Frauenheilkunde vertiefen helfen. Besonderes Gewicht wird hierbei auf diejenigen Themenbereiche gelegt, die für den praktisch und klinisch Tätigen von unmittelbarer Bedeutung sind. Die Zusammenführung psychosomatischer Betrachtungshinweise und klinischen Alltags ist dabei ein vorrangiges Anliegen, aus dem nicht nur Impulse für die ärztliche Tätigkeit, sondern auch für den wissenschaftlichen Nachwuchs resultieren können.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Bei etwa 180 000 Rollstuhl-Benutzern besteht in der Bundesrepublik Deutschland ein jährlicher Bedarf an ca. 50 000 handbetriebenen Rollstühlen. Unter diesen hat der Greifreifenrollstuhl einen Anteil von 85 %. Aufgabe der vorliegenden Untersuchung war die ergonomische Gestaltung des Antriebssystems am Greifreifenrollstuhl, wobei eine Minderung der Beanspruchung des Rollstuhl-Benutzers und eine Erhöhung der Leistung des Mensch-Rollstuhl-Systems angestrebt wurde. Ausgehend von den lokalisierten Beanspruchungsengpässen wurden die Gestaltungsparameter sowie deren Ausprägungen festgelegt und anhand von Arbeitshypothesen begründet. Unter der Voraussetzung eines gegebenen Antriebswiderstandes wurde eine umfassende Gestaltung der ergonomisch relevanten Konstruktionsparameter am Antriebssystem des Greifreifenrollstuhls angestrebt. Schwerpunkt der umfangreichen versuchstechnischen Entwicklungen war der Bau eines Rollstuhl-Simulators, der die Variation der Gestaltungsparameter, die Simulation von Fahraufgaben und die Erfassung der Beurteilungsgrößen ermöglichte. Aufgrund der dargestellten Versuchergebnisse konnten für den Rollstuhlbau und die Rollstuhlversorgung Empfehlungen zu ergonomisch günstiger Lage, Durchmesser und Schwenkung des Greifreifens, zur optimalen Getriebeübersetzung sowie zu weiteren wichtigen technischen Details gegeben werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Diese inhaltsanalytische Untersuchung der Veränderung kognitiver Prozesse in Psychoanalysen wird als Versuch einer empirischen Annäherung an psychoanalytische Prozesse verstanden. Sie soll komplexe psychoanalytische Phänomene auch für 'Dritte', Nichtpsychoanalytiker, beobachtbar, nachvollziehbar und kritisierbar zu machen, um die Psychoanalyse wieder vermehrt dem interdisziplinären Dialog zu öffnen. Daher werden die Daten, das methodische Vorgehen, die statistischen Prüfverfahren wie auch die einzelnen Interpretationsschritte detaillierter als in vielen Publikationen empirischer Untersuchungen geschildert, um eine möglichst große Transparenz zu erzielen. Die vielen inhaltsanalytischen Detailergebnisse der Untersuchung der fünf Psychoanalysen werden im Sinne der Indikatorenforschung integrativ, gestalthaft und theoriegeleitet, d.h. bezugnehmend auf ein nichtpsychoanalytisches Kognitionsmodell, das in der Cognitive Science entwickelt wurde, interpretiert. Das Buch richtet sich nicht nur an Psychotherapieforscher, sondern auch an klinisch interessierte Psychologen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Vor etwa 40 jahren berichteten Andre Lwoff und seine Kollegen yom Institut Pasteur in Paris, daB sie bei einem Stamm des gewohnlichen Darmbakteriums Escherichia coli eine faszinierende Eigenschaft entdeckt hatten: Bestrahlt man die Bakterien mit einer gemaBigten Dosis an ultraviolettem Licht, so horen sie auf zu wachsen. Ungefahr 90 min spater Iysieren, d. h. platzen sie und setzen groBe Virus mengen ins Kulturmedium frei. Solche Bakterienviren werden als Bakteriophagen - Bakterienfresser - oder einfach als Phagen bezeichnet; der von Andre Lwoff ent deckte Bakteriophage bekam den Namen A. Die freigesetzten A-Phagen vermeh ren sich, wenn sie frische Bakterien infizieren konnen. Viele dieser infizierten Bak terien Iysieren bald und produzieren weitere Phagen. Einige Bakterien jedoch i. iberleben; sie beherbergen A als friedlich schlummernden Gast. Sie wachsen und teilen sich normal, bis die Kultur ein 2. Mal bestrahlt wird. Wie zu Anfang des Ver suches Iysieren dann die Bakterien dieser Generation vollstandig und setzen einen weiteren Schwung neuer A-Phagen frei. -Abb. I zeigt den Phagen und seinen Wirt. Lwoff und seine Kollegen Franc;:ois jacob und jacques Monod sahen in dem Umschalten von einem Zustand des Phagen zum anderen, von der ruhenden Form im sich teilenden Bakterium zur aktivierten Form im bestrahlten Bakterium, ein ein faches Beispiel fUr einen grundlegenden biologischen ProzeB: das An- und Abschalten von Genen. Gene bestimmen die Strukturen der Moleki. ile, aus denen sich lebende Zellen zusammensetzen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Fertigungstechnik (Fabrikbetrieb, Umformen); Werkstofftechnik (Metallische Werkstoffe) Bei der Massivumformung werden verschiedene Energieträger eingesetzt, die nur über den Primärenergiegehalt miteinander verglichen werden können. Die Prozeßkettenanalyse bewertet in der ersten Stufe den Energieinhalt der eingesetzten Halbzeuge. Als Werkstoffe werden die für die Massivumformung gebräuchlichen Stahl- und Aluminiumwerkstoffe betrachtet. In der zweiten Prozeßstufe wird der Energieinhalt einzelner Fertigungsschritte bei der Werkstückfertigung ausgewiesen. Das Fließpressen wird wegen seiner hohen Werkstoffausnutzung (80-100 %) und seiner Anwendung von Raumtemperatur bis zu 1300oC ausgewählt. Die Energieintensität einzelner Fertigungsschritte, von der Rohteilherstellung über Wärme- und Oberflächenbehandlung bis zur Umformung, wird bewertet und Ansätze zur Optimierung werden aufgezeigt. In der laufenden Fertigung wurden an über 70 Anlagen und Maschinen Leistungsmessungen zum Stromverbrauch durchgeführt, sowie an gas- und ölbefeuerten Behandlungsanlagen Kennzahlen zum Energieverbrauch pro Werkeinheit ermittelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Deutsch.

Taschenbuch. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Inhaltsangabe1: Introduction and Overview.- 2: Receptor-mediated Endocytosis and Receptor/Ligand Sorting.- 2.1 The endocytic cycle.- 2.2 The sorting step in the endocytic pathway.- 2.3 Estimation of the sorting efficiency.- 3: An Equilibrium Model of the Sorting Process.- 3.1 Introduction.- 3.2 Predicted separation.- 3.3 Discussion.- 4: Simple Kinetic Models of Sorting.- 4.1 Introduction.- 4.2 Mathematical models.- 4.3 Results.- 4.4 Discussion.- 4.5 Conclusions.- 5: A Whole Cell Kinetic Model of the Endocytic Cycle: Focus on Sorting.- 5.1 Introduction.- 5.2 Whole cell kinetic model.- 5.3 Model equations.- 5.4 Use of the model.- 5.5 Application of the model to the Fc receptor system.- 5.6 Discussion.- 6: A Kinetic Model of Sorting That Predicts Ligand Effects.- 6.1 Introduction.- 6.2 Mathematical model.- 6.3 Model predictions.- 6.4 Comparison to experiment.- 6.5 Discussion.- 7: Conclusions.- Appendix I: Derivation of the Green's Function.- Symbols.- References.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: 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. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.