×

Found 2,024 Documents (Results 1–100)

Newest Citations Relevance
Tong, Xin; Yu, Yixiao; Fang, Ziyi; Jiang, Haitao; Wang, Lusheng; Zhu, Binhai; Zhu, Daming

Cabbage can’t always be transformed into turnip: decision algorithms for sorting by symmetric reversals. (English) Zbl 07900448

Wu, Weili (ed.) et al., Computing and combinatorics. 29th international conference, COCOON 2023, Hawaii, HI, USA, December 15–17, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14423, 279-294 (2024).
MSC:  68Rxx
Cite Review PDF
Full Text: DOI
Brand, Cornelius; Korchemna, Viktoriia; Simonov, Kirill; Skotnica, Michael

Counting vanishing matrix-vector products. (English) Zbl 07883879

Uehara, Ryuhei (ed.) et al., WALCOM: algorithms and computation. 18th international conference and workshops on algorithms and computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024. Proceedings. Singapore: Springer. Lect. Notes Comput. Sci. 14549, 335-349 (2024).
MSC:  68Wxx
Cite Review PDF
Full Text: DOI arXiv
Chillara, Suryajith; Grichener, Coral; Shpilka, Amir

On hardness of testing equivalence to sparse polynomials under shifts. (English) Zbl 07922891

Berenbrink, Petra (ed.) et al., 40th international symposium on theoretical aspects of computer science, STACS 2023, Hamburg, Germany, March 7–9, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 254, Article 22, 20 p. (2023).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI arXiv
Chawin, Dror; Haviv, Ishay

Improved NP-hardness of approximation for orthogonality dimension and minrank. (English) Zbl 07922889

Berenbrink, Petra (ed.) et al., 40th international symposium on theoretical aspects of computer science, STACS 2023, Hamburg, Germany, March 7–9, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 254, Article 20, 14 p. (2023).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI
Manurangsi, Pasin

Improved inapproximability of VC dimension and Littlestone’s dimension via (unbalanced) biclique. (English) Zbl 07918406

Kalai, Yael Tauman (ed.), 14th innovations in theoretical computer science conference, ITCS 2023, January 10–13, 2023, MIT, Cambridge, Massachusetts, USA. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 251, Article 85, 18 p. (2023).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI arXiv
Chuzhoy, Julia; Dalirrooyfard, Mina; Grinberg, Vadim; Tan, Zihan

A new conjecture on hardness of 2-CSP’s with implications to hardness of densest \(k\)-subgraph and other problems. (English) Zbl 07918359

Kalai, Yael Tauman (ed.), 14th innovations in theoretical computer science conference, ITCS 2023, January 10–13, 2023, MIT, Cambridge, Massachusetts, USA. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 251, Article 38, 23 p. (2023).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI arXiv
Blanc, Guy; Koch, Caleb; Lange, Jane; Strassle, Carmen; Tan, Li-Yang

Certification with an NP oracle. (English) Zbl 07918339

Kalai, Yael Tauman (ed.), 14th innovations in theoretical computer science conference, ITCS 2023, January 10–13, 2023, MIT, Cambridge, Massachusetts, USA. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 251, Article 18, 22 p. (2023).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI arXiv
Bennett, Huck; Cheraghchi, Mahdi; Guruswami, Venkatesan; Ribeiro, João

Parameterized inapproximability of the minimum distance problem over all fields and the shortest vector problem in all \(\ell_p\) norms. (English) Zbl 07844612

Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 553-566 (2023).
MSC:  68Qxx
Cite Review PDF
Full Text: DOI arXiv
Xiao, Hanshen; Devadas, Srinivas

PAC privacy: automatic privacy measurement and control of data processing. (English) Zbl 1531.94083

Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14082, 611-644 (2023).
MSC:  94A60 94A62 68P15 68P25 62H25 62H30
Cite Review PDF
Full Text: DOI arXiv
Akshay, S.; Chatterjee, Krishnendu; Meggendorfer, Tobias; Žikelić, Đorđe

MDPs as distribution transformers: affine invariant synthesis for safety objectives. (English) Zbl 07798094

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 86-112 (2023).
MSC:  68Q60 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Kiltz, Eike; Pan, Jiaxin; Riepel, Doreen; Ringerud, Magnus

Multi-user CDH problems and the concrete security of \(\mathsf{NAXOS}\) and \(\mathsf{X3DH}\). (English) Zbl 1522.94065

Rosulek, Mike (ed.), Topics in cryptology – CT-RSA 2023. Cryptographers’ track at the RSA conference 2023, San Francisco, CA, USA, April 24–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13871, 645-671 (2023).
MSC:  94A60 68P25
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software