The six articles in this EMS volume provide an overview of a number of contemporary techniques in the study of the asymptotic behavior of partial differential equations.These techniques include the Ma
This book constitutes the refereed proceedings of the 8th International Symposium on Evolutionary Robotics, ER 2001, held in Tokyo, Japan, in October 2001.The seven revised full papers by the invited
This book concerns programming techniques like object-oriented programming and generic (template) programming. These modern techniques have proven to increase flexibility, modularization, code reuse a
The application of modern methods in numerical mathematics on problems in chemical engineering is essential for designing, analyzing and running chemical processes and even entire plants. Scientific C
This EMS volume provides an exposition of the structure theory of Fano varieties, i.e. algebraic varieties with an ample anticanonical divisor. This book will be very useful as a reference and researc
The book is an overview of the research on minimal surfaces of the last few years written by several renowned researchers. The methods used are taken from differential geometry, complex analysis, calc
Here is one of the first really thorough presentations on smart robots. Robots, machine vision systems, sensors, manipulators, expert systems, and artificial intelligence concepts combined in state-of
This book constitutes the refereed post-conference proceedings of the 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, held in Dublin, Ireland, in July 2017.The 57 revised full pa
Over the past few decades technological advances in transcriptomics, proteomics, metabolomics, and glycomics along with the ability to selectively knockout genes of interest has greatly advanced our u
This book constitutes the refereed proceedings of the First International Conference on Decision Support Systems Technology, ICDSST-2015, held in Belgrade, Serbia, in May 2015. The theme of the event
This book constitutes the refereed proceedings of the Workshop on Collaborative Agents, Research and Development, CARE 2014, and the Workshop on Agents, Virtual Societies and Analytics, AVSC 2014, hel
This book analyzes the legal and economic situation concerning the removal and allocation of the natural resources in the Caspian Sea – the largest enclosed body of salt water in the world, which not
Jean Leray (1906-1998) was one of the great French mathematicians of his century. His life's work can be divided into 3 major areas, reflected in these three volumes. Volume I, to which an Introductio
Jean Leray (1906-1998) was one of the great French mathematicians of his century. His life's work can be divided into 3 major areas, reflected in these 3 volumes. Volume I, to which an Introduction ha
This book contains the full papers presented at the MICCAI 2013 workshop Computational Methods and Clinical Applications for Spine Imaging. The workshop brought together researchers representing sever
This volume constitutes the refereed proceedings of the International Conferences, EL, DTA and UNESST 2012, held as part of the Future Generation Information Technology Conference, FGIT 2012, Kangwond
This volume constitutes the refereed proceedings of the International Conferences, FGCN and DCA 2012, held as part of the Future Generation Information Technology Conference, FGIT 2012, Kangwondo, Kor
This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2011-America, held in Fort Lauderdale, FL, USA, in November 2011 - collocated with the 22nd International J
This book presents selected project results obtained at the current High-Performance Computer in Bavaria (HLRB II). The research areas covered include Computer Sciences, Computational Fluid Dynamics,
The book reports on selected projects on the High Performance Computer in Bavaria (HLRB). The projects originate from the fields of fluid dynamics, astrophysics and cosmology, computational physics in
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It
Lattice gauge theory is a fairly young research area in Theoretical Particle Physics. It is of great promise as it offers the framework for an ab-initio treatment of the nonperturbative features of st
Many computionally challenging problems omnipresent in science and engineering exhibit multiscale phenomena so that the task of computing or even representing all scales of action is computationally v
This book provides wide knowledge about designing FPGA-based heterogeneous computing systems, using a high-level design environment based on OpenCL (Open Computing language), which is called OpenCL fo
The goal of this book is to crystallize the emerging mobile computing technologies and trends into positive efforts to focus on the most promising solutions in services computing. Many toys built toda
This book describes state-of-the-art approaches to Fog Computing, including the background of innovations achieved in recent years. Coverage includes various aspects of fog computing architectures for
This book describes the state-of-the-art in trusted computing for embedded systems. It shows how a variety of security and trusted computing problems are addressed currently and what solutions are exp
Database and Mobile Computing brings together in one place important contributions and up-to-date research results in this important area. Databases and Mobile Computing serves as an excellent ref
This book constitutes the proceedings of the Sino-foreign-interchange Workshop on Intelligence Science and Intelligent Data Engineering, IScIDE 2011, held in Xi'an, China, in October 2011. The 97 pape
This book constitutes the refereed proceedings of the 7th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in Como, Italy, in September 2018. The 10 full and
This book presents real-world problems and pioneering research that reflect novel approaches to cybernetics, algorithms and software engineering in the context of intelligent systems. It gathers the p
This volume constitutes the proceedings of the 11th International Conference on Cloud Computing, CLOUD 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, WA, USA, in June
This book provides an overview of and essential insights on invasive computing. Pursuing a comprehensive approach, it addresses proper concepts, invasive language constructs, and the principles of inv
This book, discusses the latest research on the intelligent control of two important components in smart grids, namely microgrids (MGs) and electric vehicles (EVs). It focuses on developing theoretica
This volume contains 68 papers presented at SCI 2016: First International Conference on Smart Computing and Informatics. The conference was held during 3-4 March 2017, Visakhapatnam, India and organiz
Why should every student take a computing course? What should be the content of these courses? How should they be taught, and by whom? This book addresses these questions by identifying the broader re
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2016, held in Aarhus, Denmark, in Au
