简体字来自于连续可证明的甲骨文的进化史。
Simplified Chinese characters from Oracle to the evolutionary history of a continuous and verifiable.
为了得到从业人员的接受,治理方法必须拥有可证明的价值。
To be accepted by practitioners, governance measures must have demonstrable value.
我们今天的趋势是…朝向一种坚定、坚实且可证明的知识。
The tendency of our own day is towards firm, solid, verifiable knowledge.
这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。
The benefit is that one can build up the theory of correctness provable compiler easily.
但在从外部观点的角度来确定选项是可证明的情况下,这并不是一个真正的选择。
But it wasn't really a choice between which option was provably correct from an external point of view.
基于完全零知识交互证明系统和位委托方案,提出了可证明的安全水印认证协议。
A proved secure protocol for watermark verification based on perfect zero knowledge interactive proof system and bit commitments scheme is proposed.
在27个新钻的井中,16个已被证明是可开采的。
当且仅当有可重复的科学证据证明蝾螈之眼有效时,蝾螈之眼才会进入小黑袋中。
Eye of newt goes into the little black bag, if and only if there is reproducible scientific evidence that it works.
他的律师指向推断即将来临的交易和效果的新闻报道企图证明拉贾拉特南先生交易的情报可公开获得。
His lawyers argued that the information Mr Rajaratnam traded on was publicly available, pointing to news reports that speculated about upcoming deals and results.
这一真实的数据证明多种特性和变化帮助2.6内核具备了更好的可扩展性和性能,同时更成熟地用于企业级应用程序。
This real data demonstrates that a variety of features and changes have helped the 2.6 kernel offer better scalability and performance and become more mature for enterprise-level applications.
从而,在只是付出了一些指令的代价后,您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。
So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.
为了得到大量的动力和证明服务有效,你最好定期交付可工作的软件和褒奖,这有助于对人们产生激励和动力。
To gain as much momentum and to prove services work, you best deliver working software regularly and celebrate to help to energize and motivate people.
这一实验不仅验证了时间的可扭曲性,还证明爱因斯坦可能是人类史上最伟大的思想家。
Which proves that not only is time "warp-able", but Einstein was arguably the greatest thinker the world has ever seen.
有这样一个可重复过程来证明移动到云计算的价值和风险非常重要;否则很容易做出错误的决策。
It is important to have a repeatable process to qualify the value and the risk of moving to the cloud; otherwise the wrong decision can be easily made.
个人退休金帐户之类的退休资产虽然不能用来做贷款担保,可即便如此,它们却会证明你很精明,并因此而博得贷方的好感。
Retirement assets such as individual retirement accounts (IRAs) cannot be used to secure loans , but even they may indirectly count in a borrower’s favor as evidence of astuteness .
在拓展戏路的同时,妮可·基曼一次又一次地向世人证明她是能够担当重任的。
As she expands her repertoire, Kidman proves time and again that she is capable of turning on the intensity.
一种使大鼠和小鼠致癌的化学物质,后来发现可减少人类某些癌症的大小,数年后该作用又被证明无效。
A chemical found to cause cancer in rats and mice was later found to reduce the size of some cancers in humans, years after it had been deemed useless.
如果提交的数据完整并可证明产品达到规定的各项标准,世卫组织的药品资格预审程序所需时间可仅为三个月。
The WHO prequalification of medicines process can take as little as three months, provided the data presented are complete and demonstrate that the product meets all required standards.
今年的研究得出了强有力的证据,证明这些优势正在转化为可衡量的业务效益。
This year's survey turned up strong evidence that these advantages are translating into measurable business gains.
有对啮齿类动物的研究证明,雌性身体里的细胞可以比雄性进行更好的自我修复,而手术切除卵巢可消除这种差异。
There is evidence from studies in rodents that cells in a female body do repair damage better than in the body of a male and that surgical removal of the ovaries eliminates this difference.
当然,由于DB 2具有经过证明的可伸缩性和性能跟踪记录,它更适合于基于企业的任务关键型应用程序。
Of course, DB2 is more suited for enterprise-based, mission critical applications, with its proven track record of scalability and performance.
显示有磁盘带宽和处理器利用率的性能测量可证明取得了高水平的性能。
Performance measurements showing disk bandwidth and processor utilization demonstrate the high level of performance achieved.
这个悖论不顾从那个方程计算得到的最终数字,而证明了目前明显缺少可沟通的外星文明存在的证据。
This paradox explains that there seems to be a distinct lack of evidence of such communicating civilizations regardless of the final number that drops out of the bottom of the equation.
依赖性倒置原则被证明是编写可维护和可测试的高质量代码的必要条件。
The Dependency Inversion Principle has proved essential for writing high-quality, maintainable, and therefore testable code.
这并不是因为零售商没有尽力,商场里大量的鞋柜与网上鞋店可证明这点。
It's not that retailers don't try, as the huge shoe sections in department stores and Web sites attest.
我完全没有料到的是,这个简单示例所生产的大量错误清楚地证明了可访问性需求。
That I utterly failed to consider the needs of accessibility is clearly demonstrated by the large number of errors generated from this simple example.
可以证明,对于高度可重用的服务层来说,添加新的最终用户功能和修改现有的功能要简单得多。
Adding new end-user features and modifying existing ones can prove much simpler with a highly reusable service layer.
球员对待俱乐部和队友的不合作态度可证明俱乐部根据内部规定处罚该球员的正当性。
The player’suncooperative attitude towards the club and his team-mates would certainlyjustify sanctions being imposed on the player in accordance with the club’sinternal regulations.
OAGIS方法可证明为行业中最先进的,但是它未定义允许声明综合信息一致性的形式机制。
The OAGIS approach is arguably the most advanced in the industry, but it does not define a formal mechanism that allows for the declaration of comprehensive information conformance.
OAGIS方法可证明为行业中最先进的,但是它未定义允许声明综合信息一致性的形式机制。
The OAGIS approach is arguably the most advanced in the industry, but it does not define a formal mechanism that allows for the declaration of comprehensive information conformance.
应用推荐