Generalized methods for automated theorem proving can be used to compute formula transformations such as projection elimination and knowledge compilation. We present a framework based on clausal tableaux suited for such tasks. These tableaux are characterized independently of particular construction methods, but important features of empirically successful methods are taken into account, especi...

Existing penalty-based haptic rendering approaches are based on the penetration depth estimation in strictly translational sense and cannot properly take object rotation into account. We propose a new six-degree-of-freedom (6-DOF) haptic rendering algorithm which is based on determining the closest-point projection of the inadmissible configuration onto the set of admissible configurations. Ene...

In this work, we demonstrate an improved method for iterative phase retrieval with application to coherent diffractive imaging. By introducing additional operations inside the support term of existing iterated projection algorithms, we demonstrate improved convergence speed, higher success rate and, in some cases, improved reconstruction quality. New algorithms take a particularly simple form w...

We consider concave minimization problems over nonconvex sets. Optimization problems with this structure arise in sparse principal component analysis. We analyze both a gradient projection algorithm and an approximate Newton algorithm where the Hessian approximation is a multiple of the identity. Convergence results are established. In numerical experiments arising in sparse principal component...

Symmetry-projected Hartree-Fock-Bogoliubov (HFB) equations are derived using the variational ansatz for the generalized one-body density-matrix in the Valatin form. It is shown that the projected-energy functional can be completely expressed in terms of the HFB density-matrix and the pairing-tensor. The variation of this projected-energy is shown to result in HFB equations with modified express...

Recently much attention has been paid to the nonextensive canonical distributions: the αfamilies. Such distributions have been found in many real-world systems such as fully developed turbulence and financial markets. In this paper, a generalized mean-field method to approximate the expectations of the α-families is proposed. We calculate the α′-projection of a probability distribution to find ...

Abstract An a priori analysis for generalized local projection stabilized finite element approximations the solution of an advection–reaction equation is presented in this article. The stability and error estimates are derived conforming, nonconforming (Crouzeix–Raviart) streamline derivative norm. Finally, validation proposed stabilization scheme verification with appropriate numerical experim...

We extend projection theorems concerning Hellinger and Jones et al. divergences to the continuous case. These reduce certain estimation problems on generalized exponential models linear problems. introduce notion of regularity for show that in this case are similar ones discrete canonical also apply these ideas solve Student Cauchy distributions.

We are interested in a non-local partial differential equation modeling equal mitosis. prove that the solutions present persistent asymptotic oscillations and convergence to this periodic behavior, suitable spaces of weighted signed measures, occurs exponentially fast. It can be seen as spectral gap result between countable set dominant eigenvalues rest spectrum, which is our knowledge complete...