Applied Algebraic Topology Network
A Sheaf-Theoretic Construction of Shape Space
Sheaf-theoretic approach to construct shape space using Persistent Homology Transform. Explores homotopy sheaves, metrics, stability theorems, and approximation of manifolds.
YouTube53 minutesВ любое времяБесплатное видео
Applied Algebraic Topology Network
Skeletonization Algorithms With Theoretical Guarantees for Point Clouds
Explore skeletonization algorithms for point clouds, including Mapper, alpha-Reeb graphs, and Homologically Persistent Skeleton. Compare their performance on synthetic and real data sets.
YouTube1 hour 1 minuteВ любое времяБесплатное видео
ACM SIGPLAN
Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus
Explore the isomorphism between Taylor expansion of λ-terms and pointer concurrent games interpretation, extending previous results on resource terms and game semantics.
YouTube18 minutesВ любое времяБесплатное видео