Results 131 to 140 of about 1,848,485 (266)

The HACMS program: using formal methods to eliminate exploitable bugs. [PDF]

Philos Trans A Math Phys Eng Sci, 2017
Fisher K, Launchbury J, Richards R.
europepmc   +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

Biosensor characterization: formal methods from the perspective of proteome fractions. [PDF]

Synth Biol (Oxf)
Vaccari NA, Zevallos-Aliaga D, Peeters T, Guerra DG.   +3 more
europepmc   +1 more source

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology. [PDF]

Front Bioeng Biotechnol, 2016
Rosenblueth DA.
europepmc   +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

Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT. [PDF]

Radiol Med
Rocca A, Brunese MC, Santone A, Varriano G, Viganò L, Caiazzo C, Vallone G, Brunese L, Romano L, Di Serafino M, R O I Segmentation Collaborative Group.   +10 more
europepmc   +1 more source

Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility. [PDF]

Concurr Eng Res Appl, 2015
Jung K, Morris KC, Lyons KW, Leong S, Cho H.   +4 more
europepmc   +1 more source

Pathways and pitfalls: a qualitative study of student experiences in biomedical science education

FEBS Open Bio, EarlyView.
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, Cassy Ross, Panagiota S. Filippou, Bruno Silvester Lopes, Dominic Gilchrist, Paul Dean, Kamar Ameen‐Ali, Tora K. Smulders‐Srinivasan, Ahmad A. Khundakar   +8 more
wiley   +1 more source

Malformin A1–mediated cytotoxicity in ovarian cancer cells occurs through pyroptosis and autophagy

FEBS Open Bio, EarlyView.
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, Ikram A. Burney, Shika Hanif Malgundkar, Siva Ramamoorthy, Ressin Varghese, Mohamed A. Al‐Kindi, Hamad Al Riyami, Shadia Al Bahlani, Sergey Dobretsov, Syed Imran Hassan, Benjamin K. Tsang, Yahya Tamimi   +11 more
wiley   +1 more source

Evolution‐guided yeast complementation reveals functional differences in human PSPH variants

FEBS Open Bio, EarlyView.
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, Diana Ascencio, Miguel Vallebueno‐Estrada, Eduardo González‐Orozco, Christian Eduardo Martínez‐Guerrero, Rafael Montiel, Alexander DeLuna   +6 more
wiley   +1 more source