Results 41 to 50 of about 23,621 (170)

UbiB proteins mediate an ATP‐dependent decarboxylation step in bacterial ubiquinone biosynthesis

The FEBS Journal, EarlyView.
UbiB proteins are atypical protein kinase‐like enzymes essential for ubiquinone biosynthesis. Here, we demonstrate that bacterial UbiB proteins catalyze the O2‐dependent decarboxylation of ubiquinone precursors, a process linked to their ATPase activity.
Katayoun Kazemzadeh, Bruno Faivre, Sophie‐Carole Chobert, Martial Rey, Sophie S. Abby, Julie Michaud, Tuan‐Anh Dinh, Alexandre Chilin, Olivier Lerouxel, Marc Fontecave, Fabien Pierrel, Murielle Lombard, Ludovic Pelosi   +12 more
wiley   +1 more source

Proofs of randomized algorithms in Coq [PDF]

Science of Computer Programming, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Audebaud, Philippe, Paulin-Mohring, Christine   +1 more
openaire   +4 more sources

Gendered Harmony and Unsung Collections: Two Debussy Rabbit Holes

Music Analysis, EarlyView.
ABSTRACT This review article on Mark McFarland's The Musical Relationship between Claude Debussy and Igor Stravinsky (2024) offers a critical reading of this recent text and treats its content as a springboard for the exploration of two issues untapped in existing musicological discourse.
Rajan Lal
wiley   +1 more source

FSP1 as the convergent hub of autophagy and ubiquitination governing ferroptosis in monocrotaline‐induced pulmonary arterial hypertension

Clinical and Translational Medicine, Volume 16, Issue 11, November 2026.
Background: The crosstalk between autophagy and ferroptosis in pulmonary arterial hypertension (PAH) remains unclear. We investigated the role of FSP1 as a critical link between these processes. Methods and Findings: Mechanistically, we identified that FSP1 degradation is dually regulated by NBR1‐mediated autophagic flux and RNFT1‐dependent K63‐linked ...
Dandan Chen, Qi Jin, Lei Zhang, Wenzhi Pan, Daxin Zhou, Junbo Ge, Lihua Guan   +6 more
wiley   +1 more source

The Coq Proof Assistant : A Tutorial : Version 6.1 [PDF]

, 1997
Projet COQCoq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. This document is a tutorial for the version V6.1 of Coq.
Paulin-Mohring, Christine, Huet, Gérard, Kahn, Gilles   +2 more
core   +2 more sources

The Role of Mitochondrial Homeostasis in the Pathogenesis of Chronic Rhinosinusitis

Immunity, Inflammation and Disease, Volume 14, Issue 11, November 2026.
The vicious cycle between pathogenic factors‐induced inflammation, oxidative stress, and mitochondrial dysfunction in the context of chronic rhinosinusitis. Created in BioRender. Taghizadeh‐Hesary (2026) https://BioRender.com/k5f4t1f. ABSTRACT Background Chronic rhinosinusitis (CRS) is a common clinical condition characterized by persistent ...
Babak Ghalehbaghi, Morteza Fallahpour, Mohammad Nabavi, Maryam Jalessi, Hadi Ghanbari, Nasibeh Khayer, Farzad Taghizadeh‐Hesary   +6 more
wiley   +1 more source

Proof Reflection in Coq

Journal of Automated Reasoning, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Revisiting Inherited Metabolic Diseases (IMDs) Through the Lens of Selective Autophagy

Journal of Inherited Metabolic Disease, Volume 49, Issue 6, November 2026.
ABSTRACT Selective autophagy is increasingly recognized as a fundamental quality‐control mechanism that complements bulk autophagy by enabling the targeted degradation of specific intracellular cargos, including mitochondria, endoplasmic reticulum (ER), lipid droplets, glycogen, peroxisomes, ferritin, ribosomes, and protein aggregates.
Marianna Maddaluno, Laura Cinque, Viviana Cetrangolo, Chiara De Leonibus   +3 more
wiley   +1 more source

Drought and soil macrofauna functional diversity effects on Mediterranean tree growth in an Ecotron ecosystem experiment

Functional Ecology, Volume 40, Issue 11, Page 3559-3576, November 2026.
Read the free Plain Language Summary for this article on the Journal blog. Abstract The intensity, frequency and severity of drought events are projected to increase in the Mediterranean region under ongoing climate change. This may impact plant growth and survival in Mediterranean forests leading to altered ecosystem dynamics. The functional diversity
Justine Laoué, Alexandru Milcu, Johanne Nahmani, Sandra Barantal, Sylvain Coq, Nathalie Fromin, Emmanuel S. Gritti, Lenka Kovácsová, Stephan Hättenschwiler   +8 more
wiley   +1 more source

A Comparative Study of Coq and HOL [PDF]

, 1997
This paper illustrates the differences between the style of theory mechanisation of Coq and of HOL. This comparative study is based on the mechanisation of fragments of the theory of computation in these systems.
Zammit, Vincent, Vincent Zammit
core   +1 more source