An effective approach based on reliability methods for high-dimensional Bayesian model updating of dynamical nonlinear structures | Synapse