springer berlin heidelberg jun 1995 (43 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book deals with certain algebraic and arithmetical questions concerning polynomial mappings in one or several variables. Algebraic properties of the ring Int(R) of polynomials mapping a given ring R into itself are presented in the first part, starting with classical results of Polya, Ostrowski and Skolem. The second part deals with fully invariant sets of polynomial mappings F in one or several variables, i.e. sets X satisfying F(X)=X . This includes in particular a study of cyclic points of such mappings in the case of rings of algebrai integers. The text contains several exercises and a list of open problems. 148 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent developments in computer visualisation mean that it is now possible to combine computer-generated image sequences with real video, in real time, for broadcast quality production. This will not only revolutionise the broadcast industry, by making 'electronic film sets' possible for example, but also has important implications for related fields such as virtual reality, multi-media, industrial vision, and medical image processing. This volume contains papers from the European Workshop on Combined Real and Synthetic Image Processing for Broadcast and Video Production, held in Hamburg, 23-24 November 1994. The papers cover three main aspects of research: hardware, image analysis, and image synthesis, and include several key contributions from the EU RACE II supported MONA LISA (MOdelling NAturaL Images for Synthesis and Animation) project. The resulting volume gives a comprehensive overview of this important area of research, and will be of interest to practitioners, researchers, and postgraduate students. 312 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier. 528 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of this book is twofold: To survey control system design methods based on the system inversion technique and to collect into one place the many recent results in the field. It has been known for some time that inverse systems may be used to solve numerous control problems. Despite the importance and conceptual simplicity of this topic there appears to be no monograph written on it. The purpose of this work is therefore to present and apply a systematic design method which bases itself on the fundamental system property of invertibility. Many different theoretical and practical aspects are considered in this volume working from elementary topics in the first section to current research in the second. 168 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming. 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994).This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference. 468 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conjectural theory of mixed motives would be a universal cohomology theory in arithmetic algebraic geometry. The monograph describes the approach to motives via their well-defined realizations. This includes a review of several known cohomology theories. A new absolute cohomology is introduced and studied.The book assumes knowledge of the standard cohomological techniques in algebraic geometry as well as K-theory. So the monograph is primarily intended for researchers. Advanced graduate students can use it as a guide to the literature. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents carefully revised versions of tutorial lectures given during a School on Artificial Neural Networks for the industrial world held at the University of Limburg in Maastricht, Belgium.The major ANN architectures are discussed to show their powerful possibilities for empirical data analysis, particularly in situations where other methods seem to fail. Theoretical insight is offered by examining the underlying mathematical principles in a detailed, yet clear and illuminating way. Practical experience is provided by discussing several real-world applications in such areas as control, optimization, pattern recognition, software engineering, robotics, operations research, and CAM. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 13th British National Conference on Databases, BNCOD 13, held in Manchester, UK in July 1995.The volume contains 2 invited contributions and 14 full revised technical papers selected from a total of 64 submissions. The papers are organized in sections on functional databases, user interfaces, system-level algorithms, queries and transactions, and parallel and federated systems. Despite the fact that BNCOD is a national event there is strong international representation in the proceedings. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume documents the concepts, experiences, results, and conclusions of the ESPRIT project NEUTRABAS (Neutral Product Definition Database for Large Multifunctional Systems). It deals with the development of a database for large multifunctional systems, in particular for ships and their multitudinous, complex subsystems. NEUTRABAS was the first European project aiming at an international standard based on ISO standard 10303 (STEP) methodology to define a comprehensive information model for ships and similar products of complex functionality, which will serve for the exchange and long term storage of product information. NEUTRABAS contributed to the first generation of shipbuilding product models and gained first experiences in implementing databases exploiting the new technology of the STEP standard. 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 6th International Symposium on Combinatorial Pattern Matching, CPM '95, held in Espoo, Finland in July 1995.CPM addresses issues of searching and matching strings and more complicated patterns such as trees, regular expressions, extended expressions, etc. The aim is to derive non-trivial combinatorial properties in order to improve the performance of the corresponding computational problems. This volume presents 27 selected refereed full research papers and two invited papers; it addresses all current aspects of CPM and its applications such as the design and analysis of algorithms for pattern matching problems in strings, graphs, and hypertexts, as well as in biological sequences and molecules. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Silver-Halide Recording Materials gives a detailed analysis of the theory, the characteristics, the manufacturing, and the processing methods of silver-halide materials used for the recording of holograms. Emphasis is placed on the selection of suitable silver-halide materials for conventional as well as special holographic applications. A detailed account of current developing and bleaching methods used in the production of silver-halide holograms is given. The author also supplies a large number of recipes for different types of processing baths. The text is complemented by a comprehensive list of references which will facilitate further study. The monograph will be suitable for courses in holography, where the student possesses some background knowledge about the general holographic process and the holographic technique. 464 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume documents the concepts, experiences, results, and conclusions of the ESPRIT project NEUTRABAS (Neutral Product Definition Database for Large Multifunctional Systems). It deals with the development of a database for large multifunctional systems, in particular for ships and their multitudinous, complex subsystems. NEUTRABAS was the first European project aiming at an international standard based on ISO standard 10303 (STEP) methodology to define a comprehensive information model for ships and similar products of complex functionality, which will serve for the exchange and long term storage of product information. NEUTRABAS contributed to the first generation of shipbuilding product models and gained first experiences in implementing databases exploiting the new technology of the STEP standard.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the 48 full refereed research papers accepted for presentation at the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '95, held in Fribourg, Switzerland in July 1995 under the sponsorship of the DRUMS consortium (ESPRIT II BRA 6156).In recent years, it has become apparent that an important part of the theory of AI is concerned with reasoning on the basis of uncertain, vague, incomplete, or inconsistent information. A variety of nonclassical formalisms, both symbolic and numerical, have been developed and are addressed in this volume; among them are nonmonotonic and modal logics, fuzzy sets, possibility theory, believe functions, evidence theory, dynamic models, and Bayesian networks. 448 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, held in Pavia, Italy in June 1995.The volume contains 32 full refereed selected papers contributed by researchers and professionals coming from computer science departments, medical informatics departments, and hospitals; in addition there are the keynote address and 28 poster presentations. The volume is organized in topical sections on medical records, temporal reasoning and simulation, probabilistic models, patient management and therapy planning, evaluation of knowledge-based systems, diagnostic support systems, models for clinical information systems, and neural networks and image interpretation. 468 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Models derived from the Real Business Cycle perspective have recently taken a major place in business cycle research. The papers in this present volume bring three contributions to this research programme: A critical evaluation of the canonical RBC models, new elements of empirical relevance, based on comparative calibration and testing, and new specifications, at the frontier of business cycle research, coping with non walrasian features, contracts and nominal rigidities, unemployment and growth. 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding, and semantics. 708 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Two surveys introducing readers to the subjects of harmonic analysis on semi-simple spaces and group theoretical methods, and preparing them for the study of more specialised literature. This book will be very useful to students and researchers in mathematics, theoretical physics and those chemists dealing with quantum systems. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recognizing the increasing importance of the role of gravity and the geoid, and con sidering the substantial synergistic effects which result from close cooperation, the International Gravity Commission and the International Geoid Commission, both scientific bodies of the International Association of Geodesy, decided to hold a Joint Meeting under the common topic 'Gravity and Geoid' in Graz, Austria, from Sept. 11 - 17, 1994. The earth's gravity field is increasingly attracting the attention of the geosciences for many reasons. As a response of the earth's internal mass distribution, it significantly helps us to understand the structure of the earth and its dynamics. On the other hand, the earth's gravity field controls the orbits of satellites and is of paramount im portance for accurate orbit prediction'. For geodesy the geoid, representing the gravity field, serves as a unique height reference surface. It is the link between satellite-derived positions and useful geodetic coordinates of utmost precision. For oceanography, the offset of the dynamic ocean surface from the geoid is the signal which bears important information about ocean circulation patterns. 672 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '94, held in Paris, France in July 1994. The topical focus is on the role of uncertainty in the contruction of intelligent computing systems and it is shown how the concepts of AI, neural networks, and fuzzy logic can be utilized for that purpose.In total, there are presented 63 thoroughly revised papers organized in sections on fundamental issues; theory of evidence; networks, probabilistic, statistical, and informational methods; possibility theory, logics, chaos, reusability, and applications. 648 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Models derived from the Real Business Cycle perspective have recently taken a major place in business cycle research. The papers in this present volume bring three contributions to this research programme: A critical evaluation of the canonical RBC models, new elements of empirical relevance, based on comparative calibration and testing, and new specifications, at the frontier of business cycle research, coping with non walrasian features, contracts and nominal rigidities, unemployment and growth.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The subject of the book is an approach to the modeling of and the reasoning under uncertainty. It develops the Dempster-Shafer Theory as a theory of the reliability of reasoning with uncertain arguments. A particular interest of this approach is that it yields a new synthesis and integration of logic and probability theory. The reader will benefit from a new view at uncertainty modeling which extends classical probability theory. 440 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computers are playing a fundamental role in enhancing exploratory learning techniques in education. This volume in the NATO Special Programme on Advanced Educational Technology covers the state of the art in the design and use of computer systems for exploratory learning. Contributed chapters treat principles, theory, practice, and examples of some of the best contemporary computer-based learning environments: Logo, Boxer, Microworlds, Cabri-Géomètre, Star Logo, Table Top, Geomland, spreadsheets, Function Machines, and others. Emphasis is on mathematics and science education. Synthetic chapters provide an overview of the current scene in computers and exploratory learning, and analyses from the perspectives of epistemology, learning, and socio-cultural studies. 482 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Methodenatlas informiert in neuartiger Weise über Teilgebiete der empirischen Methodik, indem er integriert und Zusammenhänge herstellt, was üblicherweise in weitgehend unverbundenen und zudem recht anspruchsvollen Einzeldarstellungen abgehandelt wird. Wie in einem Atlas werden die Teilgebiete einzeln und stark vereinfachend strukturiert dargestellt und anschaulich in verschiedene größere Zusammenhänge gestellt. Das Herstellen von Zusammenhängen in einem Lehrbuch zur empirischen Methodenlehre ist neuartig und für Anfänger ungeheuer hilfreich. 376 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Durch die Einführung der Berufskrankheiten der Wirbelsäule besteht derzeit eine besondere Notwendigkeit, Kriterien für die Beurteilung des kausalen Zusammenhangs zwischen beruflicher Belastung und bandscheibenbedingten Erkrankungen der Lendenwirbelsäule festzulegen. Dabei sind viele Frage noch offen.Vor dem Hintergrund der rechtlichen Situation werden Sie von Experten umfassend über den aktuellen Stand der Diskussion zur Berufskrankheit 2108 informiert. 208 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Unternehmen, die am europäischen System zum Umweltmanagement und der Umweltbetriebsprüfung teilnehmen, sind gemäß der EG-Öko-Audit-Verordnung verpflichtet, Öffentlichkeitsarbeit zu betreiben. Insbesondere soll regelmäßig eine sogenannte Umwelterklärung erstellt werden, womit sich die Öffentlichkeit sowohl über die Umweltprobleme als auch über das Umweltmanagement an dem betreffenden Betriebsstandort informieren kann. Das vorliegende Buch hat zum Ziel beiden - nämlich Unternehmen und Öffentlichkeit - die Umwelterklärung als ein neues Instrument der Umweltkommunikation vorzustellen. 160 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand wah rend meiner Tatigkeit als wissenschaftlicher Mit arbeiter am Fraunhofer-Institut fUr Produktionstechnik und Automatisierung (IPA), Stuttgart. Mein besonderer Dank gilt Herrn Prof. Dr.-Ing. h.c. mult. H.-J. Warnecke, Prasident der Fraunhofer Gesellschaft, fUr seine groBzugige UnterstUtzung und Ferderung, die zur erfolgreichen DurchfUhrung dieser Arbeit beigetragen hat. Herrn Prof. Dr.-Ing. K. Langenbeck danke ich fUr die Obernahme des Mitberichts und die eingehende Durchsicht der Arbeit. Bedanken mechte ich mich bei Herrn Prof. Dr.-Ing. R.-D. Schraft und Herrn Dr.-Ing. M. Schweizer, bei allen Kolleginnen und Kollegen sowie Studenten, die mich am Institut durch ihre konstruktive Mitarbeit unterstUtzt haben. Vor all em die Zusammen arbeit mit Herrn Dr.-Ing. T. Leicht, Herrn Dipl.-Ing. G. Vegele und Frau Dipl.-Ing. (FH) A. Hasenclever hat mir viel bedeutet. Meiner Familie und ganz besonders meiner Frau Evelyn danke ich fUr das Ver standnis, mit dem sie das Entstehen dieser Arbeit begleitet haben. 100 pp. Deutsch.