A theory of bisimulation for the 蟺-calculus We study a new formulation of bisimulation for the 蟺-calculus [MPW92], which we have called open bisimulation ( 鈭). In contrast with the previously known... D Sangiorgi 被引量: 1发表: 1996年 Proof search specifications of bisimulation and moda...
Prolegomena to a Theory of Defeasible Entailment Alexander Bochman Pages 213-250 Credulous Nonmonotonic Inference Alexander Bochman Pages 251-269 Contraction Inference Alexander Bochman Pages 271-317 Belief Change Front Matter Pages 319-319 Download chapter PDF Belief Change and Its Probl...
柔性多体系统动力学讲稿(theory).pdf,《柔性多体系统动力学》课程讲稿 多体动力学 摘要 采用笛卡尔绝对坐标通过动静法建立多刚体系统的动力学方程。 目录 I 问题概述 3 1. 多体系统仿真模型 3 2. 静力学问题 4 3. 运动学问题 4 4. 动力学问题 4 II 基本概念和公式 4 5. 参照
regions on the surface of a radiating structure, such as at discontinuities in the geometrical and electrical properties of a surface, and at points of grazing incidence on a smooth convex surface as illustrated in Fig. 1. In particular, the diffracted rays can enter into the GO shadow as ...
Lately it occurs to me what a long strange trip its been. Grateful Dead In 1989 when the first edition of the book was completed, my sons David and Greg were 3 and 1, and the cover picture showed the Dow Jones at 2650. The last twenty years have brought many changes but the song ...
(b) It corresponds to a gamma mixing of Gompertz distributions, and, more precisely, to a Gompertz distribution with the shape parameter considered as random and varying according to a gamma distribution; (c) Its pdf has a zero mode or an interior mode, and it is shape-adaptable, and by...
Category theory becomes a setting from which you can understand the connection between various mathematical objects that come couched in the contingent scaffolding of a particular theory. Category Theory allows one to map out the structure preserving mappings of a theory’s connection or morphism to ...
In this paper, we have mentioned six ways in which a theory can contribute to research and we suggest that this list can be used as criteria for evaluating a theory. We have described how one such perspective, APOS Theory, is being used in an organized way by members of RUMEC and other...
A THEORY OF MARKET TRANSITION: FROM REDISTRIBUTION TO MARKETS IN STATE SOCIALISM. State socialist redistributive economies are characterized by the allocation and distribution of goods through central planning. This paper develops a theo... Nee,Victor - 《American Sociological Review》 被引量: 1620...
value of a state under a semi-Markov flat policy: 其中\mathcal{E}(\pi, s, t)是“在t时刻状态s下,智能体开始采纳策略\pi”这一事件。 value of a state under a general policy : option-value of a state taking some option under a general policy : ...