We present recent advances on Dirichlet forms methods either to extend financial models beyond the usual stochastic calculus or to study stochastic models with less classical tools. In this spirit, we interpret the asymptotic error on the solution of an sde due to the Euler scheme (Kurtz and Protter [Ku-Pr-91a]) in terms of a Dirichlet form on the Wiener space, what allows to propagate this err...

A simple generalization of the MHD model accounting for the fluctuations of the configurations due to kinetic effects in plasmas in short times small scales is considered. The velocity of conductive fluid and the magnetic field are considerd as the stochastic fields (or random trial tra-jectories) for which the classical MHD equations play the role of the mean field equations in the spirit of s...

In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. Markov’s principle is especially useful for proving termination of specific computations. Allowing a limited form of classical reasoning we get more powerful resulting system which remains constructive and valid in the standard c...

One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to s...

We introduce a new type of local and microlocal asymptotic analysis in algebras of generalized functions, based on the presheaf properties of those algebras and on the properties of their elements with respect to a regularizing parameter. Contrary to the more classical frequential analysis based on the Fourier transform, we can describe a singular asymptotic spectrum which has good properties w...

A classical-like combinatorial interpretation of the Fibonomial coefficients is proposed following [1,2]. It is considered to be in the spirit classicalcombinatorial interpretation like binomial Newton and Gauss q-binomial coefficients or Stirling number of both kinds are. (See ref. [3,4] and refs. given therein). It also concerns choices. Choices of specific sub-posets from a non-tree poset sp...

We build on the classical greedy sequential set cover algorithm, in the spirit of the primal-dual schema, to obtain simple parallel approximation algorithms for the set cover problem and its generalizations. Our algorithms use randomization, and our randomized voting lemmas may be of independent interest. Fast parallel approximation algorithms were known before for set cover, though not for the...

We present a scheme which associates to a generalized quasi-variational inequality a dual problem and generalized Kuhn-Tucker conditions. This scheme allows to solve the primal and the dual problems in the spirit of the classical Lagrangian duality for constrained optimization problems and extends, in non necessarily finite dimentional spaces, the duality approach obtained by A. Auslender for g...

Neural network (NN) approaches to pattern classification problems both complement and compete with statistical approaches. Each approach has unique strengths that can be exploited in the design and evaluation of classifier systems. In the spirit of emphasizing this complementary nature, four points are made in this article. First, classical (statistical) techniques can be used to evaluate the p...

In this paper we introduce the notions of uniformly quasi-primary ideals and uniformly classical quasi-primary submodules that generalize the concepts of uniformly primary ideals and uniformly classical primary submodules; respectively. Several characterizations of classical quasi-primary and uniformly classical quasi-primary submodules are given. Then we investigate for a ring $R$, when any fi...