Results 181 to 190 of about 170,706 (312)
Absorbing the structural rules in the sequent calculus with additional atomic rules
, 2021 Franco Parlamento, Flavio Previale
openalex +2 more sources
Molecular Oncology, EarlyView.Using multi‐omic characterization, we aimed to identify key regulators specific to squamous cell lung carcinoma (SqCC). SqCC‐specific differentially expressed genes were integrated with metabolics data. High expression of the creatine transporter SLC6A8, along with elevated creatine levels, appeared to be a distinct metabolic feature of SqCC.
Johan Staaf +10 more
wiley +1 more source
Inhibition of CDK9 enhances AML cell death induced by combined venetoclax and azacitidine
Molecular Oncology, EarlyView.The CDK9 inhibitor AZD4573 downregulates c‐MYC and MCL‐1 to induce death of cytarabine (AraC)‐resistant AML cells. This enhances VEN + AZA‐induced cell death significantly more than any combination of two of the three drugs in AraC‐resistant AML cells.
Shuangshuang Wu +18 more
wiley +1 more source
Proof Complexity of Modal Resolution. [PDF]
J Autom Reason, 2022 Sigley S, Beyersdorff O.
europepmc +1 more source
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus [PDF]
K. D. Irani
openalex
A Sequent Calculus Prover for First-Order Logic with Functions
, 2022 Asta Halkjær From +1 more
openalex +1 more source
A synthetic benzoxazine dimer derivative targets c‐Myc to inhibit colorectal cancer progression
Molecular Oncology, EarlyView.Benzoxazine dimer derivatives bind to the bHLH‐LZ region of c‐Myc, disrupting c‐Myc/MAX complexes, which are evaluated from SAR analysis. This increases ubiquitination and reduces cellular c‐Myc. Impairing DNA repair mechanisms is shown through proteomic analysis.
Nicharat Sriratanasak +8 more
wiley +1 more source