Results 271 to 280 of about 170,706 (312)

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

Some of the next articles are maybe not open access.

Related searches:

Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL

International Conference on Interactive Theorem Proving
We describe the design, implementation and verification of an automated theorem prover for first-order logic with functions. The proof search procedure is based on sequent calculus and we formally verify its soundness and completeness in Isabelle/HOL ...
Asta Halkjær From, Frederik Krogsdal Jacobsen   +1 more
semanticscholar   +1 more source

Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus

Logic, Rationality, and Interaction, 2017
This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu.
Katsuhiko Sano
semanticscholar   +1 more source

Sequent Calculus

Undergraduate Topics in Computer Science, 2021
D. Sannella, Michael Fourman, Haoran Peng, P. Wadler   +3 more
semanticscholar   +1 more source

A Sequent Calculus

Mathematical Logic, 2021
H. Ebbinghaus, J. Flum, W. Thomas
semanticscholar   +1 more source

Semi-Axiomatic Sequent Calculus

International Conference on Formal Structures for Computation and Deduction, 2020
Henry Deyoung, F. Pfenning, K. Pruiksma
semanticscholar   +1 more source

Analytic Sequent Calculus for CPL

Studies in Universal Logic, 2020
Andrzej Indrzejczak
semanticscholar   +1 more source

A tutorial on computational classical logic and the sequent calculus

Journal of functional programming, 2018
P. Downen, Z. Ariola
semanticscholar   +1 more source

Sequent calculus for classical logic probabilized

Archive for Mathematical Logic, 2018
M. Boricic
semanticscholar   +1 more source