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.
Abstract: In this talk, we consider the problem of finding a given number of "healthy" items from a large population containing a small number of "defective" items using nonadaptive group testing.
Abstract: The relationship between knowledge and action is a fundamental one: a processor in a computer network (or a robot or a person, for that matter) should base its actions on the knowledge (or information) it has.
Abstract: There is an ever increasing demand for instant and reliable information on modern communication networks. Physical layer re-transmissions can be thought of as opportunistic coding schemes.
We will prove the following fact: Assume that there are n three position switches that control whether the color of a single bulb is red, green or yellow.
Abstract: Models based on Ordinary Differential Equations (ODEs) or their stochastic counterparts are routinely applied in systems biology to understand, analyze and predict properties and behaviour of biomolecular dynamical systems, such
