Sympiler is a domain-speci c code generator that optimizes sparse matrix computations by decoupling the symbolic analysis phase from the numerical manipulation stage in sparse codes. The computation patterns in sparse numerical methods are guided by the input sparsity structure and the sparse algorithm itself. In many real-world simulations, the sparsity pattern changes little or not at all. Sy...

in this paper, the exp-function method, with the aid of a symbolic computation system such as maple, is applied to the (2+1) -dimensional calogero bogoyavlanskii schiff equation. exact and explicit generalized solitary solutions are obtained in more general forms. the free parameters can be determined by initial or boundary conditions. the method is straightforward and concise, and its applicat...

the musical symbol is one way of expression among many other ways. it doesn`t directly correspond with meaning or reality. rather, it provides images that are representative of the original. however, symbols goes beyond this and provide deep significant symbolic meanings and visions. mystical poetry has a complex intellectual structure, particularly in arabic and persian literature. hence, musi...

In the human brain, beneath the symbolic-type reasoning modeled by traditional rule-based systems, there is another level of computation. It is impleented in a subsymbolic substrate, in which operations are carried out by local interaction of simple computing element, without any central guidance. This substrate is especially evident in perception although, due to the physical \implementation" ...

The Symbolic Aggregate approXimation algorithm (SAX) is a very popular symbolic mapping technique for time series data, and it is widely employed in pattern identification, sequence classification, abnormality detection and other data mining research. Although SAX is a general approach which is adaptable to most data, it utilises a fixed-size sliding window in order to generate motifs (temporal...

We present a theorem-proving experiment performed with a computer algebra system. It proves a conjecture about the general pattern of the generating functions counting rooted maps of given genus. These functions are characterized by a complex non-linear differential system between generating functions of multi-rooted maps. Establishing a pattern for these functions requires a sophisticated indu...

In style-constrained classification often there are only a few samples of each style and class, and the correspondences between styles in the training set and the test set are unknown. To avoid gross misestimates of the classifier parameters it is therefore important to model the pattern distributions accurately. We offer empirical evidence for intuitively appealing assumptions, in feature spac...