Eldan, Ronen Analysis of high-dimensional distributions using pathwise methods. (English) Zbl 07821690 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4246-4270 (2023). MSC: 60H30 60G17 60G44 52A23 60-02 PDFBibTeX XMLCite \textit{R. Eldan}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 6. Sections 12--14. Berlin: European Mathematical Society (EMS). 4246--4270 (2023; Zbl 07821690) Full Text: DOI OA License
Ding, Jian; Dubédat, Julien; Gwynne, Ewain Introduction to the Liouville quantum gravity metric. (English) Zbl 07821689 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4212-4244 (2023). MSC: 60D05 60G60 60K35 PDFBibTeX XMLCite \textit{J. Ding} et al., in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 6. Sections 12--14. Berlin: European Mathematical Society (EMS). 4212--4244 (2023; Zbl 07821689) Full Text: DOI arXiv OA License
Sergeant-Perthuis, Grégoire A categorical approach to statistical mechanics. (English) Zbl 07789203 Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14071, 258-267 (2023). MSC: 18B35 18F20 60K35 82B05 60A05 PDFBibTeX XMLCite \textit{G. Sergeant-Perthuis}, Lect. Notes Comput. Sci. 14071, 258--267 (2023; Zbl 07789203) Full Text: DOI
Boreale, Michele; Collodi, Luisa Bayesian parameter estimation with guarantees via interval analysis and simulation. (English) Zbl 07728617 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 106-128 (2023). MSC: 65C20 65C05 PDFBibTeX XMLCite \textit{M. Boreale} and \textit{L. Collodi}, Lect. Notes Comput. Sci. 13881, 106--128 (2023; Zbl 07728617) Full Text: DOI
Vo Anh Khoa; Klibanov, Michael Victor; Powell, William Grayson; Nguyen, Loc Hoang Numerical reconstruction for 3D nonlinear SAR imaging via a version of the convexification method. (English) Zbl 1527.78016 Nguyen, Dinh-Liem (ed.) et al., Recent advances in inverse problems for partial differential equations. AMS special session on recent developments on analysis and computation for inverse problems for PDEs, virtual, March 13–14, 2021 and AMS special session on recent advances in inverse problems for PDEs, virtual, October 23–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 784, 145-167 (2023). Reviewer: Dmitry Shepelsky (Kharkov) MSC: 78A46 65L70 65C20 35R30 35R25 35R60 68U10 PDFBibTeX XMLCite \textit{Vo Anh Khoa} et al., Contemp. Math. 784, 145--167 (2023; Zbl 1527.78016) Full Text: DOI arXiv
Le, Thu; Nguyen, Dinh-Liem; Nguyen, Vu; Truong, Trung Sampling type method combined with deep learning for inverse scattering with one incident wave. (English) Zbl 07680915 Nguyen, Dinh-Liem (ed.) et al., Recent advances in inverse problems for partial differential equations. AMS special session on recent developments on analysis and computation for inverse problems for PDEs, virtual, March 13–14, 2021 and AMS special session on recent advances in inverse problems for PDEs, virtual, October 23–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 784, 63-80 (2023). MSC: 65-XX 35R30 78A46 65C20 PDFBibTeX XMLCite \textit{T. Le} et al., Contemp. Math. 784, 63--80 (2023; Zbl 07680915) Full Text: DOI arXiv
Ali, Mohammad Jamsher; Pärna, Kalev Ruin probability for merged risk processes with correlated arrivals. (English) Zbl 07819607 Malyarenko, Anatoliy (ed.) et al., Stochastic processes, statistical methods, and engineering mathematics. SPAS 2019, Västerås, Sweden, September 30 – October 2, 2019. Cham: Springer. Springer Proc. Math. Stat. 408, 15-32 (2022). MSC: 60G55 91B05 PDFBibTeX XMLCite \textit{M. J. Ali} and \textit{K. Pärna}, Springer Proc. Math. Stat. 408, 15--32 (2022; Zbl 07819607) Full Text: DOI
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena Variance reduction in stochastic reaction networks using control variates. (English) Zbl 1528.68108 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 456-474 (2022). MSC: 68Q07 60J28 68Q87 PDFBibTeX XMLCite \textit{M. Backenköhler} et al., Lect. Notes Comput. Sci. 13660, 456--474 (2022; Zbl 1528.68108) Full Text: DOI arXiv
Baier, Christel; Dubslaff, Clemens; Hermanns, Holger; Käfer, Nikolai On the foundations of cycles in Bayesian networks. (English) Zbl 1528.68371 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 343-363 (2022). MSC: 68T37 62H22 68Q55 68Q87 68R10 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 13660, 343--363 (2022; Zbl 1528.68371) Full Text: DOI arXiv
Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Ruggaard Pedersen, Mathias On probabilistic monitorability. (English) Zbl 1528.68246 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 325-342 (2022). MSC: 68Q85 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 13660, 325--342 (2022; Zbl 1528.68246) Full Text: DOI
Jacobs, Bart A reconstruction of Ewens’ sampling formula via lists of coins. (English) Zbl 1524.68137 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 339-357 (2022). MSC: 68Q07 11B73 68Q45 68Q87 PDFBibTeX XMLCite \textit{B. Jacobs}, Lect. Notes Comput. Sci. 13560, 339--357 (2022; Zbl 1524.68137) Full Text: DOI
Siegle, Markus; Soltanieh, Amin Rate lifting for stochastic process algebra – exploiting structural properties. (English) Zbl 1522.68371 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 67-84 (2022). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{M. Siegle} and \textit{A. Soltanieh}, Lect. Notes Comput. Sci. 13479, 67--84 (2022; Zbl 1522.68371) Full Text: DOI arXiv
Briggs, William M. Models only say what they’re told to say. (English) Zbl 1495.62071 Thach, Nguyen Ngoc (ed.) et al., Prediction and causality in econometrics and related topics. Cham: Springer. Stud. Comput. Intell. 983, 35-42 (2022). MSC: 62P20 PDFBibTeX XMLCite \textit{W. M. Briggs}, Stud. Comput. Intell. 983, 35--42 (2022; Zbl 1495.62071) Full Text: DOI
Falcone, Yliès; Salaün, Gwen; Zuo, Ahang Probabilistic model checking of BPMN processes at runtime. (English) Zbl 1502.68182 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 191-208 (2022). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Falcone} et al., Lect. Notes Comput. Sci. 13274, 191--208 (2022; Zbl 1502.68182) Full Text: DOI
Pacifico, Agnese; Pesare, Andrea; Falcone, Maurizio A new algorithm for the LQR problem with partially unknown dynamics. (English) Zbl 1487.49039 Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 13th international conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13127, 322-330 (2022). MSC: 49N10 68T05 60E05 62J05 49N35 PDFBibTeX XMLCite \textit{A. Pacifico} et al., Lect. Notes Comput. Sci. 13127, 322--330 (2022; Zbl 1487.49039) Full Text: DOI arXiv
Soltanieh, Amin; Siegle, Markus Solving systems of bilinear equations for transition rate reconstruction. (English) Zbl 1496.68248 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 157-172 (2021). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{A. Soltanieh} and \textit{M. Siegle}, Lect. Notes Comput. Sci. 12818, 157--172 (2021; Zbl 1496.68248) Full Text: DOI
Imamura, Takashi; Mucciconi, Matteo; Sasamoto, Tomohiro Determinantal structures in the \(q\)-Whittaker measure. (English) Zbl 1487.60185 Inahama, Yuzuru (ed.) et al., Stochastic analysis, random fields and integrable probability – Fukuoka 2019. Proceedings of the 12th Mathematical Society of Japan, Seasonal Institute (MSJ-SI), Kyushu University, Japan, 31 July – 9 August 2019. Tokyo: Mathematical Society of Japan. Adv. Stud. Pure Math. 87, 261-292 (2021). MSC: 60K35 82C22 05E05 82B23 82C41 PDFBibTeX XMLCite \textit{T. Imamura} et al., Adv. Stud. Pure Math. 87, 261--292 (2021; Zbl 1487.60185) Full Text: DOI
Gribaudo, Marco; Iacono, Mauro; Manini, Daniele Simulation of N-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers. (English) Zbl 1491.60160 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 276-292 (2021). MSC: 60K25 PDFBibTeX XMLCite \textit{M. Gribaudo} et al., Lect. Notes Comput. Sci. 12846, 276--292 (2021; Zbl 1491.60160) Full Text: DOI Link
Kaalen, Stefan; Nyberg, Mattias; Mattsson, Olle Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow. (English) Zbl 1491.68124 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 105-126 (2021). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{S. Kaalen} et al., Lect. Notes Comput. Sci. 12846, 105--126 (2021; Zbl 1491.68124) Full Text: DOI
Carnevali, Laura; Paolieri, Marco; Reali, Riccardo; Vicario, Enrico Compositional safe approximation of response time distribution of complex workflows. (English) Zbl 1491.68119 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 83-104 (2021). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{L. Carnevali} et al., Lect. Notes Comput. Sci. 12846, 83--104 (2021; Zbl 1491.68119) Full Text: DOI
Burke, Adam; Leemans, Sander J. J.; Wynn, Moe Thandar Discovering stochastic process models by reduction and abstraction. (English) Zbl 1489.68155 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 312-336 (2021). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{A. Burke} et al., Lect. Notes Comput. Sci. 12734, 312--336 (2021; Zbl 1489.68155) Full Text: DOI Link
Castiglioni, Valentina; Loreti, Michele; Tini, Simone How adaptive and reliable is your program? (English) Zbl 1489.68139 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021). MSC: 68Q60 68N30 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., Lect. Notes Comput. Sci. 12719, 60--79 (2021; Zbl 1489.68139) Full Text: DOI
Ghosh, Subir; Nyquist, Hans Binary response models comparison using the \(\alpha\)-Chernoff divergence measure and exponential integral functions. (English) Zbl 07465305 Swift, Randall J. (ed.) et al., Stochastic processes and functional analysis. New perspectives. AMS special session celebrating M. M. Rao’s many mathematical contributions as he turns 90 years old. University of California, Riverside, California, November 9–10, 2019. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 774, 37-53 (2021). MSC: 62J12 62N05 65C20 62B10 62P30 62P10 62P20 PDFBibTeX XMLCite \textit{S. Ghosh} and \textit{H. Nyquist}, Contemp. Math. 774, 37--53 (2021; Zbl 07465305) Full Text: DOI
Banerjee, Sayan; Sankararaman, Abishek Ergodicity and steady state analysis for interference queueing networks. (English) Zbl 1489.60143 Swift, Randall J. (ed.) et al., Stochastic processes and functional analysis. New perspectives. AMS special session celebrating M. M. Rao’s many mathematical contributions as he turns 90 years old. University of California, Riverside, California, November 9–10, 2019. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 774, 9-23 (2021). MSC: 60K25 60K35 60B10 90B18 28D05 PDFBibTeX XMLCite \textit{S. Banerjee} and \textit{A. Sankararaman}, Contemp. Math. 774, 9--23 (2021; Zbl 1489.60143) Full Text: DOI arXiv
Holmgren, Cecilia Split trees – a unifying model for many important random trees of logarithmic height: a brief survey. (English) Zbl 1484.68057 Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 20-57 (2021). MSC: 68P05 05C05 05C80 60C05 60F05 60J85 60K05 60K35 68P10 PDFBibTeX XMLCite \textit{C. Holmgren}, Lect. Notes Comput. Sci. 12708, 20--57 (2021; Zbl 1484.68057) Full Text: DOI
Rychtář, Adam; Klapka, Štěpán; Kárná, Lucie Calculation of the detection properties in the binary symmetrical channel. (English) Zbl 1488.94123 Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21–26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 120-128 (2021). MSC: 94B70 94A40 PDFBibTeX XMLCite \textit{A. Rychtář} et al., in: Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21--26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 120--128 (2021; Zbl 1488.94123) Full Text: DOI
Fischer, Cyril; Náprstek, Jiří Numerical solution of a stochastic model of a ball-type vibration absorber. (English) Zbl 1488.74086 Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21–26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 40-49 (2021). Reviewer: Jan Chleboun (Praha) MSC: 74H50 65C20 65C05 60G15 37A50 PDFBibTeX XMLCite \textit{C. Fischer} and \textit{J. Náprstek}, in: Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21--26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 40--49 (2021; Zbl 1488.74086) Full Text: DOI
Khanthawithoon, Kantika; Maneejuk, Paravee; Yamaka, Woraphon Analyzing the relationship among aging society, investment in artificial intelligence and economic growth. (English) Zbl 1479.91207 Sriboonchitta, Songsak (ed.) et al., Behavioral predictive modeling in economics. Cham: Springer. Stud. Comput. Intell. 897, 407-421 (2021). MSC: 91B62 91D20 62H05 PDFBibTeX XMLCite \textit{K. Khanthawithoon} et al., Stud. Comput. Intell. 897, 407--421 (2021; Zbl 1479.91207) Full Text: DOI
Wei, Zheng; Zhang, Zijing; Zhang, Hongkun; Wang, Tonghui Conditional dependence among oil, gold and U.S. dollar exchange rates: a copula-GARCH approach. (English) Zbl 1479.91423 Sriboonchitta, Songsak (ed.) et al., Behavioral predictive modeling in economics. Cham: Springer. Stud. Comput. Intell. 897, 203-218 (2021). MSC: 91G30 62M10 62H05 PDFBibTeX XMLCite \textit{Z. Wei} et al., Stud. Comput. Intell. 897, 203--218 (2021; Zbl 1479.91423) Full Text: DOI
Nguyen, Hung T. On modeling of uncertainty in behavioral economics. (English) Zbl 1479.91243 Sriboonchitta, Songsak (ed.) et al., Behavioral predictive modeling in economics. Cham: Springer. Stud. Comput. Intell. 897, 3-21 (2021). MSC: 91B70 91B80 91B86 91G99 PDFBibTeX XMLCite \textit{H. T. Nguyen}, Stud. Comput. Intell. 897, 3--21 (2021; Zbl 1479.91243) Full Text: DOI
Peres, Yuval Noise stability of weighted majority. (English) Zbl 1469.60341 Vares, Maria Eulália (ed.) et al., In and out of equilibrium 3: celebrating Vladas Sidoravicius. Cham: Birkhäuser. Prog. Probab. 77, 677-682 (2021). MSC: 60K35 60C05 82B43 PDFBibTeX XMLCite \textit{Y. Peres}, Prog. Probab. 77, 677--682 (2021; Zbl 1469.60341) Full Text: DOI arXiv Link
Filus, Jerzy K.; Filus, Lidia Z. General forms of bivariate survival functions with reliability applications. (English) Zbl 1473.62334 Kumar, Amit (ed.) et al., The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 43-64 (2021). MSC: 62N05 62E10 62H05 62H10 PDFBibTeX XMLCite \textit{J. K. Filus} and \textit{L. Z. Filus}, in: The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 43--64 (2021; Zbl 1473.62334) Full Text: DOI
Kao, Lie-Jane; Lee, Cheng Few VG NGARCH versus GARJI model for asset price dynamics. (English) Zbl 1451.91207 Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 3. Hackensack, NJ: World Scientific. 2437-2459 (2021). MSC: 91G30 62P05 62M10 PDFBibTeX XMLCite \textit{L.-J. Kao} and \textit{C. F. Lee}, in: Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 3. Hackensack, NJ: World Scientific. 2437--2459 (2021; Zbl 1451.91207) Full Text: DOI
Tanimoto, Yoh Free products and AQFT. (English) Zbl 07730660 Bercovici, Hari (ed.) et al., #operatortheory27. Conference proceedings, Timişoara, Romania, July 2–6, 2018. Bucharest: The Theta Foundation. Theta Ser. Adv. Math. 23, 263-269 (2020). MSC: 81T10 46L54 46L60 81T40 14G35 47J22 30C75 68Q85 46L09 PDFBibTeX XMLCite \textit{Y. Tanimoto}, Theta Ser. Adv. Math. 23, 263--269 (2020; Zbl 07730660)
Kavaler, Itay; Smorodinsky, Rann A cardinal comparison of experts. (English) Zbl 07666420 Chen, Xujin (ed.) et al., Web and internet economics. 16th international conference, WINE 2020, Beijing, China, December 7–11, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12495, 416-429 (2020). MSC: 68M11 91A80 91B26 PDFBibTeX XMLCite \textit{I. Kavaler} and \textit{R. Smorodinsky}, Lect. Notes Comput. Sci. 12495, 416--429 (2020; Zbl 07666420) Full Text: DOI arXiv
Rhuggenaath, Jason; de Oliveira da Costa, Paulo Roberto; Zhang, Yingqian; Akcay, Alp; Kaymak, Uzay Dynamic pricing using Thompson sampling with fuzzy events. (English) Zbl 1518.91093 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 1237, 653-666 (2020). MSC: 91B26 91B24 91B86 PDFBibTeX XMLCite \textit{J. Rhuggenaath} et al., Commun. Comput. Inf. Sci. 1237, 653--666 (2020; Zbl 1518.91093) Full Text: DOI
Ley, Christophe; Simone, Rosaria Modelling earthquakes: characterizing magnitudes and inter-arrival times. (English) Zbl 07616797 Bekker, Andriëtte (ed.) et al., Computational and methodological statistics and biostatistics. Contemporary essays in advancement. Cham: Springer. Emerg. Top. Stat. Biostat., 29-50 (2020). MSC: 62P10 PDFBibTeX XMLCite \textit{C. Ley} and \textit{R. Simone}, in: Computational and methodological statistics and biostatistics. Contemporary essays in advancement. Cham: Springer. 29--50 (2020; Zbl 07616797) Full Text: DOI
Bernardo, Marco; Mezzina, Claudio Antares Towards bridging time and causal reversibility. (English) Zbl 1511.68179 Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 22-38 (2020). MSC: 68Q85 60J28 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo} and \textit{C. A. Mezzina}, Lect. Notes Comput. Sci. 12136, 22--38 (2020; Zbl 1511.68179) Full Text: DOI
Blume, Andreas; Buchholz, Peter; Scherbaum, Clara Markovian arrival processes in multi-dimensions. (English) Zbl 1483.60002 Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 175-192 (2020). MSC: 60-08 60K25 65C20 PDFBibTeX XMLCite \textit{A. Blume} et al., Lect. Notes Comput. Sci. 12289, 175--192 (2020; Zbl 1483.60002) Full Text: DOI
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena Bounding mean first passage times in population continuous-time Markov chains. (English) Zbl 1486.60093 Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 155-174 (2020). MSC: 60J20 90C22 PDFBibTeX XMLCite \textit{M. Backenköhler} et al., Lect. Notes Comput. Sci. 12289, 155--174 (2020; Zbl 1486.60093) Full Text: DOI arXiv
Schumacher, C.; Schwarzenberger, F.; Veselić, I. Uniform existence of the IDS on lattices and groups. (English) Zbl 1492.60080 Keller, Matthias (ed.) et al., Analysis and geometry on graphs and manifolds. Selected papers of the conference, University of Potsdam, Potsdam, Germany, July 31 – August 4, 2017. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 461, 445-478 (2020). Reviewer: Pavel Stoynov (Sofia) MSC: 60F99 60B12 62E20 60K35 80M50 PDFBibTeX XMLCite \textit{C. Schumacher} et al., Lond. Math. Soc. Lect. Note Ser. 461, 445--478 (2020; Zbl 1492.60080) Full Text: DOI arXiv
Oberman, Adam M. Partial differential equation regularization for supervised machine learning. (English) Zbl 1478.65141 Brenner, Susanne C. (ed.) et al., 75 years of mathematics of computation. Symposium celebrating 75 years of mathematics of computation, Institute for Computational and Experimental Research in Mathematics, ICERM, Providence, RI, USA, November 1–3, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 754, 177-195 (2020). MSC: 65N99 35A15 35B65 65C20 68T07 68Q32 PDFBibTeX XMLCite \textit{A. M. Oberman}, Contemp. Math. 754, 177--195 (2020; Zbl 1478.65141) Full Text: DOI arXiv
Moretti, Antonio Khalil; Wang, Zizhao; Wu, Luhuan; Drori, Iddo; Pe’er, Itsik Variational objectives for Markovian dynamics with backward simulation. (English) Zbl 1466.65009 De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 1371-1378 (2020). MSC: 65C05 65C20 PDFBibTeX XMLCite \textit{A. K. Moretti} et al., Front. Artif. Intell. Appl. 325, 1371--1378 (2020; Zbl 1466.65009) Full Text: DOI
Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias 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). MSC: 68Q60 68Q17 68Q25 68Q85 68Q87 91A15 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 12225, 398--420 (2020; Zbl 1478.68151) Full Text: DOI arXiv
Blondin, Michael; Esparza, Javier; Helfrich, Martin; Kučera, Antonín; Meyer, Philipp J. Checking qualitative liveness properties of replicated systems with stochastic scheduling. (English) Zbl 1478.68147 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, 372-397 (2020). MSC: 68Q60 68Q85 68Q87 68R10 PDFBibTeX XMLCite \textit{M. Blondin} et al., Lect. Notes Comput. Sci. 12225, 372--397 (2020; Zbl 1478.68147) Full Text: DOI arXiv
Curzi, Gianluca; Pagani, Michele The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041 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). 327-340 (2020). MSC: 03B40 03B48 68Q85 PDFBibTeX XMLCite \textit{G. Curzi} and \textit{M. Pagani}, in: 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). 327--340 (2020; Zbl 1498.03041) Full Text: DOI
Boccadifuoco, Alessandro; Mariotti, Alessandro; Capellini, Katia; Celi, Simona; Salvetti, Maria Vittoria Uncertainty quantification applied to hemodynamic simulations of thoracic aorta aneurysms: sensitivity to inlet conditions. (English) Zbl 1455.62209 D’Elia, Marta (ed.) et al., Quantification of uncertainty: improving efficiency and technology. QUIET. Selected contributions based on the presentations at the international workshop, Trieste, Italy, July 18–21, 2017. Cham: Springer. Lect. Notes Comput. Sci. Eng. 137, 171-192 (2020). MSC: 62P10 62-08 65C20 PDFBibTeX XMLCite \textit{A. Boccadifuoco} et al., Lect. Notes Comput. Sci. Eng. 137, 171--192 (2020; Zbl 1455.62209) Full Text: DOI
Hrushovski, Ehud On the descriptive power of probability logic. (English) Zbl 1498.03089 Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 375-397 (2020). MSC: 03C65 03B48 60A05 PDFBibTeX XMLCite \textit{E. Hrushovski}, in: Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. 375--397 (2020; Zbl 1498.03089) Full Text: DOI
Oates, C. J.; Cockayne, J.; Prangle, D.; Sullivan, T. J.; Girolami, M. Optimality criteria for probabilistic numerical methods. (English) Zbl 1523.65004 Hickernell, Fred J. (ed.) et al., Multivariate algorithms and information-based complexity. Berlin: De Gruyter. Radon Ser. Comput. Appl. Math. 27, 65-88 (2020). MSC: 65C20 62A01 62C10 PDFBibTeX XMLCite \textit{C. J. Oates} et al., Radon Ser. Comput. Appl. Math. 27, 65--88 (2020; Zbl 1523.65004) Full Text: DOI arXiv
Attiya, Hagit; Enea, Constantin Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects. (English) Zbl 1515.68096 Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019). MSC: 68N19 68Q85 68Q87 PDFBibTeX XMLCite \textit{H. Attiya} and \textit{C. Enea}, LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 2, 17 p. (2019; Zbl 1515.68096) Full Text: DOI arXiv
De Visme, Marc Event structures for mixed choice. (English) Zbl 07649919 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. De Visme}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019; Zbl 07649919) Full Text: DOI
Savin, Éric Sparse polynomial surrogates for uncertainty quantification in computational fluid dynamics. (English) Zbl 1469.76080 Ahusborde, É. (ed.) et al., Fifteenth international conference Zaragoza-Pau on mathematics and its applications. Proceedings of the conference, Jaca, Spain, September 10–12, 2018. Zaragoza: Prensas de la Universidad de Zaragoza. Monogr. Mat. García Galdeano 42, 275-284 (2019). MSC: 76M35 65C20 PDFBibTeX XMLCite \textit{É. Savin}, Monogr. Mat. García Galdeano 42, 275--284 (2019; Zbl 1469.76080)
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik 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). MSC: 68Q85 68N30 68Q25 68Q87 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 11781, 462--478 (2019; Zbl 1437.68127) Full Text: DOI arXiv
Baltazar-Larios, F.; Esparza, Luz Judith R. Bayesian estimation for the Markov-modulated diffusion risk model. (English) Zbl 1436.62486 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, 15-31 (2019). MSC: 62P05 62M02 62M05 60J74 91B05 PDFBibTeX XMLCite \textit{F. Baltazar-Larios} and \textit{L. J. R. Esparza}, Springer Proc. Math. Stat. 301, 15--31 (2019; Zbl 1436.62486) Full Text: DOI
Gandolfi, Alberto FKG (and other inequalities) from (generalized and approximate) FK random cluster representation (and iterated folding). (English) Zbl 1446.82009 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 186-207 (2019). MSC: 82B20 05E10 60C05 60K35 PDFBibTeX XMLCite \textit{A. Gandolfi}, Springer Proc. Math. Stat. 299, 186--207 (2019; Zbl 1446.82009) Full Text: DOI arXiv
Damron, Michael; Tang, Pengfei Superlinearity of geodesic length in 2D critical first-passage percolation. (English) Zbl 1446.82034 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 101-122 (2019). MSC: 82B43 82B20 82B27 60D05 28A75 60K35 PDFBibTeX XMLCite \textit{M. Damron} and \textit{P. Tang}, Springer Proc. Math. Stat. 299, 101--122 (2019; Zbl 1446.82034) Full Text: DOI arXiv
Camia, Federico; Stein, Daniel L. Probability theory in statistical physics, percolation, and other random topics: the work of C. Newman. (English) Zbl 1446.82084 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. I. Spin glasses and statistical mechanics, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 298, 1-38 (2019). MSC: 82D30 82B43 82B20 82B44 82B26 81R40 82C20 82D40 82C44 82B41 82C41 60J65 82B27 60C05 82-03 01A61 PDFBibTeX XMLCite \textit{F. Camia} and \textit{D. L. Stein}, Springer Proc. Math. Stat. 298, 1--38 (2019; Zbl 1446.82084) Full Text: DOI arXiv
Chen, Xinxing; Derrida, Bernard; Hu, Yueyun; Lifshits, Mikhail; Shi, Zhan A max-type recursive model: some properties and open questions. (English) Zbl 1446.82024 Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. III. Interacting particle systems and random walks, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 300, 166-186 (2019). MSC: 82B26 82B44 82B27 82B28 82B20 PDFBibTeX XMLCite \textit{X. Chen} et al., Springer Proc. Math. Stat. 300, 166--186 (2019; Zbl 1446.82024) Full Text: DOI arXiv
Lagona, Francesco A copula-based hidden Markov model for toroidal time series. (English) Zbl 1434.62190 Petrucci, Alessandra (ed.) et al., New statistical developments in data science – SIS 2017. Extended versions of papers based on the conference on statistics and data science: new challenges, new generations, Florence, Italy, June 28–30, 2017. Cham: Springer. Springer Proc. Math. Stat. 288, 435-446 (2019). MSC: 62M10 62H05 62P12 62M05 PDFBibTeX XMLCite \textit{F. Lagona}, Springer Proc. Math. Stat. 288, 435--446 (2019; Zbl 1434.62190) Full Text: DOI
Barraquand, Guillaume; Rychnovsky, Mark Tracy-Widom asymptotics for a river delta model. (English) Zbl 1442.82034 Giacomin, Giambattista (ed.) et al., Stochastic dynamics out of equilibrium. Lecture notes from the IHP trimester, Institut Henri Poincaré (IHP), Paris, France, April – July, 2017. Cham: Springer. Springer Proc. Math. Stat. 282, 483-522 (2019). MSC: 82C43 82B41 60K37 60K35 82C22 PDFBibTeX XMLCite \textit{G. Barraquand} and \textit{M. Rychnovsky}, Springer Proc. Math. Stat. 282, 483--522 (2019; Zbl 1442.82034) Full Text: DOI arXiv
Bai, Xinwei; Goseling, Jasper A linear programming approach to Markov reward error bounds for queueing networks. (English) Zbl 1437.90044 Phung-Duc, Tuan (ed.) et al., Queueing theory and network applications. 14th international conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11688, 201-220 (2019). MSC: 90B22 60K25 90C05 90B10 PDFBibTeX XMLCite \textit{X. Bai} and \textit{J. Goseling}, Lect. Notes Comput. Sci. 11688, 201--220 (2019; Zbl 1437.90044) Full Text: DOI arXiv
Jain, Vishesh; Koehler, Frederic; Risteski, Andrej Mean-field approximation, convex hierarchies, and the optimality of correlation rounding: a unified perspective. (English) Zbl 1434.68338 Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 1226-1236 (2019). MSC: 68Q87 68Q25 68W25 82B20 PDFBibTeX XMLCite \textit{V. Jain} et al., in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 1226--1236 (2019; Zbl 1434.68338) Full Text: DOI arXiv
Bisi, Elia; Zygouras, Nikos GOE and \(\text{Airy}_{2\rightarrow 1}\) marginal distribution via symplectic Schur functions. (English) Zbl 1429.60015 Friz, Peter (ed.) et al., Probability and analysis in interacting physical systems. In honor of S. R. S. Varadhan. Based on a workshop on the occasion of Varadhan’s 75th birthday, TU Berlin, Germany, August 15–19, 2016. Cham: Springer. Springer Proc. Math. Stat. 283, 191-213 (2019). MSC: 60C05 05E05 82B23 82D60 PDFBibTeX XMLCite \textit{E. Bisi} and \textit{N. Zygouras}, Springer Proc. Math. Stat. 283, 191--213 (2019; Zbl 1429.60015) Full Text: DOI arXiv
Fox, Gereon; Stan, Daniel; Hermanns, Holger Syntactic partial order compression for probabilistic reachability. (English) Zbl 1522.68316 Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 446-467 (2019). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{G. Fox} et al., Lect. Notes Comput. Sci. 11388, 446--467 (2019; Zbl 1522.68316) Full Text: DOI
Sharma, Arpit The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68262 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 41-58 (2019). MSC: 68Q85 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{A. Sharma}, Lect. Notes Comput. Sci. 11884, 41--58 (2019; Zbl 1464.68262) Full Text: DOI
Lee, Edward A. Observation and interaction. Invited paper. (English) Zbl 1425.68111 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 31-42 (2019). MSC: 68Q05 68Q10 68Q45 68Q87 PDFBibTeX XMLCite \textit{E. A. Lee}, Lect. Notes Comput. Sci. 11417, 31--42 (2019; Zbl 1425.68111) Full Text: DOI
Karlis, Dimitris Mixture modelling of discrete data. (English) Zbl 1428.62279 Frühwirth-Schnatter, Sylvia (ed.) et al., Handbook of mixture analysis. Boca Raton, FL: CRC Press. Chapman Hall/CRC Handb. Mod. Stat. Methods, 193-218 (2019). MSC: 62H30 62H05 PDFBibTeX XMLCite \textit{D. Karlis}, in: Handbook of mixture analysis. Boca Raton, FL: CRC Press. 193--218 (2019; Zbl 1428.62279)
Liu, Han; Lafferty, John Nonparametric graphical models. (English) Zbl 1418.62120 Maathuis, Marloes (ed.) et al., Handbook of graphical models. Boca Raton, FL: CRC Press. Chapman Hall/CRC Handb. Mod. Stat. Methods, 309-324 (2019). MSC: 62G05 05C90 62H05 62J10 PDFBibTeX XMLCite \textit{H. Liu} and \textit{J. Lafferty}, in: Handbook of graphical models. Boca Raton, FL: CRC Press. 309--324 (2019; Zbl 1418.62120)
Evans, Robin Markov properties for mixed graphical models. (English) Zbl 1442.62111 Maathuis, Marloes (ed.) et al., Handbook of graphical models. Boca Raton, FL: CRC Press. Chapman Hall/CRC Handb. Mod. Stat. Methods, 39-60 (2019). MSC: 62H05 60J20 62H99 PDFBibTeX XMLCite \textit{R. Evans}, in: Handbook of graphical models. Boca Raton, FL: CRC Press. 39--60 (2019; Zbl 1442.62111)
Jorgensen, Palle E. T.; Tian, Feng Random measures in infinite-dimensional dynamics. (English) Zbl 1417.37020 Ruzhansky, Michael (ed.) et al., Advanced topics in mathematical analysis. Boca Raton, FL: CRC Press. 1-38 (2019). MSC: 37-02 37A50 37H10 90B10 90B15 60G22 60J65 60J70 PDFBibTeX XMLCite \textit{P. E. T. Jorgensen} and \textit{F. Tian}, in: Advanced topics in mathematical analysis. Boca Raton, FL: CRC Press. 1--38 (2019; Zbl 1417.37020)
Aerts, Diederik; De Bianchi, Massimiliano Sassoli; Sozzo, Sandro; Veloz, Tomas Quantum cognition goes beyond-quantum: modeling the collective participant in psychological measurements. (English) Zbl 1414.81014 Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23–24, 2015. Hackensack, NJ: World Scientific. 355-382 (2019). MSC: 81P05 81P16 PDFBibTeX XMLCite \textit{D. Aerts} et al., in: Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23--24, 2015. Hackensack, NJ: World Scientific. 355--382 (2019; Zbl 1414.81014) Full Text: DOI arXiv
van der Gaag, Linda C.; Leray, Philippe Qualitative probabilistic relational models. (English) Zbl 1517.68389 Ciucci, Davide (ed.) et al., Scalable uncertainty management. 12th international conference, SUM 2018, Milan, Italy, October 3–5, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11142, 276-289 (2018). MSC: 68T37 62H22 PDFBibTeX XMLCite \textit{L. C. van der Gaag} and \textit{P. Leray}, Lect. Notes Comput. Sci. 11142, 276--289 (2018; Zbl 1517.68389) Full Text: DOI
Piho, Paul; Hillston, Jane Policy synthesis for collective dynamics. (English) Zbl 1514.68179 McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 356-372 (2018). MSC: 68Q85 60J28 68Q87 90C40 93A16 PDFBibTeX XMLCite \textit{P. Piho} and \textit{J. Hillston}, Lect. Notes Comput. Sci. 11024, 356--372 (2018; Zbl 1514.68179) Full Text: DOI
Pedersen, Mathias Ruggaard; Bacci, Giorgio; Larsen, Kim Guldstrand; Mardare, Radu A hemimetric extension of simulation for semi-Markov decision processes. (English) Zbl 1514.68192 McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 339-355 (2018). MSC: 68Q87 03B70 68Q85 PDFBibTeX XMLCite \textit{M. R. Pedersen} et al., Lect. Notes Comput. Sci. 11024, 339--355 (2018; Zbl 1514.68192) Full Text: DOI
Tang, Qiyi; van Breugel, Franck Deciding probabilistic bisimilarity distance one for labelled Markov chains. (English) Zbl 1511.68187 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 681-699 (2018). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{Q. Tang} and \textit{F. van Breugel}, Lect. Notes Comput. Sci. 10981, 681--699 (2018; Zbl 1511.68187) Full Text: DOI
Montes, Ignacio; Miranda, Enrique; Vicig, Paolo Approximations of coherent lower probabilities by 2-monotone capacities. (English) Zbl 1512.60002 Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 854, 214-225 (2018). MSC: 60A05 PDFBibTeX XMLCite \textit{I. Montes} et al., Commun. Comput. Inf. Sci. 854, 214--225 (2018; Zbl 1512.60002) Full Text: DOI
Bhandari, Siddharth; Harsha, Prahladh; Molli, Tulasimohan; Srinivasan, Srikanth On the probabilistic degree of OR over the reals. (English) Zbl 1524.68131 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 5, 12 p. (2018). MSC: 68Q06 06E30 68Q87 PDFBibTeX XMLCite \textit{S. Bhandari} et al., LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 5, 12 p. (2018; Zbl 1524.68131) Full Text: DOI arXiv
Paquet, Hugo; Winskel, Glynn Continuous probability distributions in concurrent games. (English) Zbl 1527.68141 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 321-344 (2018). MSC: 68Q85 68N19 68N30 68Q55 91A80 PDFBibTeX XMLCite \textit{H. Paquet} and \textit{G. Winskel}, Electron. Notes Theor. Comput. Sci. 341, 321--344 (2018; Zbl 1527.68141) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu Complete axiomatization for the total variation distance of Markov chains. (English) Zbl 1525.68080 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 27-39 (2018). MSC: 68Q85 03B70 60J10 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Electron. Notes Theor. Comput. Sci. 336, 27--39 (2018; Zbl 1525.68080) Full Text: DOI
Hillston, Jane; Piazza, Carla; Rossi, Sabina Persistent stochastic non-interference. (English) Zbl 1525.68084 Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 53-68 (2018). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{J. Hillston} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 53--68 (2018; Zbl 1525.68084) Full Text: arXiv Link
Castiglioni, Valentina Trace and testing metrics on nondeterministic probabilistic processes. (English) Zbl 1525.68081 Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 19-36 (2018). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Castiglioni}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 19--36 (2018; Zbl 1525.68081) Full Text: arXiv Link
Gorshenin, Andrey; Korolev, Victor A functional approach to estimation of the parameters of generalized negative binomial and gamma distributions. (English) Zbl 1479.60027 Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 353-364 (2018). MSC: 60E05 68Q06 62E10 68U10 PDFBibTeX XMLCite \textit{A. Gorshenin} and \textit{V. Korolev}, Commun. Comput. Inf. Sci. 919, 353--364 (2018; Zbl 1479.60027) Full Text: DOI arXiv
Liu, Tianyu Torpid mixing of Markov chains for the six-vertex model on \(\mathbb{Z}^2\). (English) Zbl 1525.82011 Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 52, 15 p. (2018). MSC: 82B20 60K35 68Q87 PDFBibTeX XMLCite \textit{T. Liu}, LIPIcs -- Leibniz Int. Proc. Inform. 116, Article 52, 15 p. (2018; Zbl 1525.82011) Full Text: DOI arXiv
Blanca, Antonio; Galanis, Andreas; Goldberg, Leslie Ann; Stefankovic, Daniel; Vigoda, Eric; Yang, Kuan Sampling in uniqueness from the Potts and random-cluster models on random regular graphs. (English) Zbl 1525.82005 Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 33, 15 p. (2018). MSC: 82B20 82B26 82B43 68Q87 68W20 05C80 62H30 60K35 82D40 PDFBibTeX XMLCite \textit{A. Blanca} et al., LIPIcs -- Leibniz Int. Proc. Inform. 116, Article 33, 15 p. (2018; Zbl 1525.82005) Full Text: DOI arXiv
Blanca, Antonio; Chen, Zongchen; Vigoda, Eric Swendsen-Wang dynamics for general graphs in the tree uniqueness region. (English) Zbl 1525.82004 Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 32, 18 p. (2018). MSC: 82B20 68Q87 60J10 60K35 05C80 68W40 PDFBibTeX XMLCite \textit{A. Blanca} et al., LIPIcs -- Leibniz Int. Proc. Inform. 116, Article 32, 18 p. (2018; Zbl 1525.82004) Full Text: DOI arXiv
Cabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, Barbara Updating probabilistic knowledge on condition/event nets using Bayesian networks. (English) Zbl 1520.68090 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018). MSC: 68Q85 68P15 68Q87 68T30 PDFBibTeX XMLCite \textit{B. Cabrera} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018; Zbl 1520.68090) Full Text: DOI arXiv
Kiefer, Stefan On computing the total variation distance of hidden Markov models. (English) Zbl 1499.68146 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 130, 13 p. (2018). MSC: 68Q25 60B10 60J10 PDFBibTeX XMLCite \textit{S. Kiefer}, LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 130, 13 p. (2018; Zbl 1499.68146) Full Text: DOI arXiv
Castellan, Simon; Clairambault, Pierre; Paquet, Hugo; Winskel, Glynn The concurrent game semantics of probabilistic PCF. (English) Zbl 1497.68331 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). 215-224 (2018). MSC: 68Q85 68Q55 68Q87 91A80 PDFBibTeX XMLCite \textit{S. Castellan} et al., in: 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). 215--224 (2018; Zbl 1497.68331) Full Text: DOI Link
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Concurrency and probability: removing confusion, compositionally. (English) Zbl 1497.68329 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). 195-204 (2018). MSC: 68Q85 68Q10 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} et al., in: 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). 195--204 (2018; Zbl 1497.68329) Full Text: DOI
Nezhelskaya, Luydmila; Sidorova, Ekaterina Optimal estimation of the states of synchronous generalized flow of events of the second order under its complete observability. (English) Zbl 1450.90001 Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 17th international conference, ITMM 2018, named after A.F. Terpugov, and 12th workshop on retrial queues and related topics, WRQ 2018, Tomsk, Russia, September 10–15, 2018. Selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 912, 157-171 (2018). MSC: 90B22 90B15 60J20 PDFBibTeX XMLCite \textit{L. Nezhelskaya} and \textit{E. Sidorova}, Commun. Comput. Inf. Sci. 912, 157--171 (2018; Zbl 1450.90001) Full Text: DOI
van der Boor, Mark; Borst, Sem C.; van Leeuwaarden, Johan S. H.; Mukherjee, Debankur Scalable load balancing in networked systems: universality properties and stochastic coupling methods. (English) Zbl 1490.90100 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3893-3923 (2018). MSC: 90B22 60K25 60K30 68M14 68M20 90B15 PDFBibTeX XMLCite \textit{M. van der Boor} et al., in: Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3893--3923 (2018; Zbl 1490.90100) Full Text: DOI arXiv
Guruswami, Venkatesan; Resch, Nicolas; Xing, Chaoping Lossless dimension expanders via linearized polynomials and subspace designs. (English) Zbl 1441.68037 Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 4, 16 p. (2018). MSC: 68P30 68Q87 94B05 PDFBibTeX XMLCite \textit{V. Guruswami} et al., LIPIcs -- Leibniz Int. Proc. Inform. 102, Article 4, 16 p. (2018; Zbl 1441.68037) Full Text: DOI
Ben-Aroya, Avraham; Chattopadhyay, Eshan; Doron, Dean; Li, Xin; Ta-Shma, Amnon A new approach for constructing low-error, two-source extractors. (English) Zbl 1441.68034 Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 3, 19 p. (2018). MSC: 68P30 68Q87 68R05 PDFBibTeX XMLCite \textit{A. Ben-Aroya} et al., LIPIcs -- Leibniz Int. Proc. Inform. 102, Article 3, 19 p. (2018; Zbl 1441.68034) Full Text: DOI
Kane, Daniel; Rao, Sankeerth A PRG for Boolean PTF of degree 2 with seed length subpolynomial in \(\epsilon\) and logarithmic in \(n\). (English) Zbl 1441.68151 Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 2, 24 p. (2018). MSC: 68Q87 68Q06 PDFBibTeX XMLCite \textit{D. Kane} and \textit{S. Rao}, LIPIcs -- Leibniz Int. Proc. Inform. 102, Article 2, 24 p. (2018; Zbl 1441.68151) Full Text: DOI
Zuck, Lenore D.; McMillan, Kenneth L.; Torf, Jordan \(P^5\): planner-less proofs of probabilistic parameterized protocols. (English) Zbl 1446.68107 Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 336-357 (2018). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{L. D. Zuck} et al., Lect. Notes Comput. Sci. 10747, 336--357 (2018; Zbl 1446.68107) Full Text: DOI
Deng, Xiaotie; Zhu, Keyu On Bayesian epistemology of Myerson auction. (English) Zbl 1446.68137 Chen, Jianer (ed.) et al., Frontiers in algorithmics. 12th international workshop, FAW 2018, Guangzhou, China, May 8–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10823, 183-196 (2018). MSC: 68T05 68T37 91A10 91A80 91B26 PDFBibTeX XMLCite \textit{X. Deng} and \textit{K. Zhu}, Lect. Notes Comput. Sci. 10823, 183--196 (2018; Zbl 1446.68137) Full Text: DOI
Miracle, Sarah; Streib, Amanda Pascoe Rapid mixing of \(k\)-class biased permutations. (English) Zbl 1505.60069 Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 820-834 (2018). MSC: 60J10 60C05 05A05 60K35 PDFBibTeX XMLCite \textit{S. Miracle} and \textit{A. P. Streib}, Lect. Notes Comput. Sci. 10807, 820--834 (2018; Zbl 1505.60069) Full Text: DOI arXiv
Gärtner, Bernd; Zehmakan, Ahad N. Majority model on random regular graphs. (English) Zbl 1485.60012 Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 572-583 (2018). MSC: 60C05 05C80 60K35 PDFBibTeX XMLCite \textit{B. Gärtner} and \textit{A. N. Zehmakan}, Lect. Notes Comput. Sci. 10807, 572--583 (2018; Zbl 1485.60012) Full Text: DOI arXiv
Baccelli, Francois; Haji-Mirsadeghi, Mir-Omid; Khezeli, Ali Eternal family trees and dynamics on unimodular random graphs. (English) Zbl 1423.60020 Sobieczky, Florian (ed.), Unimodularity in randomly generated graphs. AMS special session on unimodularity in randomly generated graphs, Denver, CO, USA, October 8–9, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 719, 85-127 (2018). MSC: 60C05 60K35 05C80 PDFBibTeX XMLCite \textit{F. Baccelli} et al., Contemp. Math. 719, 85--127 (2018; Zbl 1423.60020) Full Text: DOI arXiv
Benjamini, Itai Percolation and coarse conformal uniformization. (English) Zbl 1423.60151 Sobieczky, Florian (ed.), Unimodularity in randomly generated graphs. AMS special session on unimodularity in randomly generated graphs, Denver, CO, USA, October 8–9, 2016. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 719, 39-42 (2018). MSC: 60K35 05C80 60D05 PDFBibTeX XMLCite \textit{I. Benjamini}, Contemp. Math. 719, 39--42 (2018; Zbl 1423.60151) Full Text: DOI arXiv