formalised
-
Beijing formalised this heightened level of Latin attention last November .
去年11月,中国将对拉美的重视写入正式文件。
-
It also formalised the appointments process , made it more professional and might have changed how people think .
该制度还规范化、专业化了委任流程,并可能改变了人们的思维方式。
-
Some companies have formalised this kind of approach by creating " rolling forecasts " .
一些公司通过一种“滚动预测”的形式使这种制度程序化。
-
Certainly basement planning laws will eventually be centralised and formalised .
毫无疑问的是,地下室规划法令终究会被统一出台。
-
However , all knowledge in moral field are various understanding and insight which cannot be fully formalised in words .
但是,在道德领域,所有的知都是不同程度的理解和洞见,这种理解和洞见不能在语言中被充分形式化。
-
He did also mention that the Eucharist was much more formalised here .
他还跟我说,他觉得在这里观到的礼比他平时习惯的还要正式很多。
-
This idea , when formalised and extended somewhat , led to the definition of the ' recursive function ' .
这个想法在哥德尔对不完备性的证明中起到了关键作用,并产生了“递归函数”的定义。
-
Scientist John Bell later formalised the concept by describing in detail a strong form of entanglement exhibiting the feature .
后来科学家约翰·贝尔通过详细描述一个表现出该特性的强纠缠形式来使这一概念形式化。
-
Markowitz formalised these ideas and drew up the mathematical formulae to optimise diversification .
马柯维茨整理了这些观点,推导出数学公式,使多样化达到最优。
-
Thus landscape gardening , the ancient art of emperors , became formalised , desiccated , sterile .
所以,作为封建帝王和士大夫艺术的园林变得空洞而毫无生机。
-
But they had formalised their love , and had the paperwork .
但他们正式的结了婚,还有结婚记录。
-
So more precisely , Gdel had shown that formalised arithmetic must either be inconsistent , or incomplete .
所以更确切地,哥德尔表明,一个形式算术系统,要么不完备,要么不相容。
-
The main body of argumentation can be formulated . First , structurism theory thinks anything can be formalised and formulated , especially languages .
议论文主体部分是可以公式化的,一是皮亚杰等结构主义理论认为任何事物都是可以形式化与公式化的,尤其是语言;
-
A person familiar with the Pru added that any discussions about an Asia listing were not formalised or advanced in any way .
一名熟悉保诚的人士补充称,关于亚洲上市问题的所有讨论,都尚未以任何形式确定下来或进入下一阶段。
-
That is a formalised form of trust , based on institutions that dramatically expand our ability to interact with those beyond our immediate neighbours .
这是一种正规化的信任形式,它建立在一些制度的基础上,这些制度极大地扩展了我们与近邻之外的人进行互动的能力。
-
But now the site has formalised restrictions on the kinds of entries that new users of the site should be allowed to change unaided .
而如今,该网站已正式对允许网站新用户独立更改的条目类别加以限制。
-
Farmers are not allowed to buy or sell land and , although in theory they can lease their property , many titles have never been formalised .
中国农民无权买卖土地,虽然理论上他们拥有土地租赁权,但很多权益从未在正式法律条文中明确。
-
Economists believe that the difference between countries that have successfully formalised trust and those that have not is , basically , the difference between rich countries and poor ones .
经济学家认为,成功促成信任的国家与那些未做到这一点的国家之间的区别,基本上就是富国与穷国之间的区别。
-
First cricket , then golf , then football were codified and formalised ; all commoners ' games adopted by the elite .
首先是板球,然后是高尔夫和足球,都规范化、标准化了。所有平民游戏都受到了精英阶层的接纳。
-
Gifting has long been a way of showcasing goods but , more recently , these gestures of goodwill have become more formalised arrangements .
长久以来,展示产品的高招就是免费赠送,但近几年,这些善意举措已演变为更正式的合同。
-
Formalised social contracts provide a structure to help reduce the fear , uncertainty and doubt associated with organisational change , and can enable an Agile transition to go more smoothly .
正式的社会关系合同提供了一种架构,有助于减少与组织变革带来的恐惧、不确定性和怀疑,还能使得组织向敏捷的转型更加顺畅。
-
Tea masters ( Chajin ) dutifully served powerful military leaders , establishing it as a formalised art form that eventually extended to the affluent merchant classes .
茶道大师为军事将领们表演茶道,并将茶道确立为一种正式的艺术形式,最终延伸到了富裕的商人阶层。
-
The theory of games had been studied mathematically since the 1920s , and this principle , second nature to chessplayers , had been abstracted and formalised in the manner of modern mathematics .
自从20年代,博弈论的研究就已经开展了,而这个原则,也已经用现代数学的方法进行了抽象化和形式化。
-
It was sometimes called ' Boolean Algebra ' after George Boole , who had formalised what he optimistically called ' the laws of thought ' in 1854 .
1854年,乔治·布尔将他所说的思考规则形式化,从那以后,这些运算有时也被称为布尔代数。
-
Despite indications that custody existing licenses will be grandfathered to banks that locally incorporate , the Working Group is not aware if this rule has been formalised through regulation .
这尽管暗示了现有托管业务牌照将由于“祖父条款”而被授予在华合资银行,但工作组不清楚这个规定是否已经通过立法而被确定下来。
-
HTTP / 1.0 wasn 't formalised until five years later , in May1996 , as RFC1945 , although the basics of HTTP were already in place back in1991 .
尽管HTTP的基础内容在1991年就有了,但直到五年后的1996年5月,HTTP/1.0(即RFC1945)才正式发布。
-
Shannon had been thinking about mechanising chess-playing , since about 1945 , by a minimax strategy requiring the ' backing up ' of search trees - the same basic idea as Alan and Jack Good had formalised in 1941 .
大约在1945年之后,香农确实在思考机器对弈问题,他的想法也是基于“最大值最小化”原理,对搜索树进行“回溯”,这与图灵和杰克·古德在1941年时的基本思想是一致的。