Results 51 to 60 of about 641,970 (337)
The Journal of Symbolic Logic, 2009 AbstractWe develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules overK4 orIPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following ...
openaire +3 more sources
Canonical extensions and canonicity via dcpo presentations
Theoretical Computer Science, 2011 17 pages.
Gehrke, M., Vosmaer, J.
openaire +7 more sources
Integration of circadian and hypoxia signaling via non‐canonical heterodimerization
FEBS Letters, EarlyView.CLOCK, BMAL1, and HIFs are basic helix‐loop‐helix and Per‐Arnt‐Sim domain (bHLH‐PAS) proteins, which function as transcription factors. bHLH‐PAS proteins are designated in two classes. Many class I proteins are regulated by environmental signals via their PAS domains, but such signals have not been identified for all.
Sicong Wang, Katja A. Lamia
wiley +1 more source
Mechanisms of parasite‐mediated disruption of brain vessels
FEBS Letters, EarlyView.Parasites can affect the blood vessels of the brain, often causing serious neurological problems. This review explains how different parasites interact with and disrupt these vessels, what this means for brain health, and why these processes matter. Understanding these mechanisms may help us develop better ways to prevent or treat brain infections in ...
Leonor Loira +3 more
wiley +1 more source
Journal of Translational Medicine, 2020 Background Intracranial aneurysms (IAs) are dangerous because of their potential to rupture. We previously found significant RNA expression differences in circulating neutrophils between patients with and without unruptured IAs and trained machine ...
Kerry E. Poppenberg +13 more
doaj +1 more source
The Ethical Dilemma of Campaigning for Judicial Office: A Proposed Solution [PDF]
, 1986 Candidates for judicial office looked to the Canons of Judicial Ethics for the appropriate behavior expected of a candidate during a judicial campaign. Canons 30 and 32 require candidates to remain free from an appearance of influence by those who have ...
core +1 more source
Time after time – circadian clocks through the lens of oscillator theory
FEBS Letters, EarlyView.Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo +2 more
wiley +1 more source
Informatics in Medicine UnlockedBackground and objective: Information on the location of the fossa ovalis (FO) is necessary for planning interventional procedures that require an inter-atrial septal (IAS) puncture.
Gakuto Aoyama +7 more
doaj +1 more source
The formation of the Christian biblical canon [PDF]
, 1996 Reviewed Book: McDonald, Lee M. The formation of the Christian biblical canon.
Miller, John W.
core +1 more source
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source