Nigam

Results: 778



#Item
1Web-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

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

Add to Reading List

Source URL: erichorvitz.com

Language: English - Date: 2016-12-08 16:30:53
    2WIND 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

    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

    Add to Reading List

    Source URL: www.fowind.in

    Language: English - Date: 2015-07-16 04:00:24
      3Effect-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,

      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,

      Add to Reading List

      Source URL: nigam.info

      - Date: 2016-05-07 12:11:53
        4Timed 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

        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

        Add to Reading List

        Source URL: nigam.info

        - Date: 2016-06-23 07:42:17
          5Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders Vivek Nigam1 , Carolyn Talcott2 and Abra˜ao Aires Urquiza1 1

          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

          Add to Reading List

          Source URL: nigam.info

          - Date: 2016-07-01 05:16:14
            6Formal 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

            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

            Add to Reading List

            Source URL: nigam.info

            - Date: 2016-05-07 12:12:43
              7 15th Annual REport For the Financial Year endedbharat sanchar Nigam limited Annual Report

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

              Add to Reading List

              Source URL: tender.bsnl.co.in

              - Date: 2015-12-18 02:26:34
                8Can 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¶ ∗

                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¶ ∗

                Add to Reading List

                Source URL: nigam.info

                - Date: 2016-06-23 07:53:04
                  9Invites you to Q1 FY16 Earnings Call of MPS Ltd Date: Tuesday, 21 July 2015 Time: 16:00 hrs (IST) Participants:

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

                  Add to Reading List

                  Source URL: www.adi-mps.com

                  Language: English - Date: 2016-01-27 00:14:59
                  10The 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

                  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

                  Add to Reading List

                  Source URL: coconet.unavco.org

                  Language: English - Date: 2016-03-15 12:56:03