This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2016, held in Rome, Italy, in June 2016.
This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.
This book constitutes the refereed proceedings of the First International Workshop on Simulation and Synthesis in Medical Imaging, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016.
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015.
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today's agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.
This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016.
This book constitutes the refereed proceedings of the 345h International Conference on Conceptual Modeling, ER 2016, held in Gifu, Japan, in November 2016.
This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the Osterreichische Gesellschaft fur Artificial Intelligence, OGAI, held in Klagenfurt, Austria, in September 2016.
This book constitutes the proceedings of the 14th German Conference on Multiagent System Technologies, MATES 2016, held in Klagenfurt, Austria, in September 2016.
This book constitutes the refereed proceedings of the 38th German Conference on Pattern Recognition, GCPR 2016, held in Hannover, Germany, in September 2016.
This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016.
This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016.
This volume reflects the 'philosophy of science in practice' approach and takes a fresh look at traditional philosophical problems in the context of natural, social, and health research.
This book constitutes the refereed proceedings of the 7th International Conference on Concept Mapping, CMC 2016, held in Tallinn, Estonia, in September 2016.
This book constitutes the proceedings of the 15th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2016, held in Vilnius, Lithuania, in September 2016.
This book focuses on the mathematical potential and computational efficiency of the Boundary Element Method (BEM) for modeling seismic wave propagation in either continuous or discrete inhomogeneous elastic/viscoelastic, isotropic/anisotropic media containing multiple cavities, cracks, inclusions and surface topography.
This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016.
This book presents a multi-disciplinary investigation into extortion rackets with a particular focus on the structures of criminal organisations and their collapse, societal processes in which extortion rackets strive and fail and the impacts of bottom-up and top-down ways of fighting extortion racketeering.
The articles in this book review hybrid experimental-computational methods applied to soft tissues which have been developed by worldwide specialists in the field.
This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes.
This book constitutes the refereed proceedings of the 7th International Conference on Computational Logistics, ICCL 2016, held in Lisbon, Portugal, in September 2016.
Serving as a flagship driver towards advance research in the area of Big Data platforms and applications, this book provides a platform for the dissemination of advanced topics of theory, research efforts and analysis, and implementation oriented on methods, techniques and performance evaluation.
This book constitutes the refereed proceedings of the 15th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A.
This book constitutes the proceedings of the 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, held in Fez, Morocco, in September 2014.
This book offers a practical guide to Agent Based economic modeling, adopting a "e;learning by doing"e; approach to help the reader master the fundamental tools needed to create and analyze Agent Based models.
This edited volume focuses on how we can protect our environment and enhance environmental sustainability when faced with changes and pressures imposed by our expansive needs.
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
This book constitutes the refereed proceedings of the 14th Pacific Rim Conference on Artificial Intelligence, PRICAI 2016, held in Phuket, Thailand, in August 2016.
This book presents essential new insights in research and applications concerning spatial information technologies and coastal disaster prevention modeling for oceanic and coastal regions.
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.
The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedingsof the 16th International Conference on Computational Science and ItsApplications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016.
The five-volume set LNCS 9786-9790 constitutes the refereed proceedingsof the 16th International Conference on Computational Science and ItsApplications, ICCSA 2016, held in Beijing, China, in July 2016.
This book constitutes the refereed proceedings of the Third International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015.
This textbook provides a comprehensive introduction to nature-inspired metaheuristic methods for search and optimization, including the latest trends in evolutionary algorithms and other forms of natural computing.
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.