Maths for computer scientists

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.

To large organizations, business intelligence (BI) promises the capability of collecting and analyzing internal and external data to generate knowledge and value, thus providing decision support at the strategic, tactical, and operational levels.

This is a book on Linear-Fractional Programming (here and in what follows we will refer to it as "e;LFP"e;).

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

The fields of computational fluid dynamics (CFD) and optimal shape design (OSD) have received considerable attention in the recent past, and are of practical importance for many engineering applications.

Improved geospatial instrumentation and technology such as in laser scanning has now resulted in millions of data being collected, e.

Modern cryptography depends heavily on number theory, with primality test- ing, factoring, discrete logarithms (indices), and elliptic curves being perhaps the most prominent subject areas.

This book constitutes revised selected papers from the 7th International Conference on Operations Research and Enterprise Systems, ICORES 2018, held in Funchal, Madeira, Portugal, in January 2018.

This book constitutes refereed proceedings of the 20th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021.

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 constitutes the thoroughly refereed workshop post-proceedings of the 17th International Workshop on Approximation and Online Algorithms, WAOA 2019, held in Munich, Germany, in September 2019 as part of ALGO 2019.

This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.

This book presents a comprehensive and self-contained treatment of the authors' newly developed scalable algorithms for the solutions of multibody contact problems of linear elasticity.

This book discusses two questions in Complexity Theory: the Monotonicity Testing problem and the 2-to-2 Games Conjecture.

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.

This book presents the theory of matrix algebra for statistical applications, explores various types of matrices encountered in statistics, and covers numerical linear algebra.

This textbook provides a hands-on treatment of the subject of optimization.

This book constitutes the refereed proceedings of the 15th Algorithms and Data Structures Symposium, WADS 2017, held in St.

This book constitutes the refereed proceedings of the 6th International Conference on Belief Functions, BELIEF 2021, held in Shanghai, China, in October 2021.

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.

Near-Rings and Near-Fields opens with three invited lectures on different aspects of the history of near-ring theory.

This book introduces the basic principles underlying the design and analysis of the digital communication systems that have heralded the information revolution.

This two-volume set constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, which was held in Prague, Czech Republic, during April 2023.

Foreword by James L.

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 constitutes the thoroughly refereed proceedings of the 22st International Conference on Computer Networks, CN 2015, held in Brunow, Poland, in June 2015.

This book constitutes the refereed proceedings of the 12th International Conference on Computational Logistics, ICCL 2021, held in September 2021.

This book constitutes the refereed joint proceedings of the 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and the 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, held in Fort Lauderdale, FL, USA, during January 8-10, 2024.

Essential Mathematica: With Applications to Mathematics and Physics, based on the lecture notes of a course taught at the University of Illinois at Chicago to advanced undergrad and graduate students, teaches how to use Mathematica to solve a wide variety problems in mathematics and physics.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7-10, 2024.

This book constitutes the proceedings of the 21st International Conference on Comparative Genomics, RECOMB-CG 2024, which was held in Boston, MA, USA, during April 27-28, 2024.

This book constitutes the refereed proceedings of the 14th International Conference on Algorithms and Computation, WALCOM 2020, held in Singapore in March/April 2020.

The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in computational mathematics.

This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.

This book provides an up-to-date account of current research in quantum information theory, at the intersection of theoretical computer science, quantum physics, and mathematics.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.

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 collection contains invited papers by distinguished statisticians to honour and acknowledge the contributions of Professor Dr.

At a round table discussion on the eukaryotic chromosome sponsor- ed by the Deutsche Forschungsgemeinschaft in Diisseldorf, February 1978, the botanists among the participants felt that plant systems were under-represented.

This book presents covert, semi-covert and overt techniques for communication over printed media by modifying images, texts or barcodes within the document.

This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.

This uniquely accessible book helps readers use CABology to solve real-world business problems and drive real competitive advantage.

This book constitutes the proceedings of the 26th International Conference on Developments in Language Theory, DLT 2022, which was held in Tampa, FL, USA, during May, 2022.

This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data.

This book constitutes the refereed proceedings of the Sescond Southwest Data Science Conference, SDSC 2023, held in Waco, TX, USa, during March 24-25, 2023.

These two volumes constitute the proceedings of the 10th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2023, held in Kanazawa, Japan, during November 2-4, 2023.

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 book constitutes selected papers of the 19th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2021, held in Los Angeles, CA, USA, in July 2021.