This book is a snapshot of current research in multiscale modeling, computations and applications. It covers fundamental mathematical theory, numerical algorithms as well as practical computational ad
This book constitutes the revised selected papers of the 5th International Conference on Semantics and Digital Media Technologies, SAMT 2010, held in Saarbrucken, Germany, in December 2010. As a resul
One might expect that after their identification in the 19th century, all aspects of Giffen goods would have been studied by now. This appears not to be the case. This book contains the latest insight
The theory of linear functional observers, which is the subject of this book, is increasingly becoming a popular researched topic because of the many advantages it presents in state observation and co
This book summarizes the main achievements of the EC funded 6th Framework Program project COFCLUO – Clearance of Flight Control Laws Using Optimization. This project successfully contributed to the ac
The book presents the newest results of the major world research groups working in the area of Variable Structure Systems and Sliding Mode Control (VSS/SMC). The research activity of these groups is c
This book constitutes the refereed proceedings of the 10th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2011 held in Paderborn, Germany, July 18-20, 2011.The 23 revised
This volume constitutes the proceedings of the Third Working Conference on Practice-Driven Research on Enterprise Transformation (PRET), held in Luxembourg, on September 6, 2010, as the industrial tra
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re
Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to
The Institute for Mathematical Sciences at the National University of Singapore hosted a two-month research program on “Mathematical Theory and Numerical Methods for Computational Materials Simulation
Retail shelf management means cost-efficiently aligning retail operations with consumer demand. As consumers expect high product availability and low prices, and retailers are constantly increasing pr
For nonlinear dynamical systems, which represent the majority of real devices, any study of stability requires the investigation of the domain of attraction of an equilibrium point, i.e. the set of in
This volume collects the notes of the CIME course "Nonlinear PDE’s and applications" held in Cetraro (Italy) on June 23–28, 2008. It consists of four series of lectures, delivered by Stefano Bianchini
Vehicles are complex mechanical systems with strong nonlinear characteristics and which can present some uncertainties due to their dynamic parameters such as masses, inertias, suspension springs, tir
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together wi
This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.The
This book constitutes the proceedings of the Second International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2011, held in Berlin, Germany, on June 22, 2011.The 17 p
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2
The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2
This book constitutes the refereed proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM 2011, held in Palermi, Italy, in June 2011. The 36 revised full papers presented toge
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in
The increasing costs of creating and maintaining infrastructures for delivering services to consumers have led to the emergence of cloud based third party service providers renting networks, computati
This book constitutes the proceedings of the 13th Asia-Pacific Conference APWeb 2011 held in conjunction with the APWeb 2011 Workshops XMLDM and USD, in Beijing, China, in April 2011. The 26 full pape
This book comprises a selection of the presentations made at the “Workshop on Dynamics and Control of Micro and Nanoscale Systems” held at IBM Research – Zurich, Switzerland, on the 10th and 11th of D
Information sharing is frequently promoted as a mean to improve the supply chain performance. This work shows the results of behavioral experiments, in which the participants share private information
This book constitutes the refereed proceedings of the 9th International Conference, EGOV 2010, held in Lausanne, Switzerland, in August/September 2010. The 36 revised full papers presented were carefu
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Atlanta, GA, USA in July 20
This book contains the refereed proceedings of the Second International Conference on Software Business (ICSOB) held in Brussels, Belgium, in June 2011.This year's conference theme "Managing Software
The three-volume set LNCS 6675, 6676 and 6677 constitutes the refereed proceedings of the 8th International Symposium on Neural Networks, ISNN 2011, held in Guilin, China, in May/June 2011. The total
During recent years a great deal of progress has been made in performance modelling and evaluation of the Internet, towards the convergence of multi-service networks of diverging technologies, support
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised ful
This volume contains 13 thoroughly refereed and revised papers detailing recent advances in research on trading agents, negotiating agents, dynamic pricing, and auctions. They were originally presente
This book constitutes the proceedings of the Third International IFIP Working Conference on Enterprise Interoperability (IWEI 2011) , held in Stockholm, Sweden, March 23-24, 2011.The special theme cho
This book surveys recent developments in numerical techniques for global atmospheric models. It is based upon a collection of lectures prepared by leading experts in the field. The chapters reveal the
Analysis and Synthesis of Networked Control Systems focuses on essential aspects of this field, including quantization over networks, data fusion over networks, predictive control over networks and fa
The book includes different contributions that cover interdisciplinary research in the areas of · Error controlled numerical methods, efficient algorithms and software development· Ela
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two
Jan Recker investigates the notion of quality of business process modeling grammars. His evaluation is based on ontological analysis, qualitative analysis, and quantitative analysis, which are applied
