Results 231 to 240 of about 15,159 (278)
Dependent Type Theory in Polarised Sequent Calculus (abstract)
, 2020 Étienne Miquey +2 more
openalex +1 more source
A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
, 2004 Gerald Penn
openalex +1 more source
FEBS Open Bio, EarlyView.We established a spheroid coculture system enabling viable Porphyromonas gingivalis–HNSCC interactions under normoxic conditions. Inhibition of LATS1/2 maintains tumor cells in an undifferentiated state, which may promote spheroid growth and create a more permissive environment for bacterial persistence.
Yurika Nakajima +4 more
wiley +1 more source
Principles for Object-Linguistic Consequence: from Logical to Irreflexive. [PDF]
J Philos Logic, 2018 Nicolai C, Rossi L.
europepmc +1 more source
A Sequent Calculus Proof Search Procedure and Counter-model Generation based on Natural Deduction Bounds [PDF]
, 2019 Jefferson de Barros Santos +2 more
openalex
Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276
FEBS Open Bio, EarlyView.Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig +7 more
wiley +1 more source
FEBS Open Bio, EarlyView.We found that during chemotherapy‐induced alopecia (CIA), Sonic hedgehog (Shh) expression significantly decreased in hair follicle Shh+ cells, whereas the Janus‐activated kinase/signal transducer and activator of transcription 1 (JAK/STAT1) signaling pathway was markedly activated.
Ruifang Fan +6 more
wiley +1 more source