Directed Algebraic Topology And Concurrency

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

This is the first authored book to be dedicated to the new field of directed algebraic topology that arose in the 1990s, in homotopy theory and in the theory of concurrent processes. Its general aim can be stated as 'modelling non-reversible phenomena' and its domain should be distinguished from that of classical algebraic topology by the principle that directed spaces have privileged directions and directed paths therein need not be reversible. Its homotopical tools (corresponding in the classical case to ordinary homotopies, fundamental group and fundamental groupoid) should be similarly 'non-reversible': directed homotopies, fundamental monoid and fundamental category. Homotopy constructions occur here in a directed version, which gives rise to new 'shapes', like directed cones and directed spheres. Applications will deal with domains where privileged directions appear, including rewrite systems, traffic networks and biological systems. The most developed examples can be found in the area of concurrency.

This second volume of Research in Computational Topology is a celebration and promotion of research by women in applied and computational topology, containing the proceedings of the second workshop for Women in Computational Topology (WinCompTop) as well as papers solicited from the broader WinCompTop community. The multidisciplinary and international WinCompTop workshop provided an exciting and unique opportunity for women in diverse locations and research specializations to interact extensively and collectively contribute to new and active research directions in the field. The prestigious senior researchers that signed on to head projects at the workshop are global leaders in the discipline, and two of them were authors on some of the first papers in the field. Some of the featured topics include topological data analysis of power law structure in neural data; a nerve theorem for directional graph covers; topological or homotopical invariants for directed graphs encoding connections among a network of neurons; and the issue of approximation of objects by digital grids, including precise relations between the persistent homology of dual cubical complexes.

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

This volume highlights the mathematical research presented at the 2019 Association for Women in Mathematics (AWM) Research Symposium held at Rice University, April 6-7, 2019. The symposium showcased research from women across the mathematical sciences working in academia, government, and industry, as well as featured women across the career spectrum: undergraduates, graduate students, postdocs, and professionals. The book is divided into eight parts, opening with a plenary talk and followed by a combination of research paper contributions and survey papers in the different areas of mathematics represented at the symposium: algebraic combinatorics and graph theory algebraic biology commutative algebra analysis, probability, and PDEs topology applied mathematics mathematics education

This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiří Matoušek, who passed away prematurely in March 2015. It is a collaborative effort by his colleagues and friends, who have paid particular attention to clarity of exposition – something Jirka would have approved of. The original research articles, surveys and expository articles, written by leading experts in their respective fields, map Jiří Matoušek’s numerous areas of mathematical interest.

This book explores mental disorders from a uniquely evolutionary perspective. Although there have been many attempts to mathematically model neural processes and, to some extent, their dysfunction, there is very little literature that models mental function within a sociocultural, socioeconomic, and environmental context. Addressing this gap in the extant literature, this book explores essential aspects of mental disorders, recognizing the ubiquitous role played by the exaptation of crosstalk between cognitive modules at many different scales and levels of organization, the missing heritability of complex diseases, and cultural epigenetics. Further, it introduces readers to valuable control theory tools that permit the exploration of the environmental induction of neurodevelopmental disorders, as well as the study of the synergism between culture, psychopathology and sleep disorders, offering a distinctively unique resource.