Publications
2012. When Does Simulated Data Match Real Data? Comparing Model Calibration Functions using Genetic Algorithms World Congress on Social Simulation (WCSS), Taipei, Taiwan.
2012. Whole genome analysis of Leptospira licerasiae provides insight into leptospiral evolution and pathogenicity.. PLoS Negl Trop Dis. 6(10):e1853.
2012. You'Re Capped: Understanding the Effects of Bandwidth Caps on Broadband Use in the Home. SIGCHI '12. :3021-3030.
2011. Abduction in Annotated Probabilistic Temporal Logic. Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). 11:240-250.
2011. Ability-based design: Concept, principles and examples. ACM Transactions on Accessible Computing (TACCESS). 3(3)
2011. Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].
2011. Accelerated evolution of 3'avian FOXE1 genes, and thyroid and feather specific expression of chicken FoxE1. BMC Evolutionary Biology. 11(1):302-302.
2011. Accurate and fast estimation of taxonomic profiles from metagenomic shotgun sequences. BMC Genomics. 12(Suppl 2):S4-S4.
2011. Accurate proteome-wide protein quantification from high-resolution 15N mass spectra. Genome Biology. 12(12)
2011. On Achieving the" Best of Both Worlds" in Secure Multiparty Computation. SIAM Journal on Computing. 40(1):122-122.
2011. Action recognition using Partial Least Squares and Support Vector Machines. Image Processing (ICIP), 2011 18th IEEE International Conference on. :533-536.
2011. Active inference for retrieval in camera networks. Person-Oriented Vision (POV), 2011 IEEE Workshop on. :13-20.
2011. Active inference for retrieval in camera networks. Person-Oriented Vision (POV), 2011 IEEE Workshop on. :13-20.
2011. Active progress bars: facilitating the switch to temporary activities. Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :1963-1968.
2011. Active scene recognition with vision and language. 2011 IEEE International Conference on Computer Vision (ICCV). :810-817.
2011. Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders. Twenty-Second International Joint Conference on Artificial Intelligence.
2011. Adapting a map query interface for a gesturing touch screen interface. Proceedings of the 20th international conference companion on World wide web. :257-260.
2011. Adaptively secure broadcast, revisited. Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing.
2011. Agent-based modeling in marketing: Guidelines for rigor. International Journal of Research in Marketing. 28(3):181-193.
2011. Analysis of SystemC actor networks for efficient synthesis. ACM Trans. Embed. Comput. Syst.. 10(2):18:1-18:34.
2011. Analyzing Incident Management Event Sequences with Interactive Visualization. Transportation Research Board 90th Annual Meeting Compendium of Papers.
2011. Annotated probabilistic temporal logic. ACM Trans. Comput. Logic. 12(2):14:1–14:44-14:1–14:44.