Pages that link to "Item:Q3459909"
From MaRDI portal
The following pages link to Streaming Verification in Data Analysis (Q3459909):
Displaying 7 items.
- Non-interactive proofs of proximity (Q1745962) (← links)
- Testing and spot-checking of data streams (Q1849765) (← links)
- Practical verified computation with streaming interactive proofs (Q2826047) (← links)
- Streaming computations with a loquacious prover (Q2986880) (← links)
- Streaming Verification of Graph Properties. (Q4636484) (← links)
- A Hierarchy Theorem for Interactive Proofs of Proximity (Q4638092) (← links)
- Verifiable Stream Computation and Arthur--Merlin Communication (Q5232326) (← links)