This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics (cryptography, algebraic specification of algorithms, dynamical systems) and concrete applications (modeling of polymers and ionic liquids, video, music and medical imaging). The main mathematical focus throughout the book is on algebraic modeling with particular emphasis on braid groups. The research methods include algebraic modeling using topological structures, such as knots, 3-manifolds, classical homotopy groups, and braid groups. The applications address the simulation of polymer chains and ionic liquids, as well as the modeling of natural phenomena via topological surgery. The treatment of computational structures, including finite fields and cryptography, focuses on the development of novel techniques. These techniques can be applied to the design of algebraic specifications for systems modeling and verification. This book is the outcome of a workshop in connection with the research project Thales on Algebraic Modeling of Topological and Computational Structures and Applications, held at the National Technical University of Athens, Greece in July 2015. The reader will benefit from the innovative approaches to tackling difficult questions in topology, applications and interrelated research areas, which largely employ algebraic tools.

Topological data analysis (TDA) has emerged recently as a viable tool for analyzing complex data, and the area has grown substantially both in its methodologies and applicability. Providing a computational and algorithmic foundation for techniques in TDA, this comprehensive, self-contained text introduces students and researchers in mathematics and computer science to the current state of the field. The book features a description of mathematical objects and constructs behind recent advances, the algorithms involved, computational considerations, as well as examples of topological structures or ideas that can be used in applications. It provides a thorough treatment of persistent homology together with various extensions – like zigzag persistence and multiparameter persistence – and their applications to different types of data, like point clouds, triangulations, or graph data. Other important topics covered include discrete Morse theory, the Mapper structure, optimal generating cycles, as well as recent advances in embedding TDA within machine learning frameworks.

Ever since the literary works of Capek and Asimov, mankind has been fascinated by the idea of robots. Modern research in robotics reveals that along with many other branches of mathematics, topology has a fundamental role to play in making these grand ideas a reality. This volume summarizes recent progress in the field of topological robotics--a new discipline at the crossroads of topology, engineering and computer science. Currently, topological robotics is developing in two main directions. On one hand, it studies pure topological problems inspired by robotics and engineering. On the other hand, it uses topological ideas, topological language, topological philosophy, and specially developed tools of algebraic topology to solve problems of engineering and computer science. Examples of research in both these directions are given by articles in this volume, which is designed to be a mixture of various interesting topics of pure mathematics and practical engineering.

Combining concepts from topology and algorithms, this book delivers what its title promises: an introduction to the field of computational topology. Starting with motivating problems in both mathematics and computer science and building up from classic topics in geometric and algebraic topology, the third part of the text advances to persistent homology. This point of view is critically important in turning a mostly theoretical field of mathematics into one that is relevant to a multitude of disciplines in the sciences and engineering. The main approach is the discovery of topology through algorithms. The book is ideal for teaching a graduate or advanced undergraduate course in computational topology, as it develops all the background of both the mathematical and algorithmic aspects of the subject from first principles. Thus the text could serve equally well in a course taught in a mathematics department or computer science department.

Topological surgery is a mathematical technique used for creating new manifolds out of known ones. In this book the authors observe that it also occurs in natural phenomena of all scales: 1-dimensional surgery happens during DNA recombination and when cosmic magnetic lines reconnect; 2-dimensional surgery happens during tornado formation and cell mitosis; and they conjecture that 3-dimensional surgery happens during the formation of black holes from cosmic strings, offering an explanation for the existence of a black hole’s singularity. Inspired by such phenomena, the authors present a new topological model that extends the formal definition to a continuous process caused by local forces. Lastly, they describe an intrinsic connection between topological surgery and a chaotic dynamical system exhibiting a “hole drilling” behavior. The authors’ model indicates where to look for the forces causing surgery and what deformations should be observed in the local submanifolds involved. These predictions are significant for the study of phenomena exhibiting surgery and they also open new research directions. This novel study enables readers to gain a better understanding of the topology and dynamics of various natural phenomena, as well as topological surgery itself and serves as a basis for many more insightful observations and new physical implications.

This proceedings volume presents a diverse collection of high-quality, state-of-the-art research and survey articles written by top experts in low-dimensional topology and its applications. The focal topics include the wide range of historical and contemporary invariants of knots and links and related topics such as three- and four-dimensional manifolds, braids, virtual knot theory, quantum invariants, braids, skein modules and knot algebras, link homology, quandles and their homology; hyperbolic knots and geometric structures of three-dimensional manifolds; the mechanism of topological surgery in physical processes, knots in Nature in the sense of physical knots with applications to polymers, DNA enzyme mechanisms, and protein structure and function. The contents is based on contributions presented at the International Conference on Knots, Low-Dimensional Topology and Applications – Knots in Hellas 2016, which was held at the International Olympic Academy in Greece in July 2016. The goal of the international conference was to promote the exchange of methods and ideas across disciplines and generations, from graduate students to senior researchers, and to explore fundamental research problems in the broad fields of knot theory and low-dimensional topology. This book will benefit all researchers who wish to take their research in new directions, to learn about new tools and methods, and to discover relevant and recent literature for future study.

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.