Results 141 to 150 of about 828,996 (313)

A prognostic model for uveal melanoma in Asian populations: a comparative analysis of clinical features and gene expression patterns using the TRACE and TCGA data

BMC Ophthalmology
Background Uveal melanoma (UM), the most common primary intraocular malignancy in adults, shows racial disparities in incidence, genetic drivers, and clinical outcomes.
Jingting Luo, Yuning Chen, Zhaoxun Feng, Haowen Li, Jingying Xiu, Yangxu Tao, Qiong Yang, Yueming Liu, Yang Li, Wenbin Wei   +9 more
doaj   +1 more source

TRAIL‐PEG‐Apt‐PLGA nanosystem as an aptamer‐targeted drug delivery system potential for triple‐negative breast cancer therapy using in vivo mouse model

Molecular Oncology, EarlyView.
Aptamers are used both therapeutically and as targeting agents in cancer treatment. We developed an aptamer‐targeted PLGA–TRAIL nanosystem that exhibited superior therapeutic efficacy in NOD/SCID breast cancer models. This nanosystem represents a novel biotechnological drug candidate for suppressing resistance development in breast cancer.
Gulen Melike Demirbolat, Aslihan Kucuk, Omer Erdogan, Samed Ozer, Bensu Kozan, Tugba Cuceli, Erkan Gumus, Evrim Cevik, Ozge Cevik   +8 more
wiley   +1 more source

07011 Executive Summary – Runtime Verification

, 2008
From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 "Runtime Verification" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Sokolsky, Oleg, Havelund, Klaus, Rosu, Grigore, Finkbeiner, Bernd   +3 more
core   +1 more source

Circular RNA expression landscapes in myelodysplastic neoplasms: Associations with mutational signatures and disease progression

Molecular Oncology, EarlyView.
In this explorative study, the abundance of circular RNA molecules in bone marrow stem cells was found to be elevated in patients with high‐risk myelodysplastic neoplasms, and to be associated with an increased risk of progression to acute myeloid leukemia.
Eileen Wedge, Morten Tulstrup, Gabriele Todisco, Pedro Moura, Christophe Côme, Jakob Werner Hansen, Jakob Schmidt Jespersen, Balthasar Schlotmann, Maria Creignou, Mette Dahl, Claudia Schöllkopf, Klas Raaschou‐Jensen, Krister Wennerberg, Bo Porse, Joachim Weischenfeldt, Eva Hellström‐Lindberg, Lasse Sommer Kristensen, Kirsten Grønbæk   +17 more
wiley   +1 more source

Gait Verification Using Probabilistic Methods

, 2005
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or Impostor) with logistic functions constructed to provide probability ...
M.S. Nixon, A.I. Bazin, Bazin, Alex I., Nixon, Mark S.   +3 more
core   +1 more source

Subtype‐specific enhancer RNAs define transcriptional regulators and prognosis in breast cancers

Molecular Oncology, EarlyView.
This study employed machine learning methodologies to perform the subtype‐specific classification of RNA‐seq data sets, which are mapped on enhancers from TCGA‐derived breast cancer patients. Their integration with gene expression (referred to as ProxCReAM eRNAs) and chromatin accessibility profiles has the potential to identify lineage‐specific and ...
Aamena Y. Patel, Peyman Zarrineh, Nathnael T. Tuffa, Jigar H. Sheth, Sumitra Mohan, Mudassar Iqbal, Sankari Nagarajan   +6 more
wiley   +1 more source

This page is intentionally left blank. Formal Software Verification: Model Checking and Theorem Proving

, 2008
Formal verification of hardware and software systems has gained popularity in industry since the advent of the famous “Pentium bug ” in 1994, which caused Intel to recall faulty chips and take a loss of $475 million [1].
Software Verification, Martin Ouimet
core  

Practical Verification of Infinite Structures in agda2hs

, 2022
Agda allows for writing code that can be mathematically proven and verified to be correct, this type of languages is generally known as a proof assistant.
Schrijver, Remco (author)
core  

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

Associations of retinal microvascular alterations with diabetes mellitus: an OCTA-based cross-sectional study

BMC Ophthalmology
Background Diabetes, a health crisis afflicting millions worldwide, is increasing rapidly in prevalence. The microvascular complications triggered by diabetes have emerged as the principal cause of renal disease and blindness.
Yao Yao, Qian Wang, Jingyan Yang, Yanni Yan, Wenbin Wei   +4 more
doaj   +1 more source