×

Found 1,919 Documents (Results 1–100)

On the computation complexity of the systems of finite abelian group elements. (English. Russian original) Zbl 07805960

Mosc. Univ. Math. Bull. 78, No. 4, 179-187 (2023); translation from Vestn. Mosk. Univ., Ser. I 78, No. 4, 22-29 (2023).
MSC:  20K01 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Coverability in 2-VASS with one unary counter is in NP. (English) Zbl 07770338

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 196-217 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The existence of universal polynomials for the class of linear functions in even-valued logics. (English. Russian original) Zbl 07760974

Mosc. Univ. Comput. Math. Cybern. 47, No. 2, 61-62 (2023); translation from Vestn. Mosk. Univ., Ser. XV 2023, No. 1, 3-4 (2023).
MSC:  06Exx 20Exx 94Cxx
PDFBibTeX XMLCite
Full Text: DOI

Multiplication polynomials for elliptic curves over finite local rings. (English) Zbl 07760778

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 335-344 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Differentially private graph publishing through noise-graph addition. (English) Zbl 1534.68055

Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 20th international conference, MDAI 2023, Umeå, Sweden, June 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13890, 253-264 (2023).
MSC:  68P27
PDFBibTeX XMLCite
Full Text: DOI

Linear recurrent equations in the space of convex compact sets and the diameters of their solutions. (English. Russian original) Zbl 1531.39009

Differ. Equ. 59, No. 8, 1090-1094 (2023); translation from Differ. Uravn. 59, No. 8, 1084-1088 (2023).
MSC:  39B42 52A05 52A20
PDFBibTeX XMLCite
Full Text: DOI

Concrete quantum cryptanalysis of binary elliptic curves via addition chain. (English) Zbl 1532.81023

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, 57-83 (2023).
PDFBibTeX XMLCite
Full Text: DOI

New versions of Miller-loop secured against side-channel attacks. (English) Zbl 1534.94086

Mesnager, Sihem (ed.) et al., Arithmetic of finite fields. 9th international workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13638, 269-287 (2023).
PDFBibTeX XMLCite
Full Text: DOI HAL

Decision problems for linear logic with least and greatest fixed points. (English) Zbl 07853726

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 20, 20 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Addition and differentiation of ZX-diagrams. (English) Zbl 07853719

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 13, 19 p. (2022).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improved Ackermannian lower bound for the Petri nets reachability problem. (English) Zbl 07836613

Berenbrink, Petra (ed.) et al., 39th international symposium on theoretical aspects of computer science, STACS 2022, Marseille, France, virtual conference, March 15–18, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 219, Article 46, 15 p. (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Protecting the most significant bits in scalar multiplication algorithms. (English) Zbl 1530.94018

Batina, Lejla (ed.) et al., Security, privacy, and applied cryptography engineering. 12th international conference, SPACE 2022, Jaipur, India, December 9–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13783, 118-137 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Parallel methods of representing multidigit numbers in numeral systems for testing multidigit arithmetic operations. (English. Ukrainian original) Zbl 1506.68007

Cybern. Syst. Anal. 58, No. 6, 991-1007 (2022); translation from Kibern. Sist. Anal. 58, No. 6, 158-176 (2022).
MSC:  68M07 65Y04 68W10
PDFBibTeX XMLCite
Full Text: DOI

Calculating the sum of multidigit values in a parallel computational model. (English. Ukrainian original) Zbl 07630494

Cybern. Syst. Anal. 58, No. 3, 473-480 (2022); translation from Kibern. Sist. Anal. 58, No. 3, 174-182 (2022).
MSC:  68Qxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Fast three-valued abstract bit-vector arithmetic. (English) Zbl 1498.68166

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 242-262 (2022).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

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