A Generic Framework for Implicate Generation Modulo Theories

International audienceThe clausal logical consequences of a formula are called its implicates. The generation of these implicates has several applications, such as the identification of missing hypotheses in a logical specification. We present a procedure that generates the implicates of a quantifier-free formula modulo a theory. No assumption is made on the considered theory, other than the existence of a decision procedure. The algorithm has been implemented (using the solvers MiniSAT, CVC4 and Z3) and experimental results show evidence of the practical relevance of the proposed approach

Clinical use of biomarkers of survival in pulmonary fibrosis

<p>Abstract</p> <p>Background</p> <p>Biologic predictors or biomarkers of survival in pulmonary fibrosis with a worse prognosis, more specifically in idiopathic pulmonary fibrosis would help the clinician in deciding whether or not to treat since treatment carries a potential risk for adverse events. These decisions are made easier if accurate and objective measurements of the patients' clinical status can predict the risk of progression to death.</p> <p>Method</p> <p>A literature review is given on different biomarkers of survival in interstitial lung disease, mainly in IPF, since this disease has the worst prognosis.</p> <p>Conclusion</p> <p>Serum biomarkers, and markers measured by medical imaging as HRCT, pertechnegas, DTPA en FDG-PET are not ready for clinical use to predict mortality in different forms of ILD. A baseline FVC, a change of FVC of more than 10%, and change in 6MWD are clinically helpful predictors of survival.</p

Atomic spectrometric detection of hydride forming elements following in situ trapping within a graphite furnace

The historical development of in situ techniques in the graphite furnace based on chemical generation of hydride forming elements and mercury coupled with batch and flow injection sampling formats is presented. Detection via AAS, MIP-AES, ICP-MS and FANES is considered. The current state-of-the-art, including advantages and limitations of this approach, is discussed.NRC publication: Ye