๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Higher-Order Types and Meta-Programming for Global Computing

โœ Scribed by G. Ferrari; E. Moggi; R. Pugliese

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
201 KB
Volume
62
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Second-order sufficient optimality condi
Second-order sufficient optimality conditions for local and global nonlinear programming
โœ Arnold Neumaier ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Springer US ๐ŸŒ English โš– 678 KB

This paper presents a new approach to the sufficient conditions of nonlinear programming. Main result is a sufficient condition for the global optimality of a Kuhn-Tucker point. This condition can be verified constructively, using a novel convexity test based on interval analysis, and is guaranteed

Refined globalโ€“local higher-order theory
Refined globalโ€“local higher-order theory and finite element for laminated plates
โœ Wu Zhen; Chen Wanji ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 461 KB

## Abstract Based on completely threeโ€dimensional elasticity theory, a refined globalโ€“local higherโ€order theory is presented as enhanced version of the classical globalโ€“local theory proposed by Li and Liu (__Int. J. Numer. Meth. Engng.__ 1997; **40**:1197โ€“1212), in which the effect of transverse no