This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015.
This book constitutes the refereed proceedings of the First International Workshop on Connectomics in NeuroImaging, CNI 2017, held in conjunction with MICCAI 2017 in Quebec City, Canada, in September 2017.
This introduction to the recent theory of abstract tubes describes the framework for establishing improved inclusion-exclusion identities and Bonferroni inequalities, which are provably at least as sharp as their classical counterparts while involving fewer terms.
Bridging the gap between procedural mathematics that emphasizes calculations and conceptual mathematics that focuses on ideas, Mathematics: A Minimal Introduction presents an undergraduate-level introduction to pure mathematics and basic concepts of logic.
A set in complex Euclidean space is called C-convex if all its intersections with complex lines are contractible, and it is said to be linearly convex if its complement is a union of complex hyperplanes.
This monograph presents theoretical methods involving the Hamilton-Jacobi-Bellman formalism in conjunction with set-valued techniques of nonlinear analysis to solve significant problems in dynamics and control.
This text presents six mini-courses, all devoted to interactions between representation theory of algebras, homological algebra, and the new ever-expanding theory of cluster algebras.
This book constitutes the refereed proceedings of the 20th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EuroGP, EvoMUSART and EvoApplications.
Gottfried Wilhelm Leibniz: The Polymath Who Brought Us Calculus focuses on the life and accomplishments of one of the seventeenth century's most influential mathematicians and philosophers.
Though the volume covers 22 papers by 36 authors from 12 countries, the history in the background is bound to Hungary where, in 1973 Andras Pnkopa started to lay the foundation of a scientific forum, which can be a regular meeting spot for experts of the world in the field.
Unlike most elementary books on matrices, A Combinatorial Approach to Matrix Theory and Its Applications employs combinatorial and graph-theoretical tools to develop basic theorems of matrix theory, shedding new light on the subject by exploring the connections of these tools to matrices.
Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation.
This book constitutes the refereed proceedings of the 12th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2012, held in Malaga, Spain, in April 2012, colocated with the Evo* 2012 events EuroGP, EvoBIO, EvoMUSART, and EvoApplications.
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.
This book presents important contributions to modern theories concerning the distribution theory applied to convex analysis (convex functions, functions of lower semicontinuity, the subdifferential of a convex function).
This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017.
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.
The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016.
This book provides an elementary introduction, complete with detailed proofs, to the celebrated tilings of the plane discovered by Sir Roger Penrose in the '70s.
This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014.
This collection of original papers related to the Israeli GAFA seminar (on Geometric Aspects of Functional Analysis) from the years 2006 to 2011 continues the long tradition of the previous volumes, which reflect the general trends of Asymptotic Geometric Analysis, understood in a broad sense, and are a source of inspiration for new research.
The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016.
Projective geometry is a very classical part of mathematics and one might think that the subject is completely explored and that there is nothing new to be added.
