Results 251 to 260 of about 5,727 (317)

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

, 2013
Toshiyasu Arai
openalex  

The effect of salubrinal on the endoplasmic reticulum stress pathway in heat‐stressed spermatogonial cells in vitro

FEBS Open Bio, EarlyView.
This study investigates the protective role of salubrinal against heat‐induced endoplasmic reticulum (ER) stress in mouse spermatogenic cells (GC1 and GC2). By modulating the ER stress pathway, salubrinal alleviates cellular stress and supports spermatogenic cell survival, suggesting its potential as a therapeutic candidate for heat‐related infertility.
Suna Karadeniz Saygili, Mustafa Oztatlici, Mahmut Kemal Ozbilgin   +2 more
wiley   +1 more source

From Modal Sequent Calculi to Modal Resolution

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

KLK7 overexpression promotes an aggressive phenotype and facilitates peritoneal dissemination in colorectal cancer cells

FEBS Open Bio, EarlyView.
KLK7, a tissue kallikrein‐related peptidase, is elevated in advanced colorectal cancer and associated with shorter survival. High KLK7 levels in ascites correlate with peritoneal metastasis. In mice, KLK7 overexpression increases metastasis. In vitro, KLK7 enhances cancer cell proliferation, migration, adhesion, and spheroid formation, driving ...
Yosr Z. Haffani, Tobias Dreyer, Meriem Naim, Rea Lo Dico, Natalia A. Ignatenko, Viktor Magdolen, Dalila Darmoul   +6 more
wiley   +1 more source

dUTPase is essential in zebrafish development and possesses several single‐nucleotide variants with pronounced structural and functional consequences

FEBS Open Bio, EarlyView.
dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon, Angéla Békesi, Latifa Kazzazy, Jázmin Mihály, Máté Varga, Beáta G. Vértessy, Kinga Nyíri   +6 more
wiley   +1 more source

Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculi

, 2000
Luís Pinto, Roy Dyckhoff
openalex   +1 more source

Tumor‐stromal crosstalk and macrophage enrichment are associated with chemotherapy response in bladder cancer

FEBS Open Bio, EarlyView.
Chemoresistance in bladder cancer: Macrophage recruitment associated with CXCL1, CXCL5 and CXCL8 expression is characteristic of Gemcitabine/Cisplatin (Gem/Cis) Non‐Responder tumors (right side) while Responder tumors did not show substantial tumor‐stromal crosstalk (left side). All biological icons are attributed to Bioicons: carcinoma, cancerous‐cell‐
Sophie Leypold, Janik Riese, Lancelot Seillier, Mark Kühnel, Julia Pannhausen, Charlotte O. J. Fröhlich, Christian Martin, Peter Boor, Matthias Saar, Danny D. Jonigk, Nadine T. Gaisa, Michael Rose   +11 more
wiley   +1 more source

Polarization‐resolved femtosecond Vis/IR spectroscopy tailored for resolving weak signals in biological samples using minimal sample volume

FEBS Open Bio, EarlyView.
Unique biological samples, such as site‐specific mutant proteins, are available only in limited quantities. Here, we present a polarization‐resolved transient infrared spectroscopy setup with referencing to improve signal‐to‐noise tailored towards tracing small signals. We provide an overview of characterizing the excitation conditions for polarization‐
Clark Zahn, Karsten Heyne
wiley   +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

Microglial dynamics and ferroptosis induction in human iPSC‐derived neuron–astrocyte–microglia tri‐cultures

FEBS Open Bio, EarlyView.
A tri‐culture of iPSC‐derived neurons, astrocytes, and microglia treated with ferroptosis inducers as an Induced ferroptosis model was characterized by scRNA‐seq, cell survival, and cytokine release assays. This analysis revealed diverse microglial transcriptomic changes, indicating that the system captures key aspects of the complex cellular ...
Hongmei Lisa Li, Hiroko Ohmiya, Sou Sakamoto, Masato Yugami, Akiko Oki, Makoto Furusawa, Yan Ling   +6 more
wiley   +1 more source