Formalizing the Procedure of Model-based Diagnosis on General Causal Theory

Formalizing Interactions and Interaction Protocols in Multi-Agent Systems

形式化多主体系统中的交互及交互协议

互联网摘选

Formalizing Type Safety of the Java Virtual Machine

Java虚拟机安全性的形式化分析和验证

互联网摘选

The main advantages of freeze concentration, over evaporation and membrane processes are high product quality due to low-temperature operation and the absence of a vapor-liquid interface.

冷冻浓缩胜过蒸发和膜操作的主要优点是低温操作和无气液界面而使成品质量高。

互联网摘选

Property investors are right to worry that all the excess supply will take substantial time to be absorbed. Higher borrowing costs and fears of a credit freeze hover over the sector.

房地产投资者有理由担心，太多的房屋供给需要相当长的时间才能消化，而贷款成本上升和对信贷紧缩的担忧也依然笼罩着房地产市场。

互联网摘选

End of Israeli Settlement Freeze Looms Over Peace Talks Middle East peace talks are facing their first major challenge just three weeks after they began.

中东和平对话刚刚开始三周，现在却遭遇了首个重大挑战。

互联网摘选

The unusually long period of cold weather has shown how even warm climates can sometimes freeze over. But protecting plants and trees in the garden may not be too difficult if you follow a few suggestions.

长时间少见的寒冷天气意味着温暖的地方也会受到寒流袭击，但是如果你能按下面几点去做，在寒冷天气时保护好花园中的植物和树木也许不是件很难的事。

互联网摘选

Her name Koyuki means "light snow" in English, but this cat's stone cold stare is enough to freeze over even the warmest of hearts.

她的名字“Koyuki”英文意思是“小雪”，但这只猫令人石化的犀利目光足以让最温暖的心冻成冰霜。

互联网摘选

Eventually, the oceans will freeze over, become covered with dust, and gradually migrate to the permafrost at the poles.

最终海洋会彻底结冰，然后被灰尘覆盖，然后逐渐移动到极点成为永久冻土。

互联网摘选

Many mountain lakes freeze over during winter and are used for curling, horse and dog racing, particularly around St. Moritz.

许多山区的湖泊冬天全部结冰，为掷石，骑马和塞狗提供场所，特别是圣莫里茨地区（st.moritz）比较流行。

互联网摘选

In the preview, ice queen Elsa attempts to conquer another element as she struggles to freeze over the ocean.

在预告片中，冰雪女王艾莎试图征服另一种阻碍，她努力在海面上结冰。

互联网摘选

King Michael had warned that if a financial wizard were ever put in charge, Disneyland would freeze over and spring never come.

迈克尔大王曾警告称，如果让一名金融奇才来掌管迪士尼，那迪士尼王国将会陷入冰封，而且春天永远不会到来。

互联网摘选

The Hessians and other soldiers of the king were waiting for the river to freeze over.

黑森兵和英国国王的其他士兵正等着河水冻结。

互联网摘选

Years ago, back before the ice breakers, this water would freeze over in winter sometimes, all the way across.

很多年前，世上没有破冰机，这片水一到冬天就会结冰，整整一片。

互联网摘选

The unusually long period of cold weather has shown how even warm climates can sometimes freeze over.

这次不正常的长期的冷空气显示了再温暖的气候有时也会冰冻。

互联网摘选

The frigid storm put Dallas in a deep freeze over the weekend.

寒冷的暴风雨周末将达拉斯彻底冻结。

互联网摘选

Brutally cold arctic air is spreading a dangerous deep freeze over half the country.

严酷寒冷的北极空气蔓延至半个国家。

互联网摘选

The question is: When will we next freeze over?

问题是：什么时候人类将会迎来下一次的大冰冻呢？

互联网摘选

In the city the lakes freeze over as well.

在市内，大小湖泊也全面封冻了。

互联网摘选

Each factory has an associated free connection pool.

每个工厂都有一个关联的空闲连接池。

互联网摘选

But how does the free connection pool actually work?

但空闲连接池的实际工作原理是什么？

互联网摘选