𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rosser orderings and free variables

✍ Scribed by Dick Jongh; Franco Montagna


Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
516 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Rosser Orderings in Bimodal Logics
✍ Alessandra Carbone; Franco Montagna πŸ“‚ Article πŸ“… 1989 πŸ› John Wiley and Sons 🌐 English βš– 902 KB
On random orderings of variables for par
✍ Petr SavickΓ½ πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 93 KB

## Ordered binary decision diagrams (OBDDs) are a model for representing Boolean functions. There is also a more powerful variant called parity OBDDs. The size of the representation of a given function depends in both these models on the chosen ordering of the variables. It is known that there are

Free random variables and molecular spec
✍ Ewa Gudowska-Nowak; Agnieszka KamiΕ„ska; GΓ‘bor Papp; JΓΌrgen Brickmann πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 392 KB

We brie y review the method of free random variables and its relation to random matrices. To demonstrate use of the approach, we apply the formalism to study the e ect of static disorder on the density of states in a model Hamiltonian system.

Variability orders and mean differences
✍ Bruno Bassan; Michel Denuit; Marco Scarsini πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 115 KB

Several well-known stochastic orderings are deΓΏned in terms of iterated integrals of distribution or survival functions. In this note we will provide necessary conditions for some variability orderings of the above type. These conditions will be based on the comparison of mean di erences, which will