springer berlin heidelberg aug 1997 (111 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contributes to re cent developments on the statistical analysis of multiple time series in the presence of regime shifts. Markov-switching models have become popular for modelling non-linearities and regime shifts, mainly, in univariate eco nomic time series. This study is intended to provide a systematic and operational ap proach to the econometric modelling of dynamic systems subject to shifts in regime, based on the Markov-switching vector autoregressive model. The study presents a comprehensive analysis of the theoretical properties of Markov-switching vector autoregressive processes and the related statistical methods. The statistical concepts are illustrated with applications to empirical business cyde research. This monograph is a revised version of my dissertation which has been accepted by the Economics Department of the Humboldt-University of Berlin in 1996. It con sists mainly of unpublished material which has been presented during the last years at conferences and in seminars. The major parts of this study were written while I was supported by the Deutsche Forschungsgemeinschajt (DFG), Berliner Graduier tenkolleg Angewandte Mikroökonomik and Sondeiforschungsbereich 373 at the Free University and Humboldt-University of Berlin. Work was finally completed in the project The Econometrics of Macroeconomic Forecasting founded by the Economic and Social Research Council (ESRC) at the Institute of Economies and Statistics, University of Oxford. It is a pleasure to record my thanks to these institutions for their support of my research embodied in this study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In this book experts from quite different fields present simulations of social phenomena: economists, sociologists, political scientists, psychologists, cognitive scientists, organisational scientists, decision scientists, geographers, computer scientists, AI and AL scientists, mathematicians and statisticians. They simulate markets, organisations, economic dynamics, coalition formation, the emergence of cooperation and exchange, bargaining, decision making, learning, and adaptation. The history, problems, and perspectives of simulating social phenomena are explicitly discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Information and Meaning is the third book in a trilogy exploring the nature of information, intelligence and meaning. It begins by providing an overview of the first two works of the trilogy, then goes on to consider the meaning of meaning. This explorat ion leads to a theory of how the brain works. This book differs from others in the field, in that it is written from the perspective of a theoretical biologist looking at the evolution of information systems as a basis for studying the phenomena of information, intelligence and meaning. It describes how neurons create a brain which understands information inputs and then is able to operate on such information.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book presents a new theory of expectations called 'rational beliefs'. Contrary to the standard theory which views the origin of uncertainty as being exogenous to the economic system, the theory of rational beliefs holds that a crucial component of social risk and economic fluctuations is endogenously propagated by variations in the state of beliefs of market participants. One part of the book provides an exposition of the foundation of the theory of rational beliefs. A second part explores the structure of general equilibrium models in which market participants hold rational beliefs. The 'Applications' part of the book studies the behavior of asset prices and rates of return on financial assets. It demonstrates that endogenous uncertainty provides a uniform paradigm for the study of economic fluctuations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Praxis nicht auf der Strecke bleiben. Nur was erkannt (untersucht) ist, liefert Begriindungen fUr prakti sche Probleme und deren Losungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Regenerative Energiequellen sind besonders durch die Frage nach effizientem Schutz unserer Atmosphäre zum zentralen Thema der energiepolitischen Diskussion geworden. Dieses Praktikumsbuch ergänzt den KLEEMANN/MELISS, Regenerative Energiequellen, ist jedoch auch selbständig nutzbar, da jeder Versuchsbeschreibung ein einführendes Grundlagenkapitel vorangestellt wird. Das Buch gibt Anleigunten zur Durcchführung von Versuchen. Auch wenn der Leser diese Experimente nicht selbst durchführt, ermöglichen Beispiele von Versuchsauswertungen deren gedanktlichen Nachvollzug. Verständnisfragen mit entsprechenden Antworten erlauben die Kontrolle des erlernten Wissens.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In diesem Buch werden neuere Arbeiten zur Grundlage und Therapie von Alkoholkrankheit dargestellt. Das Spektrum der Themen reicht dabei über tierexperimentelle Arbeiten und Arbeiten zu neurobiologischen Grundlagen des Alkoholismus bis hin zu klinischen Themen, speziell der Komorbidität von Alkoholismus mit psychischen Störungen (Angsterkrankungen, Schizophrenien, Folgestörungen), sowie neuen therapeutischen Ansätzen. Dabei wird ein Überblick sowohl über psychotherapeutische wie pharmakotherapeutische Möglichkeiten der Behandlung und Rehabilitation alkohol- kranker Patienten gegeben. Das Buch wendet sich an alle an der Alkoholismusforschung und der Behandlung Alkoholkranker interessierten Ärzte, Psychologen und Grundlagenforscher.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die vorliegende Dissertation entstand während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Institut für Werkzeugmaschinen und Betriebswissenschaften (iwb) der Technischen Universität München. Herrn Prof. Dr. -Ing. Dr. h. c. Joachim Milberg und Herrn Prof. Dr. -Ing. Gunther Reinhart, den Leitern dieses Instituts, gilt mein besonderer Dank für die wohlwollende Förderung und großzügige Unterstützung meiner Arbeit. Bei Herrn Prof. Dr. -Ing. U. Lindemann, dem Leiter des Lehrstuhls für Konstruktion im Maschinenbau der Technischen Universität München, möchte ich mich für die Übernahme des Korreferates und die aufmerksame Durchsicht meiner Arbeit sehr herzlich bedanken. Darüberhinaus bedanke ich mich bei allen Mitarbeiterinnen und Mitarbeitern des Instituts sowie allen Studenten, die mich bei der Erstellung meiner Arbeit unterstützt haben, recht herzlich. Mein besonderer Dank gilt schließlich meiner Frau. Ihr beruflicher Fleiß und Einsatz waren mir Vorbild bei der Erstellung dieser Arbeit. München, im Mai 1997 Ulrich Krönert Inhaltsverzeichnis Inhaltsverzeichnis 1 Einleitung und Zielsetzung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 1 Ausgangssituation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 2 Mangelnde Transparenz produktbezogener Informationen . . . . . . . . . . . . . . . . . . . . 2 1. 3 Zielsetzung der Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1. 4 Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Begriffsbestimmung . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Erstmalig wird die Entwicklung verfahrenstechnischer Prozesse von der Aufgabenstellung über Synthese, Analyse und Bewertung bis hin zur Entscheidung über ihre technische, ökologische und wirtschaftliche Durchführbarkeit dargestellt. Anhand von Vorgehensplänen und vielen praktischen Beispielen werden systematische, planmäßige Vorgehensweisen für den Entwicklungsprozeß demonstriert.Das Buch bietet mit seiner ganzheitlichen Betrachtungsweise der Systemtechnik einen modernen didaktischen Ansatz. Es schließt Sicherheits- und Umwelttechnik in die Verfahrensentwicklung ein.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This survey covers groups of homotopy self-equivalence classes of topological spaces, and the homotopy type of spaces of homotopy self-equivalences. For manifolds, the full group of equivalences and the mapping class group are compared, as are the corresponding spaces. Included are methods of calculation, numerous calculations, finite generation results, Whitehead torsion and other areas. Some 330 references are given. The book assumes familiarity with cell complexes, homology and homotopy. Graduate students and established researchers can use it for learning, for reference, and to determine the current state of knowledge. 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically. IE essentially builds on natural language processing and computational linguistics, but it is also closely related to the well established area of information retrieval and involves learning. In concert with other promising and emerging information engineering technologies like data mining, intelligent data analysis, and text summarization, IE will play a crucial role for scientists and professionals as well as other end-users who have to deal with vast amounts of information, for example from the Internet. As the first book solely devoted to IE, it is of relevance to anybody interested in new and emerging trends in information processing technology. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries held in Pisa, Italy, in September 1997. The volume presents 23 revised full papers selected from 77 submissions. Also included are two invited contributions. The papers are organized in topical sections on supporting user interfaces, metadata, information retrieval, DL architectures, multilingual information retrieval, structured documents, and case studies. 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is devoted to perturbation theory for the Schrödinger operator with a periodic potential, describing motion of a particle in bulk matter. The Bloch eigenvalues of the operator are densely situated in a high energy region, so regular perturbation theory is ineffective. The mathematical difficulties have a physical nature - a complicated picture of diffraction inside the crystal. The author develops a new mathematical approach to this problem. It provides mathematical physicists with important results for this operator and a new technique that can be effective for other problems. The semiperiodic Schrödinger operator, describing a crystal with a surface, is studied. Solid-body theory specialists can find asymptotic formulae, which are necessary for calculating many physical values. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nur Contents aufnehmen 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997.The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the 1997 IPPS Workshop on Job Scheduling Strategies for Parallel Processing held in Geneva, Switzerland, in April 1997, as a satelite meeting of the IEEE/CS International Parallel Processing Symposium.The 12 revised full papers presented were carefully reviewed and revised for inclusion in the book. Also included is a detailed introduction surveying the state of the art in the area. Among the topics covered are processor allocation, parallel scheduling, massively parallel processing, shared-memory architectures, gang scheduling, etc. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings originating from the Second Australian Workshop on Distributed Artificial Intelligence, held in Cairns, QLD, Australia, in August 1996, as a satellite meeting of PRICAI'96.The 13 revised full papers presented have been selected for inclusion in the book during a very careful and iterated process of reviewing and improvement. Among these papers are three invited ones, by leading scientists, solicited in order to round off the overall presentation and coverage of relevant topics. A wide range of multi-agent systems issues is covered including methodologies, cooperation, conflict resolution, applications, mobility, adaptation, negotiation, and implementations. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference documentation of the First Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'96, held in Taejon, Korea, in November 1996.The 23 revised full papers were selected for inclusion in this book on the basis of 2 rounds of reviewing and improvements. Also included are invited papers by John L. Casti and Lawrence J. Fogel. The volume covers a wide range of current topics in simulated evolution and learning e.g. evolutionary optimization, evolutionary learning, artificial life, hybrid evolutionary fuzzy systems, evolutionary artificial neural networks, co-evolution, novel evolutionary approaches to computer tomography image reconstruction, power systems load flow control, and water flow control in cropped soils. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Field Programmable Logic and Applications, FPL '97, held in London, UK, in September 1997. The 51 revised full papers in the volume were carefully selected from a large number of high-quality papers. The book is divided into sections on devices and architectures, devices and systems, reconfiguration, design tools, custom computing and codesign, signal processing, image and video processing, sensors and graphics, color and robotics, and applications. 524 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland, in September 1997.The 34 revised full papers presented in the volume were selected from a total of 72 submissions. Also included are six invited papers by leading scientists. The papers address a variety of current topics in theoretical computer science including models of computation, concurrency, algorithms, complexity theory, programming theory, formal languages, graph theory and discrete mathematics, networking, automata theory, term rewriting, etc. 496 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book constitutes the refereed proceedings of the International Workshop on Algebraic Frames for the Perception-Action Cycle, AFPAC '97, held in Kiel, Germany, in September 1997.The volume presents 12 revised full papers carefully reviewed and selected for inclusion in the book. Also included are 10 full invited papers by leading researchers in the area providing a representative state-of-the-art assessment of this rapidly growing field. The papers are organized in topical sections on PAC systems, low level and early vision, recognition of visual structure, processing of 3D visual space, representation and shape perception, inference and action, and visual and motor neurocomputation. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skövde, June 1997.The 13 revised papers presented in the book were carefully reviewed and selected from 33 submissions. The book documents the state-of-the art in the area. The papers are devoted to deductive databases, active database systems architectures, events in workflow management, rule modelling and simulation, rule confluence, rule termination analysis, rule testing and validation, active database systems design. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc. 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Database research in the last decade has increasingly focused on providing support for non-standard applications. One important domain is representation and processing of spatial information, needed, e.g., in geographical information systems. Spatial data types provide a fundamental abstraction for modeling the structure of geometric entities, their relationships, properties and operations. This monograph is an extensive survey of this field and introduces a new, general, sophisticated framework for the formal definition and robust implementation of spatial data types. 296 pp. Englisch.