Vivek

Results: 447



#Item
91Quati: An Automated Tool for Proving Permutation Lemmas Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 2

Quati: An Automated Tool for Proving Permutation Lemmas Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 2

Add to Reading List

Source URL: www.nigam.info

Language: English - Date: 2014-01-29 17:39:09
    92Nitrogen and Selenium Watershed Management Approaches in Orange County, CA H2O Session 5A October 23, 2007 ™ Stephen Lyon, Vivek Shyamasundar,

    Nitrogen and Selenium Watershed Management Approaches in Orange County, CA H2O Session 5A October 23, 2007 ™ Stephen Lyon, Vivek Shyamasundar,

    Add to Reading List

    Source URL: www.coastalconference.org

    - Date: 2009-01-13 11:27:48
      93Automated Generation of Focused Proof Systems Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 Federal University of Para´ıba, Brazil

      Automated Generation of Focused Proof Systems Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 Federal University of Para´ıba, Brazil

      Add to Reading List

      Source URL: nigam.info

      Language: English - Date: 2015-07-12 06:09:30
        94Making Every Bit Count in Wide-Area Analytics Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek Pai, and Michael J. Freedman Princeton University Abstract

        Making Every Bit Count in Wide-Area Analytics Ariel Rabkin, Matvey Arye, Siddhartha Sen, Vivek Pai, and Michael J. Freedman Princeton University Abstract

        Add to Reading List

        Source URL: asrabkin.bitbucket.org

        Language: English - Date: 2015-07-14 00:13:05
          95Towards a Rewriting Framework for Textual Entailment Vivek Nigam1 Centro de Inform´ atica Universidade Federal da Para´ıba

          Towards a Rewriting Framework for Textual Entailment Vivek Nigam1 Centro de Inform´ atica Universidade Federal da Para´ıba

          Add to Reading List

          Source URL: www.nigam.info

          Language: English - Date: 2014-07-24 06:02:57
            96Errata for Foundations of Signal Processing Martin Vetterli, Jelena Kovaˇcevi´c, and Vivek K Goyal April 7, 2015 Page Position

            Errata for Foundations of Signal Processing Martin Vetterli, Jelena Kovaˇcevi´c, and Vivek K Goyal April 7, 2015 Page Position

            Add to Reading List

            Source URL: www.fourierandwavelets.org

            Language: English - Date: 2015-11-28 03:55:51
              97Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

              Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

              Add to Reading List

              Source URL: www.nigam.info

              Language: English - Date: 2014-07-01 07:22:48
                98Abstract  Effects  and  Proof-­‐ Relevant  Logical  Relations   Nick  Benton,  Martin  Hofmann,   Andrew  Kennedy,  Vivek  Nigam   Current  draft  at  :  http://research.microsoft.com/~nick/setoids.

                Abstract  Effects  and  Proof-­‐ Relevant  Logical  Relations   Nick  Benton,  Martin  Hofmann,   Andrew  Kennedy,  Vivek  Nigam   Current  draft  at  :  http://research.microsoft.com/~nick/setoids.

                Add to Reading List

                Source URL: hope2012.mpi-sws.org

                Language: English - Date: 2012-10-04 22:01:26
                  99Regulating Bidder Participation in Auctions Vivek Bhattacharya1 , James W. Roberts2 , and Andrew Sweeting3 1 Department of Economics, Massachusetts Institute of Technology 2

                  Regulating Bidder Participation in Auctions Vivek Bhattacharya1 , James W. Roberts2 , and Andrew Sweeting3 1 Department of Economics, Massachusetts Institute of Technology 2

                  Add to Reading List

                  Source URL: public.econ.duke.edu

                  Language: English - Date: 2014-03-23 11:28:35
                    100Semantic Remote Attestation: A Virtual Machine Directed Approach to Trusted Computing Vivek Haldar Deepak Chandra Michael Franz

                    Semantic Remote Attestation: A Virtual Machine Directed Approach to Trusted Computing Vivek Haldar Deepak Chandra Michael Franz

                    Add to Reading List

                    Source URL: www.vivekhaldar.com

                    Language: English - Date: 2005-12-09 20:49:49