This paper proposes real-time interactive systems illuminating your shadows cast on the floor, which we name “Graphic Shadow.” They will make you experience an exciting space of interaction performing an illusion on your own shadow.

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...

We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its foregut during feeding. Our starting point is the continuous dynamical model for pattern generation underlying fictive feeding in Aplysia proposed by Baxter et. al. [4]. The discrete model is obtained as a composition ...

While associations between number and space, in the form of a spatially oriented numerical representation, have been extensively reported in human adults, the origins of this phenomenon are still poorly understood. The commonly accepted view is that this number-space association is a product of human invention, with accounts proposing that culture, symbolic knowledge, and mathematics education ...

Are symbolic and nonsymbolic numbers coded differently in the brain? Neuronal data indicate that overlap in numerical tuning curves is a hallmark of the approximate, analogue nature of nonsymbolic number representation. Consequently, patterns of fMRI activity should be more correlated when the representational overlap between two numbers is relatively high. In bilateral intraparietal sulci (IPS...

Dimension reduction is one of the important requirements for a successful representation to improve the efficiency of extracting the attracting trend patterns on the time series. Furthermore, an efficient and accurate similarity searching on a huge time series data set is a crucial problem in data mining preprocessing. Symbolic representations have proven to be a very effective way to reduce th...

We present MONTRE, a monitoring tool to search patterns specified by timed regular expressions in symbolic behaviors of real-time systems. We use timed regular expressions as a compact, natural and highly-expressive specification language for monitoring applications involving timing constraints. Our tool essentially incorporates online and offline timed pattern matching algorithms so it is capa...

the symbolic cultural order becomes manifest through language in the case of texts and narratives and through images in the case of art. knowledge of the elements that compose the symbolic order is an essential analytical tool, above all for comparative studies of art, literature and religion. in this way, many of the symbolic references that exist in each culture can be illuminated by examples...

Pattern recognition techniques are associated a symbolic identity with the image of the pattern. In this work we will analyze different neural network methods in pattern recognition. This problem of replication of patterns by machines (computers) involves the machine printed patterns. The pattern recognition is better known as optical pattern recognition. Since, it deals with recognition of opt...