Publication
Article Structure and functionality of a multimeric human COQ7:COQ9 complex
Concepts associés (32)
Dynamique moléculaire
La dynamique moléculaire est une technique de simulation numérique permettant de modéliser l'évolution d'un système de particules au cours du temps. Elle est particulièrement utilisée en sciences des matériaux et pour l'étude des molécules organiques, des protéines, de la matière molle et des macromolécules. En pratique, la dynamique moléculaire consiste à simuler le mouvement d'un ensemble de quelques dizaines à quelques milliers de particules dans un certain environnement (température, pression, champ électromagnétique, conditions aux limites.
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Lipid metabolism
Lipid metabolism is the synthesis and degradation of lipids in cells, involving the breakdown and storage of fats for energy and the synthesis of structural and functional lipids, such as those involved in the construction of cell membranes. In animals, these fats are obtained from food and are synthesized by the liver. Lipogenesis is the process of synthesizing these fats. The majority of lipids found in the human body from ingesting food are triglycerides and cholesterol.
Potentiel d'action
vignette|Le déplacement d'un potentiel d'action le long d'un axone, modifie la polarité de la membrane cellulaire. Les canaux ioniques sodium Na+ et potassium K+ voltage-dépendants s'ouvrent puis se ferment quand la membrane atteint le potentiel seuil, en réponse à un signal en provenance d'un autre neurone. À l'initiation du potentiel d'action, le canal Na+ s'ouvre et le Na+ extracellulaire rentre dans l'axone, provoquant une dépolarisation. Ensuite la repolarisation se produit lorsque le canal K+ s'ouvre et le K+ intracellulaire sort de l'axone.
Métabolisme des glucides
Le métabolisme des glucides est l'ensemble des processus biochimiques responsables de la formation, la dégradation et de l'interconversion des glucides chez les organismes vivants. Le glucide le plus important est le glucose, un sucre simple (ose) qui est métabolisé par presque tous les organismes connus. Le glucose et d'autres glucides participent à une grande variété de voies métaboliques présentes chez toutes les espèces vivantes : les plantes synthétisent grâce à la photosynthèse des glucides (amidon) à partir du présent dans l'atmosphère terrestre.
Idris (programming language)
Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but is designed to be a general-purpose programming language similar to Haskell. The Idris type system is similar to Agda's, and proofs are similar to Coq's, including tactics (theorem proving functions/procedures) via elaborator reflection. Compared to Agda and Coq, Idris prioritizes management of side effects and support for embedded domain-specific languages.
Fatty acid metabolism
Fatty acid metabolism consists of various metabolic processes involving or closely related to fatty acids, a family of molecules classified within the lipid macronutrient category. These processes can mainly be divided into (1) catabolic processes that generate energy and (2) anabolic processes where they serve as building blocks for other compounds. In catabolism, fatty acids are metabolized to produce energy, mainly in the form of adenosine triphosphate (ATP).
Coenzyme Q10
framed|Figure 1 : Structure chimique des ubiquinones. n peut varier de 6 à 10 et forme une chaîne polyisoprénique. La coenzyme Q (CoQ, ou plus simplement Q), également connue sous le nom d’ubiquinone, est une 1,4-Benzoquinone pour laquelle Q fait référence au groupe quinone et 10 au nombre d'unités isopréniques dans sa chaîne latérale. Cette substance, semblable à une vitamine liposoluble, est présente dans la plupart des cellules eucaryotes, essentiellement dans les mitochondries, où elle participe à la chaîne respiratoire dans le cadre de la respiration cellulaire aérobie.
Membrane plasmique
La membrane plasmique, également appelée membrane cellulaire, membrane cytoplasmique, voire plasmalemme, est une membrane biologique séparant l'intérieur d'une cellule, appelé cytoplasme, de son environnement extérieur, c'est-à-dire du milieu extracellulaire. Cette membrane joue un rôle biologique fondamental en isolant la cellule de son environnement.
Dérivé réactif de l'oxygène
Les dérivés réactifs de l'oxygène (DRO) ou espèces réactives de l'oxygène (ERO), ou ROS, sont des espèces chimiques oxygénées telles que des radicaux libres, des ions oxygénés et des peroxydes, rendus chimiquement très réactifs par la présence d'électrons de valence non appariés. Il peut s'agir par exemple de l'anion superoxyde , de l'oxygène singulet , du peroxyde d'hydrogène , ou encore de l'ozone . Les DRO peuvent être d'origine exogène ou bien endogène, apparaissant comme sous-produits du métabolisme normal de l'oxygène et jouant alors un rôle important dans la communication entre les cellules.