1071 search results - page 82 / 215 » The Calculus of Algebraic Constructions |
165
click to vote
COMPUTING
2007
15 years 6 months ago
2007
Hierarchical matrices (H-matrices) approximate matrices in a data-sparse way, and the approximate arithmetic for H-matrices is almost optimal. In this paper we present an algebrai...
187
click to vote
FAC
2010
15 years 4 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
286
click to vote
ACS
2011
15 years 23 days ago
2011
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin t...
158
click to vote
JSA
2000
15 years 6 months ago
2000
We propose an approach to determine the shortest path between the source and the destination nodes in a faulty or a nonfaulty hypercube. The number of faulty nodes and links may b...
151
click to vote
FFA
2011
15 years 1 months ago
2011
We provide an explicit construction for a complete set of orthogonal primitive idempotents of finite group algebras over nilpotent groups. Furthermore, we give a complete set of ...