The Islamic Revolution of Iran has included symbolic aspects. The fundamental question of the article is that, what are the symbolic aspects of the Islamic Revolution of Iran and why the Islamic Republic of Iran has used these features to influence Islamic countries? Since the bearers of the word and the symbolic goods have the most legitimacy in social and political fields, this revolution has...

* This work was supported by Chinese National Key Project funds under the grants 96-738-01-01-07. Abstract: In this paper, we defined a new FSM model that based on the synchronous behavior and symbolic representation technique. The algorithm to elaborate the model from the VHDL description of synchronous circuits is presented. By eliminating the unnesessary transition function, our model has mu...

We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal different parts of principals’ states during protocol execution. Our adversary models unify and generalize many existing security notions from both the computational and symbolic settings. We extend an existing symbolic protocol-veri...

In this paper, we explore the differences between direct and symbolic sequential modeling of prosody. We use sequential models to characterize speech in two tasks, classifying speaking-style and distinguishing native from non-native speech. We explore the use of a spike-and-slab model to directly model pitch contour data. We find in both of these tasks that sequences of symbolic prosodic events...

In this paper we present a new process calculus VPCΣ and an interpretation for core Erlang. VPCΣ is at least as expressive as VPC and it is more effective for verification with some built-in functions. The wellestablished symbolic bisimulation in value-passing calculus is now helpful for solving the infinite-state space problem of data values in equivalence checking and verfication. Compared to...

This paper presents some of the benefits of a general purpose symbolic computation environment when constructing and generating simulation code for multibody, multidomain systems. Specifically, it considers how tools provided by these environments can be harnessed to generate highly efficient simulation code. MapleSim, a modeling and simulation platform that is based on the Maple symbolic compu...

Large quantities of metabolic profiling data are being gathered intensively in the rapidly growing field of Metabolomics. However, such data, in order to provide knowledge, must be machine-explored by robust methods that deal with complexity and uncertainty. Symbolic machine learning methods have the power to model structural and relational complexity while statistical machine learning ones pro...

This paper describes empirical and modeling efforts that show it is possible to specify and empirically validate a model of situated action that utilizes symbolic representations and rulebased information processes. The discussed work shows that situated actions based on active perception (Bajcsy, 1988) utilizing learned visual routines (Ullman, 1983) can be modeled using symbolic representatio...

This paper presents a conservative symbolic model-checking methodology for speed-independent circuits. The circuit speciication is described by using Petri nets, which is the same formalism that several approaches use for synthesis. The technique is based on symbolic BDD-based reachability analysis, modeling both the speciication and the gate-level network behavior by means of boolean functions...

This paper discusses a method for fault detection and isolation (FDI) in continuous dynamic systems. A key aspect of this approach is the coupling of a qualitative diagnosis engine and a monitoring system that computes symbolic feature values through a signal-to-symbol transformation on the continuously sampled measurement data. Signal analysis techniques with a sound statistical basis are empl...