Bøker utgitt av Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.

The papers are organized in topical sections on Constraints, search and planning, intelligent Web and information retrieval, fuzzy systems, knowledge representation, reasoning and logic, machine learning, multiagent systems, multidisciplinary topics and applications, metaheuristics, uncertainty in artificial intelligence.

The field of robotic vision has advanced dramatically recently with the development of new range sensors. Tremendous progress has been made resulting in significant impact on areas such as robotic navigation, scene/environment understanding, and visual learning. This edited book provides a solid and diversified reference source for some of the most recent important advancements in the field of robotic vision. The book starts with articles that describe new techniques to understand scenes from 2D/3D data such as estimation of planar structures, recognition of multiple objects in the scene using different kinds of features as well as their spatial and semantic relationships, generation of 3D object models, approach to recognize partially occluded objects, etc. Novel techniques are introduced to improve 3D perception accuracy with other sensors such as a gyroscope, positioning accuracy with a visual servoing based alignment strategy for microassembly, and increasing object recognition reliability using related manipulation motion models. For autonomous robot navigation, different vision-based localization and tracking strategies and algorithms are discussed. New approaches using probabilistic analysis for robot navigation, online learning of vision-based robot control, and 3D motion estimation via intensity differences from a monocular camera are described. This collection will be beneficial to graduate students, researchers, and professionals working in the area of robotic vision.

Processes for recovering fresh water from the oceans - of which men have dreamed since antiquity - have changed markedly in the last 20 years. Production of fresh water from sea and brackish waters amounts to almost two million cubic meters per day, and this is increasing by about 25% per year.

Der vorliegende Band ist der erste Erganzungsband mit Verbindungen des Wolframs zum 1933 erschienenen Hauptband ,.Wolfram". Zuerst wird die Adsorption beschrieben, und zwar wird der Sauerstoff bei tiefen Tem peraturen wie die Edelgase und der Wasserstoff nur physisorbiert, bei hoeheren Temperaturen dagegen chemisorbiert.

Organocopper reagents have found wide use in synthetic organic chemistry during the past few decades. This last volume brings to an end the series of organocopper compounds and contains an Empirical Formula and Ligand Formula Index for about 3000 organocopper compounds and reagents described in Parts 1 to 4.

The present Supplement Volume Beryllium A 3 continues and completes the description of the physical properties of the element, begun in Supplement Volume A 2, 1991, and also treats the electrochemical behavior of the metal.

With platinum and rhodium, palladium is one of the most important members of the platinum metal group. The chemistry of the palladium-hydrogen system is so large that it merits a separate volume, so this book starts with the binary oxides and oxopalladates followed by hydroxides, hydroxo complexes and aquo complexes.

Following the indium triorganyls and their adducts with Lewis bases in Section 1, the broad field of compounds of the general type R ln- n 3 n (n = 1, 2) is treated in sections 2 to 9; Ionic species, predominantly [R lnX -n]-compounds (n = 1 to 4), close the series of trivalent n 4 organoindium compounds and are collected in Section 11.

The present volume, "Manganese" D 5, continues the description of the manganese complexes. In Chapters 22 to 29 of this volume are treated complexes with amine-N-polycarboxylic acids, hydrazinecarboxylic acids, amides, hydrazides, derivatives of hydroxylamine (e.g., hydroxamic acids), oximes and nitroso compounds, azo compounds, and triazenes.

Of system-number "Manganese", Part B, which de- scribes the Element Manganese, has been completed. Part D is devoted to the coordination compounds. Part D 1, D 2, D 3, D 4, D 5 and D 6 thereof are already available. The present volume "Manganese D 7" continues the description of the coordination compounds.

With contributions by numerous experts