COQ

We also compare our methods and results with Le Coq 's.

文中还把所得到的结果与LeCoq等人的工作进行了比较。

This paper describes the process and experience of building such security programs using proof assistant Coq .

论文介绍使用形式化证明工具Coq构造安全程序的过程和经验。

We will do a complete conversion , and then use the Coq language writing instruction function theorem .

我们将8051单片机的代码遵照转换规则做完整的转换，然后用Coq语言编写指令功能的定理，使用通过RTL转换得到的假设对指令功能定理进行证明。

Objective : To explore the possibility of CoQ 10 for the treatment of cochlear diseases .

目的：探讨辅酶Q10对低氧供豚鼠耳蜗电图的影响，以期为临床应用提供实验依据。

Effects of Culture Conditions on Rhizobium leguminosarum Cell Growth and CoQ _ ( 10 ) Production

发酵条件对豌豆根瘤菌细胞生长和辅酶Q（10）合成的影响

The Breeding Ideas of CoQ _ ( 10 ) Production by Industrial Fermentation and Optimizing Strategies of Fermentation Conditions

辅酶Q（10）发酵生产的育种思路及发酵条件优化策略

Effects of CoQ _ ( 10 ) on Growth Performance and Sensitivity of Broiler Chicks to Ascites

辅酶Q（10）对肉仔鸡生产性能的影响以及对腹水症的敏感性研究

It is ascertained that the Coq ê n basin has the nature of a tectonic composite basin .

查明措勤盆地性质为构造复合盆地。

But it was not even her idea to put the peas in the coq au vin .

其实就连把豌豆加到酒闷仔鸡里都不是她的主意

It was my idea to add peas to the coq au vin recipe .

把豌豆加到酒闷仔鸡的菜谱中可是我的想法啊

Conclusions CoQ 10 is beneficial to the treatment of microcirculatory disturbances , relieving cell hypoxia and protecting from cell damage .

结论CoQ10具有治疗微循环障碍，改善细胞缺氧，减轻细胞损伤的作用。

[ Conclusion ] COQ shows significant effect in IBS with diarrhea of disharmony between liver and spleen by regulating region of encephalic functional area .

[结论]肠吉安通过调节大脑痛觉功能区的激活面积发挥对肝脾不和型IBS患者的显著疗效。

Studies on the Promotor of CoQ _ ( 10 ) Fermentation with Rhizobium radiobacter

放射型根瘤菌辅酶Q（10）发酵助剂的研究

Respiratory chain is an important protective screen that defends oxygen attack . Reducing type CoQ 10 and cytochrome C are important anti-oxidant materials in the respiratory chain ;

呼吸链是防御氧攻击的一道重要屏障，还原型CoQ10细胞色素c是呼吸链中抗氧化的重要物质；

Drinks at " Coq d'or " - dinner at the " Auberge " - a ring and a promise given .

在Coqd'or把酒言欢，在客栈共进晚餐，随后你向我求婚。

Hostess 's famous drop-dead-gorgeous Coq Au Vin , the best scene for me was of course the fire after cognac !

女主人的拿手好戏法国乡村菜红酒鸡，最好看的时节在于浇上白兰地之后点起的火焰！

Conclusions : AM , taurine and CoQ 10 have some curative effects on CVB 3 murine myocarditis , AM combined with taurine and CoQ 10 is the best .

结论：黄芪、牛磺酸和CoQ10对VMC小鼠均有一定的疗效，联合使用可使疗效增强。

Another restaurant offshoot is Buvette , where the chef simmers free-range chicken in red Burgundy for classic coq au vin , a dish rarely seen in bistros nowadays .

另一家高档餐厅下设的咖啡屋是Buvette，那儿的大厨用勃艮第红酒慢炖散养鸡，烹制出经典的酒闷仔鸡（coqauvin），这道菜如今在小餐馆里已经难觅踪影。

As an activator of metabolism and respiration in the cell , coenzyme Q 10 ( CoQ - { 10 } ) possesses a high significance in clinical application , and its biosynthesis has been studied intensively all over the world .

辅酶Q10（CoQ10）作为一种细胞内代谢呼吸激活剂，具有很高的临床应用价值，其生物合成法颇受国内外学者的关注。

According to the foraminifera assemblage , the age of the upper part of the " Wuyu Group " in the Coq ê n area should be Aptian to Cenomanian and the depositional environment should be littoral-neritic .

根据有孔虫化石组合，措勤地区的乌郁群上部应为滨浅海相沉积，其时代归属为早白垩世晚期至晚白垩世早期（Aptian-Cenomanian）。

In order to observe the protective role of CoQ 10 to myocardial ischemia reperfusion injury , 20 patients who would be given intracardiac surgery under extracorporeal circulation were selected at random and divided into two groups ( A group : Co Q 10 , B group : control ) .

观察辅酶Q10对心肌缺血再灌注损伤的保护作用，随机选择20例拟行体外循环心内直视手术的患儿分为A组：辅酶Q10组，B组：对照组，各10例。

But certainly I admired how so many of them stayed trim while enjoying coq au vin , baguettes , andouillettes , eclairs and fondue while Americans struggled with their weight while gorging on diet soda and Lean Cuisines .

但是，我很钦佩他们。享受着鸡尾酒、法国面包、手指饼干、芝士火锅等美食，他们中许多人依然保持苗条身材。而美国人虽努力减肥，却暴饮无糖饮料、暴食精益美食。