marg

Formulas in the MAX ( 1) and MARG ( 1), it is shown that the literal renaming problems are solvable in linear time, and the variable renaming problems are solvable in quadratic time.

证明了对于MAX（1）和MARG（1）中的公式，文字改名问题在线性时间内可解，变元改名问题在平方次时间内可解。

互联网摘选

Bull's eyes and targets, Say the bells of St. Marg'ret's.

提到枪靶和靶心, 就数大钟圣马格丽特.

互联网摘选

Cutaneous lymphoid hyperplasia and marg-inal zone B-cell lymphoma following vaccination

接种疫苗后皮肤淋巴组织增生及边缘带B细胞淋巴瘤

互联网摘选

Marg was no ordinary 84-year-old woman. She was a grandmother, a wife, and daredevil. There was nothing she wouldn't try once.

玛格不是普通的84岁老妇人，她是祖母，是妻子，同时也是个不怕死的人，没有什么东西她没尝试过。

互联网摘选

Bungee jumping was not for the faint-hearted. But Marg was not worried; she has the heart of a lion.

高空弹跳不适合胆小的人，不过玛格并不担心，因为她有过人的勇气。

互联网摘选

You about ready for this marg?

准备好喝玛格丽特酒了？

provided by jukuu

Tom replied, "Well, I was gonna say something when Marg fell out, but ten dollars is ten dollars."

汤姆回答：“其实玛格摔出去的时候我是想开口啦，可是十块钱也是钱。”

互联网摘选

When it was finally Marg's turn, she looked down at the water below. Could she do this?

最后轮到玛格跳了，她看了看下面的水，心想自己做得到吗？

互联网摘选

And every year Marg would say, "I know, Tom, but that airplane ride costs ten dollars, and ten dollars is ten dollars."

每年玛格都会说：“我知道，汤姆，可是坐飞机要花十块钱，十块钱也是钱。”

互联网摘选

For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.

对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。

互联网摘选

Tom and his wife Marg went to the United State Fair every year.

汤姆和他太太每年都会去参加年度庆典。

互联网摘选

The key parts of this dissertation are the research on attitude fusion algorithms for low cost MARG sensors.

论文结合低成本MARG传感器的特点，重点研究了无人直升机姿态融合算法的设计。

互联网摘选

Analyzing and comparing of two different methods to compute the real-time orientation based on MARG

基于MARG的两种实时姿态测量算法的分析与比较

互联网摘选

A New Algorithm of Autonomous Attitude Determination Using MARG Sensor

基于MARG传感器的自主姿态测量新算法

互联网摘选

Both MAX ( 1) and MARG ( 1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

MAX（1）和MARG（1）是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。

互联网摘选

The first case is a25-year old pregnant female from El Marg District, Cairo Governorate.

第一例为开罗省El Marg县一名25岁的孕妇。

互联网摘选

Marg: I didn't come up here to cheer you up, I came up because I'm concerned about joanna.

玛格：我来这儿可不是为了安慰你的，我来是因为我关心乔安娜。

provided by jukuu

This year Tom and Marg went to the fair.

今年汤姆和玛格也去参加年度庆典。

互联网摘选

Every year Tom said, "Marg, let's go ride the airplane together."

每年汤姆都会说：“玛格，我们一起去坐飞机吧。”

互联网摘选

When she arrived, there were lots of people, mostly in their twenties. Marg didn't see anyone who was even close to her age.

她到那里时人已经很多了，大部分都是二十几岁的人，玛格找不到任何和她年纪相近的人。

互联网摘选