Teenagers and young adults form an economically critical demographic group and are confronted with an array of internet social networking services just as they are forming online ...
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Despite recent advances in uncovering the quantitative features of stationary human activity patterns, many applications, from pandemic prediction to emergency response, require a...
Medicine, psychology and quality of life literature all point to the importance of not just asking ‘how are you?’, but assessing and being aware of self and others’ well-bei...
—The problem of predicting links or interactions between objects in a network, is an important task in network analysis. Along this line, link prediction between co-authors in a ...
Yizhou Sun, Rick Barber, Manish Gupta, Charu C. Ag...