Abstract: In this talk, I will survey a collection of results that study qualitative and quantitative complexity of (multi-party) functions, with respect to how "easy" or "hard" they are for Secure Multi-party Computation.
Abstract: We tend to think of communication in terms of the passing of information. When we say something to someone, we change their knowledge state as well as their beliefs.
Abstract: DNA sequencing is an important method in Modern Biology. The predominant technique used is Shotgun sequencing where randomly located fragments (base pairs) called 'reads' are extracted from a DNA sequence.
Abstract: The talk begins with the clean-slate design problem of the Internet along with current service provider pain-points, focusing on plausible solutions, narrowing to the concept of Omnipresent Ethernet or OE.
Abstract: A formal axiom system for the algebraic manipulation of regular expressions will be discussed. This system is consistent and complete; equations derivable within this system are precisely the ones that are true.
Abstract: In this talk I will introduce a class of latent variable models for relational data. Consider the relational data of pairwise measurements, such as presence or absence of links between a pair of objects.