Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Source URL: publish.illinois.edu

• Circuit complexity
• NC
• Mathematics
• Theoretical computer science
• Numerical software
• Lemmas
• Numerical linear algebra

Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order

Source URL: mitras.ece.illinois.edu

• Mathematical analysis
• Mathematics
• Symbol
• Continuous function
• Kazhdan's property
• Limit of a function
• Ergodic theory
• Hopf decomposition
• Ergodic flow

Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu

Source URL: publish.illinois.edu

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign

Source URL: mitras.ece.illinois.edu

Active Classification: Theory and Application to Underwater Inspection Geoffrey A. Hollinger, Urbashi Mitra, and Gaurav S. Sukhatme Abstract We discuss the problem in which an autonomous vehicle must classify an object b

Source URL: robotics.usc.edu

Improving Mobile Gaming Performance through Cooperative CPU-GPU Thermal Management Alok Prakash† , Hussam Amrouch§ , Muhammad Shafique§ , Tulika Mitra† , Jörg Henkel§ † National University of Singapore, § Ka

Source URL: cesweb.itec.kit.edu

Basic Training Author: Eshan Mitra The stations and resulting letters are, in order:  SOUTH STATION (South Station): Write nothing down.

Source URL: www.baphl.org

TULIKA MITRA Department of Computer Science School of Computing National University of Singapore Republic of Singapore

Source URL: www.comp.nus.edu.sg

“KNOWING THERE’S A TEAM OF CARING EXPERTS GIVES ME HOPE AND LETS ME EMBRACE A LIFE NOT DEFINED BY MY DISEASE.” – Mitra Ghandeharizadeh On the cover: Mitra Ghandeharizadeh. See Mitra’s story on page 5.

Source URL: bristolmyers2016ir.q4web.com

Acta Parasitologica Globalis 2 (1): 01-05, 2011 ISSN © IDOSI Publications, 2011 In Vitro Anthelmintic Activity of Some 1-Substituted Imidazole Derivatives Baskar Lakshmanan, Papiya Mitra Mazumder, D. Sasmal, S

Source URL: www.idosi.org