We argue that if there is a category of slightly deleterious mutations, then there should be a category of slightly advantageous back-mutations. We show that when there are both slightly deleterious and advantageous back-mutations, there is likely to be an increase in the rate of evolution after a population size expansion. This increase in the rate of evolution is short-lived. However, we show...

Abstract We prove a short time existence result for system consisting of geometric evolution equation hypersurface and parabolic on this evolving hypersurface. More precisely, we discuss mean curvature flow scaled with term that depends quantity defined the surface coupled to diffusion quantity. The proof is based splitting ansatz, solving both equations separately using linearization contracti...

We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem proving. We outline an approach to measuring the complexity of search which can be applied to analyze and evaluate the behaviour of theorem-proving strategies. Using our framework, we compare contraction-based strategi...

Background and Objectives: The Health System Evolution Plan was developed to improve quality and accessibility of health care services and reduce the costs to protect people from catastrophic out of pocket payments. The aim of current study is investigatation of Health System Evolution Plan effects on performance indices of governmental hospitals affiliated to Iran University o...

we investigated contraction to noradrenaline (na) and kc1 and sensitivity of na at the level of larger vessels (thoracic aorta and vena cava; left renal artery and left renal vein; lateral saphenous artery and lateral saphenous vein and finally central ear artery and marginal ear vein) in a model devised to mimic heart failure. the model presented here is the rabbit coronary ligation model in w...

Software evolution and its laws are essential for antifragile system design and development. In this paper we model early-stage perfective and corrective changes to software system architecture in terms of logical operations of expansion and safe contraction on a theory. As a result, we formulate an inference-based notion of property specification resilience for computational systems, intended ...

In the presented research, uniqueness and existence of a mild solution for fractional system semilinear evolution equations with infinite delay an infinitesimal generator operator are demonstrated. The generalized Liouville–Caputo derivative non-integer-order 1<??2 parameter 0<?<1 used to establish our model. ?-Laplace transform strongly continuous cosine sine families uniformly bounde...

This article deals with a 2 ? reaction-diffusion-taxis model consisting of Michaelis-Menten functional response predator-prey system. The critical section this is that temporal-spatial evolution the predators? velocity depends largely on gradient prey. But beyond that, system also inscribes prey-taxis mechanism an immediate movement predator u in to change prey v (which leads collection u). By ...