Results 161 to 170 of about 12,151 (175)

Coenzyme Q supplementation or over-expression of the yeast Coq8 putative kinase stabilizes multi-subunit Coq polypeptide complexes in yeast coq null mutants

Biochimica Et Biophysica Acta - Molecular and Cell Biology of Lipids, 2014
Letian X Xie, Catherine F Clarke
exaly  

Cypermethrin resistance conferred by increased target insensitivity and metabolic detoxification in Culex pipiens pallens Coq

Pesticide Biochemistry and Physiology, 2017
Wenping Xu, Songlin Liu, Jufang Gao
exaly  

Reduction in the levels of CoQ biosynthetic proteins is related to an increase in lifespan without evidence of hepatic mitohormesis

Scientific Reports, 2018
Marta Luna-Sanchez, Agustin Hidalgo-Gutierrez, Eliana Barriocanal-Casado   +2 more
exaly  

Neonatal liver failure and Leigh syndrome possibly due to CoQ-responsive OXPHOS deficiency

Molecular Genetics and Metabolism, 2003
E Leshinsky-Silver, V Barash, Sylvie Polak-Charcon   +2 more
exaly  

Nominal Reasoning Techniques in Coq

Electronic Notes in Theoretical Computer Science, 2007
Stephanie Weirich
exaly  

Coq

2018
openaire   +1 more source

Implementing and Reasoning About Hash-consed Data Structures in Coq

Journal of Automated Reasoning, 2014
Jacques-Henri Jourdan, David Monniaux, Monniaux David   +2 more
exaly  

Mtac2: typed tactics for backward reasoning in Coq

2018
Béta Ziliani, Robbert Krebbers, Yann Régis-Gianas   +2 more
exaly  

Dynamic COQ Model for Different Quality Levels

Asian Journal on Quality, 2007
Yumin Liu
exaly  

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

2018
Joachim Breitner, Yao Li, Christine Rizkallah   +2 more
exaly