Results 141 to 150 of about 2,062,977 (296)

Testing from a stochastic timed system with a fault model [PDF]

, 2008
In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be non ...
Hierons, RM, Merayo, MG, Nunez, M
core  

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

Molecular Oncology, EarlyView.
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

An Architecture Assessment Model: Holistic Evaluation of Software Architecture

IEEE Access
Current architecture review methods predominantly focus on verifying compliance between design and requirements, as well as between code and design. However, they often overlook whether the final product has been adequately tested against architecturally
Mujdat Bayar, Onur Taviloglu, Ahmet Unudulmaz, Yavuz Gunes, Koray Dogutekin   +4 more
doaj   +1 more source

Potential therapeutic targeting of BKCa channels in glioblastoma treatment

Molecular Oncology, EarlyView.
This review summarizes current insights into the role of BKCa and mitoBKCa channels in glioblastoma biology, their potential classification as oncochannels, and the emerging pharmacological strategies targeting these channels, emphasizing the translational challenges in developing BKCa‐directed therapies for glioblastoma treatment.
Kamila Maliszewska‐Olejniczak, Karolina Pytlak, Sandra Jaworowska, Bogusz Kulawiak, Piotr Bednarczyk   +4 more
wiley   +1 more source

Exploiting metabolic adaptations to overcome dabrafenib treatment resistance in melanoma cells

Molecular Oncology, EarlyView.
We show that dabrafenib‐resistant melanoma cells undergo mitochondrial remodeling, leading to elevated respiration and ROS production balanced by stronger antioxidant defenses. This altered redox state promotes survival despite mitochondrial damage but renders resistant cells highly vulnerable to ROS‐inducing compounds such as PEITC, highlighting redox
Silvia Eller, Susanne Ebner, Carmen Haselrieder, Julia K. Günther, Astrid Drasche, Sophie Strich, Chiara Volani, Andrea Medici, Aleksandar Nikolajevic, Alex Deltedesco, Johannes E. Sigmund, Michael J. Blumer, Martin Hermann, Johanna Vanacker, Gerald Brandacher, Eduard Stefan, Omar Torres‐Quesada, Jakob Troppmair   +17 more
wiley   +1 more source

Automated Classification and Identification of Non-Functional Requirements in Agile-Based Requirements Using Pre-Trained Language Models

IEEE Access
Non-functional requirements (NFRs) are critical factors for software quality and success. A frequently reported challenge in agile requirements engineering is that NFRs are often neglected due to the focus on functional requirements (FRs) and the limited
Abdulrahim Alhaizaey, Majed Al-Mashari
doaj   +1 more source

Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma

Molecular Oncology, EarlyView.
Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source

PARP inhibition and pharmacological ascorbate demonstrate synergy in castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
Pharmacologic ascorbate (vitamin C) increases ROS, disrupts cellular metabolism, and induces DNA damage in CRPC cells. These effects sensitize tumors to PARP inhibition, producing synergistic growth suppression with olaparib in vitro and significantly delayed tumor progression in vivo. Pyruvate rescue confirms ROS‐dependent activity.
Nicolas Gordon, Peter T. Gallagher, Orly I. Richter, Neermala Poudel Neupane, Amy C. Mandigo, Jennifer J. McCann, Emanuela Dylgjeri, Irina Vasilevskaya, Christopher McNair, Channing J. Paller, Wm. Kevin Kelly, Karen E. Knudsen, Matthew J. Schiewer, Ayesha A. Shafi   +13 more
wiley   +1 more source

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
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

Design of the data-driven software application for identification, population monitoring, and risk assessment for lions in Serengeti Tanzania [PDF]

Computational Ecology and Software
This study presents a design of a Data-Driven software application for identification, population monitoring, and risk assessment for lions in Serengeti Tanzania.
Ambokile Okey, Devotha Nyambo, Shubi Kaijage, et al.   +2 more
doaj