نتایج جستجو برای: almost specification

تعداد نتایج: 271667  

2014
A. Allen

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...

Journal: :bulletin of the iranian mathematical society 2015
r. jahani-nezhad f. khoshayand

the aim of this paper is to generalize the‎‎notion 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.

ژورنال: پژوهش های ریاضی 2021

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...

2016
THOMAS KAHLE ANDRÉ WAGNER

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...

Journal: :journal of agricultural science and technology 2010
h. salami t. s. veeman

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 ...

Journal: :Softw., Pract. Exper. 1995
Pieter W. M. Koopman Marko C. J. D. van Eekelen Marinus J. Plasmeijer

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...

Journal: :Journal of the London Mathematical Society 2022

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.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید