This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014.
Marking 94 years since its first appearance, this book provides an annotated translation of Sainte-Lague's seminal monograph Les reseaux (ou graphes), drawing attention to its fundamental principles and ideas.
The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ?
This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022.
This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014.
This book contains the thoroughly refereed proceedings of the 12th International Symposium on Mathematical Morphology, ISMM 2015 held in Reykjavik, Iceland, in May 2015.
Mathematical Methods for Life Sciences introduces calculus, and other key mathematical methods, to students from applied sciences (biology, biotechnology, chemistry, pharmacology, material science, etc).
Combinatorics and Reasoning: Representing, Justifying and Building Isomorphisms is based on the accomplishments of a cohort group of learners from first grade through high school and beyond, concentrating on their work on a set of combinatorics tasks.
This book constitutes the refereed proceedings of three workshops on the application of evolutionary programming and algorithms in various domains; these workshops were held in conjunction with the 5th European Conference on Genetic Programming, EuroGP 2002, in Kinsale, Ireland, in April 2002.
A Concrete Introduction to Analysis, Second Edition offers a major reorganization of the previous edition with the goal of making it a much more comprehensive and accessible for students.
This book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13-15, 2024.
This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Data Structures, WADS, 2019, held in Edmonton, AB, Canada, in August 2019.
When the 50th anniversary of the birth of Information Theory was celebrated at the 1998 IEEE International Symposium on Informa- tion Theory in Boston, there was a great deal of reflection on the the year 1993 as a critical year.
In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents.
This book constitutes the proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022.
This book contains contributions from speakers at the "e;Anisotropic Isoperimetric Problems & Related Topics"e; conference in Rome, held from Sep 5 to 9, 2022.
The Handbook of Discrete and Computational Geometry is intended as a reference book fully accessible to nonspecialists as well as specialists, covering all major aspects of both fields.
In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools.
This book constitutes the refereed proceedings of the 18th International Conference on Cryptology in India, INDOCRYPT 2017, held in Chennai, India, in December 2017.
Presents Results from a Very Active Area of ResearchExploring an active area of mathematics that studies the complexity of equivalence relations and classification problems, Invariant Descriptive Set Theory presents an introduction to the basic concepts, methods, and results of this theory.
Discrete Event Simulation is a process-oriented text/reference that utilizes an eleven-step model to represent the simulation process from problem formulation to implementation and documentation.
Graph algebras possess the capacity to relate fundamental concepts of computer science, combinatorics, graph theory, operations research, and universal algebra.
Advances on Mathematical Modeling and Optimization with Its Applications discusses optimization, equality, and inequality constraints and their application in the versatile optimizing domain.
Dieses Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel "Diskrete Strukturen" fester Bestandteil des Informatik-Grundstudiums geworden ist.
This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18-20, 2022.
This volume constitutes the proceedings of the 13th International Conference on Algorithmic Aspects in Information and Management, AAIM 2019, held in Bejing, China in August 2019.
Based on lectures held at the 8th edition of the series of summer schools in Villa de Leyva since 1999, this book presents an introduction to topics of current interest at the interface of geometry, algebra, analysis, topology and theoretical physics.