This book presents an innovative methodology for the automatic generation of analog integrated circuits (ICs) layout, based on template descriptions and on evolutionary computational techniques. A design automation tool, LAYGEN II was implemented to validate the proposed approach giving special emphasis to reusability of expert design...

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades...

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and...

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for...

In this book for the first time two scientific fields - consensus formation and synchronization of communications - are presented together and examined through their interrelational aspects, of rapidly growing importance. Both fields have indeed attracted enormous research interest especially in relation to complex networks.
...

“Adaptive Digital Filters” presents an important discipline applied to the domain of speech processing. The book first makes the reader acquainted with the basic terms of filtering and adaptive filtering, before introducing the field of advanced modern algorithms, some of which are contributed by the authors themselves. Working in...

This thesis explores ultracold quantum gases of bosonic and fermionic atoms in optical lattices. The highly controllable experimental setting discussed in this work, has opened the door to new insights into static and dynamical properties of ultracold quantum matter. One of the highlights reported here is the development and application of a...

High Interstitial Stainless Austenitic Steels is of interest to all engineers and resaerchers working with stainless steel, either at universities or R&D departments in Industry. The new applications described appeal to design engineers while procees engineers find interesting challenges. These novel steels enter more and more industrial...

Valentine P. Ananikov, Irina P. Beletskaya: Alkyne and alkene insertion into metal-heteroatom and metal-hydrogen bonds – the key stages of hydrofunctionalization process.- Akihiko Ishii* and Norio Nakata: The Mechanism for Transition Metal-Catalyzed Hydrochalcogenation of Unsaturated Organic Molecules.- A. L. Reznichenko and Kai C....

Das Buch befasst sich mit der Vertragspraxis und den Rechtsfragen des Künstlermanagementvertrages im Musikbereich. Schwerpunkt des ersten Teils ist eine umfassende Vertragsanalyse der typischen Regelungen und Pflichtenprogramme zwischen Künstlern und Managern anhand von Praxis- und Musterverträgen. Im zweiten Teil wird die...