First Page | Document Content | |
---|---|---|
![]() Date: 2015-04-04 10:43:17De Broglie–Bohm theory Antony Valentini Probability amplitude Probability current Psi Linear temporal logic Wigner quasi-probability distribution Physics Quantum mechanics Wave function | Source URL: rspa.royalsocietypublishing.orgDownload Document from Source WebsiteFile Size: 1,41 MBShare Document on Facebook |
![]() | PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2DocID: 1xU7i - View Document |
![]() | PDF DocumentDocID: 1xSNB - View Document |
![]() | PDF DocumentDocID: 1xSi4 - View Document |
![]() | PDF DocumentDocID: 1xRL5 - View Document |
![]() | PDF DocumentDocID: 1xPEr - View Document |