American Cancer Society nutrition and physical activity guideline for cancer survivors
Ca-A Cancer Journal for Clinicians, 2022Cheryl L Rock +2 more
exaly
Metabolomics in cancer research and emerging applications in clinical oncology
Ca-A Cancer Journal for Clinicians, 2021Daniel R Schmidt +2 more
exaly
The reduction generated algorithm of minimal disjunctive normal form based on discernibility matrix
International Conference on Fuzzy Systems and Knowledge Discovery, 2012Xue-lan Zeng +3 more
semanticscholar +1 more source
Radiation therapy‐associated toxicity: Etiology, management, and prevention
Ca-A Cancer Journal for Clinicians, 2021Kyle Wang
exaly
Minimizing Disjunctive Normal Form Formulas and AC0 Circuits Given a Truth Table
SIAM journal on computing (Print), 2008Eric Allender +4 more
semanticscholar +1 more source
An Optimized Transformation into Conjunctive (or Disjunctive) Normal Form
Resolution based theorem proving systems require the conversion of predicate logic formulae into clausal normal form. One step of all procedures performing this transformation is the multiplication into conjunctive normal form. In general this is a critical step, since it can result in an exponential increase in the size of the original formula.openaire +1 more source
Verification of PLTL formulae by means of monotone disjunctive normal forms
1997This paper offers a satisfiability checking algorithm for the future fragment of Propositional Linear Temporal Logic. The algorithm combines the automata theoretic approach to the verification of temporal formulae and the symbolic computation technique in terms of monotone boolean disjunctive normal forms. The algorithm is given as follows.
openaire +1 more source
A MODEL OF A DOCUMENT RETRIEVAL SYSTEM BASED ON THE CONCEPT OF A SEMANTIC DISJUNCTIVE NORMAL FORM
, 1981T. Radecki
semanticscholar +1 more source
Female erectile tissues and sexual dysfunction after pelvic radiotherapy: A scoping review
Ca-A Cancer Journal for Clinicians, 2022Deborah C Marshall, Mas +2 more
exaly