introduction drug-induced liver injury is a frequent cause of hepatic dysfunction. several drugs have been identified to cause autoimmune hepatitis (aih). environmental chemicals are capable of triggering a certain degree of liver injury. however, toxin induced aih is rare. conclusions chronic (long-term) exposures to dichlorvos can lead to aih. a detailed inquiry of medical history and liver b...

The growth of medical applications that work with ontologies in health enterprises creates the need to ensure the integration and semantic homogeneity between them. In order to provide the reliable knowledge (in terms of new treatments, new clinical findings, new exercises), medical ontologies should be evolved. The adaptation of ontology according to the changes in domain of interest is called...

The early evolution of Titan’s atmosphere is expected to produce enrichment in the heavy isotopomers of CO, 13CO and C18O, relative to 12C16O. However, the original isotopic signatures may be altered by photochemical reactions. This paper explains why there is no isotopic enrichment in C in Titan’s atmosphere, despite significant enrichment of heavy H, N, and O isotopes. We show that there is a...

The Model Evolution calculus by Baumgartner and Tinelli lifts to first order logic the DPLL procedure that has been very successfully employed for propositional logic. The Darwin solver is the first implementation of the Model Evolution calculus and, as with any new implementation, once core functionality is in place the process of incremental improvement begins. This report details our effort ...

We have investigated the migration behaviors of uranium (U) and thorium (Th) in Earth and other terrestrial planets. Theoretical models of U and Th migration have been proposed. These models suggest that the unique features of Earth are closely connected with its unique U and Th migration models and distribution patterns. In the Earth, U and Th can combine with oxidative volatile components and...