A Paraconsistent Higher Order Logic
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where
arxiv.orgrank this link
Refine results · kind
medicine
4 indexed results
Rerendering Semantic Ontologies: Automatic Extensions to UMLS through Corpus Analytics
In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications.
arxiv.orgrank this link
Summarization from Medical Documents: A Survey
Objective: The aim of this paper is to survey the recent work in medical documents summarization. Background: During the last
arxiv.orgrank this link
X-Ray Multi-Energy Introscopy Systems with New Semiconductor Scintillators
Theoretical background and data on the ways of practical realization are presented, related to the problem of detection of dangerous
arxiv.orgrank this link