共 50 条
- [46] Denotational Validation of Higher-Order Bayesian Inference PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [47] A PRIOR AND DATA VALIDATION AND ADJUSTMENT SCHEME FOR BAYESIAN RELIABILITY ANALYSIS IN ENGINEERING DESIGN PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, DETC 2010, VOL 5, 2010, : 483 - 496
- [48] Design Optimization and Reliability Analysis of Variable Stiffness Composite Structures SMART STRUCTURES AND MATERIALS, 2017, 43 : 245 - 265