Results 231 to 240 of about 14,982 (276)
Pharmacological inhibition of PERK in a DEN‐induced mouse model of liver cancer does not reduce tumor burden but alters cellular stress signaling. Despite blocking PERK activity, downstream stress responses, including CHOP expression, remain active, suggesting compensatory mechanisms within the unfolded protein response that may influence tumor ...
Ada Lerma‐Clavero +5 more
wiley +1 more source
Early‐life exposure to a high‐fat diet altered intact Achilles tendons in rat offspring, making them thinner, stiffer, and molecularly distinct even without injury. These findings suggest that developmental high‐fat diet exposure may impair tendon quality and increase susceptibility to mechanical overload or tendon injury later in life.
Heyong Yin +3 more
wiley +1 more source
Proof theory for locally finite many-valued logics: Semi-projective logics.
Ciabattoni A, Montagna F.
europepmc +1 more source
Abruptly changing from aerobic to anaerobic conditions (sudden anaerobization) induced growth inhibition and a significant increase in intracellular labile ferrous iron in the aerotolerant anaerobe Amphibacillus xylanus. We found that free flavins mediate efficient electron transfer from NADH to ferric iron under anaerobic conditions, suggesting that ...
Shinya Kimata +13 more
wiley +1 more source
In a murine model of myocardial ischemia and reperfusion (MI/R), the CD36 azapeptide ligand MPE‐298 reduces cardiac injury and transiently lowers left ventricular long‐chain fatty acids (LCFAs) accumulation 3 h after reperfusion, accompanied by a decrease of oxidative stress and inflammation‐associated genes' expression in the heart and adipose tissue.
Jade Gauvin +12 more
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2021
AbstractIn addition to natural deduction, Gentzen developed a different calculus, called the sequent calculus. A sequent is a configuration presenting an arrow symbol (⇒) flanked on the left and on the right by finite sequences of formulas, possibly empty.
Paolo Mancosu +2 more
openaire +3 more sources
AbstractIn addition to natural deduction, Gentzen developed a different calculus, called the sequent calculus. A sequent is a configuration presenting an arrow symbol (⇒) flanked on the left and on the right by finite sequences of formulas, possibly empty.
Paolo Mancosu +2 more
openaire +3 more sources
Sequent calculus and data fusion
Fuzzy Sets and Systems, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sossai C, Bison P, Chemello G
openaire +3 more sources
Non-classical Elegance for Sequent Calculus Enthusiasts
Studia Logica, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andreas Fjellstad
openaire +4 more sources

