This book constitutes the proceedings of the 24th International Conference on Information Processing in Medical Imaging, IPMI 2015, held at the Sabhal Mor Ostaig College on the Isle of Skye, Scotland, UK, in June/July 2015.
This book constitutes the proceedings of the 6th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2015, held in Warsaw, Poland, in June/July 2015.
This book constitutes the refereed proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching, CPM 2015, held on Ischia Island, Italy, in June/July 2015.
The book contains a selection of high quality papers, chosen among the best presentations during the International Conference on Spectral and High-Order Methods (2014), and provides an overview of the depth and breadth of the activities within this important research area.
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Konigswinter, Germany, in June/July 2015.
This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.
This volume constitutes the proceedings of the 10th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2015, held Bilbao, Spain, June 2014.
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015.
This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015.
The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring.
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
This book constitutes the thoroughly refereed proceedings of the 22st International Conference on Computer Networks, CN 2015, held in Brunow, Poland, in June 2015.
This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Lukasiewicz infinite-valued logic.
The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2015, held in Zakopane, Poland in June 2015.
Focusing on the mathematics that lies at the intersection of probability theory, statistical physics, combinatorics and computer science, this volume collects together lecture notes on recent developments in the area.
The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2015, held in Zakopane, Poland in June 2015.
This book constitutes the thoroughly refereed post-workshop proceedings of the 25th International Workshop on Combinatorial Algorithms, IWOCA 2014, held in Duluth, MN, USA, in October 2014.
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015.
This two-volume set LNCS 9094 and LNCS 9095 constitutes the thoroughly refereed proceedings of the 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, held in Palma de Mallorca, Spain, in June 2013.
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015.
This two-volume set LNCS 9094 and LNCS 9095 constitutes the thoroughly refereed proceedings of the 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, held in Palma de Mallorca, Spain, in June 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015.
This text aims to provide graduate students with a self-contained introduction to topics that are at the forefront of modern algebra, namely, coalgebras, bialgebras and Hopf algebras.
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.
The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015.
The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015.
This book explains in detail how to define requirements modelling languages - formal languages used to solve requirement-related problems in requirements engineering.
This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014.
The chapters in this volume stress the need for advances in theoretical understanding to go hand-in-hand with the widespread practical application of forecasting in industry.
This book contains the thoroughly refereed proceedings of the 12th International Symposium on Mathematical Morphology, ISMM 2015 held in Reykjavik, Iceland, in May 2015.
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2015, held in Dublin, Ireland, in May 2015.
This book constitutes the proceedings of the First International Conference on Codes, Cryptology and Information Security, C2SI 2015, held in Rabat, Morocco, in May 2015.
This book, which goes far beyond a traditional collection of technical articles, is dedicated to Enric Trillas, a fuzzy systems pioneer but also an internationally renowned researcher in other areas of science, such as mathematics and aerospace, and an outstanding manager of scientific affairs in Spain.
This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015.
This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015.
This book constitutes the refereed proceedings of the 5th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2015, held in Lege-Cap Ferret, France, in May 2015.
This book constitutes the refereed proceedings of the 11th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2015, held in Ustron, Poland, in May 2015.
This book constitutes the refereed proceedings of the 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, held in Halifax, Nova Scotia, Canada, in June 2015.
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Approximation and Online Algorithms, WAOA 2014, held in Wroclaw, Poland, in September 2014 as part of ALGO 2014.
This book constitutes the refereed proceedings of the 10th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2015, held in Beijing, China, in May 2015.
This book constitutes the refereed conference proceedings of the 9th International Conference on Algorithms and Complexity, CIAC 2015, held in Paris, France, in May 2015.
