𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping

✍ Scribed by E.M. Clarke; K.L. Mcmillan; X. Zhao; M. Fujita; J. Yang

Book ID
110266411
Publisher
Springer
Year
1997
Tongue
English
Weight
124 KB
Volume
10
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Numerical Algorithms for the Direct Spec
Numerical Algorithms for the Direct Spectral Transform with Applications to Nonlinear SchrΓΆdinger Type Systems
✍ S. Burtsev; R. Camassa; I. Timofeyev πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 252 KB

We implement two different algorithms for computing numerically the direct Zakharov-Shabat eigenvalue problem on the infinite line. The first algorithm replaces the potential in the eigenvalue problem by a piecewise-constant approximation, which allows one to solve analytically the corresponding ord

A uniform strong law of large numbers fo
A uniform strong law of large numbers for U-statistics with application to transforming to near symmetry
✍ In-Kwon Yeo; Richard A. Johnson πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 95 KB

This paper studies the almost sure convergence of U -statistics which depend on a parameter. We give a set of su cient conditions for uniform convergence, in the parameter, with probability one. An example of selecting a transformation to near symmetry illustrates how the result may be applied to st