𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rule-based update transformations and their application to model refactorings

✍ Scribed by Ivan Porres

Book ID
106305053
Publisher
Springer-Verlag
Year
2005
Tongue
English
Weight
780 KB
Volume
4
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

GrΓΆbner Bases with Respect to Generalize
GrΓΆbner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem
✍ FRANZ PAUER; SANDRO ZAMPIERI πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 544 KB

We present an algorithm to decide whether a homogeneous linear partial difference equation with constant coefficients provides an unfalsified model for a finite set of observations, which consist in multiindexed signals, known on a finite subset of N n . To this aim we introduce the concept of "gene