Research and Grants

A Model Checking based Framework for Analyzing Information-Propagation over Networks

In the age of globalization and informatization, the study of information propagation in the network of connected entities plays an important role in understanding and analyzing security and safety concerns. Entities in the network can be people, groups or computing devices, while the network is the relationship describing how one entity can influence or can be influenced by others. In epidemiology, the network of entities may correspond to the population groups and their spatial/proximity relationships. Read more about A Model Checking based Framework for Analyzing Information-Propagation over Networks

Category: 

PYI: The Internal Quantitative Structure of Complexity Classes

Abstract:


New extensions of Lebesgue measure theory are used to investigate the internal, quantitative structure of complexity classes. The relationships among intrinsically pseudorandom objects, pseudorandom number generators, probabilistic and interactive complexity classes, and completeness phenomena are studied. Another focus is the measure structure of exponential time complexity classes.


 

Read more about PYI: The Internal Quantitative Structure of Complexity Classes

Category: 

Pages