This article demonstrates that a numerical solution of the full quantum mechanical equations for all metabolites with coupled spins is an efficient and accurate means, first, of predicting the optimum STEAM sequence design for quantifying any target metabolite in brain, and, second, for providing the basis lineshapes and yields of these metabolites to facilitate their accurate quantification. U...

We prove that hereditarily disconnected countably compact groups are zero-dimensional. This gives a strongly positive answer to a question of Shakhmatov. We show that hereditary or total disconnectedness yields zerodimensionality in various classes of pseudocompact groups.

The reformulation-linearization technique (RLT), introduced in [H.D. Sherali and W.P. Adams. A Hierarchy of Relaxations Between the Continuous and Convex Hull Representations for Zero-One Programming Problems, SIAM Journal on Discrete Mathematics, 3(3):411–430, 1990], provides a way to compute a hierarchy of linear programming bounds on the optimal values of NP-hard combinatorial optimization p...

For the proof of Theorem 1, we first prove the following Lemma. Lemma 1. Assume that φ * i (z) is γ-strongly convex function (where γ can be zero). Then for any t > 0 and s ∈ [0, 1], we have

DSSZ-MC supports the symbolic analysis of bounded place/ transition Petri nets extended by read, inhibitor, equal, and reset arcs. No previous knowledge of the precise boundedness degree is required. It contains tools for the efficient analysis of standard properties (boundedness, liveness, reversibility) and CTL model checking, built on an objectoriented implementation of Zero-suppressed Binar...

We introduce an iterative process which converges strongly to a common point of solution of variational inequality problem for a monotone mapping and fixed point of uniformly Lipschitzian relatively asymptotically nonexpansive mapping in Banach spaces. As a consequence, we provide a scheme that converges strongly to a common zero of finite family of monotone mappings under suitable conditions. ...

Let X be a (connected and reduced) complex space. A qcollar of X is a bounded domain whose boundary is a union of a strongly q-pseudoconvex, a strongly q-pseudoncave and two flat (i.e. locally zero sets of pluriharmonic functions) hypersurfaces. Finiteness and vanishing cohomology theorems obtained in [17], [18] for semi q-coronae are generalized in this context and lead to results on extension...

In this paper, we prove that a linear action of a reductive group on a polynomial ring with good ltrations over a eld of characteristic p > 0 yields a strongly F-regular (in particular, Cohen-Macaulay) invariant subring. The strongly F-regular property of some known examples of invariant subrings, such as the coordinate rings of Schubert varieties in Grassmannians, are recovered. A similar resu...