助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[1355]条 当前为第1条到20条[由于搜索限制,当前仅支持显示前5页数据]
 

相关语句
calculi
A further generalization to the setting when there is no group action present is also discussed, and the various settings in which similar operator calculi appear are briefly surveyed.
      
This accomplishes the first of a possible, two-step process in solving the problem raised (LNCS, 1991, 530: 16-33; Domains and lambda-calculi, Cambridge Univ.
      
The notion of meta-variable plays a fundamental role when we define formal systems such as logical and computational calculi.
      
The influence of amino acids on the formation of particles of synthetic analogs of hydroxyapatites of renal calculi with different degrees of nonstoichiometry is investigated.
      
The results obtained allow the assumption that, under the normal physiological conditions, free amino acids are natural inhibitors for the formation of renal calculi in the human organism.
      
There is constructed a system of correct calculi with new single-valued operations which is isomorphic to the family of proper extensions of the intuitionistic propositional calculus.
      
Feynman's Operational Calculi for Noncommuting Systems of Operators: Tensors, Ordered Supports, and Disentangling an Exponential
      
In a recent paper, the authors presented the key ideas involved in their approach to Feynman's operational calculi for systems of not necessarily commuting bounded linear operators acting on a Banach space.
      
Hilbert systems L? and sequential calculi [L?] for the versions of logics L= T,S4,B,S5, and Grz stated in a language with the single modal noncontingency operator ? A=□A∨□? A are constructed.
      
It is proved that cut is not eliminable in the calculi [L?], but we can restrict ourselves to analytic cut preserving the subformula property.
      
Thus the calculi [T?], [S4?], [S5?] ([Grz?], respectively) satisfy the (weak, respectively) subformula property; for [B2?], this question remains open.
      
Algorithm for Identification of Calculi in Kidneys by the Method of Digital Two-Frequency X-ray Imaging
      
An algorithm is described for identification of the composition of calculi in kidneys by the method of the digital dual-energy X-ray patterning.
      
The informative parameter p for the basic types of calculi has been calculated for the energy interval of 40 to 150 keV.
      
This parameter weakly depends on the photon energy (the spread is within 3.5%), and it value varies for different chemical compositions of kidney calculi from 15% (calcium phosphate and calcium oxalate) to 70% (calcium lactate and calcium oxalate).
      
Our investigations have led us to the conclusion that the chemical composition of building materials of kidney calculi can be determined by the method of dual-energy X-ray photography.
      
It thus accelerates the formation of renal calculi.
      
This dichotomy prevails in all present process calculi.
      
The language is more uniform than existing process calculi in two aspects: First it has a unified treatment of channels and processes.
      
Second it has a unified presentation of both first order and higher order process calculi.
      
 

首页上一页12345下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社