Follow

Submissions from 2016

PDF

myBlackBox: Blackbox Mobile Cloud Systems for Personalized Unusual Event Detection., Junho Ahn and Richard Han

PDF

WildSense: Monitoring Interactions among Wild Deer in Harsh Outdoor Environments Using a Delay-Tolerant WSN, Junho Ahn, Akshay Mysore, Kati Zybko, Caroline Krumm, Sravan Thokala, Xinyu Xing, Ming Lian, Richard Han, Shivakant Mishra, and Thompson Hobbs

PDF

On Nonlinear Prices in Timed Automata, Devendra Bhave, Shankara Narayanan Krishna, and Ashutosh Trivedi

PDF

Detectability Thresholds and Optimal Algorithms for Community Structure in Dynamic Networks, Amir Ghasemian, Pan Zhang, Aaron Clauset, Cristopher Moore, and Leto Peel

PDF

Consensus or Deadlock? Consequences of Simple Behavioral Rules for Coordination in Group Decisions, Helen F. McCreery, Nikolaus Correll, Michael D. Breed, and Samuel Flaxman

Link

Automatic Synthesis of Controllers from Specifications using Control Certificates, Hadi Ravanbakhsh and Sriram Sankaranarayanan