Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds by Zaiser, F

“UPDATE: I’m pregnant!”: inferring global downloads and reasons for using menstrual tracking apps by Rampazzo, F, Raybould, A, Rampazzo, P, Barker, R, Leasure, D

GPS imaging of vertical bedrock displacements : quantification of two-dimensional vertical crustal deformation in China by Pan, Yuanjin, Hammond, William C., Ding, Hao, Mallick, Rishav, Jiang, Weiping, Xu, Xinyu, Shum, C. K., Shen, Wenbin

Get full text

Uncertainty Quantification in Deep Learning Models of G-Computation for Outcome Prediction under Dynamic Treatment Regimes by Deng, Leon

Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

Get full text

Online estimation of key battery states for management of vanadium redox flow battery by Wei, Zhongbao

Get full text

Bayesian lesion estimation with a structured spike-and-slab prior by Menacher, A, Nichols, T, Holmes, C, Ganjgahi, H

Improving the productivity of high-level synthesis by advancing reuseability and verifiability by Yang, Liwei

Get full text

Uncertainty & robustness for single-cell studies by Shiffman, Miriam

Get full text

Probabilistic photonic computing with chaotic light by Brückerhoff-Plückelmann, F, Borras, H, Klein, B, Varri, A, Becker, M, Dijkstra, J, Brückerhoff, M, Wright, CD, Salinga, M, Bhaskaran, H, Risse, B, Fröning, H, Pernice, W

Ritual speech, performativity, and modality by Frangulov, AM

Predictive Modelling and Analysis of Process Parameters on Material Removal Characteristics in Abrasive Belt Grinding Process by Pandiyan, Vigneashwara, Caesarendra, Wahyu, Tjahjowidodo, Tegoeh, Praveen, Gunasekaran

Get full text
Get full text

Counter-checking uncertainty calculations in Bayesian operational modal analysis with EM techniques by Ma, Xinda, Au, Siu-Kui

Get full text

Computation fluid dynamics on drag reduction II by Zang, Bin

Get full text