Maths for computer scientists

Need to Learn MATLAB?

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 book contains 28 research articles from among the 49 papers and abstracts presented at the Tenth International Conference on Fibonacci Numbers and Their Applications.

Employ essential tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies.

This book constitutes the refereed joint proceedings of the Second International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2018 and the First International Workshop on Integrating Medical Imaging and Non-Imaging Modalities, Beyond MIC 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

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 textbook offers a comprehensive introduction to Machine Learning techniques and algorithms.

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

This is the first book about the discrete ordered median problem (DOMP), which unifies many classical and new facility location problems.

Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R.

Sequential Dynamical Systems (SDS) are a class of discrete dynamical systems which significantly generalize many aspects of systems such as cellular automata, and provide a framework for studying dynamical processes over graphs.

Elliptic curves have been intensively studied in algebraic geometry and number theory.

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods.

The protection of sensitive information against unauthorized access or fraudulent changes has been of prime concern throughout the centuries.

This graduate-level text gives a thorough overview of the analysis of Boolean functions, beginning with the most basic definitions and proceeding to advanced topics.

This book constitutes the proceedings of the 16th International Workshop on Algorithms and Models for the Web Graph, WAW 2019, held in Brisbane, QLD, Australia, in July 2019.

This book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019.

The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis.

The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.

Queueing theory applications can be discovered in many walks of life including; transportation, manufacturing, telecommunications, computer systems and more.

A substantial portion of this book is a revised version of Discrete Event Systems: Modeling and Performance Analysis (1993), which was written by the first author and received the 1999 Harold Chestnut Prize, awarded by the International Federation of Automatic Control (IFAC) for best control engineering textbook.

The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.

An Invitation to Computational Homotopy is an introduction to elementary algebraic topology for those with an interest in computers and computer programming.

Employ essential tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies.

This book constitutes the revised selected papers of the 14th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2019, held in Rende, Italy, in September 2019.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.

This book constitutes the refereed proceedings of the 16th European Workshop on Computer Performance Engineering, EPEW 2019, held in Milan, Italy, in November 2019.

This volume brings forth a set of papers presented at the conference on "e;Varia- tional Inequalities and network equilibrium problems"e;, held in Erice at the "e;G.

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

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.

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.

Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.

Codes, Designs, and Geometry brings together in one place important contributions and up-to-date research results in this important area.

Coded Modulation Systems is an introduction to the subject of coded modulation in digital communication.

This book constitutes the proceedings of the 16th International Conference on Formal Concept Analysis, ICFCA 2021, held in Strasbourg, France, in June/July 2021.

This second edition explains how computer software is designed to perform the tasks required for sophisticated statistical analysis.

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer.

Tsutomu Sasao - Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, since such material is quite hard to ?

This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi'an, China, in July 2019.

This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.

This book constitutes the refereed proceedings of the 13th International Symposium on Algorithmic Game Theory, SAGT 2020, held in Augsburg, Germany, in September 2020.

Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm).

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.

In honor of professor and renowned statistician R.

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.

Matrix algebra is one of the most important areas of mathematics for data analysis and for statistical theory.