Algebraic Topological Methods
in Computer Science, II
Department of Mathematics
University of Western Ontario
July 16-20, 2004
Lecture Files
NB: All files are in either pdf or ps formats.
-
Saugata Basu, Efficient Algorithms for Computing the Betti Numbers of Semi-algebraic 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 3-D 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