To enhance communication among users through technology, we propose a framework that communicates ‘pure experience.’ This framework can be achieved by providing emotionally charged communication. To initiate this undertaking, we propose to explore materials for communicating human emotions. Research on emotion mainly focuses on emotions that are relevant to utilitarian concerns. Besides the com...

Add to shortlist Download Citation Recommend to: A friend Information Full text References Reprints & permissions Threeto five-year-old children's knowledge that pictures have a representational function for others was investigated using a pictorial false belief task. In Study 1, children passed the task at around four years, and performance was correlated with standard false belief and pictori...

According to the snake detection hypothesis (Isbell, 2006), fear specifically of snakes may have pushed evolutionary changes in the primate visual system allowing pre-attentional visual detection of fearful stimuli. A previous study demonstrated that snake pictures, when compared to spiders or bird pictures, draw more early attention as reflected by larger early posterior negativity (EPN). Here...

Generalized symbolic trajectory evaluation (GSTE) is an extension of symbolic trajectory evaluation (STE). In GSTE, assertion graphs are used to specify properties in a special form of regular automata with antecedent and consequent pairs. This paper presents a new model characterization, called maximal models, for an assertion graph with important properties. Besides their own theoretical sign...

For iterative solvers, besides convergence proofs that may state qualitative results for some classes of problems, straight-forward methods to compute (bounds for) convergence rates are of particular interest. A widelyused straight-forward method to analyze the convergence of numerical methods for solving discretized systems of partial differential equations (PDEs) is local Fourier analysis (or...

Chronicle is a new universal system for representing time-related data. Although the system was developed for the representation of symbolic music, it is readily applicable to other types of data with complex time structure, such as audio, multimedia, poetry, choreography, task scheduling, and so on. Different levels of complexity are supported. The lowest level deals with a stream of events or...

We present a fault simulator for synchronous sequential circuits that combines the eeciency of three-valued logic simulation with the exactness of a symbolic approach. The simulator is hybrid in the sense that three diierent modes of operation-three-valued, symbolic and mixed-are supported. We demonstrate how an automatic switching between the modes depending on the computational resources and ...

We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on inputoutput model relations) on these path conditions. The prover evaluated atomic contracts to yield either true or false for the...

The aim of this paper is to introduce a method for computing rigorous lower bounds for topological entropy. The topological entropy of a dynamical system measures the number of trajectories that separate in finite time and quantifies the complexity of the system. Our method relies on extending existing computational Conley index techniques for constructing semi-conjugate symbolic dynamical syst...