Sciweavers

2087 search results - page 202 / 418
» Computation of class numbers of quadratic number fields
Sort
View
AGI
2008
15 years 8 months ago
Vector Symbolic Architectures: A New Building Material for Artificial General Intelligence
We provide an overview of Vector Symbolic Architectures (VSA), a class of structured associative memory models that offers a number of desirable features for artificial general int...
Simon D. Levy, Ross Gayler
ISSAC
2009
Springer
120views Mathematics» more  ISSAC 2009»
16 years 1 months ago
A non-holonomic systems approach to special function identities
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...
Frédéric Chyzak, Manuel Kauers, Brun...
FPL
2003
Springer
74views Hardware» more  FPL 2003»
15 years 11 months ago
Reconfigurable Circuits Using Hybrid Hall Effect Devices
Abstract. Hybrid Hall effect (HHE) devices are a new class of reconfigurable logic devices that incorporate ferromagnetic elements to deliver nonvolatile operation. A single HHE de...
Steve Ferrera, Nicholas P. Carter
CP
2000
Springer
15 years 10 months ago
Algebraic Simplification Techniques for Propositional Satisfiability
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
João P. Marques Silva
DAGSTUHL
2007
15 years 8 months ago
Parallelism through Digital Circuit Design
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed e...
John O'Donnell