We propose a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting. Starting from a given definition of a language, a new language definition is automatically generated, which has the same syntax as the original one but whose semantics extends data domains with symbolic values and adapts semantical rules to deal with ...

A ‘symbolic dynamical system’ is a continuous transformation Φ : X−→X of closed perfect subset X ⊆ A, where A is a finite set and V is countable. (Examples include subshifts, odometers, cellular automata, and automaton networks.) The function Φ induces a directed graph structure on V, whose geometry reveals information about the dynamical system (X ,Φ). The ‘dimension’ dim(V) is an exponent des...

The symbolic management literature explores loose coupling between substantive and symbolic aspects of organizational activities. The prior literature, however, focuses on the benefits of symbolic management and tends to treat it as costless. If symbolic management is costless, presumably all firms should pursue it, yet in practice they do not. In this paper, we extend the theory of symbolic ma...

to include the new fact. The goal of error correction is, given a spatial knowledge representation which is not quite accurate and a new fact which is more precise, to improve the representation. Both these problems can be treated by operators, similar to the composition operator, that take two symbolic spatial indexes as arguments (i.e., one representing the initial state and one representing ...

The aim of this study is to show that the measures derived from Electrocardiogram (ECG) signals many a time perform better than the same measures obtained from heart rate (HR) signals. A comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ECG signals and HR signals, and thereby discriminate between normal and cong...

Solar panels have been improving in efficiency and dropping in price, and are therefore becoming more common and economically viable. However, the performance of solar panels depends not only on the weather, but also on other external factors such as shadow, dirt, dust, etc. In this paper, we describe a simple and practical data-driven method for classifying anomalies in the power output of sol...