Results 81 to 90 of about 3,379,264 (310)

Tarmo: A Framework for Parallelized Bounded Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2009
This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framework for parallelized BMC named Tarmo.
Siert Wieringa, Matti Niemenmaa, Keijo Heljanko   +2 more
doaj   +1 more source

PARP inhibitors elicit distinct transcriptional programs in homologous recombination competent castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
PARP inhibitors are used to treat a small subset of prostate cancer patients. These studies reveal that PARP1 activity and expression are different between European American and African American prostate cancer tissue samples. Additionally, different PARP inhibitors cause unique and overlapping transcriptional changes, notably, p53 pathway upregulation.
Moriah L. Cunningham, Jasibel Vasquez‐Gonzalez, Samantha M. Barnada, Salome Tchotorlishvili, Latese Jones, Ryan Maguire, Genevieve Lewis, Kinza Rizwan, Jenny Deng, Salma Koachar, Drithi Patel, Hailey Shankle, Tessa Mulders, Namra Ajmal, Charalambos Solomides, Emad S. Alnemri, Teresa F. Alnemri, Ayesha A. Shafi, Leonard G. Gomella, Wm Kevin Kelly, Steven B. McMahon, Matthew J. Schiewer   +21 more
wiley   +1 more source

AvatarSAT: An Auto-tuning Boolean SAT Solver [PDF]

, 2009
We present AvatarSAT, a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis. The classifiers use features of both the input and conflict clauses to select parameter
Ganesh, Vijay, Near, Joseph P., Rinard, Martin, Singh, Rishabh   +3 more
core  

Bridging the gap: Multi‐stakeholder perspectives of molecular diagnostics in oncology

Molecular Oncology, EarlyView.
Although molecular diagnostics is transforming cancer care, implementing novel technologies remains challenging. This study identifies unmet needs and technology requirements through a two‐step stakeholder involvement. Liquid biopsies for monitoring applications and predictive biomarker testing emerge as key unmet needs. Technology requirements vary by
Jorine Arnouts, Senada Koljenović, Elise Daems, Karolien De Wael, Marc Peeters, Léon C. van Kempen, Greetje Vanhoutte, Karen Zwaenepoel, Timon Vandamme   +8 more
wiley   +1 more source

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers

International Journal of Computational Intelligence Systems, 2019
Decision heuristic strategy can be viewed as one of the most central features of state-of-the-art conflict-driven clause-learning SAT solvers. Variable state independent decaying sum (VSIDS) still is the dominant branching heuristics because of its low ...
Wenjing Chang, Yang Xu, Shuwei Chen
doaj   +1 more source

Adenosine‐to‐inosine editing of miR‐200b‐3p is associated with the progression of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira, Anna Skwarska, Karolina Chwialkowska, Agnieszka Ostrowska, Gabriela Sokolowska, Anna Zeller, Anna Erol, Andrzej Eljaszewicz, Bartosz Hanczaruk, Anna Michalska‐Falkowska, Agnieszka Tarasik, Joanna Reszec‐Gielazyn, Pawel Knapp, Marcin Moniuszko, Adam Kretowski   +14 more
wiley   +1 more source

Assessment of Quantum Annealing for the Construction of Satisfiability Filters

SciPost Physics, 2017
Satisfiability filters, introduced by S. A. Weaver et al. in 2014, are a new and promising type of filters to address set membership testing. In order to construct satisfiability filters, it is necessary to find disparate solutions to hard random $k ...
Marlon Azinović, Daniel Herr, Bettina Heim, Ethan Brown, Matthias Troyer
doaj   +1 more source

MiniMaxSAT: An Efficient Weighted Max-SAT solver

Journal of Artificial Intelligence Research, 2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MIN-ISAT+.It incorporates the best current SAT and Max-SAT techniques.
F. Heras, J. Larrosa, Albert Oliveras
semanticscholar   +1 more source

Investigating the cell of origin and novel molecular targets in Merkel cell carcinoma: a historic misnomer

Molecular Oncology, EarlyView.
This study indicates that Merkel cell carcinoma (MCC) does not originate from Merkel cells, and identifies gene, protein & cellular expression of immune‐linked and neuroendocrine markers in primary and metastatic Merkel cell carcinoma (MCC) tumor samples, linked to Merkel cell polyomavirus (MCPyV) status, with enrichment of B‐cell and other immune cell
Richie Jeremian, Sriraam Sivachandran, Melissa Galati, Brandon Ramchatesingh, Hibo Rijal, Johnny Hanna, Elena Netchiporouk, May Chergui, Margaret Redpath, Samy Abou Setah, Ivan V. Litvinov   +10 more
wiley   +1 more source

Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method

IEEE Access, 2018
The reconvergence-phenomenon is common in modern circuit design. It occurs when the signal reconvenes at a certain point through multiple sensitized paths. It affects the soft error estimation and hardening. It is complicated to analyze the reconvergence-
Chang Liu, Long Zhang, Xu He, Yang Guo
doaj   +1 more source