We have combined symbolic mathematics with code generation to create a user–friendly environment for specifying finite element methods. The motivation behind this approach is to automate the boring and error-prone task of implementing variational forms of PDEs, which is a cornerstone when developing finite element simulators. By employing a symbolic engine in a high–level language we allow the ...

the present article, following an archetypical criticism, studies the symbolic aspect of the four elements-fire, water, earth, air- and their manifestations in ferdowsi’s shāhnāmeh. the embodiment of the essential opposition and the ultimate unification of the opposing elements is the result of the environmental subjects trying to overcome the nature. in this process, the emotional elements fin...

color displays the aesthetic aspects of a work of art ,considered as one of its vital elements in artistic structure having a direct implications of the poet's artistic vision, and in most cases, refers to the poet's feelings, being a source of vitality and activity, comfort and reliability, symbolic of the different feelings of sadness and joy. due to its  artistic, psychological, so...

Signals that represent information may be classified into two forms: numeric and symbolic. Symbolic signals are discrete-time sequences that at, any particular index, have a value that is a member of a finite set of symbols. Set membership defines the only mathematical structure that symbolic sequences satisfy. Consequently, symbolic signals cannot be directly processed with existing signal pro...

The goal of this paper is to develop an estimate for the entropy of random long-range correlated symbolic sequences with elements belonging to a finite alphabet. As a plausible model, we use the high-order additive stationary ergodic Markov chain. Supposing that the correlations between random elements of the chain are weak we express the differential entropy of the sequence by means of the sym...

The category theory concept of a commutative diagram is used to construct a model of the way in which symbolic processes are applied to problem solving. The model provides for a relationship between symbolic processes and the problem which depends on structural isomorphism and consistency, but is independent of similarity between symbol elements and problem elements. It is then shown that sever...

This paper discusses a view to capture discovery as a translation from non-symbolic to symbolic representation. First, a relation between symbolic processing and non-symbolic processing is discussed. An intermediate form was introduced to represent both of them in the same framework and clarify the difference of these two. Characteristic of symbolic representation is to eliminate quantitative m...

Abstraction of digital MOS circuits as switch-level networks has proven very useful for VLSI automation. Symbolic analysis of switch-level networks by representing the signal at the gate of a MOS transistor as a Boolean variable has been shown to be efficient for verification in terms of functionality and timing. For this work, in addition to expressing the signal at the gate of MOS transistors...