✦ LIBER ✦

On the Convergence of Reduction-based and Model-based Methods in Proof Theory

✍ Scribed by Gilles Dowek

Book ID: 108126936
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 194 KB
Volume: 205
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.03.070

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Pugh Controlled Convergence method:

The Pugh Controlled Convergence method: model-based evaluation and implications for design theory

✍ Daniel D. Frey; Paulien M. Herder; Ype Wijnia; Eswaran Subrahmanian; Konstantino 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 635 KB

The Pugh controlled convergence method:

The Pugh controlled convergence method: model-based evaluation and implications for design theory

✍ George A. Hazelrigg 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 105 KB

On the verification of model reduction m

On the verification of model reduction methods based on the proper generalized decomposition

✍ Pierre Ladevèze; Ludovic Chamoin 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 1016 KB

The convergence of estimators based on h

The convergence of estimators based on heuristics: theory and application to a GARCH model

✍ Peter Winker; Dietmar Maringer 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 332 KB

Model order reduction techniques for ele

Model order reduction techniques for electromagnetic macromodelling based on finite methods

✍ A. C. Cangellaris; L. Zhao 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

Model order reduction of an electromagnetic system is understood as the approximation of a continuous or discrete model of the system by one of substantially lower order, yet capable of capturing the electromagnetic behaviour of the original one with su$cient engineering accuracy. Model order reduct

Convergence of identification methods ba

Convergence of identification methods based on the instrumental variable approach

✍ T. Söderstöm 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 229 KB

Ha HCIIOJIb3OBaHHH nepeMesH~x oS~excra ## T. SODERSTOMt Snmmary--A class of identification methods, proposed in [3], am based on the instrumental variable principle. This correspondence contains a continued analysis of convergence of the parameter estimates of these methods. Alternative, sui~cien