Algebraic Topological Methods
in Computer Science, II
Department of Mathematics
University of Western Ontario
July 1620, 2004
Lecture Files
NB: All files are in either pdf or ps formats.

Saugata Basu, Efficient Algorithms for Computing the Betti Numbers of Semialgebraic Sets

Peter Bubenik, Towards a model category for local $po$spaces

Anne Collins, A Barcode Shape Descriptor for Curve Point Cloud Data

Peter Csorba, Homotopy types of box complexes

Vin de Silva, Harmonic methods in computational topology

Robert Ghrist, The topology of reconfiguration

Eric Goubault, Algorithms for computing fundamental categories, and applications to the static analysis of concurrent programs

Rick Jardine, Higher order automata, cubical sets, and some conjectures of Grothendieck

Robert Kotiuga, Complexity and Tractability issues in Topological aspects of 3D Computational Electromagnetics

Dmitry Kozlov, Topological Obstructions to Graph Colorings

Reinhard Laubenbacher, A Mathematical Foundation for Computer Simulation. Video and Images.

Frank Lutz, Graph Coloring Manifolds

Philippe Malbos, Homotopical properties for concurrent systems

Michael Postol, Computer Intrusion Detection Using Features From Graph Theory and Algebraic Topology

Stratos Prassidis, A Homotopic Approach to Mesh Generation

Afra Zomorodian, Persistence Barcodes for Shapes