Results 91 to 100 of about 2,784,953 (338)

Reasoning about Protocols using Dijkstra’s Calculus

Journal of Computer Science and Technology, 2004
A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated that
Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay   +1 more
doaj  

Political Correctness [PDF]

An informed advisor wishes to convey her valuable information to an uninformed decision maker with identical preferences. Thus she has a current incentive to truthfully reveal her information.
Stephen Morris
core  

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

Towards Stratification Learning through Homology Inference [PDF]

, 2010
A topological approach to stratification learning is developed for point cloud data drawn from a stratified space. Given such data, our objective is to infer which points belong to the same strata.
Bendich, Paul, Mukherjee, Sayan, Wang, Bei   +2 more
core   +1 more source

Completeness and correctness of cerebral palsy diagnoses in two health registers: implications for estimating prevalence

Developmental Medicine & Child Neurology, 2016
To assess completeness and correctness of cerebral palsy (CP) diagnoses in the Cerebral Palsy Register of Norway (CPRN) and the Norwegian Patient Register (NPR), and to estimate CP prevalence.
Sandra Julsen Hollung, T. Vik, R. Wiik, I. Bakken, Guro L Andersen   +4 more
semanticscholar   +1 more source

Characterizing the salivary RNA landscape to identify potential diagnostic, prognostic, and follow‐up biomarkers for breast cancer

Molecular Oncology, EarlyView.
This study explores salivary RNA for breast cancer (BC) diagnosis, prognosis, and follow‐up. High‐throughput RNA sequencing identified distinct salivary RNA signatures, including novel transcripts, that differentiate BC from healthy controls, characterize histological and molecular subtypes, and indicate lymph node involvement.
Nicholas Rajan, Irina Primac, Emre Etlioglu, Laurens Debruyne, Ann Janssen, Magy Sallam, Kevin Tabury, Roel Quintens, Wiebren Tjalma, Mohammed Abderrafi Benotmane   +9 more
wiley   +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

On Computing Minimum Unsatisfiable Cores [PDF]

, 2003
Certifying the correctness of a SAT solver is straightforward for satisfiable instances of SAT. Given
Lynce, I., Marques-Silva, J. P.
core   +2 more sources

Integrated genomic and proteomic profiling reveals insights into chemoradiation resistance in cervical cancer

Molecular Oncology, EarlyView.
A comprehensive genomic and proteomic analysis of cervical cancer revealed STK11 and STX3 as a potential biomarkers of chemoradiation resistance. Our study demonstrated EGFR as a therapeutic target, paving the way for precision strategies to overcome treatment failure and the DNA repair pathway as a critical mechanism of resistance.
Janani Sambath, Irene A. George, Srikanth S. Manda, Prasanth Ariyannur, Ekta R. Dhawale, Raja Sekhar Kommu, Rajan Datar, Darshana Patil, Vinita Trivedi, Manisha Singh, Kumar Prabhash, Sewanti Limaye, Richa Chauhan, Prashant Kumar   +13 more
wiley   +1 more source

Heuristic Approaches for Goal Recognition in Incomplete Domain Models

, 2018
Recent approaches to goal recognition have progressively relaxed the assumptions about the amount and correctness of domain knowledge and available observations, yielding accurate and efficient algorithms.
Meneguzzi, Felipe, Pereira, Ramon Fraga
core   +1 more source