Computer modelling and simulation

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.

This book provides an in-depth analysis of investment problems pertaining to electric energy infrastructure, including both generation and transmission facilities.

TheseProceedings of the 2015 MICCAI Workshop Computational Diffusion MRI offer asnapshot of the current state of the art on a broad range of topics within thehighly active and growing field of diffusion MRI.

This book constitutes the thoroughly refereedpost-conference proceedings of the Second International Workshop on AdaptiveResource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held inConjunction with ACM Symposium on Principles of Distributed Computing, PODC2015, in Donostia-San Sebastian, Spain, in July 2015.

This book presents a new suite of benchmarks for and examples of porous media mechanics collected over the last two years.

This volume constitutes the proceedings of the5th International Conference on Serious Games, Interaction, andSimulation, held in Novedrate, Italy, in September 2015.

This textbook reviews the theory, applications, and latest breakthroughsin Delay Tolerant Networks (DTNs).

This text reviews the fundamental theory and latest methods for including contextual information in fusion process design and implementation.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015.

This book constitutes the thoroughly refereedpost-workshop proceedings of the First International Workshop on Patch-based Techniquesin Medical Images, Patch-MI 2015, which was held in conjunction with MICCAI2015, in Munich, Germany, in October 2015.

This thesis proposes a novel Model Predictive Control (MPC) strategy, which modifies the usual MPC cost function in order to achieve a desirable sparse actuation.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Agents and Artificial Intelligence, ICAART 2015, held in Lisbon, Portugal, in January 2015.

This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015.

This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios.

This book constitutes the thoroughly refereedproceedings of the 4th International Conference on Smart Cities and Green ICTSystems, SMARTGREENS 2015, and the 1st InternationalConference on Vehicle Technology and Intelligent Transport Systems, VEHITS2015, held in Lisbon, Portugal, in May 2015.

This book constitutes the thoroughly refereed post-conference proceedingsof the 4th International Conference on Pattern Recognition, ICPRAM 2015,held in Lisbon, Portugal, in January 2015.

This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.

This volumeof Advances in Intelligent Systems and Computing contains papers presented atthe 1st European-Middle Asian Conference on Computer Modelling, EMACOM 2015.

These transactions publishresearch in computer-based methods of computational collective intelligence(CCI) and their applications in a wide range of fields such as the semanticWeb, social networks, and multi-agent systems.

This book constitutes the proceedings of the 13th German Conference on Multiagent System Technologies, MATES 2015, held in Cottbus, Germany, in September 2015.

This volume constitutes the papers presented at the 15thInternational Conference on Computer Aided Systems Theory, EUROCAST 2015, heldin February 2015 in Las Palmas de Gran Canaria, Spain.

This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015.

This book constitutes the refereed proceedings of the 16th International Conference on Product-Focused Software Process Improvement, PROFES 2015, held in Bolzano, Italy, in December 2015.

This book reports on an in-depth study of fuzzy time series (FTS) modeling.

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

Thisbook constitutes the refereed proceedings fo the 14th International Scientific Conferenceon Information Technologies and Mathematical Modeling, named after A.

The work on Autonomic Road Transport Support (ARTS) presented here aims at meeting the challenge of engineering autonomic behavior in Intelligent Transportation Systems (ITS) by fusing research from the disciplines of traffic engineering and autonomic computing.

This book constitutes the refereed proceedings of sevenworkshops and a symposium, held at the 34th International Conference onConceptual Modeling, ER 2015, in Stockholm, Sweden.

This book constitutes the thoroughly refereedpost-conference proceedings of the 10th International Conference on Large-ScaleScientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015.

Thepresent book includes a set of selected extended papers from the 4thInternational Conference on Simulation and Modeling Methodologies, Technologiesand Applications (SIMULTECH 2014), held in Vienna, Austria, from 28 to 30 August2014.

This book constitutes the thoroughly refereed proceedings of the9th International Joint Conference on Software Technologies, ICSOFT 2014, heldin Vienna, Austria, in August 2014.

This book constitutes the thoroughly refereedpost-conference proceedings of the Third International Conference on PatternRecognition, ICPRAM 2014, held in Angers, France, in March 2014.

This book reviews the theoretical concepts, leading-edge techniques and practical tools involved in the latest multi-disciplinary approaches addressing the challenges of big data.

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.

This book constitutes the refereed proceedings of the Mathematical modeling of technological processes track of the 8th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2015, held in Almaty, Kazakhstan, in September 2015.

This book constitutes the refereed proceedings of the 37th German Conference on Pattern Recognition, GCPR 2015, held in Aachen, Germany, in October 2015.

This book constitutes the refereed proceedings of the 11th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2015, held at CAiSE 2015, in June 2015 in Stockholm, Sweden.

This book constitutes the refereed proceedings of the 10th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2015, in Munich, Germany in October 2015.

This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wroclaw, Poland, in April 2015.

This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015.

This book constitutes the refereed proceedings of the Second International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, ISCRAM-med 2015, held in Tunis, Tunisia, in October 2015.

This book constitutes the proceedings of the 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, held in Warsaw, Poland, in September 2015.

This book constitutes the refereed proceedings of the 6th International Conference on Computational Logistics, ICCL 2015, held in Delft, The Netherlands, in September 2015.

This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015.

This book constitutes the refereed proceedings of the 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, held in Coimbra, Portugal, in September 2015.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015.

This book constitutes the refereed proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, held in Madrid, Spain, in August/September 2015.

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others.

This book constitutes the refereed proceedings of the Second International Conference on Augmented and Virtual Reality, AVR 2015, held in Lecce, Italy, in September 2015.

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Curves and Surfaces, held in Paris, France, in June 2014.