×

Found 5,631 Documents (Results 1–100)

100
MathJax

Non-interactive batch arguments for NP from standard assumptions. (English) Zbl 07529206

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 394-423 (2021).
MSC:  68Q15 68Q10 94A60
PDF BibTeX XML Cite
Full Text: DOI

Proof-carrying data without succinct arguments. (English) Zbl 1485.94066

Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12825, 681-710 (2021).
MSC:  94A60 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Constant round distributed domination on graph classes with bounded expansion. (English) Zbl 07495148

Jurdziński, Tomasz (ed.) et al., Structural information and communication complexity. 28th international colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12810, 334-351 (2021).
MSC:  68Mxx 68Q11 68R10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Equilibrium traffic flow assignment in a multi-subnet urban road network. (English) Zbl 1485.90020

Pardalos, Panos (ed.) et al., Mathematical optimization theory and operations research. 20th international conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12755, 3-16 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Persistence barcoded vehicular traffic videos in a topology of data approach to shape tracking. (English) Zbl 07469650

Paikray, Susanta Kumar (ed.) et al., New trends in applied analysis and computational mathematics. Proceedings of the international conference on advances in mathematics and computing, ICAMC 2020, Odisha, India, February 7–8, 2020. Singapore: Springer. Adv. Intell. Syst. Comput. 1356, 33-43 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimization of a recursive conveyor by reduction to a constraint satisfaction problem. (English. Russian original) Zbl 1481.90173

Autom. Remote Control 82, No. 11, 1892-1906 (2021); translation from Avtom. Telemekh. 2021, No. 11, 75-93 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Computational thinking: a perspective on computer science. (English) Zbl 07385350

Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Recognition and complexity results for projection languages of two-dimensional automata. (English) Zbl 07371301

Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 206-218 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Sum of squares: theory and applications. AMS short course, Baltimore, MD, USA, January 14–15, 2019. (English) Zbl 1451.11010

Proceedings of Symposia in Applied Mathematics 77. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5025-0/pbk; 978-1-4704-6040-2/ebook). vii, 142 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Complexity of some problems of quadratic partitioning of a finite set of points in Euclidean space into balanced clusters. (English. Russian original) Zbl 1451.62074

Comput. Math. Math. Phys. 60, No. 1, 163-170 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 151-158 (2020).
MSC:  62H30 68Q15 52C35
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software