Web-Scale Pharmacovigilance: Listening to Signals from the Crowd Ryen W. White Ph.D.1*, Nicholas P. Tatonetti Ph.D.2, Nigam H. Shah M.B.B.S. Ph.D.3, Russ B. Altman M.D. Ph.D.4 and Eric Horvitz M.D. Ph.D.1 1 Microsoft Re

Source URL: erichorvitz.com

WIND ENERGY MS. RIYA RACHEL MOHAN, CONSULTANT; MS. SANDHYA SUNDARARAGAVAN, RESEARCH SCIENTIST AND MR. ASHISH NIGAM, RESEARCH ENGINEER. CENTER FOR STUDY OF SCIENCE, TECHNOLOGY AND POLICY (CSTEP) Is India Prepared for Off

Source URL: www.fowind.in

Effect-Dependent Transformations for Concurrent Programs Abstract free variables. The possible interaction points between e and its environment are restricted to initial states and parameter values,

Source URL: nigam.info

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

Source URL: nigam.info

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders Vivek Nigam1 , Carolyn Talcott2 and Abra˜ao Aires Urquiza1 1

Source URL: nigam.info

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

Source URL: nigam.info

15th Annual REport For the Financial Year endedbharat sanchar Nigam limited Annual Report

Source URL: tender.bsnl.co.in

Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly ? Max Kanovich∗k , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§k , and Carolyn Talcott¶ ∗

Source URL: nigam.info

Invites you to Q1 FY16 Earnings Call of MPS Ltd Date: Tuesday, 21 July 2015 Time: 16:00 hrs (IST) Participants:

Source URL: www.adi-mps.com

• India
• Gurgaon
• Telephone numbers in India
• Mahanagar Telephone Nigam

The Caribbean Low-Level Atmospheric Circulation and Regional Hydrometeorology: Resolved by the COCONet GPS Network? Sumant Nigam and Alfredo Ruiz-Barradas Department of Atmospheric & Oceanic Science, University of Maryla

Source URL: coconet.unavco.org

• Atmospheric sciences
• Meteorology
• Atmosphere of Earth
• Atmospheric dynamics
• Atmospheric thermodynamics
• Vortices
• Atmospheric convection
• Atmospheric circulation
• Troposphere
• Wind
• Low-pressure area
• Jet stream