11716 search results - page 118 / 2344 » Computable symbolic dynamics |
210
click to vote
JOT
2008
15 years 6 months ago
2008
This paper describes how use the HTMLEditorKit to perform web data mining on stock statistics for listed firms. Our focus is on making use of the web to get information about comp...
156
click to vote
CIE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
175
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
161
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
The literal performance of the symbols contained in a traditional score is not enough to produce expressive music. Human interpreters use musical knowledge that is not explicitly r...
170
click to vote
BIOCOMP
2008
15 years 7 months ago
2008
A Dyck shift and a Motzkin shift are mathematical models for constraints on genetic sequences. In terms of the theory of symbolic dynamics, neither of the Dyck shift nor the Motzki...