Results 1  10
of
68
Executable Specifications based on Dynamic Algebras
, 1993
"... . In 1988, Y. Gurevich proposed an approach to operational semantics, which is based on finite, dynamic algebras. Dynamic algebras are comprehensible, precise and universally applicable. E. Borger recently presented a Dynamic Algebra Specification of full Prolog. The main purpose of our work is a ge ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
we derived a Prolog interpreter in our Dynamic Algebra Specification Language. 1 Algebraic Opera...
Merging BSP Trees Yields Polyhedral Set Operations
 COMPUTER GRAPHICS
, 1990
"... BSP trees have been shown to provide an effective repretentation of polyhedra through the use of spatial subdivision,;nd are an alternative to the topologically based breps. While?sp tree algorithms are knownfor a number of important opera:ions, such as rendering, no previous work on bsp trees has ..."
Abstract

Cited by 100 (2 self)
 Add to MetaCart
has trovided the capability of performing boolean set operations tetween two objects represented by bsp trees, i.e. there has leen no closed boolean algebra when using bsp lrees. This pa.er presents the algorithms required to perform such opera:ions. In doing so, a distinction is made between
An Exploration in Subtropical Algebra
, 2006
"... The author grants HarveyMudd College the nonexclusive right to make this work available for noncommercial, educational purposes, provided that this copyright statement appears on the reproduced materials and notice is given that the copying is by permission of the author. To disseminate otherwise o ..."
Abstract
 Add to MetaCart
or to republish requires written permission from the author. This paper explores some properties of subtropical arithmetic, which is the extended real line R = R ∪ {−∞,∞} considered under the binary operations min(·, ·) and max(·, ·). We begin by examining some results in tropical polynomials. We then consider
NEURAL NETWORKS IN DETERMINATION OF DEFUZZIFICATION FUNCTIONALS
"... training set, neural network, approximation results Ordered fuzzy numbers as generalization of convex fuzzy numbers are defined together with four algebraic operations. For defuzzification operators, that play the main role when dealing with fuzzy controllers and fuzzy inference systems, new repr ..."
Abstract
 Add to MetaCart
training set, neural network, approximation results Ordered fuzzy numbers as generalization of convex fuzzy numbers are defined together with four algebraic operations. For defuzzification operators, that play the main role when dealing with fuzzy controllers and fuzzy inference systems, new
THE ISOLATED FREDHOLM SPECTRUM IN THE THEORY OF DUAL ALGEBRAS
"... Hilbert space, and let œ(7•) denote the algebra of all bounded linear operators on 7/. A dual algebra of operators on 7/is a unital subalgebra •4 C œ(7•) that is weak*closed. (The weak*topology on œ(7•) is that which accrues to it when œ(7•) is identified with the dual space of the Banach space ..."
Abstract
 Add to MetaCart
Hilbert space, and let œ(7•) denote the algebra of all bounded linear operators on 7/. A dual algebra of operators on 7/is a unital subalgebra •4 C œ(7•) that is weak*closed. (The weak*topology on œ(7•) is that which accrues to it when œ(7•) is identified with the dual space of the Banach space
Chapter 16 Beyond Modalities: Sufficiency and Mixed Algebras
"... Abstract. In [24] a generalisation of relation algebras to Boolean algebras with normal and additive operators is introduced. These operators are the counterparts to the modal operators of possibility. In this paper we introduce a class of Boolean algebras with conormal and coadditive operators re ..."
Abstract
 Add to MetaCart
referred to as sufficiency operators. They are the algebraic counterpart to the logical sufficiency operators introduced in [17] for an extension of modal logics. Next, we define a class of mixed algebras i.e., Boolean algebras with an additional modal operator and a sufficiency operator. We study
LIMITS OF ALGEBRAS WITH SHIFTING AND A RELATIONSHIP BETWEEN THE MOD TWO STEENROD AND DYERLASHOF ALGEBRAS
"... Abstract. We provide a construction, rened from an inverse limit, that produces the mod 2 Steenrod and DyerLashof algebras from each other. In fact, the construction relates various subalgebras and quotients of the universal Steenrod algebra of operations for H1ring spectra. We also describe how ..."
Abstract
 Add to MetaCart
Abstract. We provide a construction, rened from an inverse limit, that produces the mod 2 Steenrod and DyerLashof algebras from each other. In fact, the construction relates various subalgebras and quotients of the universal Steenrod algebra of operations for H1ring spectra. We also describe
ON SPECTRALITY OF THE ALGEBRA OF CONVOLUTION DOMINATED OPERATORS
"... and more will be given in [3]. If G is a discrete group, the algebra CD(G) of convolution dominated operators on l2(G) is canonically isomorphic to a twisted L1algebra l1(G, l∞(G), T). Using this, we show that CD(G) is spectral in the algebra of all bounded operators, if G is amenable and rigidly s ..."
Abstract
 Add to MetaCart
(containing an identity) with respect to the usual involution of operators in B(l2(G)). We denote this Banach ∗algebra by CD(G). l∞(G) is a C∗algebra (really a von Neumann algebra) with respect to pointwise multiplication and complex conjugation as involution. It is isometrically represented
IDEALS OF THE FOURIER ALGEBRA, SUPPORTS AND HARMONIC OPERATORS
"... Abstract. We examine the common null spaces of families of HerzSchur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in [1] can be used to give a short proof as well as a genera ..."
Abstract
 Add to MetaCart
Abstract. We examine the common null spaces of families of HerzSchur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in [1] can be used to give a short proof as well as a
C∗ALGEBRAS AND GENERALIZED pSYMMETRIC OPERATORS
"... Abstract. Let H be a separable infinite dimensional complex Hilbert space, and let L(H) denote the algebra of all bounded linear operators on H into itself. Let A,B ∈ L(H) we define the generalized derivation δA,B: L(H) 7 → L(H) by δA,B(X) = AX −XB. In this paper, we characterize the class of genae ..."
Abstract
 Add to MetaCart
Abstract. Let H be a separable infinite dimensional complex Hilbert space, and let L(H) denote the algebra of all bounded linear operators on H into itself. Let A,B ∈ L(H) we define the generalized derivation δA,B: L(H) 7 → L(H) by δA,B(X) = AX −XB. In this paper, we characterize the class
Results 1  10
of
68