An optimal model-based neural evaluation algorithm and an iterative gradient optimization algorithm used in image restoration and statistical filtering are presented. The relationship between the two algorithms is studied. We show that under the symmetric positive-definite condition, a condition easily satisfied in restoration and filtering, intra-pixelsequentialprocessing (IPSP) of model-based...

Iterative aggregation/disaggregation methods (IAD) belong to competitive tools for computation the characteristics of Markov chains as shown in some publications devoted to testing and comparing various methods designed to this purpose. According to Dayar T., Stewart W.J. Comparison of partitioning techniques for two-level iterative solvers on large, sparse Markov chains. SIAM J. Sci. Comput.Vo...

High dimensional data are nowadays encountered in various branches of science. Variable selection techniques play a key role in analyzing high dimensional data. Generally two approaches for variable selection in the high dimensional data setting are considered — forward selection methods and penalization methods. In the former, variables are introduced in the model one at a time depending on th...

A paradigm for automatic approximation/refinement in conservative CTL model checking is presented. The approximations are used to verify a given formula conservatively by computing upper and/or lower bounds to the set of satisfying states at each subformula. These approximations attempt to perform conservative verification with the least possible number of BDD variables and BDD nodes. We presen...

This is a review paper on some of the physics, modeling, and iterative algorithms in proton computed tomography (pCT) image reconstruction. The primary challenge in pCT image reconstruction lies in the degraded spatial resolution resulting from multiple Coulomb scattering within the imaged object. Analytical models such as the most likely path (MLP) have been proposed to predict the scattered t...

An iterative method for solving a linear system Ax b produces iterates {xk with associated residual norms that, in general, need not decrease "smoothly" to zero. "Residual smoothing" techniques are considered that generate a second sequence {Yk via a simple relation yk (1 0k)yk-+ r/kxk. The authors first review and comment on a technique of this form introduced by Sch6nauer and Weiss that resul...