Maths for computer scientists

This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between theoretical physicists working on higher loop calculations and mathematicians working in the field of modular forms and functions and analytic solutions of higher order differential and difference equations.

This book constitutes the refereed proceedings of the 26th International Symposium on Graph Drawing and Network Visualization, GD 2018, held in Barcelona, Spain, in September 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 book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2017, and the Third International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2017, held in Porto, Portugal in April 2017.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.

This book explores the updated version of the GLOBAL algorithm which contains improvements for a local search algorithm and new Java implementations.

This book puts in one place and in accessible form Richard Berk's most recent work on forecasts of re-offending by individuals already in criminal justice custody.

Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output.

This book constitutes the refereed proceedings of the 11th Brazilian Symposium on Bioinformatics, BSB 2018, held in Rio de Janeiro, Brazil, in October/November 2018.

This book constitutes the refereed proceedings of the 19th International Conference on  Advanced Concepts for Intelligent Vision Systems, ACIVS 2018, held in Poitiers, France, in September 2018.

This book constitutes  the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Israel, in June 2018.

This book constitutes the refereed joint proceedings of the First International Workshop on Computational Pathology, COMPAY 2018, and the 5th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018.

This book provides an introduction to recent advances in theory, algorithms and application of Boolean map distance for image processing.

This book constitutes the refereed proceedings of the Second International Workshop on Connectomics in NeuroImaging, CNI 2018, held in conjunction with MICCAI 2018 in Granada, Spain, in September 2018.

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.

This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.

This book constitutes the proceedings of the 11th International Conference on Swarm Intelligence, ANTS 2018, held in Rome, Italy, in October 2018.

This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018.

?

This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held  in Cottbus, Germany, in June 2018.

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.

This book constitutes the refereed post-conference proceedings of the 11th International Seminar on Speech Production, ISSP 2017, held in Tianjin, China, In October 2017.

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 presents the state-of-the-art methodology and detailed analytical models and methods used to assess the reliability of complex systems and related applications in statistical reliability engineering.

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.

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 book presents the theory of matrix algebra for statistical applications, explores various types of matrices encountered in statistics, and covers numerical linear algebra.

Presenting interdisciplinary research at the forefront of present advances in information technologies and their foundations, Scientific Applications of Language Methods is a multi-author volume containing pieces of work (either original research or surveys) exemplifying the application of formal language tools in several fields, including logic and discrete mathematics, natural language processing, artificial intelligence, natural computing and bioinformatics.

Modern day high-performance computers are making available to 21st-century scientists solutions to rheological flow problems of ever-increasing complexity.

Cooperation is pervasive throughout nature, but its origin remains an open question.

The inverse obstacle scattering problem consists of finding the unknown surface of a body (obstacle) from the scattering ?

Introduction to Statistics Using R is organized into 13 major chapters.

Atherosclerosis is a pathological condition of the arteries in which plaque buildup and stiffening (hardening) can lead to stroke, myocardial infarction (heart attacks), and even death.

Examine business problems and use a practical analytical approach to solve them by implementing predictive models and machine learning techniques using SAS and the R analytical language.

Program for data analysis using R and learn practical skills to make your work more efficient.

Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization.

Get an introduction to functional data structures using R and write more effective code and gain performance for your programs.

This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, provides an authoritative introduction and overview of the latest research in cellular automata (CA) models of physical systems, emergent phenomena, computational universality, chaos, growth phenomena, phase transitions, self-organised criticality, reaction-diffusion systems, self-replications, parallel computation, and more.

This book begins with a concentrated introduction into deterministic global optimization and moves forward to present new original results from the authors who are well known experts in the field.

This is the first book to cover GRASP (Greedy Randomized Adaptive Search Procedures), a metaheuristic that has enjoyed wide success in practice with a broad range of applications to real-world combinatorial optimization problems.

This graduate-level textbook is primarily aimed at graduate students of statistics, mathematics, science, and engineering who have had an undergraduate course in statistics, an upper division course in analysis, and some acquaintance with measure theoretic probability.

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 describes the mathematical background behind discrete approaches to morphological analysis of scalar fields, with a focus on Morse theory and on the discrete theories due to Banchoff and Forman.

The volume is dedicated to Boris Mirkin on the occasion of his 70th birthday.

This is the first book to offer key theoretical topics and terminology concerning regulated grammars and automata.

This Springer Brief presents a basic algorithm that provides a correct solution to finding an optimal state change attempt, as well as an enhanced algorithm that is built on top of the well-known trie data structure.

In 1979, I edited Volume 18 in this series: Solution Methods for Integral Equations: Theory and Applications.

The International Workshop on "e;The Use of Supercomputers in Theoretical Science"e; took place on January 24 and 25, 1991, at the University of Antwerp (UIA), Antwerpen, Belgium.