Results 71 to 80 of about 1,939,299 (336)
En quoi la crise des fondements des mathématiques est-elle terminée ?
Philosophia Scientiæ, 2005 The « crisis in the foundations of mathematics » (1902-1931) contributed to the advent of an axiomatic set-theoretic paradigm in terms of which the pressing questions of « Foundations of Mathematics » are still treated.
Emmanuel Barot
doaj +1 more source
FEBS Letters, EarlyView.Atovaquone is an antimalarial requiring potentiation for sufficient efficacy. We pursued strategies to enhance its activity, showing that 4‐nitrobenzoate inhibits 4‐hydroxybenzoate polyprenyltransferase, decreasing ubiquinone biosynthesis. Since atovaquone competes with ubiquinol in mitochondria, 4‐nitrobenzoate facilitates its action, potentiating ...
Ignasi Bofill Verdaguer +7 more
wiley +1 more source
Mitochondrial fatty acid oxidation is stimulated by red light irradiation
FEBS Letters, EarlyView.Light at different wavelengths has distinct effects on keratinocyte viability and metabolism. UVA light abrogates metabolic fluxes. Blue and green light have no effect on metabolic fluxes, while red light enhanced oxidative phosphorylation by promoting fatty acid oxidation. Keratinocytes are the primary constituents of sunlight‐exposed epidermis.
Manuel Alejandro Herrera +4 more
wiley +1 more source
THE USE OF COMPLEXITY HIERARCHIES IN DESCRIPTIVE SET THEORY AND AUTOMATA THEORY
TASK Quarterly, 2005 The concept of a reduction between subsets of a given space is described, giving rise to various complexity hierarchies, studied both in descriptive set theory and in automata theory.
ALESSANDRO ANDRETTA, RICCARDO CAMERLO
doaj
The descriptive theory of represented spaces [PDF]
, 2014 This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented spaces.
Pauly, Arno
core
Classical descriptive set theory as a refinement of effective descriptive set theory
Annals of Pure and Applied Logic, 2010 Abstract The (effective) Suslin–Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation.
openaire +2 more sources
An intracellular transporter mitigates the CO2‐induced decline in iron content in Arabidopsis shoots
FEBS Letters, EarlyView.This study identifies a gene encoding a transmembrane protein, MIC, which contributes to the reduction of shoot Fe content observed in plants under elevated CO2. MIC is a putative Fe transporter localized to the Golgi and endosomal compartments. Its post‐translational regulation in roots may represent a potential target for improving plant nutrition ...
Timothy Mozzanino +7 more
wiley +1 more source
The IQ‐compete assay for measuring mitochondrial protein import efficiencies in living yeast cells
FEBS Letters, EarlyView.The efficiency of mitochondrial protein import depends on the properties of the newly synthesized precursor proteins. The Import and de‐Quenching Competition (IQ‐compete) assay is a novel method to monitor the import efficiency of different proteins by fluorescence in living yeast cells.
Yasmin Hoffman +3 more
wiley +1 more source
Open questions in descriptive set theory and dynamical systems [PDF]
, 2023 Jérôme Buzzi +8 more
openalex +1 more source
FEBS Letters, EarlyView.Anaplastic thyroid cancer (ATC) lacks iodide uptake ability due to MAPK activation increasing the expression of the histone methyltransferase EZH2, which represses thyroid differentiation genes (TDGs) such as the sodium iodide symporter (NIS). Dual inhibition of MAPK (U0126) and EZH2 (EPZ6438/Tazemetostat) reverses this mechanism, thus restoring TDG ...
Diego Claro de Mello +6 more
wiley +1 more source