Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq

doi 10.1145/3176245.3167088
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

An Acute Bout of High-Intensity Interval Training Increases the Nuclear Abundance of PGC-1 and Activates Mitochondrial Biogenesis in Human Skeletal Muscle

American Journal of Physiology - Regulatory Integrative and Comparative Physiology
Physiology
2011English

Endurance Training Increases Skeletal Muscle LKB1 and PGC-1 Protein Abundance: Effects of Time and Intensity

American Journal of Physiology - Endocrinology and Metabolism
EndocrinologyPhysiologyMetabolismDiabetes
2005English

Extremely Low-Volume, High-Intensity Interval Training Improves Exercise Capacity and Increases Mitochondrial Protein Content in Human Skeletal Muscle

Open Journal of Molecular and Integrative Physiology
2013English

Acute Simulated Soccer-Specific Training Increases PGC-1α mRNA Expression in Human Skeletal Muscle

Journal of Sports Sciences
Sports MedicinePhysical TherapySports ScienceOrthopedicsSports TherapyRehabilitation
2014English

Pilot Study: An Acute Bout of High Intensity Interval Exercise Increases 12.5 H GH Secretion

Physiological Reports
Physiology
2018English

Multimodal High-Intensity Interval Training Increases Muscle Function and Metabolic Performance in Females

Applied Physiology, Nutrition and Metabolism
NutritionEndocrinologySports SciencePhysiologyDieteticsMedicineMetabolismDiabetes
2015English

The Effects of Latter Climbing Exercise Training on PGC-1α Expression and Mitochondrial Biogenesis of Skeletal Muscle in Young and Middle-Aged Rats

Exercise Science
2014English

Exercise Training Increases Mitochondrial Biogenesis in the Brain

Journal of Applied Physiology
MedicinePhysiologySports Science
2011English

Testosterone Plus Low-Intensity Physical Training in Late Life Improves Functional Performance, Skeletal Muscle Mitochondrial Biogenesis, and Mitochondrial Quality Control in Male Mice

PLoS ONE
Multidisciplinary
2012English

Transducer of Regulated CREB-binding Proteins (TORCs) Induce PGC-1 Transcription and Mitochondrial Biogenesis in Muscle Cells

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy