Abstract We show that any normal irreducible affine n -dimensional SL -variety X is determined by its automorphism group seen as an ind-group in the category of varieties. In other words, if Y algebraic variety such Aut( ) ≃ ind-group, then a variety. If we drop condition normality on , this statement fails. case ≥ 3, result above holds true replace

objective: n-nitroso-n-methylurea (nmu) induces breast cancer in rodents, particularly in rats. this model of breast cancer is very similar to human breast cancer. as a continuation of our recent work, we investigated the expressions of cyclin d1 and p21 in nmu-induced breast cancer of wistar albino rats. materials and methods: in this experimental study, mammary carcinoma was induced in female...

We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-formula has a linear number of variables and clauses.

In this paper we explore the application of some notable Boolean methods, namely the Disjunctive Normal Form representation of logic table expansions, and apply them to a real-valued logic model which utilizes quantities on the range [0,1] to produce a probabilistic programming of a game character’s logic in mathematical form.

In most recent free oscillation studies of the earth's interior the effect of absorption upon the eigenperiods of the earth has been ignored. This is equivalent to assuming that the earth is close to perfectly elastic. Since the actual earth is significantly anelastic over seismic frequencies, a frequencydependent correction of the order of 1% must be applied to the normal mode periods in order...