Sciweavers

171 search results - page 11 / 35
» Arithmetic Function Interpreter in C
Sort
View
JSYML
2006
85views more  JSYML 2006»
15 years 23 days ago
An alternative semantics for quantified relevant logic
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
Robert Goldblatt, Edwin D. Mares
ASPDAC
2004
ACM
105views Hardware» more  ASPDAC 2004»
15 years 6 months ago
Improved symbolic simulation by functional-space decomposition
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
Tao Feng, Li-C. Wang, Kwang-Ting Cheng
97
Voted
DM
1998
66views more  DM 1998»
15 years 15 days ago
Steep polyominoes, q-Motzkin numbers and q-Bessel functions
We introduce three deÿnitions of q-analogs of Motzkin numbers and illustrate some combinatorial interpretations of these q-numbers. We relate the ÿrst class of q-numbers to the ...
Elena Barcucci, Alberto Del Lungo, Jean-Marc Fedou...
85
Voted
IJON
2002
82views more  IJON 2002»
15 years 15 days ago
Functional imaging and neuronal information processing
Since the functional magnetic resonance imaging (fMRI) signal is likely to re ect a spatial average of the activity of neurons with partly dissimilar response properties, its inte...
Angel Nevado, Malcolm P. Young, Stefano Panzeri
83
Voted
JCT
2010
144views more  JCT 2010»
14 years 11 months ago
Combinatorics of generalized q-Euler numbers
Abstract. New enumerating functions for the Euler numbers are considered. Several of the relevant generating functions appear in connection to entries in Ramanujan’s Lost Noteboo...
Tim Huber, Ae Ja Yee