PRISM is a probabilistic programming language based on Prolog augmented with primitives to represent probabilistic choice. PRISM is implemented using a combination of low level support from a modified version of B-Prolog, source level program transformation, and libraries for probabilistic inference and learning implemented in the imperative language C. More recently, developers of probabilisti...

This paper considers a multi-objective portfolio selection problem imposed by gaining of portfolio, divided yield and risk control in an ambiguous investment environment, in which the return and risk are characterized by probabilistic numbers. Based on the theory of possibility, a new multi-objective portfolio optimization model with gaining of portfolio, divided yield and risk control is propo...

Abstract We present d3p , a software package designed to help fielding runtime efficient widely-applicable Bayesian inference under differential privacy guarantees. achieves general applicability wide range of probabilistic modelling problems by implementing the differentially private variational algorithm, allowing users fit any parametric model with differentiable density function. adopts pro...

In this paper, the impacts of the uncertainty of fuel heating value as well as the burner efficiency on performance functions of a turbofan engine are studied. The mean value and variance curves for thrust, thrust specific fuel consumption as well as propulsive, thermal and overall efficiencies are drawn and analyzed, considering the aforementioned uncertainties based on various Mach numbers at...

We consider a programming language that can manipulate both classical and quantum information. Our is type-safe designed for variational programming, which hybrid classical-quantum computational paradigm. The subsystem of the Probabilistic FixPoint Calculus (PFPC), lambda calculus with mixed-variance recursive types, term recursion probabilistic choice. first-order linear type system two subsys...