This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
All talks
-
Title: Asynchrony and Least Fixpoint Logic
Speaker:
Link:
-
Title: Communicating with Beeps
Speaker:
Link:
-
Title: PODC - Practice of Distributed Computing
Speaker:
Link:
-
Title: A Tutorial on Applying Combinatorial Topology to Byzantine Tasks
Speaker:
Link:
-
Title: Asynchronous Robot Gathering
Speaker:
Link:
-
Title: Supporting and Analyzing Probabilistic Consistency in Distributed Storage Systems
Speaker:
Link:
-
Title: Deterministic Objects: Life Beyond Consensus
Speaker:
Link:
-
Title: Complexity of Distributed Graph Algorithms in the LOCAL model
Speaker:
Link:
-
Title: Data Structures of the Future: Concurrent, Optimistic, and Relaxed
Speaker:
Link:
-
Title: An Iterative Approach for Time Integration Based on Discontinuous Galerkin Methods
Speaker:
Link:
-
Title: Space-time finite and boundary element methods
Speaker:
Link:
-
Title: Exploring options for the coarse solver in the parareal algorithm for non linear problems in fusion plasma
Speaker:
Link:
-
Title: Lossy compression of FE coefficients for reducing communication in time-parallel simulations
Speaker:
Link:
-
Title: Exploring the use of XBraid to implement various parallel-in-time methods
Speaker:
Link:
-
Title: Attempts to parallelize SDC
Speaker:
Link: