Results 81 to 90 of about 4,463,103 (324)

(User-friendly) formal requirements verification in the context of ISO26262

Engineering Science and Technology, an International Journal, 2020
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles.
Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio   +7 more
doaj   +1 more source

The neural crest‐associated gene ERRFI1 is involved in melanoma progression and resistance toward targeted therapy

Molecular Oncology, EarlyView.
ERRFI1, a neural crest (NC)‐associated gene, was upregulated in melanoma and negatively correlated with the expression of melanocytic differentiation markers and the susceptibility of melanoma cells toward BRAF inhibitors (BRAFi). Knocking down ERRFI1 significantly increased the sensitivity of melanoma cells to BRAFi.
Nina Wang, Qian Sun, Daniel Novak, Lei Zhu, Juliane Poelchen, Tamara Steinfass, Yiman Wang, Viktor Umansky, Jochen Utikal   +8 more
wiley   +1 more source

Towards Realising FollowMe User Profiles for Macro-Intelligent Environments

Computers, 2013
In this paper, we introduce the concept of a Large-Scale Intelligent Environment (LSIE) and provide an introduction to the use of bigraphs as a formal method for description and modelling.
Luke Whittington, James Dooley, Martin Henson, Abdullah Al-Malaise Al-Ghamdi   +3 more
doaj   +1 more source

Plasma extrachromosomal circular DNA as a biomarker in EGFR‐targeted therapy of non‐small cell lung cancer

Molecular Oncology, EarlyView.
Detection of extrachromosomal circular DNA (eccDNA) in plasma samples from EGFR‐mutated non‐small cell lung cancer patients. Plasma was collected before and during treatment with the EGFR‐tyrosine kinase inhibitor osimertinib. Plasma eccDNA was detected in all cancer samples, and the presence of the EGFR gene on eccDNA serves as a potential biomarker ...
Simone Stensgaard, Sarmad Mehmood, Eva Boysen Fynboe Ebert, Peter Meldgaard, Anindya Dutta, Boe S. Sorensen   +5 more
wiley   +1 more source

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +1 more source

Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection

Applied Sciences, 2020
The increasing diffusion of mobile devices, widely used for critical tasks such as the transmission of sensitive and private information, corresponds to an increasing need for methods to detect malicious actions that can undermine our data.
Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone   +3 more
doaj   +1 more source

Improving PARP inhibitor efficacy in bladder cancer without genetic BRCAness by combination with PLX51107

Molecular Oncology, EarlyView.
Clinical trials on PARP inhibitors in urothelial carcinoma (UC) showed limited efficacy and a lack of predictive biomarkers. We propose SLFN5, SLFN11, and OAS1 as UC‐specific response predictors. We suggest Talazoparib as the better PARP inhibitor for UC than Olaparib.
Jutta Schmitz, Anna L. Bartkowiak, Michael Rose, Nora Kolks, Patrick Petzsch, Vandana Solanki, Anne Stoffel, Bianca Faßbender, Leandra Lepping, Julka Volkamer, Karl Köhrer, Marc Seifert, Tokameh Mahmoudi, Tahlita C. M. Zuiverloon, Günter Niegisch, Michèle J. Hoffmann   +15 more
wiley   +1 more source

Cytoplasmic p21 promotes stemness of colon cancer cells via activation of the NFκB pathway

Molecular Oncology, EarlyView.
Cytoplasmic p21 promotes colorectal cancer stem cell (CSC) features by destabilizing the NFκB–IκB complex, activating NFκB signaling, and upregulating BCL‐xL and COX2. In contrast to nuclear p21, cytoplasmic p21 enhances spheroid formation and stemness transcription factor CD133.
Arnatchai Maiuthed, Kerstin Huebner, Katharina Erlenbach‐Wuensch, Chuanpit Hampel, Daniela Thalheim, Adriana Vial‐Roehe, Bodee Nutho, Susanne Merkel, Arndt Hartmann, Pithi Chanvorachote, Regine Schneider‐Stock   +10 more
wiley   +1 more source

Class IIa HDACs forced degradation allows resensitization of oxaliplatin‐resistant FBXW7‐mutated colorectal cancer

Molecular Oncology, EarlyView.
HDAC4 is degraded by the E3 ligase FBXW7. In colorectal cancer, FBXW7 mutations prevent HDAC4 degradation, leading to oxaliplatin resistance. Forced degradation of HDAC4 using a PROTAC compound restores drug sensitivity by resetting the super‐enhancer landscape, reprogramming the epigenetic state of FBXW7‐mutated cells to resemble oxaliplatin ...
Vanessa Tolotto, Nicolò Gualandi, Ylenia Cortolezzis, Raffaella Picco, Monica Colitti, Francesca D'Este, Mariachiara Gani, Wayne W. Hancock, Giovanni Terrosu, Cristina Degrassi, Francesca Agostini, Claudio Brancolini, Luigi E. Xodo, Eros Di Giorgio   +13 more
wiley   +1 more source

Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification

IEEE Access, 2019
Currently, there are 3.1 million American men affected by prostate cancer. Early detection represents the only way to safe lives. To evaluate a prostate cancer, the most widespread rank is the so-called Gleason score, based on the microscopic cancer ...
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone   +3 more
doaj   +1 more source