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

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences.

The focus of the papers is on following topics: image driven modeling, biophysical modeling, image analysis, biophysical modeling, cardiac imaging, parameter estimation, modeling methods, and biomedical engineering.

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics;

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on User Modeling, Adaption, and Personalization, held in Rome, Italy, in June 2013.

This book constitutes the proceedings of the 6th International Conference on Nonlinear Speech Processing, NOLISP 2013, held in Mons, Belgium, in June 2013. The paper are organized in topical sections on speech and audio analysis; speech synthesis; automatic speech recognition; and speech enhancement.

This book constitutes the refereed proceedings of the First Webble World Summit, WWS 2013, held in Erfurt, Germany, in June 2013. The focus of the event is on Webble technology and its applications. The papers are organized in topical sections on challenging the Webble technology; Webble core technology; applications of Webble technology;

This book constitutes the refereed proceedings of the 8th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2013, held in Helsinki, Finland, in June 2013.

The selected papers span the areas of human path prediction, gesture-based interaction, rendering, valence-levels recognition, virtual collaborative spaces, virtual environment, emotional attention, virtual palpation, sketch-book design, animation, and avatar-face recognition.

There was a co-organized workshop on discrete algorithms of which 8 short papers were accepted and a workshop on computational social networks where 12 papers out of 25 submissions were accepted.

This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, held in Valencia, Spain, in June 2013. The 44 revised full papers were carefully reviewed and selected from 162 submissions. business process modelling; information systems evolution;

This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013.

Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously.

This book constitutes the proceedings of the 4th International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2013, held in Heidelberg, Germany, on June 26, 2013. The papers are organized in topical sections on simulation, neurosurgical interventions, ultrasound guided interventions, and image guided interventions.

The McMurry Reaction in Porphyrinoid Chemistry, by Kevin M. SmithMeso-tetraarylporphyrins: synthetic strategies and reactivity profiles based on nitro/amino substituents, by Maria da Graça NevesFunctionalization of corroles, by José CavaleiroDegradation pathways for porphyrinoids, by  Jacek WojaczynskiSynthetic routes to porphyrinoids, by Sara NardisRecent developments of non covalent porphyrin assemblies, by Donato Monti

We systematically carried out gas-water/oil-water two-phase flow experiments for measuring the time series of flow signals which is studied in terms of the mapping from time series to complex networks. Flow Pattern Complex Network (FPCN), Fluid Dynamic Complex Network (FDCN) and Fluid Structure Complex Network (FSCN).

Clinical Ophthalmic Oncology

This book provides insights into various aspects of marine faunal communities in India, which are extremely diverse due to the geomorphologic and climatic variations along the Indian coasts.

This collection provides access to up to date, very high quality research and critical perspectives on China's CCIs on an industry by industry basis.

Gupta's Hydroxamics Acids is the first book to compile invited articles written by international experts on the class of compounds hydroxamic acids.

"Disruption of Protein-Protein Interfaces" reviews the latest developments and future perspectives in drug discovery at protein-protein interfaces.

Was haben der Untergang der Titanic, das Flugverhalten von Fledermäusen und der Verschnitt von Weinen mit Ultraschall zu tun? Auf solche und ähnliche Fragen werden in diesem Buch allgemein verständliche Antworten gegeben. Das thematische Spektrum reicht von den physikalischen Grundlagen des Ultraschalls über unterschiedlichste Anwendungs- und Einsatzgebiete bis hin zu Beispielen aus der Natur.

These selected papers from the XXVIth Conference of the International Cartographic Association span the entire discipline, from questions of appropriate sources of geographic data to issues arising in the design and interactivity of cartographic products.

Beschreiben die Begriffe der modernen Physik tatsächlich die Realität oder sind sie nur Hilfsmittel und Rechenwerkzeuge? Wie können reale Objekte aus Atomen aufgebaut sein, wenn diese angeblich gar keine realen Eigenschaften vor deren Messung besitzen? In philosophischen und meist allgemein verständlichen Aufsätzen setzt sich der Autor ¿ Begründer des Dekohärenzkonzepts in der Quantentheorie ¿ mit den ¿faulen Ausreden¿ auseinander, die Physiker finden, um unerwarteten Konsequenzen, die sich aus ihren eigenen Theorien ergeben, aus dem Weg zu gehen.