𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Strong stability and the incompleteness of stable models for λ-calculus

✍ Scribed by Olivier Bastonero; Xavier Gouy

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
212 KB
Volume
100
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the strong stabilization and stable H
On the strong stabilization and stable H∞-controller design problems for MIMO systems
✍ Murat Zeren; Hitay Özbay 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 241 KB

A state-space-based design method is developed to construct strongly stabilizing controllers for a class of MIMO plants. The problem is reduced to solving an algebraic Riccati equation (ARE) which appears in the solution of a two-block H problem. Strongly stabilizing controllers designed here are of

Investigation into the optimum beam shap
Investigation into the optimum beam shape and fluence for selective ablation of dental calculus at λ = 400 nm
✍ Joshua E. Schoenly; Wolf Seka; Peter Rechmann 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 479 KB

## Abstract ## Background and Objectives A frequency‐doubled Ti:sapphire laser is shown to selectively ablate dental calculus. The optimal transverse shape of the laser beam, including its variability under water‐cooling, is determined for selective ablation of dental calculus. ## Study Design/Ma

Stable Iteration Procedures for Strong P
Stable Iteration Procedures for Strong Pseudo-contractions and Nonlinear Operator Equations of the Accretive Type
✍ M.O. Osilike 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 177 KB

It is proved that certain Mann and Ishikawa iteration procedures are stable with respect to strongly pseudo-contracti¨e mappings in real Banach spaces which are q-uniformly smooth, 1q -ϱ. A related result deals with stable iteration procedures for solutions of nonlinear equations of the accreti¨e ty

Strong stabilization of a structural aco
Strong stabilization of a structural acoustic model, which incorporates shear and thermal effects in the structural component
✍ Marié Grobbelaar-Van Dalsen 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 225 KB

## Communicated by J. Banasiak In this paper we consider the question of stabilization of a linear three-dimensional structural acoustic model, which incorporates displacement, rotational inertia, shear and thermal effects in the flat flexible structural component of the model. We show strong stab