×

Found 662 Documents (Results 1–100)

100
MathJax

Gadget-based iNTRU lattice trapdoors. (English) Zbl 07553887

Bhargavan, Karthikeyan (ed.) et al., Progress in cryptology – INDOCRYPT 2020. 21st international conference on cryptology in India, Bangalore, India, December 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12578, 601-623 (2020).
MSC:  94A60 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Security of hedged Fiat-Shamir signatures under fault attacks. (English) Zbl 1479.94290

Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2020. 39th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, May 10–14, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12105, 644-674 (2020).
MSC:  94A62 94A60
PDF BibTeX XML Cite
Full Text: DOI

Iterated Laurent series over rings and the Contou-Carrère symbol. (English. Russian original) Zbl 1457.19005

Russ. Math. Surv. 75, No. 6, 995-1066 (2020); translation from Usp. Mat. Nauk 75, No. 6, 3-84 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Boolean monadic recursive schemes as a logical characterization of the subsequential functions. (English) Zbl 1437.68042

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020).
PDF BibTeX XML Cite
Full Text: DOI

New approaches for context sensitive flash codes. (English) Zbl 1434.68150

Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 45-57 (2019).
MSC:  68P30 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Questions in arithmetic algebraic geometry. (English) Zbl 1428.14005

Oort, Frans (ed.), Open problems in arithmetic algebraic geometry. Based on the presentations at the conference ‘Arithmetic and geometry of abelian varieties’, 1995. With appendices by Frans Oort. Somerville, MA: International Press; Beijing: Higher Education Press. Adv. Lect. Math. (ALM) 46, 295-331 (2019).
PDF BibTeX XML Cite

Perfectoid spaces. Lectures from the 20th Arizona winter school, University of Arizona, Tuscon, AZ, USA, March 11–17, 2017. With an introduction by Peter Scholze. (English) Zbl 1428.14002

Mathematical Surveys and Monographs 242. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5015-1/hbk; 978-1-4704-5411-1/ebook). xii, 297 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

The complexity of the diagonal problem for recursion schemes. (English) Zbl 07278117

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 45, 14 p. (2018).
MSC:  68Q45 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Some results on affine Deligne-Lusztig varieties. (English) Zbl 1441.14147

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1345-1365 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Recursion schemes and the WMSO+U logic. (English) Zbl 07228444

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018).
MSC:  03B25 03D05 03B40
PDF BibTeX XML Cite
Full Text: DOI

Explicit binary tree codes with polylogarithmic size alphabet. (English) Zbl 1427.68141

Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 535-544 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Heterogeneous substitution systems revisited. (English) Zbl 1433.68220

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Foundations of rigid geometry. I. (English) Zbl 1400.14001

EMS Monographs in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-135-4/hbk; 978-3-03719-635-9/ebook). xxxiv, 829 p. (2018).
MSC:  14-02 14A20 14G22
PDF BibTeX XML Cite
Full Text: DOI arXiv

Streett automata model checking of higher-order recursion schemes. (English) Zbl 1441.68135

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 32, 18 p. (2017).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Domains for higher-order games. (English) Zbl 1441.68125

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 59, 15 p. (2017).
MSC:  68Q45 68Q55 91A80
PDF BibTeX XML Cite
Full Text: DOI arXiv

The Hilbert scheme of 11 points in \(\mathbb{A}^3\) is irreducible. (English) Zbl 1390.14020

Smith, Gregory G. (ed.) et al., Combinatorial algebraic geometry. Selected papers from the 2016 apprenticeship program, Ottawa, Canada, July–December 2016. Toronto: The Fields Institute for Research in the Mathematical Sciences; New York, NY: Springer (ISBN 978-1-4939-7485-6/hbk; 978-1-4939-7486-3/ebook). Fields Institute Communications 80, 321-352 (2017).
MSC:  14C05 14D15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bounded pushdown dimension vs Lempel Ziv information density. (English) Zbl 1360.68453

Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 95-114 (2017).
MSC:  68P30 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

The diagonal problem for higher-order recursion schemes is decidable. (English) Zbl 1401.68158

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 96-105 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Collected works of John Tate. Part I (1951–1975). Edited by Barry Mazur and Jean-Pierre Serre. (English) Zbl 1407.01030

Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9092-9/hbk; 978-1-4704-3021-4/ebook). xxvii, 716 p. (2016).
PDF BibTeX XML Cite

Higher-order model checking: an overview. (English) Zbl 1401.68205

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 1-15 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Conjugate hylomorphisms – or: the mother of all structured recursion schemes. (English) Zbl 1345.68057

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 527-538 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Security of numerical sensors in automata. (English) Zbl 1465.68139

Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9223, 76-88 (2015).
MSC:  68Q45 68P30
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

Biographic Reference

all top 3

Software