springer berlin heidelberg jun 1995 (65 resultados)

Buch. Condición: Neu. Neuware -At first only elementary functions were studied in mathematical analysis. Then new functions were introduced to evaluate integrals. They were named special functions: integral sine, logarithms, the exponential function, the prob ability integral and so on. Elliptic integrals proved to be the most important. They are connected with rectification of arcs of certain curves. The remarkable idea of Abel to replace these integrals by the corresponding inverse functions led to the creation of the theory of elliptic functions. They are doubly periodic functions of a complex variable. This periodicity has led to consideration of the lattice of periods and to linear-fractional trans formations of the complex plane which leave this lattice invariant. The group of these transformations is isomorphic to the quotient group of the group 8L(2, Z) of unimodular matrices of the second order with integral elements with respect to its center. Investigation of properties of elliptic functions led to the study of automorphic functions and forms. This gave the first connec tion between the theory of groups and this important class of functions. The further development of the theory of automorphic functions was related to geometric concepts connected with the fact that the group of linear-fractional transformations with real elements can be realized as the group of motions of th the Lobachevskij plane. We also note that at the beginning of the 19 century Gauss used the group 8L(2, Z) in his papers on the theory of indeterminate quadratic forms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Condición: Neu. 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. In den aktuellen Wissensstand fließen Ergebnisse der Grundlagenforschung, der Epidemiologie und der bisherigen Begutachtungen ein. Viele Fragen sind derzeit noch offen. Vor dem Hintergrund der rechtlichen Situation wird der Leser von den Teilnehmern eines Expertengesprächs des Hauptverbandes der gewerblichen Berufsgenossenschaften umfassend über den aktuellen Stand der Diskussion, den bisher erreichten Konsens und die noch kontrovers diskutierten Themen zur Kausalität bei der Berufskrankheit 2108 informiert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Deutsch.

Buch. Condición: Neu. Neuware -Ein Qualitätssicherungs-Handbuch ist ein individuell auf ein Unternehmen zugeschnittenes Dokument. Es kann daher nicht kritiklos und ohne Modifikation auf ein anderes Unternehmen übertragen werden. Es gibt jedoch Elemente, die im Bereich von analytischen Laboratorien sehr ähnlich, ja sogar kongruent sind. Daher ist das vorliegende Buch gut dazu geeignet, als Leitfaden und Muster, zur Einführung eines Qualitätssicherungssystems und zur Erstellung eines betriebseigenen Qualitätssicherungs-Handbuches zu dienen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Deutsch.

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

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

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

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

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

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

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

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