This paper defines the grammar class of sequentially indexed grammars. Sequentially indexed grammars are the result of a change in the index stack handling mechanism of indexed grammars [Aho68, Aho69]. Sequentially indexed grammars are different from linear indexed grammars [Gaz88]. Like indexed languages, sequentially indexed languages are a fully abstract language class. Unlike indexed langua...

For optimization problems with nonlinear constraints, linearly constrained Lagrangian (LCL) methods sequentially minimize a Lagrangian function subject to linearized constraints. These methods converge rapidly near a solution but may not be reliable from arbitrary starting points. The well known example MINOS has proven effective on many large problems. Its success motivates us to propose a glo...

In primates, neuronal representations of objects are processed hierarchically in occipitotemporal cortices. A "novel" feature of objects is thought to emerge and become prevalent at a cortical area because of processing in this area. We tested the possibility that a feature representation prevalent in a given area emerges in the microcircuit of a hierarchically prior area as a small number of p...

The juvenile-to-adult phase transition is an important and critical step during plant development to ensure maximum reproductivity. This transition is regulated by different pathways, in some of which microRNAs are considered to be essential key components. In seed plants, miR156 and miR172 act sequentially in well characterized pathways to induce the vegetative phase change and floral formatio...

We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, ‘Talagrand’s stability’, and explain the relationship between this property and NIP in continuous logic. Using a result of Bourgain, Fremlin and Talagrand, we prove the ‘almost and Baire 1 definability’ of types assuming NIP...

recently, rahimi et al. [comp. appl. math. 2013, in press] dened the conceptof quadrupled xed point in k-metric spaces and proved several quadrupled xed pointtheorems for solid cones on k-metric spaces. in this paper some quadrupled xed point resultsfor t-contraction on k-metric spaces without normality condition are proved. obtainedresults extend and generalize well-known comparable result...

It is proved that if a Köthe sequence space X is monotone complete and has the weakly convergent sequence coefficient WCS(X) > 1, then X is order continuous. It is shown that a weakly sequentially complete Köthe sequence space X is compactly locally uniformly rotund if and only if the norm in X is equi-absolutely continuous. The dual of the product space ( ⊕∞ i=1 Xi)Φ of a sequence of Banach sp...

Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E ⊆ X be given. (a) We say that E is compact if every open cover of E contains a finite subcover. That is, E is compact if whenever {Uα}α∈I is a collection of open sets whose union contains E, then there exist finitely many α1, . . . , αN such that E ⊆ Uα1 ∪ · · · ∪ UαN . (b) We say that E is sequentially compac...

in this paper we introduce strongly $left[  v_{2},lambda_{2},m,pright]-$summable double vsequence spaces via orlicz function and examine someproperties of the resulting these spaces. also we give natural relationshipbetween these spaces and $s_{lambda_{2}}-$statistical convergence.

This paper focuses on solving two-stage stochastic mixed integer programs (SMIPs) with general mixed integer decision variables in both stages. We develop a decomposition algorithm in which the first stage approximation is solved using a branch-and-bound tree with nodes inheriting Benders’ cuts that are valid for their ancestor nodes. In addition, we develop two closely related convexification ...