In this paper it is shown that the implicit Euler time-discretization of some classes of switching systems with sliding modes, yields a very good stabilization of the trajectory and of its derivative on the sliding surface. Therefore the spurious oscillations which are pointed out elsewhere when an explicit method is used, are avoided. Moreover the method (an event-capturing, or time-stepping a...

Prior work has shown that features which appear to be biologically plausible as well as empirically useful can be found by sparse coding with a prior such as a laplacian (L1) that promotes sparsity. We show how smoother priors can preserve the benefits of these sparse priors while adding stability to the Maximum A-Posteriori (MAP) estimate that makes it more useful for prediction problems. Addi...

This article is concerned with a new fourth-order implicit time-stepping scheme for the simulation of acoustic waves. For an enhanced efficiency, the new scheme is incorporated with a locally one-dimensional (LOD) procedure. Its stability and accuracy are analyzed and compared with those of the standard explicit fourth-order scheme. It has been observed from various experiments that the computa...

In this paper we consider a passive scalar transported in two-dimensional flow. The governing equation is that of the convection–diffusion–reaction equation. For purposes of computational efficiency, we apply an alternating-direction implicit scheme akin to that proposed by Polezhaev. Use of this implicit operator-splitting scheme allows the application of a tridiagonal Thomas solver to obtain ...

We study a practical optimization problems for venture capital investments and/or Research and Development (R&D) investments. The first problem is that, given the amount of the initial investment and the reward function at the initial public offering (IPO) market, the venture capitalist wants to maximize overall discounted cash flows after subtracting subsequent (if needed) investments. We desc...

Fulfilling the production objectives of a grassland-based beef system requires a robust management strategy to secure the best practicable use of forage resources with regard to the cattle demand. To address the challenging issue of designing such strategies, this article describes the application of an ontology of agricultural production systems to the generic conceptual model SEDIVER, which s...

Well Founded Semantics for logic programs extended with eXplicit negation (WFSX) is characterized by that, in any model, whenever :a (the explicit negation of a) holds, then a (the negation by default of a) also holds. When explicit negation is used contradiction may be present (e.g. a and :a both hold for some a) and thus no semantics is given to the program. We introduce here the notion of re...