Let f be a continuous map of a locally compact metric space X into itself. Suppose that S is an isolated invariant set for f and a disjoint union of a fixed finite number of compact sets. We define an index of Conley type for isolated invariant sets admitting such a decomposition and prove some of its properties, which appear to be similar to that of the ordinary Conley index for maps. Our inde...

We propose a multi-index binary response model for analyzing large databases (i.e., with many regressors). We combine many regressors into factors (or indexes) and then estimate the link function via parametric or nonparametric methods. Neither the estimation of factors nor the determination of the number of factors requires ex ante knowledge of the link between the response and regressors. Fur...

Automatic, model-based program transformation relies on the ability to generate code from a model description of the program. In the context of automatic parallelisation, cache optimisation and similar transformations, the task is to generate loop nests which enumerate the iteration points within given domains. Several approaches to code generation from polyhedral descriptions of iteration sets...

This paper draws close connections between the ease of presenting a given complexity class C and the position of the index sets IC = f i : L(Mi) 2 C g and JC = f i : Mi is total ^ L(Mi) = 2 C g in the arithmetical hierarchy. For virtually all classes C studied in the literature, the lowest levels attainable are IC 2 P03 and JC 2 Q02; the rst holds i C is 02-presentable, and the second i C is re...

Let f be a continuous map of a locally compact metric space X into itself. Suppose that S is an isolated invariant set with respect to f being a disjoint union of a xed nite number of compact sets. We deene an index of Conley type for isolated invariant sets admitting such a decomposition and prove some of its properties, which appear to be similar to that of the ordinary Conley index for maps....

background : due to specific conditions in hospitals such as accumulation, existence of disable persons and patients, different and complex equipment, chemical and infectious substances, flammable materials and ionized radiations, safety precautions is essential to prevent the occurrence of incidents such as fire, electric shock hazard and exposure to excessive levels in hospitals. this was the...

background: the 21st century is faced with increase in challenges of urban population and aging. according to statistics, the old population in the world and in iran is increasing. obviously, their health promotion is the concern of the community and achieving it requires purposeful planning. being healthy means to feel good in social, mental, and physical dimensions (definition by the world he...

The radial index of a 1-form on a singular set is a generalization of the classical Poincaré-Hopf index. We consider different classes of closed singular semi-analytic sets in R that contain 0 in their singular locus and we relate the radial index of a 1-form at 0 on these sets to Poincaré-Hopf indices at 0 of vector fields defined on R.

Let L be a computable first order predicate language with infinitely many constant symbols and infinitely many n-ary predicate symbols and n-ary functions symbols for all n ≥ 1 and let Q0, Q1, . . . be an effective list all the finite normal predicate logic programs over L. Given some property P of finite normal predicate logic programs over L, we define the index set IP to be the set of indice...

Let us consider the following problem: Given a (probably huge) set of sets S and a query set g, is there some set s S such that This problem occurs in at least four application areas: the match­ ing of a large number (usually several 100,000s) of production rules, the pro­ cessing of queries in data bases support­ ing set-valued attributes, the identifica­ tion of inconsistent subgoals during a...