This paper introduces and investigates decision problems for numberless probabilistic automata, i.e. probabilistic automata where the support of each probabilistic transitions is specified, but the exact values of the probabilities are not. A numberless probabilistic automaton can be instantiated into a probabilistic automaton by specifying the exact values of the non-zero probabilistic transit...

thus, we will restrict our discussion to the possible physiological relevance of signaling from the endosome. Given the importance of ERKs (and PI3-K) in signaling, 20141 Milan one would predict dramatic effects of the blockade of University of Milan Medical School endocytosis on biological phenotypes. However, in the 20122 Milan few cases where biological end points were measured, The FIRC Ins...

The prediction of river, s discharge rate is one of the important issues in water resources engineering. This issue is very important for the planning, management, and policy making in water resources management, especially in the country like Iran, with limited water resources in line the economic and environmental development. Awareness of how the relationship between rainfall and run...

Let ďc be computable reducibility on ceers. We show that for every computably enumerable equivalence relation (or ceer) R with infinitely many equivalence classes, the index sets ti : Ri ďc Ru (with R non-universal), ti : Ri ěc Ru, and ti : Ri ”c Ru are Σ3 complete, whereas in case R has only finitely many equivalence classes, we have that ti : Ri ďc Ru is Π2 complete, and ti : Ri ěc Ru (with R...

Using limit linear series and a result controlling degeneration from separable maps to inseparable maps, we give a formula for the number of selfmaps of P with ramification to order ei at general points Pi, in the case that all ei are less than the characteristic. Unlike the case of characteristic 0, the answer is not given by Schubert calculus, nor is the number of maps always finite for disti...

Robust supplier selection problem, in a scenario-based approach has been proposed, when the demand and exchange rates are subject to uncertainties. First, a deterministic multi-objective mixed integer linear programming is developed; then, the robust counterpart of the proposed mixed integer linear programming is presented using the recent extension in robust optimization theory. We discuss dec...

dynamic cellular manufacturing systems,   mixed-integer non-linear programming,   production planning, manufacturing attributes   this paper presents a novel mixed-integer non-linear programming model for the design of a dynamic cellular manufacturing system (dcms) based on production planning (pp) decisions and several manufacturing attributes. such an integrated dcms model with an extensive c...

this paper aims to investigate the integrated production/distribution and inventory planning for perishable products with fixed life time in the constant condition of storage throughout a two-echelon supply chain by integrating producers and distributors. this problem arises from real environment in which multi-plant with multi-function lines produce multi-perishable products with fixed life ti...