Results 211 to 220 of about 935 (253)

From Modal Sequent Calculi to Modal Resolution

Dirk Pattinson, Cláudia Nalon, Sourabh Peruri   +2 more
openalex   +1 more source

Proof search in multi-succedent sequent calculi for intuitionistic logic [PDF]

, 2013
Toshiyasu Arai
openalex  

Interplay between RNA‐protein interactions and RNA structures in gene regulation

FEBS Open Bio, EarlyView.
Methodological advances in mapping transcriptome‐wide RNA‐protein interactions and RNA structures have started to uncover the potential of RNP conformations in gene regulation. Competing RNA–RNA, RNA‐protein and protein–protein interactions shape the compaction and function of RNPs throughout their lifetime and may provide novel therapeutic targets in ...
Jenni Rapakko, Mauro Scaravilli, Minna‐Liisa Änkö   +2 more
wiley   +1 more source

Lactoferrin treatment activates acetylcholinesterase, decreasing acetylcholine levels in non‐small cell lung cancer (NSCLC) cell culture supernatants, inhibiting cell survival

FEBS Open Bio, EarlyView.
Representation of the suggested mode of action of lactoferrin (Lf) in nonsmall cell lung cancer (NSCLC) A549 cells. Lf induces activation of caspase‐3 by activating p53 and AChE leading to decreased ACh concentrations. In turn, ACh signaling leads to activation of VEGF and AKT and blocking of caspase‐3.
Stuti Goel, Caroline Wozniak, Aya Sabri, Ben Haddad, Brooke Lopo, Alvaro Cobos, Sarah Sarofim, Jeffrey Guthrie, Deborah Heyl, Hedeel Guy Evans   +9 more
wiley   +1 more source

Supplement: 33rd United European Gastroenterology Week 2025. [PDF]

United European Gastroenterol J
europepmc   +1 more source

Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)

, 2003
Satoru Kuroda
openalex   +1 more source

Sequent Calculi for Indexed Epistemic Logics. [PDF]

, 2016
Giovanna Corsi, Eugenio Orlandelli
openalex  

Indoleamine 2,3‐dioxygenase 1 inhibition reverses cancer‐associated fibroblast‐mediated immunosuppression in high‐grade serous ovarian cancer

FEBS Open Bio, EarlyView.
CAF‐mediated immunosuppression in ovarian cancer is driven by IDO1, reducing T‐cell function. Inhibiting IDO1 restores T‐cell proliferation and cytotoxicity, increases cancer cell apoptosis, and may help overcome CAF‐induced immune suppression in high‐grade serous ovarian cancer. Targeting IDO1 may improve antitumor immunity.
Hyewon Lee, Jung Yoon Ho, In Sun Hwang, Youn Jin Choi   +3 more
wiley   +1 more source

A general model for analysis of linear and hyperbolic enzyme inhibition mechanisms

FEBS Open Bio, EarlyView.
We developed a general enzyme kinetic model that integrates these six basic inhibition mechanism onto a single one. From this model, we deduced a general enzyme kinetic equation that through modulation of simple parameters, γ (the relative inhibitor affinity for two binding sites) and β (the reactivity of the enzyme–substrate–inhibitor complex), is ...
Rafael S. Chagas, Sandro R. Marana
wiley   +1 more source