Results 161 to 170 of about 3,925,241 (306)

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Normalisation

, 1996
In this paper, we generalise the notion of explicit substitution from the lambda-calculus to higher order rewriting, realised by combinatory reduction systems (CRSs). For every confluent CRS, R, we construct an explicit substitution variant, Rx, which we
Roel Bloo, Preserve Strong Normalisation, Kristoffer H. Rose   +2 more
core  

Identification and characterization of a gene conferring stress resistance in Escherichia coli and cyanobacteria

FEBS Open Bio, EarlyView.
Functional screening identified PcSyn14890, a cyanobacteria‐specific protein that enhances growth and stress resistance in E. coli and Synechocystis PCC6803. Although we expected it to function as a molecular chaperone, it was unable to protect against thermal aggregation of GAPDH.
Akiyo Yamada, Takaaki Tanaka, Manaka Uehara, Keigo Nakano, Ken Morishima, Rintaro Inoue, Masaaki Sugiyama, Masafumi Yohda   +7 more
wiley   +1 more source

Quantitative evaluation of LED-based optical autofocus module. [PDF]

J Microsc
Habte S, Kumar S, Lightley J, Garcia E, Neil MAA, French PMW.   +5 more
europepmc   +2 more sources

Selective elimination of quiescent cancer cells by dequalinium chloride via ROS‐mediated ferroptosis

FEBS Open Bio, EarlyView.
Dequalinium chloride (DQ) selectively eliminates quiescent cancer cells (QCCs) by amplifying mitochondrial ROS. QCCs exhibit elevated basal ROS and limited redox‐buffering capacity, making them vulnerable to further ROS increases. DQ‐induced ROS exceeds the tolerance threshold, triggering lipid peroxidation and ferroptosis, whereas proliferating cells ...
Kotaro Miyamoto, Shiori Sakai, Minori Endo, Terigele, Mizuho Niibori, Taiki Morita, Yu Goto, Arisa Yoshida, Tomohiro Tanaka, Ning Lin, Takahiro Kuchimaru, Hiroyuki Nakamura, Masahiro Inoue, Shinae Kizaka‐Kondoh, Tetsuya Kadonosono   +14 more
wiley   +1 more source

Variations of Grey World for face tracking

, 2008
This paper deals with the problem of colour constancy for real-time face tracking. We present two extensions of the Grey World (GW) algorithm in order to deal with dynamic image sequences with varying illumination intensity.
Luis Baumela, José M. Buenaposada
core  

TRPML1 agonist ML‐SA5 attenuates pulmonary fibroblast activation by suppressing mTOR and restoring autophagic flux

FEBS Open Bio, EarlyView.
TGF‐β1 stimulation downregulates lysosomal channel TRPML1 in pulmonary fibroblasts. The TRPML1 agonist ML‐SA5 suppressed fibroblast‐to‐myofibroblast activation and collagen production. Mechanistically, ML‐SA5 inhibited mTOR phosphorylation, restored autophagic flux, and its effects were enhanced by rapamycin (mTOR inhibitor) and reversed by MHY1485 ...
Jiatong Yao, Xiaoting Kang, Lulu Meng, Shaoxuan Zhang, Qiujie Li, Jinyu Zhou, Mengyue Xue, Chu Li, Hua Zhu, Pengzhou Hang, Jing Zhao   +10 more
wiley   +1 more source

Supercompilation and normalisation by evaluation

, 2010
. It has been long recognised that partial evaluation is related to proof normalisation. Normalisation by evaluation, which has been pre-sented for theories with simple types, has made this correspondance for-mal.
Hamilton, Geoff W., Gavin E. Mendel-Gleason (12588811), Gavin E. Mendel-gleason, Geoff W. Hamilton (12588808), Geoff Hamilton, Mendel-Gleason, Gavin E.   +5 more
core  

Beta1 subunits enable fentanyl‐induced BK channel activation and opioid regulation of cerebral artery diameter

FEBS Open Bio, EarlyView.
During the current opioid crisis, the majority of overdose deaths are attributed to ultra‐potent synthetic opioids, such as fentanyl. While fentanyl exerts its action via opioid receptors, we propose that potassium channels in the brain blood vessels may also sense fentanyl.
Shiwani Thapa, Mohammed Nooh, Akhil Geddati, Alex Dopico, Anna N. Bukiya   +4 more
wiley   +1 more source

Using fluorescence fluctuation spectroscopy to quantify molecular dynamics within cells

FEBS Open Bio, EarlyView.
Microscopy techniques like fluorescence correlation spectroscopy (FCS) and number and brightness analysis (N&B) allow to quantify concentrations, diffusion rates, and oligomerization of fluorescently labeled molecules in the living cell. In this protocol the principles of how to set up these types of experiments are described including calibration ...
Mark A. Hink
wiley   +1 more source

Dactolisib outperforms Rapamycin in potentiating apoptosis induced by XPO1, Bcl‐2 and Mcl‐1 blockade in preclinical glioblastoma models

FEBS Open Bio, EarlyView.
The PAM pathway and its impact on cellular metabolism. Color‐coded key symbols represent Rapamycin (R, orange, targeting mTOR) and Dactolisib (D, green, targeting PI3K/mTOR), indicating their sites of action. Created with BioRenders.com. Glioblastoma resists therapy through interconnected survival programs.
Kai Zhao, Leonie Meyer, Madita Braun, Katharina Otte, Celine Bitter, Maite Pawlik, Hartmann Raifer, Frederik Helmprobst, Axel Pagenstecher, Hans Urban, Michael C. Burger, Michael W. Ronellenfitsch, Joachim P. Steinbach, Jarmila Jedelská, Shamim Bagheri, Behrooz H. Yousefi, Pietro Di Fazio, Markus Luster, Andreas H. Mahnken, Andreas Neubauer, Andreas Burchert, Christopher Nimsky, Jörg W. Bartsch, Tillmann Rusch   +23 more
wiley   +1 more source