𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Exploiting Design Structure in Model Checking: Invited Speaker

✍ Scribed by Thomas A. Henzinger

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
31 KB
Volume
39
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

EXPLOITING DESIGN LENGTH SCALES IN STRUC
EXPLOITING DESIGN LENGTH SCALES IN STRUCTURAL OPTIMIZATION
✍ JANE ZHANG; WILLIAM J. ANDERSON πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 284 KB πŸ‘ 1 views

Many structural optimization methods use geometric length scales as well as artificially imposed lengths such as finite element dimensions. One considers functions defined over these dimensions in characterizing and solving the problem. The natural length scales involved in the proposed design chang

Neural networks in microwave circuit des
Neural networks in microwave circuit designβ€”beyond black-box models (invited article)
✍ Mankuan Vai; Sheila Prasad πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 292 KB πŸ‘ 2 views

Neural networks were developed into a computer-aided approach designing microwave circuits. Researchers replaced device models with faster neural network models in microwave design, however, other ingredients of the design process remain unchanged. Our research explored two neural network applicatio

COMPARISON OF FUZZY SET AND CONVEX MODEL
COMPARISON OF FUZZY SET AND CONVEX MODEL THEORIES IN STRUCTURAL DESIGN
✍ CHRIS P. PANTELIDES; SARA GANZERLI πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 311 KB

A methodology for the treatment of uncertainty in the loads applied to a structural system using convex models is presented and is compared to the fuzzy set "nite-element method. The analytical results for a beam, a truss and a frame structure indicate that the two methods based on convex model or f