1449 search results - page 37 / 290 » Finiteness results for sigmoidal |
IPL
2007
14 years 11 months ago
2007
We present a new proof of PSPACE-hardness of the emptiness problem for alternating finite automata with a singleton alphabet. This result was shown by Holzer (1995) who used a pr...
FFA
2010
14 years 10 months ago
2010
We count the number of irreducible polynomials in several variables of a given degree over a finite field. The results are expressed in terms of a generating series, an exact for...
ENTCS
2006
14 years 12 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
GI
2010
Springer
14 years 9 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
A 3-dimensional finite element algorithm for modeling nonlinear frictional contact behaviours between deformable bodies with the node-to-point contact element strategy has been pro...