‎let $m$ be a non-zero finitely generated module over a commutative noetherian local ring $(r,mathfrak{m})$ with $dim_r(m)=t$‎. ‎let $i$ be an ideal of $r$ with $grade(i,m)=c$‎. ‎in this article we will investigate several natural homomorphisms of local cohomology modules‎. ‎the main purpose of this article is to investigate when the natural homomorphisms $gamma‎: ‎tor^{r}_c(k,h^c_i(m))to kotim...

Let D be a division ring with centre K and dim, D< ? a valuation on K and v a noninvariant extension of ? to D. We define the initial ramfication index of v over ?, ?(v/ ?) .Let A be a valuation ring of o with maximal ideal m, and v , v ,…, v noninvariant extensions of w to D with valuation rings A , A ,…, A . If B= A , it is shown that the following conditions are equivalent: (i) B i...

This book consists of an analysis, solidly within the framework of Government and Binding, of tense and its interaction with adverbials, temporal connectives, and complementation. There is both good news and bad news about the book; parts of it are carefully worked out and are therefore a valuable resource for the computational linguist, while other parts are less clearly argued. Like much curr...

An integral domain $D$ is called a emph{locally GCD domain} if $D_{M}$ is aGCD domain for every maximal ideal $M$ of $D$. We study somering-theoretic properties of locally GCD domains. E.g., we show that $%D$ is a locally GCD domain if and only if $aDcap bD$ is locally principalfor all $0neq a,bin D$, and flat overrings of a locally GCD domain arelocally GCD. We also show that the t-class group...

While robots are extensively used in factories, our industry hasn’t yet been able to prepare them for working in human environments – for instance in houses or in humanoperated factories. The main obstacle to these applications lies in the amplitude of the uncertainty inherent to the environments humans are used to work in, and in the difficulty in programming robots to cope with it. For instan...

A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...