Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Chouhan AP, Banda G.
europepmc +1 more source
Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells
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 +4 more
wiley +1 more source
Pathways and pitfalls: a qualitative study of student experiences in biomedical science education
Biomedical science students from underrepresented backgrounds face barriers including financial strain, disrupted laboratory access and cultural exclusion. Peer networks provide vital support when institutional systems are difficult to navigate. To create inclusive learning environments and achieve academic success, educators should blend active, hands‐
Olivia J. Russell +8 more
wiley +1 more source
Malformin A1–mediated cytotoxicity in ovarian cancer cells occurs through pyroptosis and autophagy
This study investigated the effects of the natural compound Malformin A1 (MA1) on the cytoskeleton that regulates cell proliferation and migration. Disruption of the cytoskeleton can impair these processes and promote cancer cell death. MA1 disrupted cytoskeletal organization, induced DNA damage, inflammation, activated autophagy, and pyroptosis ...
Nada Abdullah Hassan +11 more
wiley +1 more source
Evolution‐guided yeast complementation reveals functional differences in human PSPH variants
Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez +6 more
wiley +1 more source
Automatic construction and verification algorithm for smart contracts based on formal verification
As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial.
Rui Xie +5 more
doaj +1 more source
Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
Protocol for quantifying miRNA trafficking across the endosomal membrane
An in vitro protocol measures miRNA uptake into endosomes isolated from mammalian cell extracts, which are free of subcellular contaminants. Performed at 37 °C in the presence of ATP, it ensures the import of single‐stranded miRNA into the endosomal lumen.
Syamantak Ghosh +2 more
wiley +1 more source
Long‐Term Follow‐Up of Chemotherapy‐Associated Biological Aging in Women With Early Breast Cancer
Women threated with adjuvant chemotherapy for early breast cancer have sustained long‐term increase in p16INK4a,, a robust marker of cell senescence, suggesting a chemotherapy‐associated age acceleration. p16INK4a as well as other biomarkers may identify patients at greatest risk for senescence‐related diseases of aging.
Hyman B. Muss +12 more
wiley +1 more source
This systematic review synthesizes prognostic models for survival and recurrence in resected non‐small cell lung cancer. While many models demonstrate moderate to good discrimination, few are externally validated and reporting quality is variable, limiting clinical applicability and highlighting the need for robust, transparent model development ...
Evangeline Samuel +4 more
wiley +1 more source

