Results 71 to 80 of about 491,607 (366)
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
On the (un)decidability of a near-unanimity term [PDF]
, 2007 We investigate the near-unanimity problem: given a finite algebra, decide if it has a near-unanimity term of finite arity. We prove that it is undecidable of a finite algebra if it has a partial near-unanimity term on its underlying set excluding two ...
Maróti, Miklós
core +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Deciding not to decide: Deferral in constitutional design
International Journal of Constitutional Law, 2011 In designing constitutions, constitutional drafters often face constraints that cause them to leave things “undecided”—or to defer decision-making on certain constitutional issues to the future. They do this both through adopting vague constitutional language, and through specific language that explicitly delegates issues to future legislators (i.e ...
Dixon, Rosalind, Ginsburg, Tom
openaire +2 more sources
The Church Problem for Countable Ordinals
, 2009 A fundamental theorem of Buchi and Landweber shows that the Church synthesis problem is computable. Buchi and Landweber reduced the Church Problem to problems about ω-games and used the determinacy of such games as one of the main tools to show its ...
Rabinovich, Alexander
core +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
Foundations of Computing and Decision Sciences, 2019 This essay’s content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. — 2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon — 3.
Marciszewski Witold
doaj +1 more source
Strategy Logic with Imperfect Information
, 2018 We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecidable.
Berthon, Raphaël +4 more
core +1 more source
A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins
FEBS Letters, EarlyView.We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue +6 more
wiley +1 more source
Parameterized Verification of Coverability in Well-Structured Broadcast Networks [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Parameterized verification of coverability in broadcast networks with finite state processes has been studied for different types of models and topologies.
A.R. Balasubramanian
doaj +1 more source