Keywords: Formalization; Geometry; Coq; Arithmetization; Intercept theorem; Pythagoras' theorem; Area method;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Hydrogen sulfide; Gasotransmitter; Sulfhydration; Neurodegeneration; Oxidative stress; Antioxidants; 3-MST; 3-mercaptopyruvate sulfurtransferase; 4-HNE; 4-hydroxynonenal; 6-OHDA; 6-hydroxydopamine; Aβ; β-Îmyloid; AD; Alzheimer's disease; ALS; Amyotro
Keywords: Optic nerve; Second cranial nerve; Optic neuropathy; mtDNA; Oxidative phosphorylation; Mitochondrial; Respiratory chain; ADOA; Autosomal dominant optic atrophy; AION; Anterior ischemic optic neuropathy; AROA; Autosomal recessive optic atrophy; ATP; Adenos
Keywords: Formal verification; Separation logic; Assembly; Coq; Exceptions; Step-indexed models; Interactive theorem proving;
Keywords: Noetherian induction; Cyclic induction proofs; Implicit induction proofs; Proof certification; Coq; SPIKE;
Keywords: 3-NPA; 3-nitropropionic acid; 6-OHDA; 6-hydroxy dopamine; AD; Alzheimer's disease; AIF; apoptosis inducing factor; ALS; amyotrophic lateral sclerosis; APP; amyloid precursor protein; AÃ; β-amyloid peptide; CA; trans-cinnamaldehyde; Cat; catalase; CBP;
Keywords: AAA; ATPase associated with diverse cellular activities; Clp; caseinolytic protease; CoQ; coenzyme Q; HIF; hypoxia-inducible factor; HSP; heat shock protein; IMP; inner membrane peptidase; MIP; mitochondrial intermediate peptidase; MPP; mitochondrial proc
Keywords: AICAR; 5â²aminoimidazole-4-carboxyamide-ribonucleoside; AD; Alzheimer's disease; ATF-2; activating transcription factor-2; AMPK; AMP-activated protein kinase; Bnip3; BCL2/adenovirus E1B 19Â kDa interacting protein 3; BnipL/Nix; BCL2/adenovirus E1B 19Â
Keywords: AASA; α-aminoadipic semialdehyde; ANT; adenine nucleotide translocator; Alam; alamethicin; BSA; bovine serum albumin; CAT; catalase; CCCP; carbonyl cyanide m-chlorophenyl hydrazine; CoQ; coenzyme Q10; CP; chlorpromazine; CsA; cyclosporin A; DTT; dithioth
Keywords: Mitochondria; Mitochondrial diseases; Neurodegenerative disorders; Pharmacological neuroprotection; Mitochondrie; Maladies mitochondriales; Maladies neurodégénératives; Neuroprotection pharmacologique; AD; Alzheimer's disease; AICAR; 5-aminoimidazole-4
Keywords: AOX; alternative oxidase; BN-PAGE; Blue-Native gel electrophoresis; CI; Complex I; CII; Complex II; CIII; Complex III; CIV; Complex IV; CJ; cristae junction; CoQ; Coenzyme Q, Ubiquinone; CREB; response element binding protein; ETF; electron transfer flavo
Keywords: AD; Alzheimer's disease; AIF; apoptosis-inducing factor; ATP; adenosine triphosphate; CI; complex I, NADH:ubiquinone oxidoreductase; coQ; coenzyme Q10, ubiquinone; kDa; kilo Dalton; LHON; Leber's hereditary optic neuropathy; MIM; mitochondrial inner membr
Keywords: 2DG; 2-Deoxy-D-glucose; 2-ME; 2-methoxyestradiol; 3NP; 3-nitropropionic acid; ASK1; apoptosis signal-regulating kinase 1; Atg; autophagy-related gene; ATM; ataxia-telangiectasia mutated; Bif-1; Bax-interacting factor-1; BNIP3; Bcl-2/E1B interacting protei
Keywords: mGPDH; mitochondrial FAD-dependent glycerol-3-phosphate dehydrogenase; cGPDH; cytosolic NADH-dependent glycerol-3-phosphate dehydrogenase; CoQ; coenzyme Q; GP-shuttle; glycerophosphate shuttle; G3P; glycerol-3-phosphate; DAP; dihydroxyacetone phosphate; B
Keywords: Apoptosis; Cardiomyocyte; Coenzyme Q10; Diabetes; Diastolic function; Fibrosis; Hypertrophy; Inflammation; Superoxide; Free radicals; ACE-I; angiotensin-converting-enzyme inhibitor; ANP; atrial natriuretic peptide; AoSBP; aortic systolic blood pressure; B
Respiratory chain supercomplexes: Structures, function and biogenesis
Keywords: MRC; mitochondrial respiratory chain; CoQ; coenzyme Q or ubiquinone; cytc; cytochrome c; SC; supercomplex; CI-CIV; respiratory chain complexes I to IV; CIII2; dimeric CIII; CV; ATP synthase; BN-PAGE; blue native gel electrophoresis; EM; electron microscop
Embedding the refinement calculus in Coq
Keywords: Refinement calculus; Coq; Predicate transformers; Free monad; Dependent types;
Elemental sulfur reduction to H2S by Tetrahymena thermophila
Keywords: AOAA; 2-(aminooxy)acetic acid; CoQ; Coenzyme; Q10; ubiquinone; DTT; dithiothreitol; GSH; glutathione; SM buffer; 50âmM MOPS (=â¯3-(N-morpholino)propanesulfonic acid) adjusted to pH 7.0 with NaOH; SQR; sulfide:quinone oxidoreductase; RC-1 through RC-4;
A Coq library for internal verification of running-times
Keywords: Mechanized proofs; Running-time; Complexity; Coq;
The idebenone metabolite QS10 restores electron transfer in complex I and coenzyme Q defects
Keywords: CoQ; coenzyme Q; CRC; Ca2+ retention capacity; FCCP; carbonylcyanide-p-trifluoromethoxyphenyl hydrazone; Cs; cyclosporin; DMEM; Dulbecco's modified Eagle's medium; hpf; hours post-fertilization; idebenone; 2-(10-hydroxydecyl)-5,6-dimethoxy-3-methyl-cycloh
Formal proof of dynamic memory isolation based on MMU
Keywords: Formal proof; Memory isolation; Microkernel; Coq;
Quercetin preserves redox status and stimulates mitochondrial function in metabolically-stressed HepG2 cells
Keywords: AmA; antimycin A; AMPK; adenosine monophosphate-activated protein kinase; CoQ; coenzyme Q10; DCF; 2â²,7â²-dichlorofluorescin; DCFH-DA; 2â²,7â²-dichlorofluorescin diacetate; ddPCR; droplet digital PCR; ETS; electron transfer system; FBS; fetal bovine s
Transcriptomic analysis of Portunus trituberculatus reveals a critical role for WNT4 and WNT signalling in limb regeneration
Keywords: AADAT; kynurenine/alpha-aminoadipate aminotransferase, mitochondrial isoform X2; ABCB; ABC transporter, subfamily ABCB/MDR; ABCB1; ATP-binding cassette transporter sub-family B member 1; ACP; early cuticle protein 6; ACTG; actin, gamma-enteric smooth musc
Importance de l'examen histologique dans le diagnostic du tératome : cas d'un coq fermier
Keywords: Histologie; Tératome; Testicules; Coq; Homme; Teratoma; Rooster; Histology; Pathology; Testes;
Detection of 6-demethoxyubiquinone in CoQ10 deficiency disorders: Insights into enzyme interactions and identification of potential therapeutics
Keywords: UPLC-MS/MS; ultra-performance liquid chromatography coupled to tandem mass spectrometry; 6-DMQ; 6-demethoxyubiquinone; CoQ; Coenzyme Q; VA; vanillic acid; 2,4-HBA; 2,4-dihydroxybenzoic acid; 2,3-HBA; 2,3-dihydroxybenzoic acid; 2,3,4-HBA; 2,3,4-trihydrox
Evolution, structure and membrane association of NDUFAF6, an assembly factor for NADH:ubiquinone oxidoreductase (Complex I)
Keywords: AVFS; Acadian variant Fanconi syndrome; CDD; conserved domain database; COQ; coenzyme Q; DHSQS; dehydrosqualene synthase; FPP; farnesyl pyrophosphate; FPS; farnesyl thiopyrophosphate; hSQS; human SQS; mtDNA; mitochondrial DNA; MODA; membrane optimal docki
Etiology of alcoholic cardiomyopathy: Mitochondria, oxidative stress and apoptosis
Keywords: ACM; alcoholic cardiomyopathy; ALDH; aldehyde dehydrogenase; ADH; alcohol dehydrogenase; PKC-β; protein kinase C (PKC)-beta; TCA cycle; tricarboxylic acid; ETC; electron transport chain; RCI; mitochondrial respiratory control index/ratio; FAD+; flavin ad
Elucidation of protective efficacy of Pentahydroxy flavone isolated from Madhuca indica against arsenite-induced cardiomyopathy: Role of Nrf-2, PPAR-γ, c-fos and c-jun
Keywords: H2DCFDA; 2â², 7â² dichlorodihydrofluorescein diacetate; MTT; 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide; AOT; acute oral toxicity; ALT; alanine transaminase; ALP; alkaline phosphatase; As; arsenic; AST; aspartate aminotransferase; CoQ;
Formalization of Habanero phasers using Coq
Keywords: Phasers; Barriers; Coq; Synchronization; Formalization;
19th European Bioenergetics Conference-Preface
Keywords: ANT; adenine nucleotide translocator; CoQ; coenzyme Q; EBEC; European bioenergetics conference; IF1; inhibitory factor 1; IMM; inner mitochondrial membrane; ISP-HD; iron-sulfur protein head domain; Luca; last universal common ancestor; OMM; outer mitoch
A randomized controlled trial of the effects of n-3 fatty acids on resolvins in chronic kidney disease
Keywords: Resolvins; Fish oil; Inflammation resolution; Renal disease; EPA; eicosapentaenoic acid; DHA; docosahexaenoic acid; LC-MS/MS; liquid chromatography-tandem mass spectrometry; 18-HEPE; 18R/S-hydroxy-5Z, 8Z, 11Z, 14Z, 16E-eicosapentaenoic acid; 17-HDHA;
Respiratory supercomplexes and the functional segmentation of the CoQ pool
Keywords: BN-PAGE; blue native polyacrylamide gel electrophoresis; CI to CV; complex I to complex V; CoQ; coenzyme Q; cyt c; cytochrome c; DHODH; dihydroorotate dehydrogenase; G3PDH; glycerol-3-phosphate dehydrogenase; IMM; inner mitochondrial membrane; LOM; loss o
Early-onset motor impairment and increased accumulation of phosphorylated α-synuclein in the motor cortex of normal aging mice are ameliorated by coenzyme Q
Keywords: PD; Parkinson's disease; CoQ; coenzyme Q; Q; oxidized coenzyme Q; QH2; reduced coenzyme Q; OCR; oxygen consumption rate; α-syn; alpha-synuclein; VGluT1; vesicular glutamate transporter 1; SNc; substantia nigra pars compacta; LBs; Lewy bodies; TH; tyrosin
Cardiolipin fatty acid remodeling regulates mitochondrial function by modifying the electron entry point in the respiratory chain
Keywords: CL; cardiolipin; ApAP; acetaminophen; MPCs; myeloid progenitor cells; CoQ; coenzyme Q; LC/ESI/MS/MS; liquid chromatography-electrospray ionization tandem mass spectrometry; L4CL; tetralinoleoyl-cardiolipin; LO3CL; linoleoyltrioleoyl-cardiolipin; M4CL; tet
Complex I function in mitochondrial supercomplexes
Keywords: BN-PAGE; blue-native polyacrylamide gel electrophoresis; CI; Complex I; CII; Complex II; CIII; Complex III; CIV; Complex IV; CL; cardiolipin; CoQ; Coenzyme Q; DB; decylubiquinone; DDM; n-dodecyl-β-d-maltoside; FCC; flux control coefficient; R4B; crude mi
Disruption of the human COQ5-containing protein complex is associated with diminished coenzyme Q10 levels under two different conditions of mitochondrial energy deficiency
Keywords: 2D BN-PAGE; two-dimensional blue native-polyacrylamide gel electrophoresis; BHA; butylated hydroxyanisole; CoQ; coenzyme Q; FCCP; carbonyl cyanide-p-trifluoromethoxyphenylhydrazone; HPLC; high-performance liquid chromatography; m-COQ5; mature form of COQ5
Modeling and verification of component connectors in Coq
Keywords: Coordination; Reo; Connector; Coq; Verification
Redox modulation of adipocyte differentiation: hypothesis of “Redox Chain” and novel insights into intervention of adipogenesis and obesity
Keywords: 6PGD; 6-phosphogluconate dehydrogenase; 20-HETE; 20-hydroxyeicosatetraenoic acid; AA; arachidonic acid; ADP; adenosine diphosphate; ADSCs; adipose-derived stem cells; aP2; fatty-acid binding protein; AREs; antioxidant response elements; ATP; adenosine tri
Inhibition of mitochondrial glycerol-3-phosphate dehydrogenase by α-tocopheryl succinate
Keywords: CoQ; coenzyme Q; CoQ1; coenzyme Q1; GP; glycerol-3-phosphate; mGPDH; mitochondrial glycerol-3-phosphate dehydrogenase; SUC; succinate; SDH; succinate dehydrogenase; ROS; reactive oxygen species; TOS; α-tocopheryl succinate; Brown adipose tissue mitochond
Effect of vanillic acid on COQ6 mutants identified in patients with coenzyme Q10 deficiency
Keywords: COQ6; flavin-dependent monooxygenase; CoQ; coenzyme Q; CoQ10; coenzyme Q10; 4HB; 4-hydroxybenzoate; VA; vanillic acid; 3,4 diHB; 3,4 dihydroxybenzoic acid; SRNS; steroid resistant nephrotic syndrome; CYC1; cytochrome c1; pHBH; para-hydroxybenzoate hydroxy
Promotion of growth by Coenzyme Q10 is linked to gene expression in C. elegans
Keywords: CoQ; Coenzyme Q, ubiquinone; DMCoQ; demethoxyubiquinone; ES; enrichment score; Ext; extinction; TOF; time of flight; Coenzyme Q; Growth; C. elegans; Gene expression; Ubiquinol supplement;
Ubiquinol-10 ameliorates mitochondrial encephalopathy associated with CoQ deficiency
Keywords: 8-OHdG; 8-hydroxyguanosine; BN-PAGE; Blue Native Poly-Acrylamide Gel Electrophoresis; CoQ; Coenzyme Q; CoQ9; Coenzyme Q9; CoQ10; Coenzyme Q10; DMQ9; Demethoxyubiquinone 9; ETF; Electron-transfer flavoprotein; GFAP; Glial fibrillary acid protein; H&E; Hema
Cytotoxicity of mitochondria-targeted resveratrol derivatives: Interactions with respiratory chain complexes and ATP synthase
Keywords: B-CLL; B-cell chronic lymphocytic leukemia; BSA; bovine serum albumin; BTPI; 4-triphenylphosphoniumbutyl; CoQ; coenzyme Q; CsA; cyclosporin A; DCPI; 2,6-dichlorophenolindophenol; ÎÏm; mitochondrial membrane potential; DMEM; Dulbecco's Modified Eagle Med
Effects of various squalene epoxides on coenzyme Q and cholesterol synthesis
Keywords: CoQ; coenzyme Q; HPLC; high pressure liquid chromatography; IPP; isopentenyl pyrophosphate; GK; Goto-Kakizaki; PPAR; peroxisome proliferator-activated receptor; LXR; liver-X-receptor; RXR; retinoid-X-receptor; Mevalonate pathway; Squalene epoxides; Coenzy
Mitochondrial hyperpolarization during chronic complex I inhibition is sustained by low activity of complex II, III, IV and V
Keywords: ÎpH; pH gradient across the mitochondrial inner membrane; ÎÏ; mitochondrial membrane potential; AA; antimycin A; ANT; adenine nucleotide translocase; BA; bongkrekic acid; CI-CV; complex I-complex V; CoQ; coenzyme Q; cyt c; cytochrome c; ETC; electr
Comparative analysis of respiratory chain and oxidative phosphorylation in Leishmania tarentolae, Crithidia fasciculata, Phytomonas serpens and procyclic stage of Trypanosoma brucei
Keywords: Mitochondrion; Oxidative phosphorylation; Trypanosoma; Leishmania; Phytomonas; Crithidia; ACA; aminocaproic acid; BHI; brain heart infusion; CoQ; coenzyme Q; DBH; 2,3-dimethoxy-5-methyl-6-dodecyl-1,4-benzoquinol; DCIP; 2,6-dichlorophenolindophenol; DPI; d
A characterization of Moessner's sieve
Keywords: Moessner's sieve; Coq
ROS generation and multiple forms of mammalian mitochondrial glycerol-3-phosphate dehydrogenase
Keywords: AA; antimycin A; BAT; brown adipose tissue; CoQ; coenzyme Q; DCPIP; 2,6-dichlorophenolindophenol; FeCN; ferricyanide, potassium hexacyanoferrate(III); GP; sn-glycerol-3-phosphate; mGPDH; mitochondrial FAD-dependent glycerol-3-phosphate dehydrogenase; HAR;
From AADL to Timed Abstract State Machines: A verified model transformation
Keywords: Model-driven engineering; Architecture Analysis and Design Language (AADL); Model transformation; Semantics preservation; Timed Abstract State Machine (TASM); Coq
Effects of the mitochondrial respiratory chain on longevity in C. elegans
Keywords: C. elegans; Caenorhabditis elegans; CoQ; coenzyme Q; DMQ9; demethoxy-Q9; MRC; mitochondrial respiratory chain; ETC; electron transfer chain; NADH; reduced nicotinamide adenine dinucleotide; O2â; superoxide; RNAi; RNA interference; ROS; reactive oxygen s