Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Kashev Dalmia; Tarek Abdelzaher; Shen Li (2016-06-30)
    In this paper, we use passivity theory as an approach for dealing with dynamical systems, and demonstrate how to apply it to software systems in a general way. We first cover key results from passivity theory. Then, using ...

    application/pdf

    application/pdfPDF (1MB)
  • Prasanna Giridhar; Tarek Abdelzaher; Lance Kaplan (2017-02-01)

    application/pdf

    application/pdfPDF (473kB)
  • Kini, Dileep; Viswanathan, Mahesh (2017)
    A crucial step in model checking Markov Decision Processes (MDP) is to translate the LTL specification into automata. Efforts have been made in improving deterministic automata construction for LTL but such translations ...

    application/pdf

    application/pdfPDF (452kB)
  • Amin, Md Tanvir Al; Aggarwal, Charu; Yao, Shuochao; Abdelzaher, Tarek; Kaplan, Lance (IEEE, 2017)
    This paper presents unsupervised algorithms to uncover polarization in social networks (namely, Twitter) and identify polarized groups. The approach is language-agnostic and thus broadly applicable to global and multilingual ...

    application/pdf

    application/pdfPDF (831kB)
  • Giridhar, Prasanna; Wang, Shiguang; Abdelzaher, Tarek; Kaplan, Lance; George, Jemin; Ganti, Raghu (2017-05)
    This paper develops an algorithm that exploits picture-oriented social networks to localize urban events. We choose picture-oriented networks because taking a picture requires physical proximity, thereby revealing the ...

    application/pdf

    application/pdfPDF (323kB)

Collection Statistics