A general scheme for constructing inversion algorithms for cone beam CT.
We prove an x-ray estimate in general dimension which is a stronger version of Wolff's Kakeya estimate [12]. This generalizes the estimate in [13], which dealt with the n = 3 case.
We introduce a method to compute rigorous component-wise enclosures of discrete convolutions using the fast Fourier transform, the properties of Banach algebras, and interval arithmetic. The purpose of this new approach is to improve the implementation and the applicability of computer-assisted proofs performed in weighed Banach algebras of Fourier/Chebyshev sequences, whose norms are known to be numerically unstable. We introduce some application examples, in particular a rigorous aposteriori...
In this paper, a new numerical method for solving the nonlinear constrained optimal control with quadratic performance index is presented. The method is based upon B-spline functions. The properties of B-spline functions are presented. The operational matrix of derivative () and integration matrix () are introduced. These matrices are utilized to reduce the solution of nonlinear constrained quadratic optimal control to the solution of nonlinear programming one to which existing well-developed...