# Computer science

Thursday, October 1, 2015 - 1:30pm - 2:30pm

Alberto Speranzon (United Technologies Corporation)

In this talk, we will present some initial work on planning using topological abstraction. We will consider a multi-pursuer multi-evader problem as a case study to ground the discussion. We will describe how we can cast the abstraction problem as a topological problem and by leveraging sheaf theoretic methods develop a framework to search for strategies that lead to evader capture. We will show how the sheaf can be leveraged to encode the belief state of the problem and how the capture event can be formalized through topological property of the sheaf.

Friday, May 2, 2014 - 9:00am - 9:50am

Tamal Dey (The Ohio State University)

Recent data sparsification strategies in topological data analysis such as Graph Induced Complex and sparsified Rips complex give rise to a sequence of simplicial complexes connected by simplicial maps rather than inclusions. As a result, the need for computing topological persistence under such maps arises. We propose a practical algorithm for computing such persistence in Z2-homology.

Friday, July 2, 2010 - 12:00pm - 12:15pm

Daniel Kaplan (Macalester College)

Wednesday, February 15, 2012 - 2:00pm - 3:00pm

Ferdinando Cicalese (Università di Salerno)

The problem of evaluating a function by sequentially testing a subset of variables whose values uniquely identify the function’s value arises in several domains of computer science.

Thursday, February 16, 2012 - 11:30am - 12:30pm

Amihood Amir (Bar-Ilan University)

Efficient handling of sparse data is a key challenge in Computer Science. Binary convolutions, such as the Fast Fourier Transform or theWalsh Transform are a useful tool in many applications and are efficiently solved.

In the last decade, several problems required efficient solution of sparse binary convolutions.

In the last decade, several problems required efficient solution of sparse binary convolutions.

Wednesday, March 30, 2005 - 7:00pm - 8:00pm

Thomas Hales (University of Pittsburgh)

Computers crash, hang, succumb to viruses, run buggy programs, and harbor spyware. By contrast, mathematics is free of all imperfection. Why are imperfect computational devices so vital for the future of mathematics?