This book constitutes the proceedings of the 13th International Conference and Workshop on Algorithms and Computation, WALCOM 2019, held in Guwahati, India, in February/ March 2019.
This two-volume set LNCS 11314 and 11315 constitutes the thoroughly refereed conference proceedings of the 19th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2018, held in Madrid, Spain, in November 2018.
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Web and Internet Economics, WINE 2018, held in Oxford, UK, in December 2018.
This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Grobner Cover, the most accurate algebraic method for discussing parametric polynomial systems.
This volume features selected, refereed papers on various aspects of statistics, matrix theory and its applications to statistics, as well as related numerical linear algebra topics and numerical solution methods, which are relevant for problems arising in statistics and in big data.
This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018.
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 16th Extended Semantic Web Conference, ESWC 2019, held in Portoroz, Slovenia, in June 2019.
This book constitutes the refereed conference proceedings of the 11th International Conference on Bio-Inspired Information and Communications Technologies, held in Pittsburgh, PA, USA, in March 2019.
This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS 2017, and the 5th International Conference on Agreement Technologies, AT 2017, held in Evry, France, in December 2017.
The conference proceeding LNCS 11346 constitutes the refereed proceedings of the 12th International Conference on Combinatorial Optimization and Applications, COCOA 2018, held in Atlanta, GA, USA, in December 2018.
This book constitutes the refereed post-conference proceedings of the 30th International Workshop on Combinatorial Algorithms, IWOCA 2019, held in Pisa, Italy, in July 2019.
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.
This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM 2019, held in Saarbrucken, Germany, in July 2019.
This book constitutes the refereed proceedings of the 11th International Workshop on Hybrid Metaheuristics, HM 2019, held in Concepcion, Chile, in January 2019.
This book constitutes the refereed proceedings of the 6th International Conference on Big Data analytics, BDA 2018, held in Warangal, India, in December 2018.
This book offers a unified presentation of Fourier theory and corresponding algorithms emerging from new developments in function approximation using Fourier methods.
This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
This book constitutes the proceedings of the Second International Workshop on Predictive Intelligence in Medicine, PRIME 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.
This book constitutes the proceedings of the First International Conference on Computer and Communication Engineering, ICCCE 2018, held in Guayaquil, Ecuador, in October 2018.
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019.
The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.
This textbook provides a clear and logical introduction to the field, covering the fundamental concepts, algorithms and practical implementations behind efforts to develop systems that exhibit intelligent behavior in complex environments.
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics.
The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the 28th International Conference on Artificial Neural Networks, ICANN 2019, held in Munich, Germany, in September 2019.
This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.
The two-volume set of LNCS 11941 and 11942 constitutes the refereed proceedings of the 8th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2019, held in Tezpur, India, in December 2019.
This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical rigor.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
This contributed volume collects papers based on courses and talks given at the 2017 CIMPA school Harmonic Analysis, Geometric Measure Theory and Applications, which took place at the University of Buenos Aires in August 2017.
This book constitutes the refereed proceedings of the First Challenge in Adolescent Brain Cognitive Development Neurocognitive Prediction, ABCD-NP 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.
This textbook provides a rigorous mathematical perspective on error-correcting codes, starting with the basics and progressing through to the state-of-the-art.
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.
This book contains revised selected papers from the 25th International Conference on Selected Areas in Cryptography, SAC 2018, held in Calgary, AB, Canada in August 2018.
This book constitutes the refereed proceedings of the 9th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2018, held in Ust-Kamenogorsk, Kazakhstan, in September 2018.
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.
This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019.
The two-volume set LNAI 10632 and 10633 constitutes the proceedings of the 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, held in Enseneda, Mexico, in October 2017.
This book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019.
This book constitutes the refereed proceedings of the 5th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2019, held in Ho Chi Minh City, Vietnam, in August 2019.
This book constitutes the refereed proceedings of the Third International Conference on Convergent Cognitive Information Technologies, Convergent 2018, held in Moscow, Russia, in December 2018.
This book constitutes the refereed proceedings of the 10th International Conference on Functional Imaging and Modeling of the Heart, held in Bordeaux, France, in June 2019.
This two-volume set LNCS 12656 and 12657 constitutes the refereed proceedings of the 43rd European Conference on IR Research, ECIR 2021, held virtually in March/April 2021, due to the COVID-19 pandemic.