Results 131 to 140 of about 1,069,887 (282)

GelMA‐based 3D spheroids recapitulate transcriptomic and functional hallmarks of myeloid sarcoma

FEBS Open Bio, EarlyView.
GelMA 5% hydrogels support the formation of myeloid leukemia spheroids that recapitulate MS‐specific features, including G1 arrest, apoptosis, and ECM‐driven transcriptomic reprogramming. The 3D model mimicked soft‐tissue‐like stiffness and oxygen conditions, and transcriptomic convergence with primary MS samples confirmed its utility as a preclinical ...
Nicolas Germain, Elise Buret, Le Hoang Thanh Nguyen, Marion Cocheteux, Nicolas Touya, Mélanie Dhayer, Romain Dubois, Frank Lafont, Sebastien Janel, Patrice Maboudou, Steve Lancel, Philippe Marchetti   +11 more
wiley   +1 more source

Identification and characterisation of calcitonin receptor isoforms expressed in glioblastoma derived glioma stem and U‐87 MG cells

FEBS Open Bio, EarlyView.
Glioblastoma cells express calcitonin receptor variants (CT receptor isoforms) that may help them survive stress. Using qPCR, transcript‐specific long‐read nanopore sequencing, immunofluorescence co‐localisation and comparative sequence analysis, this study identifies a novel alternatively spliced CALCR transcript that encodes the CTb receptor isoform ...
Pragya Gupta, Sebastian GB Furness, Tahereh Gharbi, Ric De Paoli‐Iseppi, Shweta S. Joshi, Michael Clark, David L. Hare, Peter Wookey   +7 more
wiley   +1 more source

Structural and biochemical insights into the thermostable esterase Ta0887 from Thermoplasma acidophilum

FEBS Open Bio, EarlyView.
In this study, a novel esterase from the thermoacidophilic archaeon Thermoplasma acidophilum was biochemically and structurally characterized. Our results demonstrate that Ta0887 is a highly thermostable esterase that preferentially hydrolyzes p‐nitrophenyl hexanoate and possesses an α‐helical cap domain that likely contributes to its substrate ...
Alejandro Delgado‐Rey, Miriam Livier Llamas‐García, Gabriela M. Montero‐Morán, Leticia Santos, Samuel Lara‐González   +4 more
wiley   +1 more source

Cut Elimination in Propositional Based Logics

, 2008
. Sufficient conditions for sequent calculi for propositional based logics to enjoy cut elimination are established. These conditions are satisfied by a wide class of sequent calculi encompassing among others calculi for classical and intuitionistic ...
J. Rasga
core  

Salmonella enterica serovar typhi limits the potency of typhoid toxin and ADP‐ribosylating toxin AB to establish a persistent infection

FEBS Open Bio, EarlyView.
The two catalytic subunits of typhoid toxin dissociate from the holotoxin in the ER of an intoxicated cell, but only CdtB exits the ER to generate immunosuppressive effects. PltA is retained in the ER and sequestered from its cytosolic target, thus allowing the anti‐inflammatory effects of CdtB to promote intestinal colonization.
Maria C. Zabala‐Rodriguez, Juliette K. Tinker, Teresa Frisan, Taj Azarian, Ken Teter   +4 more
wiley   +1 more source

Cut-elimination for $\omega_{1}$

, 2018
In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and \Pi_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.
openaire   +2 more sources

Genetic dissection of human ABCE1 in yeast reveals separable requirements for ribosome recycling and suppression of aberrant reinitiation

FEBS Open Bio, EarlyView.
Human ABCE1 cannot functionally replace its yeast ortholog. Yeast–human chimera analysis identified NBD1 as a major interspecies barrier. Genetic screening yielded hABCE1 revertants that rescue yeast viability but fail to suppress aberrant translation reinitiation in the 3′ UTR.
Eriko Nakata, Yuxin Li, Kei Endo, Koichi Ito   +3 more
wiley   +1 more source

Cut Elimination with ξ-Functionality

, 2008
In [1] Andrews proved cut-elimination for a sequent calculus G for elementary type theory (Corollary 4.11 there). In particular, Andrews proved provability in G is equivalent to provability in a Hilbert-style calculus T (where admissibility of cut is ...
Michael Kohlhase, Chad E. Brown, Christoph E. Benzmüller   +2 more
core  

Topdown Cut-Elimination

Topdown Cut-Elimination
A direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the classical and the intuitionistic logics but also of the standard modal logics. In the procedure, we do not introduce the inference rule mix but eliminate the usual rule cut directly.
openaire   +3 more sources

MARK4 enhances stress granule formation under oxidative stress and increases tau accumulation

FEBS Open Bio, EarlyView.
MARK4 (red dots) localizes to stress granules (orange dots) and promotes their formation under oxidative stress by modulating TIA1 (blue dots). MARK4 and TIA1 synergistically increase tau (purple) accumulation, and the reduction of the TIA1 ortholog suppresses neurodegeneration in a fly model.
Sho Nakajima, Kotone Watanabe, Grigorii Sultanakhmetov, Aoi Fukuchi, Keiya Ito, Sawako Shimizu, Taro Saito, Akiko Asada, Kanae Ando   +8 more
wiley   +1 more source