Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol Parasara Sridhar Duggirala1, Le Wang1 , Sayan Mitra1 , Mahesh Viswanathan1 , and C´esar Mu˜noz2 1

Source URL: publish.illinois.edu

• Symbol
• Continuous function
• Mathematics
• Ergodic theory
• Computability theory
• operator
• Ergodic flow

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

Source URL: publish.illinois.edu

• Systems theory
• Differential equations
• Metaphysics
• Control theory
• Hybrid system
• Mathematical analysis
• Dynamical system
• Mathematics
• Symbol
• Hybrid automaton

HDTrans: A Low-Overhead Dynamic Translator Swaroop Sridhar Jonathan S. Shapiro Systems Research Laboratory

Source URL: srl.cs.jhu.edu

Research Statement Sridhar Chimalakonda Guest Faculty, IIT Tirupati, India Visiting Faculty, IIIT Sri City, India Chief Research Advisor, FortunaPIX, India

Source URL: researchweb.iiit.ac.in

Teaching Beyond Instruction Sridhar Chimalakonda Guest Faculty, IIT Tirupati, India Visiting Faculty, IIIT Sri City, India

Source URL: researchweb.iiit.ac.in

Sridhar Chimalakonda Curriculum Vitae Visiting Faculty(Full Time), IIT Tirupati, India

Source URL: researchweb.iiit.ac.in

2013 IEEE International Conference on Computer Vision Interactive Markerless Articulated Hand Motion Tracking Using RGB and Depth Data Srinath Sridhar, Antti Oulasvirta, Christian Theobalt MPI Informatik and Saarland Un

Source URL: pdfs.semanticscholar.org

Interactive Markerless Articulated Hand Motion Tracking Using RGB and Depth Data Srinath Sridhar, Antti Oulasvirta, Christian Theobalt MPI Informatik and Saarland University {ssridhar,oantti,theobalt}@mpi-inf.mpg.de PRO

Source URL: pdfs.semanticscholar.org

“My Curiosity was Satisfied, but not in a Good Way”: Predicting User Ratings for Online Recipes ¨ Can Liu, Chun Guo, Daniel Dakota , Sridhar Rajagopalan, Wen Li, Sandra Kubler Indiana University {liucan, chunguo, dd

Source URL: cl.indiana.edu

Market Incompleteness and Super Value Additivity: Implications for Securitization∗ Vishal Gaur†, Sridhar Seshadri†,

Source URL: pages.stern.nyu.edu