This book constitutes the proceedings of the 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, held in Leeds, UK, in September 2018.
This book shows machine learning enthusiasts and practitioners how to get the best of both worlds by deriving Fisher kernels from deep learning models.
This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 15th Extended Semantic Web Conference, ESWC 2018, held in Heraklion, Crete, Greece, in June 2018.
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning.
The revised edition of this book offers an extended overview of quantum walks and explains their role in building quantum algorithms, in particular search algorithms.
The book gathers contributions from the fourth conference on Information Geometry and its Applications, which was held on June 12-17, 2016, at Liblice Castle, Czech Republic on the occasion of Shun-ichi Amari's 80th birthday and was organized by the Czech Academy of Sciences' Institute of Information Theory and Automation.
This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2018, held in Beijing, China, in August 2018.
This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.
This book constitutes the proceedings of the 17th International Conference on Information Technologies and Mathematical Modelling, ITMM 2018, named after A.
The two volume set LNAI 10984 and LNAI 10985 constitutes the refereed proceedings of the 11th International Conference on Intelligent Robotics and Applications, ICIRA 2018, held in Newcastle, NSW, Australia, in August 2018.
This textbook addresses postgraduate students in applied mathematics, probability, and statistics, as well as computer scientists, biologists, physicists and economists, who are seeking a rigorous introduction to applied stochastic processes.
This book gathers the peer-reviewed proceedings of the 12th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'17, held in Sofia, Bulgaria, in December 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on High Performance Computing in Science and Engineering, HPCSE 2017, held in Karolinka, Czech Republic, in May 2017.
This book presents selected peer-reviewed contributions from the International Work-Conference on Time Series, ITISE 2017, held in Granada, Spain, September 18-20, 2017.
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA, in August 2018.
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed proceedings of the 38th Annual International Cryptology Conference, CRYPTO 2018, held in Santa Barbara, CA, USA, in August 2018.
This textbook on combinatorial commutative algebra focuses on properties of monomial ideals in polynomial rings and their connections with other areas of mathematics such as combinatorics, electrical engineering, topology, geometry, and homological algebra.
The book comprises contributions by some of the most respected scientists in the field of mathematical modeling and numerical simulation of the human cardiocirculatory system.
This book constitutes the refereed proceedings of the 19th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2017, held in Moscow, Russia, in October 2017.
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.
This book collects many of the presented papers, as plenary presentations, mini-symposia invited presentations, or contributed talks, from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) 2017.
This book constitutes the thoroughly refereed proceedings of the Clausthal-Gottingen International Workshop on Simulation Science, held in Gottingen, Germany, in April 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Symposium on Combinatorial Optimization, ISCO 2018, held in Marrakesh, Marocco, in April 2018.
Wiring diagrams form a kind of graphical language that describes operations or processes with multiple inputs and outputs, and shows how such operations are wired together to form a larger and more complex operation.
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.
This book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018.
This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Data Management Technologies and Applications, DATA 2017, held in Madrid, Spain, in July 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017, held in Porto, Portugal, in February 2017.
This book constitutes the proceedings of the 24th International Conference on Computing and Combinatorics, COCOON 2018, held in Qing Dao, China, in July 2018.
This book constitutes revised selected papers from the 6th International Conference on Operations Research and Enterprise Systems, ICORES 2017, held in Porto, Portugal, in February 2017.
This book constitutes the refereed post-conference proceedings of the 29th International Workshop on Combinatorial Algorithms, IWOCA 2018, held in Singapore, Singapore, in July 2018.
The imaginary unit i = v-1 has been used by mathematicians for nearly five-hundred years, during which time its physical meaning has been a constant challenge.
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018.
