… of the notion of interactive PCP in general. In particular, we have the following applications:
… interactive PCP, with certain properties, can be converted into a zero-knowledge interactive …

… We present a generalization of the PCP theorem for interactive languages. We show that
any language decidable by a k(n)-round IP has a k(n)-round public-coin IOP, where the verifier …

… *09] or require interaction to highlight or extract clusters [FWR99, AdOL04, NH06, ZYQ*08,
ZCQ*09]. We choose to focus on basic, non-interactive PCP variations. User interaction would …

… interactive PCP model of Kalai and Raz (ICALP ’08), where one of the provers is replaced by
a PCP … in our protocol both the prover and the PCP oracle are efficient given an NP witness. …

… We introduce correlation glyphs in the PCP view to reveal the … interactive glyph lenses that
enable users to explore an overplotted area using a dynamic lens that hovers over the PCP …

… In our last section, we take a look at the original line of works which led to the proof of the
PCP theorem, namely interactive proofs. We present an exponential size classical PCP for …

… at two random locations and independently decide whether to accept or reject the PCP. As
with the interactive variants of PCP, we don’t know of any implications of Drucker’s work for …

… Six themes were identified and incorporated into a preliminary conceptual model of the
PCP… ' and PCPs' uncertainty regarding the PCP's oncology knowledge/experience, and 6) …

… We also discuss findings on the molecular regulation and the interaction of the Wnt/PCP …
Therefore, the interaction of Wnt/PCP pathway with ciliogenesis appears to be an additional …

… language 3SAT has a PCP verifier that makes two … PCP Theorems with two-query projection
tests, but only (arbitrarily small) constant error and polynomial size. There were also PCP …