Results 51 to 60 of about 93,604 (308)

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

Molecular Oncology, Volume 20, Issue 6, Page 1429-1452, June 2026.
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source

Formal Specification and Verification of Self-Adaptive Concurrent Systems

IEEE Access, 2018
The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment.
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi   +1 more
doaj   +1 more source

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, Volume 20, Issue 6, Page 1453-1472, June 2026.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source

Concurrency specification using Event-based Specification Chart [PDF]

Computer Science Journal of Moldova, 2012
Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj  

Formal refinement of extended state machines [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais   +3 more
doaj   +1 more source

Dimethyl fumarate combined with cisplatin at subcytotoxic doses sensitizes cervical cancer toward ferroptosis and apoptosis through GSH restriction and p53 (re)activation

Molecular Oncology, EarlyView.
Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano, Giuseppina Minopoli, Simona Romano, Laura Marrone, Katia Aquilano, Maria Lina Tornesello, Raffaella Faraonio   +6 more
wiley   +1 more source

Review of Formal Specification and Verification for Operating Systems [PDF]

Jisuanji gongcheng
Operating Systems (OSs), which form a critical infrastructure in the information age, are widely used in core fields such as medical care, industries, and the military.
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
doaj   +1 more source

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

Simulation of stevedoring work in the Klaipėda oil terminal [PDF]

Transport, 2002
The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
D. Makackas, H. Pranevičius
doaj  

The integration of software specification, verification, and testing techniques with software requirements and design processes. [PDF]

, 1995
Specifying, verifying, and testing software requirements and design are very important tasks in the software development process and must be taken seriously.
Chantatub, Wachara
core