The logic of fol systems: Formulated in set theory. In M. Hagiya, N. D. Jones, and M. Sato, editors, Festschrift in honor of Professor Satoru Takasu, number 792 in Lecture Notes in Computer Science. Springer-Verlag, 1994. 1. Plug and Play Reasoning Devices An Impossible Dream? . ....
a不能只顾玩游戏,不学习 Cannot consider only plays the game, does not study[translate] a这是利用强化理论的原理采取的方法,即对于员工积极、正确的行为要适时 This is a method which adopts using the strengthened theory principle, namely regarding the staff positive, the correct behavior must at the ...
(theory,) new design techniques for state feedback and output feedback controllers are proposed.It is shown that the resulting closed-loop system is globally stable and the controller can be obtained by solving a set of linear matrix inequalities that is numerically feasible with commercially ...
The scheduling problem can be formulated as a set of large assignment problems with linking constraints. We discuss the theory behind the heuristic, including the ability to obtain lower bounds. The heuristic is based [translate] 英语翻译 日语翻译 韩语翻译 德语翻译 法语翻译 俄语翻译 阿拉伯语翻译 ...
Portfolio decision analysis (PDA) refers to the body of theory, methods and practice which support decision makers in making informed multiple selections from a set of alternatives with the help of mathematical models that account for re... J Liesi,A Salo,JM Keisler,... - 《European Journal...
A composition is disclosed that comprises a mixture of polypeptides of opposite charge and an excipient selected from the group consisting of arginine, lysine, glutamic a
On the tractable counting of theory models and its applications to belief revision and truth maintenance Journal of Applied Non-Classical Logics, 11 (1–2) (2001), pp. 11-34 CrossrefView in ScopusGoogle Scholar [23] A. Darwiche A compiler for deterministic decomposable negation form R. Decht...
A theory for the automatic computation of the rheological parameters of a material undergoing a large plastic deformation is presented. It is implemented in a non-steady finite element model. The principle is to find the constitutive parameters which permits to compute the closest values of a set...
(2007-2010) from UK child mental health services using the Goal-Based Outcomes tool, a grounded theory approach was taken, which built on previous research into child-rated goals to develop frameworks for parent and joint goal data which were then compared with the child goal data.A total of...
Flexible insulated wires for use in a high temperature environment include a conductor and a coating over the conductor. The coating is formulated from a dielectric material and an organic binder having an organic component, wherein the organic component has been substantially decomposed from the coat...