×

Found 1,173 Documents (Results 1–100)

100
MathJax

Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 491-518 (2021).
MSC:  68N30 68N19 68Q87
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the bounds for convergence rates in combinatorial strong limit theorems and their applications. (English. Russian original) Zbl 1454.60033

Vestn. St. Petersbg. Univ., Math. 53, No. 4, 443-449 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 4, 688-698 (2020).
MSC:  60F05 60F15 60C05
PDF BibTeX XML Cite
Full Text: DOI

Stochastic games with lexicographic reachability-safety objectives. (English) Zbl 1478.68151

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 398-420 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

The Kannan-Lovász-Simonovits conjecture. (English) Zbl 1474.52005

Jerison, David (ed.) et al., Current developments in mathematics 2017. Papers based on selected lectures given at the current development mathematics conference, Harvard University, Cambridge, MA, USA, November 2017. Somerville, MA: International Press. 1-36 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

From a geometrical interpretation of Bramble-Hilbert lemma to a probability distribution for finite element accuracy. (English) Zbl 1434.65241

Dimov, Ivan (ed.) et al., Finite difference methods. Theory and applications. 7th international conference, FDM 2018, Lozenetz, Bulgaria, June 11–16, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11386, 3-14 (2019).
MSC:  65N30 65N15
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