Maths for computer scientists

This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

This book constitutes the proceedings of the 4th International Conference on Internet of Vehicles, IOV 2017, held in Kanazawa, Japan, in November 2017.

This book constitutes the refereed proceedings of the 27th International Symposium on Graph Drawing and Network Visualization, GD 2019, held in Prague, Czech Republic, in September 2019.

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017.

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.

This two-volume handbook presents a collection of novel methodologies with applications and illustrative examples in the areas of data-driven computational social sciences.

Computational Genome Analysis: An Introduction presents the foundations of key problems in computational molecular biology and bioinformatics.

Most natural optimization problems, including those arising in important application areas, are NP-hard.

Fundamental concepts of mathematical modeling Modeling is one of the most effective, commonly used tools in engineering and the applied sciences.

This book constitutes the proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018, held in Buenos Aires, Argentina, in April 2018.

This book discusses state estimation of stochastic dynamic systems from noisy measurements, specifically sequential Bayesian estimation and nonlinear or stochastic filtering.

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Medical Computer Vision, MCV 2016, and of the International Workshop on Bayesian and grAphical Models for Biomedical Imaging, BAMBI 2016, held in Athens, Greece, in October 2016, held in conjunction with the 19th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2016.

This book brings together the latest findings on efficient solutions of multi/many-objective optimization problems from the leading researchers in the field.

The emphasis in this book is placed on general models (Markov chains, random fields, random graphs), universal methods (the probabilistic method, the coupling method, the Stein-Chen method, martingale methods, the method of types) and versatile tools (Chernoff's bound, Hoeffding's inequality, Holley's inequality) whose domain of application extends far beyond the present text.

This book constitutes the refereed proceedings of the 17th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2020, held in Sant Cugat, Spain, in September 2020.

This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liege, Belgium, in August 2017.

The vast amounts of ontologically unstructured information on the Web, including HTML, XML and JSON documents, natural language documents, tweets, blogs, markups, and even structured documents like CSV tables, all contain useful knowledge that can present a tremendous advantage to the Artificial Intelligence community if extracted robustly, efficiently and semi-automatically as knowledge graphs.

This book discusses Artificial Neural Networks (ANN) and their ability to predict outcomes using deep and shallow learning principles.

This book is an extended and revised version of "e;Numerical Semigroups with Applications,"e; published by Springer as part of the RSME series.

Statistical computing provides the link between statistical theory and applied statistics.

This book mainly focuses on the sampled-data control of logical networks.

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019.

Modern apparatuses allow us to collect samples of functional data, mainly curves but also images.

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2024, held in Venice, Italy, on June 14, 2024.

This book constitutes the refereed proceedings of the 17th International Conference on Web and Internet Economics, WINE 2021, which was held online during December 14-17, 2021.

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18-19, 2023.

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic.

Markov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems over time.

This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.

A First Course in Information Theory is an up-to-date introduction to information theory.

This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.

The analysis of integrated and co-integrated time series can be considered as the main methodology employed in applied econometrics.

This Element provides an overview of the ideas, methods and techniques to deal with complex networks datasets.

Magic labelings Magic squares are among the more popular mathematical recreations.

This SpringerBrief provides the first systematic review of the existing works of cohesive subgraph search (CSS) over large heterogeneous information networks (HINs).

This book constitutes the proceedings of the 29th International Conference on Case-Based Reasoning, ICCBR 2021, which took place in Salamanca, Spain, during September 13-16, 2021.

For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares.

This book constitutes the refereed proceedings of the 4th Southern African Conference on Artificial Intelligence Research, SACAIR 2023, held in Muildersdrift, South Africa, in December 2023.

The subject of this book stands at the crossroads of ergodic theory and measurable dynamics.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics.

These proceedings present a curated collection of innovative approaches to tackling challenging problems in applied mathematics.

This SpringerBrief provides the first systematic review of the existing works of cohesive subgraph search (CSS) over large heterogeneous information networks (HINs).

Generating random networks efficiently and accurately is an important challenge for practical applications, and an interesting question for theoretical study.

"e;An important topic, which is on the boundary between numerical analysis and computer science .

This book gathers outstanding papers presented at the European Conference on Numerical Mathematics and Advanced Applications, ENUMATH 2023.

This book constitutes the refereed proceedings of the 5th International Symposium on Advances in Signal Processing and Intelligent Recognition Systems, SIRS 2019, held in Trivandrum, India, in December 2019.

This book explains music's comprehensive ontology, its way of existence and processing, as specified in its compact characterization: music embodies meaningful communication and mediates physically between its emotional and mental layers.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.