Taylor Expansion, Finiteness and Strategies
نویسندگان
چکیده
منابع مشابه
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms
In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context of the non-deterministic λ-calculus by introducing a finiteness structure on resource terms, which is such that a λ-term is strongly normalizing iff the supp...
متن کاملTaylor Expansion for the Entropy Rate of Hidden Markov Chains
We study the entropy rate of a hidden Markov process, defined by observing the output of a symmetric channel whose input is a first order Markov process. Although this definition is very simple, obtaining the exact amount of entropy rate in calculation is an open problem. We introduce some probability matrices based on Markov chain's and channel's parameters. Then, we try to obtain an estimate ...
متن کاملGeneral Taylor configuration expansion revisited
The validity of a series expansion proposed previously @T. H. Jensen and M. S. Chu, Phys. Fluids 27, 2881 ~1984!# for describing general Taylor configurations of magnetized plasmas has been reexamined because an apparent paradox was realized. From analyses of simple cases which can be dealt with mostly analytically, it is concluded that the paradox is a Gibbs phenomenon, and that the series exp...
متن کاملTaylor Expansion, β-Reduction and Normalization
We introduce a notion of reduction on resource vectors, i.e. infinite linear combinations of resource λ-terms. The latter form the multilinear fragment of the differential λ-calculus introduced by Ehrhard and Regnier, and resource vectors are the target of the Taylor expansion of λ-terms. We show that the reduction of resource vectors contains the image, through Taylor expansion, of β-reduction...
متن کاملState Estimation of MEMs Capacitor Using Taylor Expansion
This paper deals with state estimation of micro tunable capacitor subjected to nonlinear electrostatic force. For this end a nonlinear observer has been designed for state estimation of the structure. Necessary and sufficient conditions for construction of the observer are presented. Stability of the observer is checked using Lyapunov theorem. Observer design is based on converting of differen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.09.005