×

Found 73 Documents (Results 1–73)

Sequential colimits in homotopy type theory. (English) Zbl 1498.03035

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 845-858 (2020).
MSC:  03B38 55U35 18N45
PDFBibTeX XMLCite
Full Text: DOI

Higher groups in homotopy type theory. (English) Zbl 1452.03034

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 205-214 (2018).
MSC:  03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bounds and asymptotics for the rate of convergence of birth-death processes. (English. Russian original) Zbl 1204.60083

Theory Probab. Appl. 54, No. 1, 97-113 (2010); translation from Teor. Veroyatn. Primen. 54, No. 1, 18-38 (2009).
MSC:  60J80 60K25
PDFBibTeX XMLCite
Full Text: DOI

Orthogonal polynomials on \(\mathbb R^+\) and birth-death processes with killing. (English) Zbl 1214.42041

Elaydi, S. (ed.) et al., Difference equations, special functions and orthogonal polynomials. Proceedings of the international conference, Munich, Germany, July 25–30, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-643-0/hbk). 726-740 (2007).
MSC:  42C05 60J80
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software