Maximizing Network Lifetime of WirelessHART Networks under Graph Routing Chengjie Wu, Dolvara Gunatilaka, Abusayeed Saifullah*, Mo Sha^, Paras Tiwari, Chenyang Lu, Yixin Chen Cyber-Physical Systems Lab,Washington Univers

Source URL: www.cse.wustl.edu

GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation Chang Liu,† Austin Harris,‡ Martin Maas,∗ Michael Hicks,† Mohit Tiwari,‡ and Elaine Shi† † University of Maryland, College Park

Source URL: www.cpe.virginia.edu

social-innovation.hitachi.com Whitepaper SOCIAL INNOVATIONS FOR FUTURE,

Source URL: www.hitachi.co.in

• Manufacturing
• Business
• Economy
• Fuyo Group
• Hitachi
• Geetam Tiwari
• National Institute of Mental Health and Neurosciences

For more information, contact: Amit Tiwari Vice President, Product Management AFFIRMED NETWORKS 35 Nagog Park Acton, MAUSA

Source URL: www.affirmednetworks.com

For more information, contact: Amit Tiwari Vice President, Product Management AFFIRMED NETWORKS 35 Nagog Park Acton, MAUSA

Source URL: www.affirmednetworks.com

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

Source URL: yices.csl.sri.com

• Computational complexity theory
• Theoretical computer science
• Theory of computation
• Logic in computer science
• Formal methods
• Boolean algebra
• Complexity classes
• Electronic design automation
• Satisfiability modulo theories
• True quantified Boolean formula
• FO
• NC

Hardware Assistance for Trustworthy Systems through 3-D Integration Jonathan Valamehr† , Mohit Tiwari‡ , and Timothy Sherwood‡ † Department of Electrical and Computer Engineering

Source URL: cisr.nps.edu

Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln

Source URL: www.csl.sri.com

• Algebra
• Mathematics
• Linear algebra
• Matrix theory
• Invariant
• Kalman filter
• Eigenvalues and eigenvectors
• Principal component analysis
• Differential geometry of surfaces
• Control theory
• Trace
• Inertial measurement unit

3-D Mobile Node Localization Using Constrained Volume Optimization Over Ad-Hoc Sensor Networks Sudhir Kumar, Shriman Narayan Tiwari and Rajesh M. Hegde Department of Electrical Engineering Indian Institute of Technology

Source URL: home.iitk.ac.in