Maths for computer scientists

The 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.

The adoption of multilayer analysis techniques is rapidly expanding across all areas of knowledge, from social sciences (the first facing the complexity of such structures, decades ago) to computer science, from biology to engineering.

This book constitutes the proceedings of the 8th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2021, which took place during May 16-20, 2021.

This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021.

This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2020, held in Padua, Italy, in January 2021.

This book constitutes the proceedings of the 22nd Conference on Integer Programming and Combinatorial Optimization, IPCO 2021, which took place during May 19-21, 2021.

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.

This book constitutes the refereed post-conference proceedings of the Second EAI International Conference on Sustainable Energy for Smart Cities, SESC 2020, held in Portugal in December 2020.

This book constitutes the refereed proceedings of the 15th International Conference on Cognitive Radio-Oriented Wireless Networks, CROWNCOM 2020, held in Rome, Italy, in November 2020.

The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.

This book constitutes the proceedings of the 8th International Conference on Algorithms for Computational Biology, AlCoB 2020, was planned to be held in Missoula, MT, USA in June 2021.

This book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices of the International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI), which took place virtually on October 8th, 2020, having originally been planned to take place in Lima, Peru.

This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds.

This book constitutes revised selected papers of the 19th International Conference on Information Technologies and Mathematical Modelling, ITMM 2020, named after A.

This book constitutes the refereed proceedings of the 11th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2021 held in Shenzhen, China, in March 2021.

This book constitutes the refereed proceedings of the 21st European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events: EvoMUSART, EvoApplications, and EuroGP.

This book constitutes the First Cerebral Aneurysm Detection Challenge, CADA 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in October 2020.

This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020.

This book constitutes the refereed proceedings of the 42nd German Conference on Pattern Recognition, DAGM GCPR 2020, which took place during September 28 until October 1, 2020.

This book is aimed at researchers, graduate students and engineers who would like to be initiated to Piecewise Deterministic Markov Processes (PDMPs).

This monograph uses the Julia language to guide the reader through an exploration of the fundamental concepts of probability and statistics, all with a view of mastering machine learning, data science, and artificial intelligence.

Your government warns that 10% of your neighbors have a deadly contagious virus.

This volume constitutes the proceedings of the 8th International Conference on Variable Neighborhood Search, ICVNS 2021, held in Abu Dhabi, United Arab Emirates, in March 2021.

This book constitutes the proceedings of the 21st International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2020, which took place in Shenzhen, China, during December 28-30, 2020.

This book constitutes the post-conference proceedings of the Second EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2020, held in December 2020.

In honor of professor and renowned statistician R.

This textbook grew out of notes for the ECE143 Programming for Data Analysis class that the author has been teaching at University of California, San Diego, which is a requirement for both graduate and undergraduate degrees in Machine Learning and Data Science.

This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020.

This book constitutes the refereed proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2020, which was held during September 16-18, 2020.

A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs.

This book constitutes the proceedings of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, held in Milan, Italy, in March 2021.

This two-volume set constitutes the refereed proceedings of the 16th International Conference on Collaborative Computing: Networking, Applications, and Worksharing, CollaborateCom 2020, held in Shanghai, China, in October 2020.

This book constitutes the proceedings of the 15th International Conference on Algorithms and Computation, WALCOM 2021, which was planned to take place in Yangon, Myanmar in February/March 2021.

This proceedings constitutes the refereed proceedings of the 15th EAI International Conference on Communications and Networking, ChinaCom 2020, held in November 2020 in Shanghai, China.

The 5-volume proceedings, LNAI 12457 until 12461 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2020, which was held during September 14-18, 2020.

This volume constitutes the refereed proceedings of the 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, held in Sibiu, Romania, in October 2020.

This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021.

This book presents a complete and accurate study of arithmetic and algebraic circuits.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on High Performance Computing in Science and Engineering, HPCSE 2019, held in Karolinka, Czech Republic, in May 2019.

This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi'an, China, in October 2020, but was held virtually instead.

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.

This book constitutes the refereed post-conference proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020.

This book constitutes the refereed proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020.

This book constitutes selected revised and extended papers from the 10th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020, Barnaul, Russia, in May 2020.

This book constitutes the proceedings of the 16th International Conference on Advanced Data Mining and Applications, ADMA 2020, held in Foshan, China in November 2020.

This book contains a selection of the best papers of the 31st Benelux Conference on Artificial Intelligence, BNAIC 2019, and 28th Belgian Dutch Machine Learning Conference, BENELEARN 2019, held in Brussels, Belgium in November 2019.

This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study.

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020.