Symbolic Computing with Incremental Mindmaps to Manage and Mine Data Streams - Some Applications

Symbolic Derivation of Open-Loop Dynamic Models of Multibody Mechatronic Systems for Control Purpose. A Case Study: The LISA Technology Package

Symbolic Domain Decomposition

Symbolic Dynamic Programming for Discrete and Continuous State MDPs

Symbolic dynamics

Symbolic Execution for Verification

Symbolic Implementation of Connectors in BIP

Symbolic Methodology in Numeric Data Mining: Relational Techniques for Financial Applications

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Symbolic model checking of tense logics on rational Kripke models

Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach

Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures

Symbolic Protocol Analysis for Diffie-Hellman

Symbolic Reachability Analysis of Higher-Order Context-Free Processes

Symbolic Script Programming for Java

Symbolic Simulation-Checking of Dense-Time Systems

Symbolic-manipulation constructions of Hilbert-space metrics in quantum mechanics

Symmetric Allocations for Distributed Storage

Symmetric and anti-symmetric quantum functions

Symmetric and Asymmetric Asynchronous Interaction