We reconsider work by Bellin and Scott in the 1990s on R. Milner and S. Abramsky’s encoding of linear logic in the π-calculus and give an account of efforts to establish a tight connection between the structure of proofs and of the cut elimination process in multiplicative linear logic, on one hand, and the input-output behaviour of the processes that represent them, on the other, resulting in ...

Semilinear stochastic evolution equations with multiplicative Poisson noise and monotone nonlinear drift in Hilbert spaces are considered‎. ‎The coefficients are assumed to have linear growth‎. ‎We do not impose coercivity conditions on coefficients‎. ‎A novel method of proof for establishing existence and uniqueness of the mild solution is proposed‎. ‎Examples on stochastic partial differentia...

A delayed predator-prey model with diffusion and competition is proposed. Some sufficient conditions on uniform persistence of the model have been obtained. By applying LiapunovRazumikhin technique, we will point out, under almost periodic circumstances, a set of sufficient conditions that assure the existence and uniqueness of the positive almost periodic solution which is globally asymptotica...

The possible control of competitive invasion by infection of the invader and multiplicative noise is studied. The basic model is the Lotka-Volterra competition system with emergent carrying capacities. Several stationary solutions of the non-infected and infected system are identified as well as parameter ranges of bistability. The latter are used for the numerical study of invasion phenomena. ...

In this article we investigate multiplicative effects between genes in relation to heterosis. The extensive literature on heterosis due to multiplicative effects between characters is reviewed, as is earlier work on the genetic description of heterosis. A two-locus diallelic model of arbitrary gene action is used to derive linear parameters for two multiplicative models. With multiplicative act...

In this paper, a predator–prey system with Beddington–DeAngelis functional response is studied, where the predator preys on n competing preys. We prove that the system admits very rich dynamics, including permanence, ultimate boundedness, extinction. Moreover, under some appropriate assumptions, there exists a unique almost periodic solution which is shown to be globally asymptotically stable.

By means of Mawhin’s continuation theorem of coincidence degree theory, some sufficient conditions are obtained for the existence of at least two positive almost periodic solutions of harvesting predator-prey model with Holling III type functional response and time delays. An example and numerical simulations are employed to illustrate the main result of this paper. Key–Words: Almost periodicit...

moslehian  and mirmostafaee, investigated the fuzzystability problems for the cauchy additive functional equation, the jensen additivefunctional equation and the cubic functional equation in fuzzybanach spaces. in this paper, we investigate thegeneralized hyers–-ulam--rassias stability of the generalizedadditive functional equation with $n$--variables, in fuzzy banachspaces. also, we will show ...

This paper shows that the synoptic variability of zonal and meridional midlatitude Pacific and Southern Ocean sea surface winds can be well described by a univariate stochastic dynamical system directly derived from data. The method used to analyze blended Quick Scatterometer (QuikSCAT)–NCEP winds is a general method to estimate drift and diffusion coefficients of a continuous stationary Markov...