This paper proposes a novel approach to spelling correction. It reranks the output of an existing spelling corrector, Aspell. A discriminative model (Ranking SVM) is employed to improve upon the initial ranking, using additional features as evidence. These features are derived from state-of-the-art techniques in spelling correction, including edit distance, letter-based n-gram, phonetic similar...

Electron holography has been shown to allow a posteriori aberration correction. Therefore, an aberration corrector in the transmission electron microscope does not seem to be needed with electron holography to achieve atomic lateral resolution. However, to reach a signal resolution sufficient for detecting single light atoms and very small interatomic fields, the aberration corrector has turned...

We study the asymptotic behavior, at small viscosity ε, of the NavierStokes equations in a 2D curved domain. The Navier-Stokes equations are supplemented with the slip boundary condition, which is a special case of the Navier friction boundary condition where the friction coefficient is equal to two times the curvature on the boundary. We construct an artificial function, which is called a corr...

This paper deals with intrusive Galerkin projection methods with Roe-type solver for uncertain hyperbolic systems using a finite volume discretization in physical space and a piecewise continuous representation at the stochastic level. The aim of this paper is to design a cost-effective adaptation of the deterministic Dubois and Mehlman corrector to avoid entropy-violating shocks in the presenc...

Images obtained by drift-scanning with a stationary telescope are affected by the declination-dependent curvature of star trails. The image displacement to curvature and drift rate variation increases with the angular field of view and can lead to significant loss of resolution with modern large-format CCD arrays. We show that these effects can be essentially eliminated by means of an optical c...

We propose an alternative implementation of preconditioning techniques for the solution of non-linear problems. Within the framework of Newton-Krylov methods, preconditioning techniques are needed to improve the performance of the solvers. We propose a different implementation approach to re-utilize existing semiimplicit methods to precondition fully implicit non-linear schemes. We propose a pr...

Double Data Rate Dynamic Random Access Memory (DDR DRAM) has become important to develop a low-power high performance DCC(Duty Cycle Corrector) with better duty cycle accuracy. DDR DRAM increases the speed using Successive Approximation Register Duty Cycle Corrector (SAR DCC). The proposed DCC circuit will be implemented in a 0.18um CMOS process. Here, Adjuster circuit delay line is being modif...

The current trend in building medium-size telescopes for wide-field imaging is to use a Ritchey-Chrétien (RC) design with a multilens corrector near the focus. Our goal is to find a cost-effective alternative design to the RC system for seeing-limited observations. We present an f/4.5 all-spherical catadioptric system with a 1.5° field of view. The system consists of a 0.8 m spherical primary a...

We consider a sequence of Dirichlet problems in varying domains (or, more generally, of relaxed Dirichlet problems involving measures in M 0 (Ω)) for second order linear elliptic operators in divergence form with varying matrices of coefficients. When the matrices H -converge to a matrix A , we prove that there exist a subsequence and a measure μ in M 0 (Ω) such that the limit problem is the re...

From a spectral method combined with a predictor-corrector scheme, we numerically study the behavior in time of solutions of the three-dimensional generalized Kadomtsev-Petviashvili equations regularized using the BBM trick. The solution no longer blows up and the solitonic behavior is observed.