Through these algorithms the student will be introduced to the analysis of algorithms -- i.e, proving that the algorithm is correct for the task it has been designed for and establishing a bound on ...

Their algorithm ... brain function as an example. Researchers can collect observational time-series data, but they don't have a good model for how everything fits together. "Obviously we cannot ...