Jul

29

2015

Jul

29

2015

A zero-knowledge proof is an identification scheme where

one party can prove to another party that they have certain information

(such as a password) in such a way that the second party cannot or is

unlikely to retrieve the information itself. This talk will briefly

discuss zero-knowledge proofs in a way that will allow us to explore

the Feige-Fiat-Shamir identification scheme and recognize its effectiveness.

Jul

30

2015

We present an application of piecewise deterministic Markov processes to the study of the hydrological cycle. We formulate a model for the dynamical response of an arbitrary watershed to a rainfall input in the form of a Poisson process. The resulting high dimensional SDE tracks the streamflow and runoff at every stream and hillslope in the watershed. An invariant measure absolutely continuous with respect to Lebesgue measure is shown to exist, and explicitly computed in terms of the probabilisitic description of the rainfall, and the geometry of the river network.

Jul

31

2015

A modern framework for studying linear differential equations with an initial value is to use semi-groups of operators. This framework generalizes the equation u'+Au = 0 from elementary differential equations in such a way that this same equation can be used to represent a partial differential equations. This talk will introduce several key concepts from the theory of semi-groups of operators, as well as provide examples in the 1 dimensional, n dimensional and infinite dimensional setting.

Aug

03

2015