Texas A

Results: 14222



#Item
1Cryptography / Randomized algorithms / Computational complexity theory / Mathematics / Probabilistically checkable proof / Complexity classes / Interactive proof system / IP / NP / Soundness / PCP theorem / Commitment scheme

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Add to Reading List

Source URL: www.pepper-project.org

Language: English - Date: 2017-11-11 14:59:54
2Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-07-30 15:10:44
3Mathematics / Combinatorics / Combinatorial optimization / Greedoid / Order theory / Matroid theory / Matroid / Universal property / Greedy algorithm

A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2014-10-03 20:56:47
4Transaction processing / Computing / Fault-tolerant computer systems / Data management / Application checkpointing / Data / Rollback / Database transaction / Checkpoint / Communication protocol / Two-phase commit protocol

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2002-05-07 12:54:50
5

Curriculum Vitae, Roozbeh Jafari, Updated OctoberROOZBEH JAFARI Texas A&M University

Add to Reading List

Source URL: jafari.tamu.edu

Language: English - Date: 2016-08-03 23:11:03
    6Human behavior / Human sexuality / Sex crimes / Feminism / Workplace bullying / Labour law / Harassment / Sexual harassment / Sexual assault / Title IX / Office for Civil Rights

    Notice of Nondiscrimination and Abuse Texas A&M University provides equal opportunity to all employees, students, applicants for employment or admission, and the public regardless of race, color, sex, religion, national

    Add to Reading List

    Source URL: urc.tamu.edu

    Language: English - Date: 2018-03-08 15:57:16
    7

    Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

    Add to Reading List

    Source URL: faculty.cse.tamu.edu

    Language: English - Date: 2018-06-27 12:39:25
      8

      A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

      Add to Reading List

      Source URL: www.pepper-project.org

      Language: English - Date: 2017-11-11 14:59:54
        9Theoretical computer science / Metaphysics / Mathematical logic / Temporal logic / Computability theory / Model theory / Formal languages / Finite-state machine / Computation tree logic / Abstraction / Abstract interpretation / IP

        Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

        Add to Reading List

        Source URL: rishabhmit.bitbucket.io

        Language: English - Date: 2018-06-25 09:59:57
        10

        A publication of the Guadalupe-Blanco River Authority Using water more efficiently not only will save money, but also will help protect the quality of life for future Texans. Texas is the second largest state by both

        Add to Reading List

        Source URL: www.gbra.org

        Language: English - Date: 2013-03-01 23:03:36
          UPDATE