𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symbolic representation of user-defined time granularities

✍ Scribed by Claudio Bettini; Roberto De Sibi

Book ID
110353450
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
348 KB
Volume
30
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Definability and decidability of binary
Definability and decidability of binary predicates for time granularity
✍ Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 288 KB

In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures. We focus our attention on the equi-level (respectively equi-column) predicate constraining two time points to belong to

A symbolic computation procedure for the
A symbolic computation procedure for the generation of Gauss quadrature rules with a user-defined weight function
✍ Maucher, Roland πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 222 KB πŸ‘ 2 views

The advance of powerful software for symbolic and numerical computations such as Mathernatica sheds a new light on a paper by Golub and Welsch from 1969. Based on this paper the author describes a Mathernatica procedure for determining the weights and abscissae of a Gauss quadrature rule with a user