127 research outputs found
A Categorical Semantics for Inductive-Inductive Definitions
Induction-induction is a principle for defining data types in Martin-Löf Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa. In addition, the constructors for B can refer to the constructors for A. We extend the usual initial algebra semantics for ordinary inductive data types to the inductive-inductive setting by considering dialgebras instead of ordinary algebras. This gives a new and compact formalisation of inductive-inductive definitions, which we prove is equivalent to the usual formulation with elimination rules
Neuronal cell-based high-throughput screen for enhancers of mitochondrial function reveals luteolin as a modulator of mitochondria-endoplasmic reticulum coupling
Background: Mitochondrial dysfunction is a common feature of aging, neurodegeneration, and metabolic diseases.
Hence, mitotherapeutics may be valuable disease modifiers for a large number of conditions. In this study, we have
set up a large-scale screening platform for mitochondrial-based modulators with promising therapeutic potential.
Results: Using differentiated human neuroblastoma cells, we screened 1200 FDA-approved compounds and
identified 61 molecules that significantly increased cellular ATP without any cytotoxic effect. Following dose
response curve-dependent selection, we identified the flavonoid luteolin as a primary hit. Further validation in
neuronal models indicated that luteolin increased mitochondrial respiration in primary neurons, despite not
affecting mitochondrial mass, structure, or mitochondria-derived reactive oxygen species. However, we found that
luteolin increased contacts between mitochondria and endoplasmic reticulum (ER), contributing to increased
mitochondrial calcium (Ca2+) and Ca2+-dependent pyruvate dehydrogenase activity. This signaling pathway likely
contributed to the observed effect of luteolin on enhanced mitochondrial complexes I and II activities. Importantly,
we observed that increased mitochondrial functions were dependent on the activity of ER Ca2+-releasing channels
inositol 1,4,5-trisphosphate receptors (IP3Rs) both in neurons and in isolated synaptosomes. Additionally, luteolin
treatment improved mitochondrial and locomotory activities in primary neurons and Caenorhabditis elegans
expressing an expanded polyglutamine tract of the huntingtin protein.
Conclusion: We provide a new screening platform for drug discovery validated in vitro and ex vivo. In addition, we
describe a novel mechanism through which luteolin modulates mitochondrial activity in neuronal models with
potential therapeutic validity for treatment of a variety of human diseases
- …