Results 1 - 10
of
352
Coil sensitivity encoding for fast MRI. In:
- Proceedings of the ISMRM 6th Annual Meeting,
, 1998
"... New theoretical and practical concepts are presented for considerably enhancing the performance of magnetic resonance imaging (MRI) by means of arrays of multiple receiver coils. Sensitivity encoding (SENSE) is based on the fact that receiver sensitivity generally has an encoding effect complementa ..."
Abstract
-
Cited by 193 (3 self)
- Add to MetaCart
steps in Fourier imaging by using a very large number of receivers. Kwiat et al. (4) proposed a similar concept in 1991. In 1989 Kelton et al. In all contributions procedures for image reconstruction were derived. However, applications of the concepts noted have not been reported, reflecting
Translation of measure algebras and the correspondence to Fourier transforms vanishing at infinity
- Michigan Math. J
, 1970
"... Let G denote a locally compact (not necessarily abelian) group and M(G) the collection of finite regular Borel measures on G. The set M(G) is a semisimple Banach algebra with identity under convolution *. It can be identified with the dml space of CO(G), the space of continuous complex-valued functi ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Let G denote a locally compact (not necessarily abelian) group and M(G) the collection of finite regular Borel measures on G. The set M(G) is a semisimple Banach algebra with identity under convolution *. It can be identified with the dml space of CO(G), the space of continuous complex
Expressiveness Results for Process Algebras
, 1993
"... The expressive power of process algebras is investigated in a general setting of structural operational semantics. The notion of an effective operational semantics is introduced and it is observed that no effective operational semantics for an enumerable language can specify all effective process ..."
Abstract
-
Cited by 26 (2 self)
- Add to MetaCart
The expressive power of process algebras is investigated in a general setting of structural operational semantics. The notion of an effective operational semantics is introduced and it is observed that no effective operational semantics for an enumerable language can specify all effective
Article Submitted to Journal of Symbolic Computation The meaning of infinity in calculus and computer algebra systems
"... We use filters of open sets to provide a semantics justifying the use of infinity in informal limit calculations in calculus, and in the same kind of calculations in computer algebra. We compare the behavior of these filters to the way Mathematica behaves when calculating with infinity. We stress th ..."
Abstract
- Add to MetaCart
We use filters of open sets to provide a semantics justifying the use of infinity in informal limit calculations in calculus, and in the same kind of calculations in computer algebra. We compare the behavior of these filters to the way Mathematica behaves when calculating with infinity. We stress
1Backing off from Infinity: Performance Bounds via Concentration of Spectral Measure for Random MIMO Channels
"... Abstract—The performance analysis of random vector chan-nels, particularly multiple-input-multiple-output (MIMO) chan-nels, has largely been established in the asymptotic regime of large channel dimensions, due to the analytical intractability of characterizing the exact distribution of the objectiv ..."
Abstract
- Add to MetaCart
of the objective performance metrics. This paper exposes a new non-asymptotic framework that allows the characterization of many canonical MIMO system performance metrics to within a narrow interval under moderate-to-large channel dimensionality, provided that these metrics can be expressed as a separable function
ALGEBRAIC ALGORITHMS1
, 2012
"... This is a preliminary version of a Chapter on Algebraic Algorithms in the up- ..."
Abstract
- Add to MetaCart
This is a preliminary version of a Chapter on Algebraic Algorithms in the up-
Typed Kleene algebra
, 1998
"... In previous work we havefound it necessary to argue that certain theorems of Kleene algebra hold even when the symbols are interpreted as nonsquare matrices. In this note we de ne and investigate typed Kleene algebra, a typed version of Kleene algebra in which objects have types s! t. Although nonsq ..."
Abstract
-
Cited by 23 (4 self)
- Add to MetaCart
nonsquare matrices are the principal motivation, there are many other useful interpretations: traces, binary relations, Kleene algebra with tests. We give a set of typing rules and show that every expression has a unique most general typing (mgt). Then we prove the following metatheorem that incorporates
An Algebraic Approach to Mixins and Modularity
- ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science
, 1996
"... . We present an algebraic formalization of the notion of mixin module, i.e. a module where the definition of some components is deferred . Moreover, we define a set of basic operators for composing mixin modules, intended to be a kernel language with clean semantics in which to express more complex ..."
Abstract
-
Cited by 22 (4 self)
- Add to MetaCart
. We present an algebraic formalization of the notion of mixin module, i.e. a module where the definition of some components is deferred . Moreover, we define a set of basic operators for composing mixin modules, intended to be a kernel language with clean semantics in which to express more
AN ABSTRACTION FROM HEYTING ALGEBRAS
"... ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebras called “Semi-Heyting Algebras ” as an abstraction from Heyting algebras. We show that semi-Heyting algebras are distributive pseudocomplemented lattices, the congru-ences on these algebras are deter ..."
Abstract
- Add to MetaCart
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebras called “Semi-Heyting Algebras ” as an abstraction from Heyting algebras. We show that semi-Heyting algebras are distributive pseudocomplemented lattices, the congru-ences on these algebras
Results 1 - 10
of
352