نتایج جستجو برای: almost specification
تعداد نتایج: 271667 فیلتر نتایج به سال:
This specification defines a Uniform Resource Name (URN) namespace for the Global System for Mobile Communications Association (GSMA) and a Namespace Specific String (NSS) for the International Mobile station Equipment Identity (IMEI), as well as an associated parameter for the International Mobile station Equipment Identity and Software Version number (IMEISV). The IMEI and IMEISV were introdu...
the aim of this paper is to generalize thenotion of pseudo-almost valuation domains to arbitrary commutative rings. it is shown that the classes of chained rings and pseudo-valuation rings are properly contained in the class of pseudo-almost valuation rings; also the class of pseudo-almost valuation rings is properly contained in the class of quasi-local rings with linearly ordere...
The aim of this paper is to generalize the notion of almost valuation domains to arbitrary commutative rings. Also, we consider relations between almost valuation rings and pseudo-almost valuation rings. We prove that the class of almost valuation rings is properly contained in the class of pseudo-almost valuation rings. Among the properties of almost valuation rings, we sh...
In this paper we define a new type of rings ”almost powerhermitian rings” (a generalization of almost hermitian rings) and establish several sufficient conditions over a ring R such that, every regular matrix admits a diagonal power-reduction.
An R-module M is called Almost uniserial module, if any two non-isomorphic submodules of M are linearly ordered by inclusion. In this paper, we investigate some properties of Almost uniserial modules. We show that every finitely generated Almost uniserial module over a Noetherian ring, is torsion or torsionfree. Also the construction of a torsion Almost uniserial modules whose first nonzero Fit...
The second Veronese ideal In contains a natural complete intersection Jn generated by the principal 2-minors of a symmetric (n× n)-matrix. We determine subintersections of the primary decomposition of Jn where one intersectand is omitted. If In is omitted, the result is the other end of a complete intersection link as in liaison theory. These subintersections also yield interesting insights int...
this paper shows the role of the general dynamic model in empirical research of production technology in agriculture. the model is a first order autoregressive multivariate specification, first developed by anderson and blundell. this model is general enough to nest several simpler dynamic as well as static models within it. therefore, it provides a framework for applying classical testing ...
This paper advocates the use functional programming languages for the formal specification of (abstract) machines. The presented description method describes machines by a two-level model. At the bottom layer machine components and the micro instructions to handle them are described by using an abstract data type. The top layer describes the machine instructions in terms of these micro instruct...
We show that as soon h ? ? $h\rightarrow \infty$ with X $X \rightarrow , almost all intervals ( x ? log ] $(x-h\log X, x]$ ? / 2 $x \in (X/2, X]$ contain a product of at most two primes. In the proof we use Richert's weighted sieve, arithmetic information eventually coming from results Deshouillers and Iwaniec on averages Kloosterman sums.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید