全部

1·This time, Ms. Ley provided the couplewith a detailed budget of how she was spending her money, down to catfood and haircuts, proving her frugality.

这一次，莱伊女士提供了她如何花钱的详细预算，细到猫粮和理发，以证明她的节俭。

2·Maybe one day someone living in the future will find the information on the invitation and use a wormhole time machine to come back to my party, proving that time travel will, one day, be possible.

也许在未来的某一天的某个人将发现邀请函上的信息，使用时间机器来到我的聚会，证明时间旅行时可能的。

3·She opened the book: it was dense with equations proving that time doesn't run backwards. Her father couldn't possibly have understood this, she thought.

她翻开书，里面密密麻麻都是公式，证明时间不可倒流。

4·Guitarists now worry that every time they cross a state border with their instrument, they will have to carry sheaves of documents proving that every part of it was legally sourced.

吉他手现在携带他们的乐器穿越州界时总是会担心，因为他们不得不同时携带大量文件证明吉他上的每个部件都有合法来源。

5·Having said that, at the time, I was very enthusiastic about Sapporo's plan (and I still am) -- it was a huge step forward in proving that we can grow stuff in space.

如同我说过的，当时我对七宝啤酒的计划非常非常地热衷（现在我仍然感兴趣）——因为这证明我们在太空培植农作物方面有了巨大的进步。

6·For not bothering to modify their mortgages, walking away from money-losing homes and proving that Americans can be both irresponsible and economically rational at the same time.

不去费心调整抵押贷款，而是面对赔钱的房子一走了之，证明美国人既能不负责任，也能同时保持经济上的理性。

7·Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

8·But now they are proving popular not just with families and first-time computer buyers but also with power users who want something small, lightweight and cheap.

但现在看来，他们不光在家庭用户和首次购买电脑的买家中受欢迎，而且那些想要更小、更轻、更便宜东东的超级用户也非常喜欢。

9·But today's findings throw open a whole new area of research after proving that the possibility of life was over a longer period of time.

今天的研究结果证明那里可能有生命存留了一段较长的时期，为研究打开了一个全新的领域。

10·He succeeded in proving that, knowing the time of a planet's revolution around the sun, we can determine precisely with what force the attractive power of the sun affects it.

他成功地指出，根据行星环绕太阳运行一圈的时间，就可以精确地测算出太阳对这个星体的引力。