Results 81 to 90 of about 129,094 (257)

KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer

Molecular Oncology, EarlyView.
Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan, Veronika M Metzler, Simone de Brot, Corinne L Woodcock, Anna E Harris, Jennifer Lothion‐Roy, Emeli M Nilsson, Atara Ntekim, Michael S Toss, Jenny L Persson, Francesca Khani, Brian D Robinson, Lorraine J Gudas, Emad Rakha, David M Heery, Catrin S Rutland, Nigel P Mongan   +16 more
wiley   +1 more source

StabilEdge, Formal Verification of Edge AI Applications

IEEE Access
This paper addresses the critical need for AI trustworthiness in smart IoT systems by focusing on the stability of Deep Neural Networks (DNNs) in Edge AI. State-of-the-art model checkers guarantee feasibility of a single stability analysis.
Luca Lazzaroni, Riccardo Berta, Vafali Soltanmuradov, David Martin Gomez, Francesco Bellotti   +4 more
doaj   +1 more source

Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]

Front Robot AI, 2022
Foughali M, Zuepke A.
europepmc   +1 more source

Formal verification of a realistic compiler [PDF]

Communications of the ACM, 2009
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness.
openaire   +2 more sources

Transcriptional profiling of circulating extracellular vesicles from prebiopsy prostate cancer patients

Molecular Oncology, EarlyView.
RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner, Pierre Tennstedt, Randi C. Pose, Christian Müller, Katharina Besler, Svenja Schneegans, Malik Alawi, Marie C. Roesch, Sven Peine, Desiree Bonci, Joanna Budna‐Tukan, Evi Lianidou, Catherine Alix‐Panabières, Derya Tilki, Klaus Pantel   +14 more
wiley   +1 more source

Formal Verification of PKMv3 Protocol Using ProVerif

IEEE Access
IEEE Std 802.16m-2011 is the official name of the IEEE standard describing the advanced air interface for WiMAX 2. At the security sublayer, the Privacy Key Management version 3 (PKMv3) protocol defines the procedures for authentication and key exchange ...
Sohaib Hamioud, Noureddine Seddari, Abdelouahid Derhab, Eleonora Bottani, Piera Centobelli   +4 more
doaj   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Longitudinal circulating tumor DNA profiling in patients with advanced endometrial cancer using an off‐the‐shelf targeted NGS panel

Molecular Oncology, EarlyView.
Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena, Karin Teien Lande, Eva Diaz, Ana Vilar, Juan Cueva, Efigenia Arias, Victoria Sampayo, Alicia Abalo, Nerea González, Eva Colás, Antonio Gil‐Moreno, Miguel Abal, Gema Moreno‐Bueno, Therese Sørlie, Kristina Lindemann, Laura Muinelo‐Romay   +15 more
wiley   +1 more source

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]

PeerJ Comput Sci, 2023
Tran DD, Wai Mon T, Ogata K.
europepmc   +1 more source

Clinical performance of the urine‐based TERT promoter AbsoluteQ Digital PCR for non‐invasive detection of bladder cancer

Molecular Oncology, EarlyView.
A urine‐based digital PCR assay targeting two hotspot TERT promoter variants detected bladder cancer with high sensitivity and no false positives in this case–control cohort. The streamlined AbsoluteQ workflow outperformed Sanger sequencing and supports non‐invasive molecular testing for bladder cancer detection.
Anna Nykel, Izabela Kubiak, Lena Rutkowska, Żaneta Kasprzyk, Łukasz Kępczyński, Michał Bednarek, Dariusz Sobieraj, Jacek Wilkosz, Piotr Kania, Adam Jędrzejczyk, Bogdan Kałużewski, Agnieszka Gach, Tadeusz Kałużewski   +12 more
wiley   +1 more source