Towards a Trustworthy Android Ecosystem
SpeakerYan ChenNorthwestern Universityhttp://www.cs.northwestern.edu/~ychen/ Description Abstract Mobile devices are becoming increasingly popular. One reason for their popularity is the availability...
SpeakerYan ChenNorthwestern Universityhttp://www.cs.northwestern.edu/~ychen/ Description Abstract Mobile devices are becoming increasingly popular. One reason for their popularity is the availability...
Propagation of Information in a Network Description Cardinality of 2 and Higher Distance Sets: This presentation focuses on an improved upper bound on the cardinality of a 2-distance set proved by...
Description Abstract Threats on the stability of a financial system may severely affect the functioning of the entire economy, and thus considerable emphasis is placed on the analyzing the cause and...
Description The area of non-adaptive group testing is a well-sought topic in recent years. The general problem is - we have a large set of elements, N which contains some 'special items'. The (sub)set...
On Counting Weighted Graph Homomorphisms Description Coloring Nonuniform Hypergraphs: A New Algorithmic Approach to the General Lovasz Local Lemma : The Lovasz Local Lemma is a useful tool for making...
Event Topic: Computational Mathematics & Statistics
SpeakerRobert KrasnyUniversity of Michiganhttp://www.math.lsa.umich.edu/~krasny/ Description I'll present three vortex flow simulations from incompressible fluid dynamics. The numerical method uses...
Description Abstract Smart Grid is an interesting emerging cyber-physical critical infrastructure. Our goal at the Advanced Digital Sciences Center is to push control and intelligence to the edge, to...
Description Abstract There has been a significant amount of prior work on automating physical database design. The goal of an automated designer is to produce auxiliary structures that speed up user...
Event Topic: Computational Mathematics & Statistics