171 search results - page 11 / 35 » Arithmetic Function Interpreter in C |
JSYML
2006
14 years 9 months ago
2006
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...
74
Voted
ASPDAC
2004
ACM
15 years 2 months ago
2004
ACM
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...
DM
1998
14 years 9 months ago
1998
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 ...
IJON
2002
14 years 9 months ago
2002
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...
JCT
2010
14 years 8 months ago
2010
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...