• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 352
Next 10 →

Coil sensitivity encoding for fast MRI. In:

by Klaas P Pruessmann , Markus Weiger , Markus B Scheidegger , Peter Boesiger - 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

by Charles F. Dunkl, Charles F. Dunkl, Donald E. Ramirez, Donald E. Ramirez - 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

by F.W. Vaandrager, Frits W. Vaandrager , 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

by Michael Beeson, Freek Wiedijk
"... 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

by Yuxin Chen, Andrea J. Goldsmith, Yonina C. Eldar
"... 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

by Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas, Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas , 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-

Lie algebras

by Paul R , 2000
"... in nite-dimensional transformation groups and ..."
Abstract - Add to MetaCart
in nite-dimensional transformation groups and

Typed Kleene algebra

by Dexter Kozen , 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

by Davide Ancona, Elena Zucca - 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

by Actas Del, Ix Congreso, Dr. Antonio, A. R. Monteiro, Hanamantagouda P. Sankappanavar, Dedicated Professor, A. Monteiro
"... 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
Next 10 →
Results 1 - 10 of 352
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University