Probabilistic checking against non-signaling strategies from linearity testing
Non-signaling strategies are a generalization of quantum strategies that have been studied
in physics over the past three decades. Recently, they have found applications in theoretical …
in physics over the past three decades. Recently, they have found applications in theoretical …
No-signaling linear PCPs
S Kiyoshima - Theory of Cryptography: 16th International Conference …, 2018 - Springer
In this paper, we give a no-signaling linear probabilistically checkable proof (PCP) system
for polynomial-time deterministic computation, ie, a PCP system for PP such that (1) the PCP …
for polynomial-time deterministic computation, ie, a PCP system for PP such that (1) the PCP …
Toward probabilistic checking against non-signaling strategies with constant locality
Non-signaling strategies are a generalization of quantum strategies that have been studied
in physics over the past three decades. Recently, they have found applications in theoretical …
in physics over the past three decades. Recently, they have found applications in theoretical …
Effect of Financial Product Innovation on Cashflow Position of Insurance Companies in Kenya
BR Vaja - 2023 - erepository.uonbi.ac.ke
The study examined how financial product innovation affects Kenyan insurance companies'
cash flow. This was a descriptive cross-sectional survey. This study targeted all AKI …
cash flow. This was a descriptive cross-sectional survey. This study targeted all AKI …
On Local Testability in the Non-Signaling Setting
Non-signaling strategies are a generalization of quantum strategies that have been studied
in physics for decades, and have recently found applications in theoretical computer …
in physics for decades, and have recently found applications in theoretical computer …
No-Signaling Linear PCPs
S Kiyoshima - Journal of Cryptology, 2023 - Springer
In this paper, we give a no-signaling linear probabilistically checkable proof (PCP) system
for polynomial-time deterministic computation, ie, a PCP system for P such that (1) the …
for polynomial-time deterministic computation, ie, a PCP system for P such that (1) the …
[PDF][PDF] A Complete Bibliography of ACM Transactions on Computation Theory (ToCT)
NHF Beebe - 2024 - ctan.math.utah.edu
A Complete Bibliography of ACM Transactions on Computation Theory (ToCT) Page 1 A
Complete Bibliography of ACM Transactions on Computation Theory (ToCT) Nelson HF …
Complete Bibliography of ACM Transactions on Computation Theory (ToCT) Nelson HF …