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

相关语句
the language
The language uses case distinction to formalize symbolic geometric objects and relations, reducing the problem of dealing with uncertainty and degeneracy to that of handling geometric constraints.
      
The algorithm is realized in the language C and message passing interface (MPI) system.
      
In the language of informal automata, questions are set out of the organization of the exchange of data and signals within the cluster, which afford the asynchronous operation of its processors.
      
The Language of Methylation in Genomics of Eukaryotes
      
For this purpose the linearized Helmholtz equation for the vorticity perturbations is reformulated in the language of the deformation field directly characterizing the evolution of the shape of each vortex line.
      
The description of the disturbed motion of steady vortices in the language of the deformation field is used to investigate the vibrations of a vortex ring.
      
A number of conditions on such classes are translated into the language of left ideals.
      
In this paper a conception of predicative truth in the language of naive analysis is given, and the peculiarities of the induced logic are studied.
      
This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ.
      
Let L be the language of the intuitionistic propositional calculus J completed by the quantifiers ? and ?, and let calculus 2J in language L contain, besides the axioms of J, the axioms ?xB (x) ? B(y) and B(y) ? ?xB (x).
      
In the present work assertions concerning the disjunctivity, factors, κ-mixing, and weak multiple mixing of dynamic systems are proved using the language of stochastic intertwining operators.
      
Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered.
      
The algebras with trinomial identities are characterized in the language of varieties.
      
The main types of such varieties are singled out in the language of identities, and inclusions between these types are established.
      
In this paper, we suggest a new functional approach to the study of group classes which enables us to describe all formations and Fitting classes of finite groups in the language of functions.
      
A special feature of the language is a nonconventional definition of the object type that can be used simultaneously as the description of a syntax class.
      
The availability of a constructor in the language makes it possible to generate objects while the program is running from components-subobjects given either by variable values or in the form of representations.
      
This allows us to obtain an algebraic characterization of the language family generated by conjunctive grammars.
      
Unlike previous publications on the language, this paper gives a formal definition of a vector, which is used for the description of the semantics of basic constructs.
      
The language updates that appeared after the first publication are discussed.
      
 

首页上一页12345下一页尾页 

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