39 citations · 59 across the 8 of their papers we have counts for
9 papers
Identifying cobordisms using kernel persistence
Yossi Bokor Bleile, Lisbeth Fajstrup, Teresa Heiss +2
Motivated by applications in chemistry, we give a homlogical definition of tunnels, or more generally cobordisms, connecting disjoint parts of a cell complex. For a filtered comple…
Gromov-Hausdorff Distance for Directed Spaces
Lisbeth Fajstrup, Brittany Terese Fasy, Wenwen Li +4
The Gromov-Hausdorff distance measures the similarity between two metric spaces by isometrically embedding them into an ambient metric space. We introduce an analogue of this dista…
Circular Max-Flow for Periodic Data via Reeb Graphs
Matteo Pegoraro, Lisbeth Fajstrup
We introduce a max-flow framework for data with periodic boundary conditions, motivated by the analysis of transport in atomistic materials. Starting from a space X equipped with a…
Transforming First-Year Calculus Teaching for Engineering Students -- Blocks with Field Specific Examples, Problems, and Exams
René Bødker Christensen, Bettina Dahl, Lisbeth Fajstrup
Contribution: We demonstrate that it is feasible to include field specific problems in introductory mathematics courses to motivate engineering students. This is done in a way that…
Combinatorial Conditions for Directed Collapsing
Robin Belton, Robyn Brooks, Stefania Ebli +4
The purpose of this article is to study directed collapsibility of directed Euclidean cubical complexes. One application of this is in the nontrivial task of verifying the executio…
Towards Directed Collapsibility
Robin Belton, Robyn Brooks, Stefania Ebli +5
In the directed setting, the spaces of directed paths between fixed initial and terminal points are the defining feature for distinguishing different directed spaces. The simplest…
Cut-off Theorems for the PV-model
Lisbeth Fajstrup
We prove cut-off results for deadlocks and serializability of a -thread run in parallel with itself: For a thread which accesses a set of resources,…
Trace Spaces: an Efficient New Technique for State-Space Reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt +2
State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put…
A convenient category for directed homotopy
L. Fajstrup, J. Rosicky
We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological…