This paper deals with the automatic generation of computer-driven performances and related audio renderings of music pieces encoded in symbolic format. A particular XML-based format, namely MX, is used to represent the original music information. The first step is illustrating how symbolic information can originate music performances. The format we have chosen to represent performance informati...

This paper describes a new technique for extracting clock-level finite state machines (E'sMs) from transistor netkts using symbolic simulation. The transistor netlist is preprocessed to produce a gate-level representation of the netlist. Given specitications of the circuit clocking and input and output timing, simulation patterns are derived for a symbolic simulator. The result of the symbolic ...

We consider the question of the adequacy of symbolic models versus computational models for the verification of security protocols. We neither try to include properties in the symbolic model that reflect the properties of the computational primitives nor add computational requirements that enforce the soundness of the symbolic model. We propose in this paper a different approach: everything is ...

Recently, a lot of studies in the domain of numerical cognition have been published demonstrating a robust association between numerical symbol processing and individual differences in mathematics achievement. Because numerical symbols are so important for mathematics achievement, many researchers want to provide an answer on the 'symbol grounding problem,' i.e., how does a symbol acquires its ...

We describe a way of learning matrix representations of objects and relationships. The goal of learning is to allow multiplication of matrices to represent symbolic relationships between objects and symbolic relationships between relationships, which is the main novelty of the method. We demonstrate that this leads to excellent generalization in two different domains: modular arithmetic and fam...

We describe a way of learning matrix representations of objects and relationships. The goal of learning is to allow multiplication of matrices to represent symbolic relationships between objects and symbolic relationships between relationships, which is the main novelty of the method. We demonstrate that this leads to excellent generalization in two different domains: modular arithmetic and fam...

In this paper, an efficient approach to verify diagnosability of discrete-event systems is proposed. The approach consists in constructing a hybrid diagnoser based on the symbolic observation graph (SOG), which is a technique that combines symbolic and enumerative representations in order to build a deterministic observer from a partially observed model. The construction of the diagnoser as wel...

The Poincaré–Lindstedt method in perturbation theory is used to compute periodic solutions in perturbed differential equations through a nearby periodic orbit of the unperturbed problem. The adaptation of this technique to systems of differential equations of first order could produce meaningful advances in the qualitative analysis of many dynamical systems. In this paper, we present a new symb...