×

Found 454 Documents (Results 1–100)

Revisiting BoolTest – on randomness testing using Boolean functions. (English) Zbl 1520.94112

Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 471-491 (2023).
MSC:  94D10 94C11
PDFBibTeX XMLCite
Full Text: DOI

Concentration inequalities for correlated network-valued processes with applications to community estimation and changepoint analysis. arXiv:2208.01365

Preprint, arXiv:2208.01365 [math.ST] (2022).
BibTeX Cite
Full Text: arXiv

Brief announcement: non-blocking dynamic unbounded graphs with worst-case amortized bounds. (English) Zbl 07774303

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

On satisficing in quantitative games. (English) Zbl 1467.68161

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A quadratic lower bound for algebraic branching programs. (English) Zbl 07561730

Saraf, Shubhangi (ed.), 35th computational complexity conference, CCC 2020, July 28–31, 2020, Saarbrücken, Germany, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 169, Article 2, 21 p. (2020).
MSC:  68Q25
PDFBibTeX XMLCite
Full Text: DOI

Game theory and strategic complexity. (English) Zbl 1458.91053

Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 639-658 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Some fixed point theorems in \(G\)-fuzzy normed linear spaces. (English) Zbl 07217441

Castillo, Oscar (ed.) et al., Recent advances in intelligent information systems and applied mathematics. Selected papers based on the presentations at the 2nd international conference on information technology and applied mathematics, ICITAM 2019, Haldia Institute of Technology, Haldia, India, March 7–9, 2019. Cham: Springer. Stud. Comput. Intell. 863, 87-101 (2020).
MSC:  47-XX 65-XX
PDFBibTeX XMLCite
Full Text: DOI

Deciding fast termination for probabilistic VASS with nondeterminism. (English) Zbl 1437.68127

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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