Results 121 to 130 of about 88,794 (289)

Progressive Automated Formal Verification of Memory Consistency in Parallel Processors

, 2021
In recent years, single-threaded hardware performance has stagnated due to transistor-level limitations stemming from the end of Moore's Law and Dennard scaling.
Manerkar, Yatin
core  

Evaluation of the consistency of a speech verification system with human raters in early literacy screening assessments

Frontiers in Education
This study investigates the use of a speech verification system (SVS) technology, a form of automatic speech recognition (ASR), in the assessment of children's reading skills.
Yaacov Petscher, Jennifer O'Sullivan, Hugh W. Catts, Ashley Edwards, Lisa Fitton   +4 more
doaj   +1 more source

The role of miR‐335‐5p in the redifferentiation of BRAF p.V600E thyroid cancers

Molecular Oncology, EarlyView.
The BRAF p.V600E mutation promotes thyroid cancer dedifferentiation and radioiodine resistance. Using a network approach, we identified miR‐335‐5p as a key regulator of BRAF‐mutated thyroid tumors. Restoring miR‐335‐5p increased thyroid‐specific gene expression and iodine uptake in cells and organoids.
Valeria Pecce, Simone Bini, Marialuisa Sponziello, Giorgio Grani, Giulia Fiscon, Paola Paci, Lorenzo Farina, Rosa Falcone, Valentina Maggisano, Sebastiano Filetti, Cosimo Durante, Antonella Verrienti   +11 more
wiley   +1 more source

A Consistency Checking Method for Erasure-Coded Striped Data

Shanghai Jiaotong Daxue xuebao
Erasure code is commonly used in distributed storage systems. The stripe is the basic unit of consistency check in erasure-coded data, including multiple original stripe units and verification stripe units.
XU Liangye, SHI Lianxing, SHAN Rongsheng
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

Formal verification of consistency between feature model and software architecture in software product line

, 2007
During software development process, software artifacts are produced. Consistency among these artifacts should be verified to ensure error-free product.
Kang, Sung-Won, Tonny, Kurniadi Satyananda, Lee, Danhyung   +2 more
core  

Consistency, Verification, and Validation of Turbulence Models for Reynolds-Averaged Navier—stokes Applications

, 2010
In current practice, it is often difficult to draw firm conclusions about turbulence model accuracy when performing multi-code computational fluid dynamics studies ostensibly using the same model because of inconsistencies in model formulation or ...
C L Rumsey
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

Consistency Management for Security Annotations for Continuous Verification

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
Analyses on the architecture of systems can yield valuable insights into a system even before it is built. The applicability of the results of these design time analyses to the system requires the system to be built according to its specification, i.e., to not violate constraints defined on the architecture.
Frederik Reiche, Thomas Weber 0006, Simeon Becker, Sebastian Weber 0001, Robert Heinrich, Erik Burger   +5 more
openaire   +3 more sources

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