Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen 0001, Gregor Seiler |
A non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 737, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Ioakeim Perros, Xiaowei Yan, James B. Jones, Jimeng Sun 0001, Walter F. Stewart |
Using the PARAFAC2 tensor factorization on EHR audit data to understand PCP desktop work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 101, pp. 103312, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Venkatesan Guruswami, Jakub Oprsal, Sai Sandeep |
Revisiting Alphabet Reduction in Dinur's PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020, August 17-19, 2020, Virtual Conference., pp. 34:1-34:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-164-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen 0001, Gregor Seiler |
A Non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (2) ![In: Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part II, pp. 441-469, 2020, Springer, 978-3-030-56879-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Elie F. Kfoury, Jose Gomez, Jorge Crichigno, Elias Bou-Harb, David J. Khoury |
Decentralized Distribution of PCP Mappings Over Blockchain for End-to-End Secure Direct Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 110159-110173, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Dorit Aharonov, Alex Bredariol Grilo |
Stoquastic PCP vs. Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR19, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Venkatesan Guruswami, Jakub Oprsal, Sai Sandeep |
Revisiting Alphabet Reduction in Dinur's PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR19, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Dorit Aharonov, Alex Bredariol Grilo |
Stoquastic PCP vs. Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.05270, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Dana Moshkovitz |
Sliding Scale Conjectures in PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 50(3), pp. 25-33, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Zheng Chen, Bo Tian, Zengyou He |
面向PCP-MS数据的PPI网络推断算法 (PPI Network Inference Algorithm for PCP-MS Data). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 46(12), pp. 313-321, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Agwad ElTantawy, Mohamed S. Shehata |
An Accelerated Sequential PCP-Based Method for Ground-Moving Objects Detection From Aerial Videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 28(12), pp. 5991-6006, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Dorit Aharonov, Alex Bredariol Grilo |
Stoquastic PCP vs. Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019, pp. 1000-1023, 2019, IEEE Computer Society, 978-1-7281-4952-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Vincenzo De Luca, Strahil Birov, Ozan Beyhan, Simon Robinson, Gorka Sánchez-Nanclares, Maria Del Pilar López Acuña, Adriano Fernandes, Reinhard Hammerschmidt, Giovanni Tramontano, Roberta Patalano, Guglielmo Toscano, Giovanni Annuzzi, Guido Iaccarino, Maria Triassi, Maddalena Illario |
Developing a Digital Environment for the Management of Chronic Conditions: The ProEmpower Experience of a Horizon 2020 PCP for Type 2 Diabetes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT4AWE (Revised Selected Papers) ![In: Information and Communication Technologies for Ageing Well and e-Health - 5th International Conference, ICT4AWE 2019, Heraklion, Crete, Greece, May 2-4, 2019, Revised Selected Papers, pp. 1-15, 2019, Springer, 978-3-030-52676-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Ziyu Shen, Xusheng Zhang, Binghui Liu, Bin Xia 0003, Zheng Liu 0001, Yun Li 0009, Saiqin Long |
PCP-2LSTM: Two Stacked LSTM-Based Prediction Model for Power Consumption in Data Centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBD ![In: Seventh International Conference on Advanced Cloud and Big Data, CBD 2019, Suzhou, China, September 21-22, 2019, pp. 13-18, 2019, IEEE, 978-1-7281-5141-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Anand Natarajan, Thomas Vidick |
Low-Degree Testing for Quantum States, and a Quantum Entangled Games PCP for QMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 59th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2018, Paris, France, October 7-9, 2018, pp. 731-742, 2018, IEEE Computer Society, 978-1-5386-4230-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Yannick Forster 0002, Edith Heiter, Gert Smolka |
Verification of PCP-Related Computational Reductions in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pp. 253-269, 2018, Springer, 978-3-319-94820-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Abhishek Patyal, Po-Cheng Pan, K. A. Asha, Hung-Ming Chen, Hao-Yu Chi, Chien-Nan Liu |
Analog placement with current flow and symmetry constraints using PCP-SP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018, pp. 10:1-10:6, 2018, ACM, 978-1-5386-4114-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Hao Ma, Yingmei Wei, Xiaolei Du |
A Synthesis Plot of PCP and MDS for the Exploration of High Dimensional Time Series Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Edutainment ![In: Transactions on Edutainment XIII, pp. 38-45, 2017, Springer, 978-3-662-54394-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Qixu Wang, Dajiang Chen, Ning Zhang 0007, Zhe Ding, Zhiguang Qin |
PCP: A Privacy-Preserving Content-Based Publish-Subscribe Scheme With Differential Privacy in Fog Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 17962-17974, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Yannick Forster 0002, Edith Heiter, Gert Smolka |
Verification of PCP-Related Computational Reductions in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.07023, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Amir Abboud, Aviad Rubinstein |
Distributed PCP Theorems for Hardness of Approximation in P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.06407, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Martijn Baartse, Klaus Meer |
An algebraic proof of the real number PCP theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 40, pp. 34-77, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Amir Abboud, Aviad Rubinstein, R. Ryan Williams |
Distributed PCP Theorems for Hardness of Approximation in P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017, pp. 25-36, 2017, IEEE Computer Society, 978-1-5386-3464-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sleh El Fidha, Malek Mouhoub, Nahla Ben Amor, Eisa Alanazi |
Representing and reasoning with constrained PCP-nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017, pp. 1007-1012, 2017, IEEE, 978-1-5386-1645-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sujoy Sikdar, Sibel Adali, Lirong Xia |
Optimal Decision Making with CP-nets and PCP-nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 1736-1738, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Guy Kindler |
Property Testing, PCP, andJuntas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Dan Ye 0002 |
Heterogeneous cognitive networks: spectrum sharing with adaptive opportunistic DSMA for collaborative PCP-OFDM system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 22(1), pp. 351-366, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Fuhui Wu, Qingbo Wu 0003, Yusong Tan, Rongzhen Li, Wei Wang 0130 |
PCP-B2: Partial critical path budget balanced scheduling algorithms for scientific workflow applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 60, pp. 22-34, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Ripke, Rolf Winter, Thomas Dietz, Jürgen Quittek, Ron da Silva |
Port Control Protocol (PCP) Third-Party ID Option. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7843, pp. 1-14, May 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Suresh Vinapamula, Senthil Sivakumar, Mohamed Boucadair, Tirumaleswar Reddy |
Application-Initiated Check-Pointing via the Port Control Protocol (PCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7767, pp. 1-12, February 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Kiesel, Reinaldo Penno |
Port Control Protocol (PCP) Anycast Addresses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7723, pp. 1-9, January 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Qiong Sun, Mohamed Boucadair, Senthil Sivakumar, Cathy Zhou, Tina Tsou, Simon Perreault |
Port Control Protocol (PCP) Extension for Port-Set Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7753, pp. 1-19, February 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Qingling Zhao, Zonghua Gu 0001, Min Yao, Haibo Zeng 0001 |
HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 66-67, pp. 84-99, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Martijn Baartse, Klaus Meer |
The PCP Theorem for NP Over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 15(3), pp. 651-680, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Yakov Babichenko, Christos H. Papadimitriou, Aviad Rubinstein |
Can Almost Everybody be Almost Happy? PCP for PPAD and the Inapproximability of Nash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.02411, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Ján Pich |
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 11(2), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Boucadair, Reinaldo Penno, Dan Wing, Prashanth Patil, Tirumaleswar Reddy |
Port Control Protocol (PCP) Server Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7488, pp. 1-12, March 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Simon Perreault, Mohamed Boucadair, Reinaldo Penno, Dan Wing, Stuart Cheshire |
Port Control Protocol (PCP) Proxy Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7648, pp. 1-14, September 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Margaret Cullen, Sam Hartman, Dacheng Zhang, Tirumaleswar Reddy |
Port Control Protocol (PCP) Authentication Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7652, pp. 1-34, September 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Atsuo Murata, Takaaki Akazawa |
Enhancement of Performance by Automotive Display Design that Applied Proximity Compatibility Principle (PCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (28) ![In: HCI International 2015 - Posters' Extended Abstracts - International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II, pp. 622-627, 2015, Springer, 978-3-319-21382-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Martijn Baartse, Klaus Meer |
An Algebraic Proof of the Real Number PCP Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS (2) ![In: Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, pp. 50-61, 2015, Springer, 978-3-662-48053-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Samuel Micka, Utkarsh Goel, Hanlu Ye, Mike P. Wittie, Brendan Mumey |
pcp: Internet Latency Estimation Using CDN Replicas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: 24th International Conference on Computer Communication and Networks, ICCCN 2015, Las Vegas, NV, USA, August 3-6, 2015, pp. 1-8, 2015, IEEE, 978-1-4799-9964-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Cristina Cornelio, Umberto Grandi, Judy Goldsmith, Nicholas Mattei, Francesca Rossi 0001, Kristen Brent Venable |
Reasoning with PCP-nets in a Multi-Agent Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, pp. 969-977, 2015, ACM, 978-1-4503-3413-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Qingling Zhao, Zonghua Gu 0001, Haibo Zeng 0001 |
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 6(1), pp. 8-11, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Boucadair, Reinaldo Penno, Dan Wing |
Description Option for the Port Control Protocol (PCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7220, pp. 1-6, May 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Xiaohong Deng, Mohamed Boucadair, Qin Zhao, James Huang, Cathy Zhou |
Using the Port Control Protocol (PCP) to Update Dynamic DNS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7393, pp. 1-14, November 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Boucadair |
Discovering NAT64 IPv6 Prefixes Using the Port Control Protocol (PCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7225, pp. 1-17, May 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Boucadair, Reinaldo Penno, Dan Wing |
DHCP Options for the Port Control Protocol (PCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7291, pp. 1-11, July 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui |
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADECS @ Petri Nets ![In: ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014., pp. 52-67, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Henry Hoffmann, Martina Maggio |
PCP: A Generalized Approach to Optimizing Performance Under Power Constraints through Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: 11th International Conference on Autonomic Computing, ICAC '14, Philadelphia, PA, USA, June 18-20, 2014., pp. 241-247, 2014, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | He Yan, Robert Wang 0001, Fei Li, Yunkai Deng, Yabo Liu |
Ground Moving Target Extraction in a Multichannel Wide-Area Surveillance SAR/GMTI System via the Relaxed PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 10(3), pp. 617-621, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Vesa Halava, Tero Harju |
New proof for the undecidability of the circular PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 50(5-6), pp. 331-341, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Matthew B. Hastings |
Trivial low energy states for commuting Hamiltonians, and the quantum PCP conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 13(5-6), pp. 393-429, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Dorit Aharonov, Itai Arad, Thomas Vidick |
The Quantum PCP Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.7495, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Dan Wing, Stuart Cheshire, Mohamed Boucadair, Reinaldo Penno, Paul Selkirk |
Port Control Protocol (PCP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6887, pp. 1-88, April 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Boucadair, Reinaldo Penno, Dan Wing |
Universal Plug and Play (UPnP) Internet Gateway Device - Port Control Protocol Interworking Function (IGD-PCP IWF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6970, pp. 1-23, July 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Dorit Aharonov, Itai Arad, Thomas Vidick |
Guest column: the quantum PCP conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 44(2), pp. 47-79, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Subhash Khot, Muli Safra, Madhur Tulsiani |
Towards an optimal query efficient PCP? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCS ![In: Innovations in Theoretical Computer Science, ITCS '13, Berkeley, CA, USA, January 9-12, 2013, pp. 173-186, 2013, ACM, 978-1-4503-1859-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Martijn Baartse, Klaus Meer |
The PCP theorem for NP over the reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany, pp. 104-115, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-50-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Subhash Khot, Muli Safra, Madhur Tulsiani |
Towards An Optimal Query Efficient PCP? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR12, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Mohammad Mahmoody, David Xiao |
Languages with Efficient Zero-Knowledge PCP's are in SZK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2012, pp. 229, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Dana Moshkovitz |
The tale of the PCP theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 18(3), pp. 23-26, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Irit Dinur, Eldar Fischer, Guy Kindler, Ran Raz, Shmuel Safra |
PCP Characterizations of NP: Toward a Polynomially-Small Error-Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 20(3), pp. 413-504, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Yafei Hou, Tomohiro Hase |
Channel Estimation Improvement with Frequency Domain MMSE Equalization for PCP-SC System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 94-B(6), pp. 1690-1698, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Itai Arad |
A note about a partial no-go theorem for quantum PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 11(11-12), pp. 1019-1027, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Drucker |
A PCP Characterization of AM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I, pp. 581-592, 2011, Springer, 978-3-642-22005-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Prasenjit Dey, Shaffi Noushath |
e-PCP: A robust skew detection method for scanned document images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 43(3), pp. 937-948, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Dana Moshkovitz, Ran Raz |
Two-query PCP with subconstant error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 57(5), pp. 29:1-29:29, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Drucker |
A PCP Characterization of AM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR10, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Itai Arad |
A note about a partial no-go theorem for quantum PCP ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.3319, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Andrew Drucker |
A PCP Characterization of AM ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1002.3664, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Danny Holten, Jarke J. van Wijk |
Evaluation of Cluster Identification Performance for Different PCP Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 29(3), pp. 793-802, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Hao Li 0010, Xianbin Wang 0001, Jean-Yves Chouinard |
Robust Spectrum Sensing and User Identification for PCP-OFDM Signal Using Noise Insensitive Threshold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 72nd IEEE Vehicular Technology Conference, VTC Fall 2010, 6-9 September 2010, Ottawa, Canada, pp. 1-5, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Yafei Hou, Tomohiro Hase |
Channel and Noise Variance Estimation Improvement for PCP-SC System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2010 IEEE Wireless Communications and Networking Conference, WCNC 2010, Proceedings, Sydney, Australia, 18-21 April 2010, pp. 1-6, 2010, IEEE, 978-1-4244-6398-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Rishi Saket |
Quasi-Random PCP and Hardness of 2-Catalog Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, pp. 447-458, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-23-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Yafei Hou, Tomohiro Hase |
Improvement on the Channel Estimation of Pilot Cyclic Prefixed Single Carrier (PCP-SC) System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 16(8), pp. 719-722, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Venkatesan Guruswami, Prasad Raghavendra |
Hardness of Solving Sparse Overdetermined Linear Systems: A 3-Query PCP over Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR09, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Venkatesan Guruswami, Prasad Raghavendra |
Hardness of Solving Sparse Overdetermined Linear Systems: A 3-Query PCP over Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Theory ![In: ACM Trans. Comput. Theory 1(2), pp. 6:1-6:20, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Md. Jahidur Rahman, Xianbin Wang 0001, Hsiao-Chun Wu, Sung Ik Park, Heung Mook Kim |
An improved PCP signaling detector with reduced implementation complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2009, 13-16 September 2009, Tokyo, Japan, pp. 137-141, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Xianbin Wang 0001, Md. Jahidur Rahman, Hsiao-Chun Wu |
Design and Performance Evaluation of Signaling Link Demodulator for PCP-OFDM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 70th IEEE Vehicular Technology Conference, VTC Fall 2009, 20-23 September 2009, Anchorage, Alaska, USA, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Xianbin Wang 0001, Han-Wei Chen, Yiyan Wu 0001, Jean-Yves Chouinard, Chin-Liang Wang |
Identification of PCP-OFDM Signals at Very Low SNR for Spectrum Efficient Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 69th IEEE Vehicular Technology Conference, VTC Spring 2009, 26-29 April 2009, Hilton Diagonal Mar, Barcelona, Spain, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Yafei Hou, Tomohiro Hase |
Improvement on the Channel Estimation of Pilot Cyclic Prefixed Single Carrier (PCP-SC) System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 70th IEEE Vehicular Technology Conference, VTC Fall 2009, 20-23 September 2009, Anchorage, Alaska, USA, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Dana Moshkovitz, Ran Raz |
Two Query PCP with Sub-Constant Error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR08, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
21 | Jin Ye, Jianxin Wang 0001, Liang Rong, Weijia Jia 0001 |
TCP-PCP: A Transport Control Protocol Based on the Prediction of Congestion Probability over Wired/Wireless Hybrid Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November - 4 December 2008, pp. 1375-1380, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Vesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux |
Extension of the decidability of the marked PCP to instances with unique blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 380(3), pp. 355-362, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Yael Tauman Kalai, Ran Raz |
Interactive PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR07, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
21 | Xiao-kang Su, Guangming Zeng, Guohe Huang, Jian-bing Li 0001, Jie Liang, Ling-ling Wang, Chun-yan Du |
Modeling research on the sorption kinetics of pentachlorophenol (PCP) to sediments based on neural networks and neuro-fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 20(2), pp. 239-247, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ya-Shu Chen, Chuan-Yue Yang, Tei-Wei Kuo |
FL-PCP: Frequency Locking for Energy-Efficient Real-Time Task Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea, pp. 451-458, 2007, IEEE Computer Society, 0-7695-2975-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Venkatesan Guruswami, Prasad Raghavendra |
A 3-query PCP over integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 198-206, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sparse linear equations, hardness of approximation, probabilistically checkable proofs, linearity testing |
21 | Ljubomir J. Buturovic |
PCP: a program for supervised classification of gene expression profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 22(2), pp. 245-247, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Irit Dinur, Omer Reingold |
Assignment Testers: Towards a Combinatorial Proof of the PCP Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 36(4), pp. 975-1024, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Thomas E. Anderson, Andy Collins, Arvind Krishnamurthy, John Zahorjan |
PCP: Efficient Endpoint Congestion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), May 8-10, 2007, San Jose, California, USA, Proceedings., 2006, USENIX. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Irit Dinur |
The PCP theorem by gap amplification ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR05, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Ran Raz |
Quantum Information and the PCP Theorem ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR05, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Irit Dinur, Venkatesan Guruswami, Subhash Khot, Oded Regev 0001 |
A New Multilayered PCP and the Hardness of Hypergraph Vertex Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 34(5), pp. 1129-1146, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Irit Dinur, Venkatesan Guruswami, Subhash Khot, Oded Regev 0001 |
A New Multilayered PCP and the Hardness of Hypergraph Vertex Cover ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CC/0304026, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Johan Håstad, Avi Wigderson |
Simple analysis of graph tests for linearity and PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 22(2), pp. 139-160, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Guy Kindler |
Property testing PCP and juntas ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
21 | Vesa Halava, Mika Hirvensalo, Ronald de Wolf |
Marked PCP is decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 255(1-2), pp. 193-204, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Giuseppe Bianchi 0001, Flaminio Borgonovo, Antonio Capone, Luigi Fratta, Chiara Petrioli |
PCP: An End-to-End Measurement-Based Call Admission Control for Real-Time Services over IP Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoS-IP ![In: Quality of Service in Multiservice IP Networks, International Workshop, QoS-IP 2001, Rome, Italy, January 2001, Proceedings, pp. 391-406, 2001, Springer, 3-540-41512-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|