A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
The existence of positive solution to some asymptotically linear elliptic equations in exterior domains.
In this paper, we are concerned with the asymptotically linear elliptic problem -Δu + λu = f(u), u ∈ H (Ω) in an exterior domain Ω = RO (N ≥ 3) with O a smooth bounded and star-shaped open set, and lim f(t)/t = l, 0 < l < +∞. Using a precise deformation lemma and algebraic topology argument, we prove under our assumptions that the problem possesses at least one positive solution.
A Probabilistic Theory for Error Estimation in Automatic Integration.
Gradient flow optimization for reducing blocking effects of transform coding
This paper addresses the problem of reducing blocking effects in transform coding. A novel optimization approach using the gradient flow is proposed. Using some properties of the gradient flow on a manifold, an optimized filter design method for reducing the blocking effects is presented. Based on this method, an image reconstruction algorithm is derived. The algorithm maintains the fidelity of images while reducing the blocking effects. Experimental tests demonstrate that the presented algorithm...
Page 1