scholarly journals Denotational validation of higher-order Bayesian inference

2018 ◽  
Vol 2 (POPL) ◽  
pp. 1-29 ◽  
Author(s):  
Adam Ścibior ◽  
Ohad Kammar ◽  
Matthijs Vákár ◽  
Sam Staton ◽  
Hongseok Yang ◽  
...  
Keyword(s):  
Bayesian Inference ◽  
Higher Order

scholarly journals Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization

2019 ◽  
Vol 3 (POPL) ◽  
pp. 1-30 ◽  
Author(s):  
Tetsuya Sato ◽  
Alejandro Aguirre ◽  
Gilles Barthe ◽  
Marco Gaboardi ◽  
Deepak Garg ◽  
...  
Keyword(s):  
Bayesian Inference ◽  
Formal Verification ◽  
Higher Order ◽  
Probabilistic Programs

scholarly journals An Efficient Improved OGWSBI Algorithm for Accurate Off-Grid DOA Estimation of Coherent Signals

2021 ◽  
Vol 2021 ◽  
pp. 1-8
Author(s):  
Xiangjun Xu ◽  
Mingwei Shen ◽  
Di Wu ◽  
Daiyin Zhu
Keyword(s):  
Bayesian Inference ◽  
Unitary Transformation ◽  
Order Approximation ◽  
Doa Estimation ◽  
Higher Order ◽  
Estimation Accuracy ◽  
Real Field ◽  
Coherent Signals ◽  
Steering Vector ◽  
Grid Model

The performance of the weighted sparse Bayesian inference (OGWSBI) algorithm for off-grid coherent DOA estimation is not satisfactory due to the inaccurate weighting information. To increase the estimation accuracy and efficiency, an improved OGWSBI algorithm based on a higher-order off-grid model and unitary transformation for off-grid coherent DOA estimation is proposed in this paper. Firstly, to reduce the approximate error of the first-order off-grid model, the steering vector is reformulated by the second-order Taylor expansion. Then, the received data is transformed from complex value to real value and the coherent signals are decorrelated via utilizing unitary transformation, which can increase the computational efficiency and restore the rank of the covariance matrix. Finally, in the real field, the steering vector higher-order approximation model and weighted sparse Bayesian inference are combined together to realize the estimation of DOA. Extensive simulation results indicate that under the condition of coherent signals and low SNR, the estimation accuracy of the proposed algorithm is about 50% higher than that of the OGWSBI algorithm, and the calculation time is reduced by about 60%.

scholarly journals Higher-order probabilistic perceptrons as Bayesian inference engines

1999 ◽  
Vol 59 (5) ◽  
pp. 6161-6174 ◽  
Author(s):  
J. W. Clark ◽  
K. A. Gernoth ◽  
S. Dittmar ◽  
M. L. Ristig
Keyword(s):  
Bayesian Inference ◽  
Higher Order ◽  
Inference Engines

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Quantitative EPMA of nitrogen : A tricky element in the electron-probe microanalyzer

1992 ◽  
Vol 50 (2) ◽  
pp. 1622-1623
Author(s):  
G.F. Bastin ◽  
H.J.M. Heijligers
Keyword(s):  
Background Subtraction ◽  
Electron Probe ◽  
Detection System ◽  
Higher Order ◽  
Light Elements ◽  
Strong Suppression ◽  
Electron Probe Microanalyzer ◽  
Quantitative Epma ◽  
Peak Count ◽  
Lead Stearate

Among the ultra-light elements B, C, N, and O nitrogen is the most difficult element to deal with in the electron probe microanalyzer. This is mainly caused by the severe absorption that N-Kα radiation suffers in carbon which is abundantly present in the detection system (lead-stearate crystal, carbonaceous counter window). As a result the peak-to-background ratios for N-Kα measured with a conventional lead-stearate crystal can attain values well below unity in many binary nitrides . An additional complication can be caused by the presence of interfering higher-order reflections from the metal partner in the nitride specimen; notorious examples are elements such as Zr and Nb. In nitrides containing these elements is is virtually impossible to carry out an accurate background subtraction which becomes increasingly important with lower and lower peak-to-background ratios. The use of a synthetic multilayer crystal such as W/Si (2d-spacing 59.8 Å) can bring significant improvements in terms of both higher peak count rates as well as a strong suppression of higher-order reflections.

Effects of Higher-Order Laue Zone reflections on structure images

1993 ◽  
Vol 51 ◽  
pp. 450-451
Author(s):  
H. S. Kim ◽  
S. S. Sheinin
Keyword(s):  
Wave Vector ◽  
Theoretical Calculations ◽  
Reciprocal Lattice ◽  
Image Plane ◽  
Bloch Wave ◽  
Dynamical Theory ◽  
Higher Order ◽  
Lattice Image ◽  
Lattice Vector ◽  
Image Position

The importance of image simulation in interpreting experimental lattice images is well established. Normally, in carrying out the required theoretical calculations, only zero order Laue zone reflections are taken into account. In this paper we assess the conditions for which this procedure is valid and indicate circumstances in which higher order Laue zone reflections may be important. Our work is based on an analysis of the requirements for obtaining structure images i.e. images directly related to the projected potential. In the considerations to follow, the Bloch wave formulation of the dynamical theory has been used.The intensity in a lattice image can be obtained from the total wave function at the image plane is given by: where ϕg(z) is the diffracted beam amplitide given by In these equations,the z direction is perpendicular to the entrance surface, g is a reciprocal lattice vector, the Cg(i) are Fourier coefficients in the expression for a Bloch wave, b(i), X(i) is the Bloch wave excitation coefficient, ϒ(i)=k(i)-K, k(i) is a Bloch wave vector, K is the electron wave vector after correction for the mean inner potential of the crystal, T(q) and D(q) are the transfer function and damping function respectively, q is a scattering vector and the summation is over i=l,N where N is the number of beams taken into account.

Sign in / Sign up

Export Citation Format

Share Document