Uses of symbolic resources can be seen as dialogical processes: they take place in a cultural world constituted by semiotic exchanges; they can lead people to interact; and as artefacts, they contain echoes of many other voices. The article proposes to consider traditional Talmudic study as a paradigmatic dialogical situation, in which scholars learn to use traditional texts as resources to add...

In a recent short paper and a report (see [Neto et al. 98] and [Neto and Costa 99]) it was shown that programming languages can be translated efficiently on recurrent (analog, rational weighted) neural nets, using bounded resources. This fact was achieved by creating a neural programming language called NETDEF, such that each program corresponds to a modular neural net that computes it. This fr...

This paper discusses a technique for symbolic analysis of large analog systems. The method exploits the hierarchical structure and uniformity of a system for producing compact symbolic expressions. The technique is based on decomposing a system through the method of tearing [5] as opposed to traditional symbolic methods that use nodal analysis. After producing the symbolic model of a system, a ...

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

In this paper an overview of the application of symbolic analysis and computer algebra is given. After an introduction requirements to symbolic analysis tools are formulated, and a short abstract of a general symbolic equation-based approximation algorithm is given. A generic symbolic analysis flow is introduced and applied to derive a nonlinear behavioral model of an integrated multiplier circ...

Symbolic execution is a technique that is useful in the validation of software. It may be used to aid in the generation of test data and in program proving. As software engineering becomes more concerned with the development of tools, symbolic execution will become an important item in the toolkit. This paper gives a review of symbolic execution and its applications. A minimum set of features f...

A symbolic semantics for Full LOTOS in terms of symbolic transition systems is deened, following the approach taken for message passing CCS in HL95a], altered to take account of the particular features of LOTOS (multi-way synchronisation, value negotiation, selection predicates). Symbolic bisimulation over symbolic transition systems is deened, and symbolic bisimulation on ground behaviour expr...

In this paper we present a decomposition technique to systematically formulate the state equations in symbolic normal-form for linear and/or nonlinear time-invariant large-scale analog circuits with excess elements. The decomposition and the aggregation procedures are shown and an illustrative example is given. The computation program allows the formulation of state equations in a symbolic form...

1 VERIFYING NETWORKS WITH SYMBOLIC EXECUTION Symbolic execution is a promising approach to network veri cation [5, 6]. Inspired from software veri cation where it is mainly used to generate test-cases (e.g. [1]), symbolic execution is a technique for exploring all viable execution paths of a program. Symbolic execution runs programs with symbolic inputs instead of concrete ones. Such an input m...

researches support that color is like a force that affects on nervous system and this effect is not less than music and sometimes it may be more than that. poets throughout history have shown great interest in color, but this interest varies from time to time. as at pre-islamic era, color was used in its original meaning in most situations and this view has slowly gone toward using color in sym...