×

Found 221 Documents (Results 1–100)

Sampling-based verification of CTMCs with uncertain rates. (English) Zbl 1514.68117

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 26-47 (2022).
MSC:  68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI arXiv

Probabilistic forecasting model for the COVID-19 pandemic based on the composite Monte Carlo model integrated with deep learning and fuzzy system. (English) Zbl 1504.92131

Lobo Marques, Joao Alexandre (ed.) et al., Epidemic analytics for decision supports in COVID19 crisis. Cham: Springer. 83-102 (2022).
MSC:  92D30 65C05
PDF BibTeX XML Cite
Full Text: DOI

Compound Dirichlet processes. (English) Zbl 1436.60034

Antoniano-Villalobos, Isadora (ed.) et al., Selected contributions on statistics and data science in Latin America. 33rd “Foro nacional de estadística” (FNE) and 13th “Congreso Latinoamericano de Sociedades de Estadística” (CLATSE), Guadalajara, Mexico, October 1–5, 2018. Cham: Springer. Springer Proc. Math. Stat. 301, 43-58 (2019).
MSC:  60G07 60K05 62P10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Mean-field limits beyond ordinary differential equations. (English) Zbl 1346.68217

Bernardo, Marco (ed.) et al., Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20–24, 2016. Advanced lectures. Cham: Springer (ISBN 978-3-319-34095-1/pbk; 978-3-319-34096-8/ebook). Lecture Notes in Computer Science 9700, 61-82 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software