computability

computability

1. Med Biol Eng Comput

(=Medical & Biological Engineering & Computing) 医学与生物工程和计算

2. LI Guanghui.Aerodynamic computability and analysis of estate car with carrier[D].Beijing:Beijing University of Aeronautics and Astronautics,2004.

[2]李广辉.带行李架的旅行车的空气动力学计算与分析[D].北京:北京航空航天大学,2004.

3. Li Y, Zhang JL, Feng D.A parallel prefetching method in RAID oriented to media server[J].J Comput Res Develop, 2002, 39(11):1526-30.

[5]李宇,张江陵,冯丹.一种面向视频播放系统的RAID并行预取技术及实现[J].计算机研究与发展,2002,39(11):1526-30.

4. computability theory

[计] 可计算性理论

5. Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.

《可计算性、复杂性和语言》,清华大学出版社，北京，1989。

6. In general, questions of what can be computed by various machines are investigated in computability theory.

一般而言，计算性理论研究的问题是：什么是能够被各种机器计算的问题。

7. The following table shows some of the classes of problems (or languages, or grammars) that are considered in computability theory (blue) and complexity theory (green).

下面的表格指出了在可计算性（蓝色）和复杂性理论（绿色）应当考虑的一些种类的问题。

8. Abstract: Computability of the generalized solution operations of the initial - value problems for heat equation is studied.

中文摘要: 研究了带初值的热传导方程广义解的可计算性。

9. [4]Yu TG,Yao ZW,Feng XY,et al.Imaging technique and clinical application of 16-slice spiral CT for coronary angiography[J].Chin Comput Med Imag,2004,10(1):18-22.

于同刚,姚振威,冯晓源,等.16层螺旋CT冠状动脉造影成像技术及临床应用[J].中国医学计算机成像杂志,2004,10(1):18-22.

10. Research on Interactive Computability and Its Topological Approaches

交互可计算性和拓扑方法的研究

11. The advent of the electronic business based on comput er network brings new opportunity and challenge to enterprise.

以计算机网络为基础的电子商务正在全球范围内迅速兴起，给企业带来了新的机遇与挑战。

12. Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful.

作为前者的保守扩展的同时，可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。

13. [1]Ni JM,Yao ZW,Shen TZ,et al.Xenon CT perfusion of cerebral blood flow measurements and its reservers[J].Chin Med Comput Imaging,2005,11(2):75-79.

倪建明,姚振威,沈天真,等.氙气CT灌注用于脑血流及其储备功能的初步评价[J].中国医学计算机成像杂志,2005,11(2):75-79.

14. On the computability of real numbers

关于实数的可计算性

15. with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

关于电脑程序语言计划习惯于用明确性的运算结构，就如一个自学的对象??

16. Keywords: Language, Intelligence, Knowledge, Computability, NLP, planned languages.

关键字：语言,智能,语义,分解,知识,可计算性,计划语言

17. Computability and Complexity in Analysis

分析中的可计算性与复杂性

18. [9]Lao Q, Wang ZM, Sha SQ, et al.CT diagnosis of cervical lymph node tuberculosis[J].Chin Comput Med Imaging, 1997,3(3) :166-168.

劳群,王朝明,沙水泉,等.颈淋巳结结核的CT诊断[J].中国医学计算机成像杂志,1997,3(3):166-168.

19. feasibility computability

可行可计算性

20. Computability and Complexity of Computing

可计算性与计算复杂性

21. Theory of Computability and Some Key Question in Theory of Linguistics

可计算性和语言学理论的几个关键问题

22. computability logic

可计算性逻辑

23. Bibliographic Database for Computability Theory

可计算行理论数据库

24. Hence meaningful concepts of "intuitionistic truth" and "linear-logic truth" can be derived from the semantics of computability logic.

因为"直觉真理"和"线性逻辑真理"的有意义的概念可从可计算性逻辑的语义中推导出来。

25. Turing computability

图灵机可计算性

26. Based on the NP complete theory, and setting off from the problem's computability and complexity, the principle and realizing process of the greed algorithm are proposed in this paper.

在NP完全理论的基础上，从问题的可计算性与复杂性出发，提出贪心算法的实现原理与实现过程。

27. In computability theory in computer science, it is common to consider formal languages.An alphabet is an arbitrary set.A word on an alphabet is a finite sequence of symbols from the alphabet;

在计算机科学的可计算性理论中，经常考虑形式语言。

28. large integrated monolithic array comput

大规模集成单片阵列计算机

29. Keywords Sandwich Injection M olding;Comput er-based Simulation;Penetration Length of Core Melt;

夹芯注塑成型;计算机模拟分析;芯层熔体穿透深度;

30. They are formalized as games played by a machine against its environment, and computability means existence of a machine that wins the game against any possible behavior by the environment.

它们被形式化为机器扮演的针对它的环境的游戏，而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏。

31. Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level.

定义了这种游戏扮演机器所意味的东西，可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。

32. practical computability

实用计算性

33. They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.

尔后课程中将可利用这些方法来设计与分析算法、可计算理论、软件工程与计算机系统。

34. Cobb J, Claremont DJ.Transducers for foot pressure measurement: Survey of recent development Med Bio Eng Comput, 1995,33:525-533.

