Results 101 to 110 of about 135,609 (263)

Suppression of lung adenocarcinoma migration through organelle alkalization by human lactoferrin – albumin fusion

FEBS Open Bio, EarlyView.
This paper reveals how human lactoferrin–albumin fusion (hLF‐HSA) potently suppresses lung adenocarcinoma cell migration. hLF‐HSA upregulates NHE7, leading to Golgi alkalization, disruption of the Golgi secretome, downregulation of MMP1, and reversal of EMT. These findings suggest a novel Golgi‐targeting strategy to suppress cancer cell migration.
Hana Nopia, Masahiro Kimura, Daisuke Kurimoto, Atsushi Sato   +3 more
wiley   +1 more source

Derivation and characterization of retinal pigment epithelium from urine‐derived iPSCs

FEBS Open Bio, EarlyView.
Age‐related macular degeneration causes vision loss via RPE dysfunction and loss. Traditional iPSC therapies rely on invasive biopsies, limiting scalability. Here, we utilize urine‐derived stem cells as an accessible source to generate u‐iPSCs, successfully differentiated into pigmented RPE. This “Urine‐to‐Retina” platform provides a promising path for
Daniella Beiner, Hainan Zhu, Carol Christine Bosholm, Heuy‐Ching Wang, Tracy Criswell, Anthony Atala, Jian‐Xing Ma, Yuanyuan Zhang   +7 more
wiley   +1 more source

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs [PDF]

, 2015
Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna   +3 more
openalex   +1 more source

Aquaporin‐3 and aquaporin‐5 impact the development of pancreatic ductal adenocarcinoma spheroids

FEBS Open Bio, EarlyView.
Schematic representation of the role of aquaporin‐3 (AQP3) and aquaporin‐5 (AQP5) in pancreatic ductal adenocarcinoma (PDAC). Both proteins are upregulated in PDAC and are associated with tumor progression and metastatic potential. Silencing AQP3 or AQP5 in PDAC spheroids results in decreased diameter, area, and overall growth, underscoring their key ...
Catarina Pimpão, Diogo M. Engrácia, Graça Soveral, Filipa Mendes   +3 more
wiley   +1 more source

Hyperosmotic stress‐induced redistribution of pre‐mRNA cleavage factor I subunits is associated with shifts in alternative polyadenylation

FEBS Open Bio, EarlyView.
Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya, Masatake Osawa, Hidefumi Fukumitsu   +2 more
wiley   +1 more source

Hardware security and reliability verification based on fault propagation model

Xibei Gongye Daxue Xuebao
Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security
ZHANG Xige, ZHU Jiacheng, MA Jun, SHEN Lixiang, ZHOU Jiahui, MU Dejun   +5 more
doaj   +1 more source

Formal Verification of Control Modules in Cyber-Physical Systems. [PDF]

Sensors (Basel), 2020
Grobelna I.
europepmc   +1 more source

On modularity in reactive control architectures, with an application to formal verification [PDF]

, 2020
Oliver Biggar, Mohammad Zamani, Iman Shames   +2 more
openalex   +1 more source

Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells

FEBS Open Bio, EarlyView.
Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim, Marco Corazzari, Iman Osman, Jane Armstrong, Noel Carter   +4 more
wiley   +1 more source

Formal Verification of Recursive Predicates

, 2007
Richard Bubel
openalex   +1 more source