𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Construction of Convex Relaxations Using Automated Code Generation Techniques

✍ Scribed by Edward P. Gatzke; John E. Tolsma; Paul I. Barton

Book ID
110403550
Publisher
Springer US
Year
2002
Tongue
English
Weight
445 KB
Volume
3
Category
Article
ISSN
1389-4420

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Automated code generation of dynamic spe
Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques
✍ Vicente Pelechano; Oscar Pastor; Emilio InsfrΓ‘n πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 453 KB

In this work, we present an automatic code generation process from conceptual models. This process incorporates the use of design patterns in OO-Method, an automated software production method, which is built on a formal object-oriented model called OASIS. Our approach defines a precise mapping betw

Constructive techniques for labeling con
Constructive techniques for labeling constant weight Gray codes with applications to minimal generating sets of semigroups
✍ Inessa Levi; Steve Seif πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 283 KB

The Partition Type Conjecture, a generalization of the Middle Levels Conjecture of combinatorics, states that for all positive integers n and r, with n > r > 1, and every non-exceptional partition type Ο„ of weight r of X n , there exists a constant weight Gray code which admits an orthogonal labelin