庞伯友张国栋.中国正常成人半地行走时足底持重点三维力测定[J].生物医学工程学杂志,:.

35. Luo J W.Oscillation of hyperbolic partial differential equations with impulsives.J Comput Appl Math,2002,133 (2):309 -318.

张立琴.具有不依赖于状态脉冲的双曲型偏微分方程的振动准则.数学学报,:.

36. The desired requirements for a tolerance model for part are: completeness,compatibility,computability and validity.

提出了一种基于关键特征和图的零件公差建模方法。

37. By applying spectra of matrix to the computation of panel data model, one can convert such computation as in-computability or complexity into computability or simplicity.

摘要将矩阵谱分解的方法运用于平行数据模型的计算中，使难以进行的计算变成可能、复杂的运算变得简单。

38. Models for mathematical (and philosophical) questions of computability (Turing,1936; Post).

数学或哲学和可计算性问题模型。

39. In the light of the interrelation between each influencing factor between ports, levels of VTMS are determined and the standards for the levels are established.A comput...

文中还就港口之间各主要影响因素的相互关系,从总体上划分了港口VTMS的等级,并建立了等级标准。

40. Finally, the solution operations of heat equation is Turing - computable by use of computability of convolutions is proved.

最后，运用广义函数卷积的可计算性质得到最后证明。

41. effective computability

有效计算

42. With the use of computability theory dividing whole-word coding into two parts: writing-input coding and computational coding, an method of none keyboard mapping for spelling language is proposed.

本文依据可计算性理论，提出了拼音文字非键盘映射编码方法，将整词编码分为输写码与计算码。

43. Park J,Sandberg I W.Universal approximation using radial basis function networks.Neural Comput,1991(3):246

杨威,那成烈.废水中和微机控制系统.甘肃工业大学学报,2002,28(3):65

44. [3]Yang X, Guo JF, Shi PF.Flattening of the 3D cortical surface for improved 2D visualization [J].Chin J Comput, 2001, 24 ( 7 ): 753-757.

杨新,郭均峰,施鹏飞,等.脑皮层的立体脑回图展成平面的新方法[J].计算机学报,2001,24(7):753-757.

45. fuzzy computability

模糊可计算性

46. Being semantically constructed, as yet computability logic does not have a fully developed proof theory.

正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。

47. still it is hard to (overestimate) the influence of BG on comput(ing).

比尔盖兹在计算机领域中的影响现在仍然很难估量。

48. Since computability issues play a major role in Artificial Intelligence and Machine Learning, I would like to take the opportunity to comment on that and ...

由于可计算性问题中发挥重要作用人工智能和机器学习，我想借此机会发表意见和 ...

49. relative computability

相对计算能力

50. The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability.

真理的经典概念转变为可计算性的特殊的零交互度的情况。

51. The MSc Forensic Computing and Security allows you to specialise in the diversity of issues concerning the security, compliance and investigation of large comput...

硕士法医的计算和安全允许你专注于有关安全，规范和大型计算机系统的调查问题的多样性。

52. Computability theory examines the limitations of various theoretical models of the computer including the most powerful known model - theTuring machine.

离散数学是通用名称的数学领域的最普遍有益的理论计算机科学。这包括可计算性理论，计算复杂性理论和信息理论。

53. [4]Zhai ZH,Zeng NL,Zhang XM,et al.Normal anatomy of internal auditory canal and menbraneous labyrinth in MRI[J].Chin Comput Med Imag,2004,10(4):232-235.

翟昭华,曾南林,张小明,等.内听道及内耳结构的正常MRI表现[J].中国医学计算机成像杂志,2004,10(4):232-235.

54. comput er assisted language learning

计算机辅助语言学习

55. This makes classical logic a special fragment of computability logic.

这使经典逻辑成为可计算性逻辑的特殊片段。

56. Computability, rationality and practicality of this approach are explained through practical case studies.

通过应用案例，论证了这一方法的可运算性、合理性和实用性。

57. Bassi J S, Moor A. Managing data storage in the network Plank [J]. IEEE Intemet Comput, 2001, 5(5): 50

郝卫东,刘鸿涛,文哲明.企业网组建指南[M].北京:清华大学出版社,2001

58. partial computability

部分可计算性

59. VAIDYA V G, FRANK J, ALEXANDRA J R. Evaluation of some mathematical models for tumor growth[J]. Int J Bio-Med Comput, 1982(13): 19-35.

阮晓钢,胡日查.模拟脑肿瘤生长动态的细胞自动机研究[J].生物医学工程学报,待发表.

60. [5]Chen D,Qian GJ,Cheng HY,et al.CT evaluation of cryoablation therapy of liver tumors using cryocare surgical system[J].Chin Comput Med Imaging,2003,9(2):121-125.

陈栋,钱国军,程红岩,等.肝癌氩氦刀冷冻治疗的CT 评价[J].中国医学计算机成像杂志,2003,9(2):121-125.

61. Besides classical logic, linear logic (understood in a relaxed sense) and intuitionistic logic also turn out to be natural fragments of computability logic.

除了经典逻辑之外，线性逻辑(在不严格的意义上理解)和直觉逻辑也转变成可计算性逻辑的自然片段了。

62. For a more advanced graduate course, computability theory and computational complexity theory are also covered.

高级课程中还包括了可计算理论和计算复杂性理论。