En este trabajo se presenta el sistema deductivo para la lógica proposicional doble (LD) y los gráficos existenciales gamma-LD. Se prueba, de manera rigurosa, consistencia LD que teoremas corresponden, exactamente, con válidos Cuando restringe lenguaje al clásica (LC), restricción asociada a gamma-LD coincide del alfa Charles Sanders Peirce. Resulta intuicionista (LI) son LD; además, cuando LI,...

oral contraceptive pills have several side effects especially on the gastrointestinal tract and liver. absorption of low dose (ld) pills by the vaginal route avoids the first pass of the steroids through these tracts and probably has fewer side effects. this study was a cohort study for evaluation of side effects and acceptability of ld pills administered by the vaginal route. in a clinical tri...

BACKGROUND: Betaine has been shown to be antioxidantand methyl donor effects in our recent studies. OBJECTIVES: Inthe present study, the antioxidant and methyl donor properties ofbetaine in levodopa/benserazide-mediated hyperhomocysteinemiaand levodopa-induced oxidative stress in rat's kidney wereexamined. METHODS: Sprague-Dawley male rats were dividedinto levodopa (LD), Betaine (Bet.), levodop...

Objective(s): The aim of the present study was to evaluate antioxidant and methyl donor effects of betaine in cerebellum following levodopa and benserazide administration in rats. Materials and Methods: Sprague-Dawley male rats were treated with levodopa (LD), betaine (Bet), levodopa plus betaine (LD/Bet), levodopa plus benserazide (LD/Ben), levodopa plus betaine-benserazide (LD/Bet-Ben), and t...

Although a large number of datasets gathered as Linked Open Data (LOD) is better for data sharing and re-using, the datasets themselves become more difficult to understand. Since each dataset has its own data structure, we need to understand datasets individually. In addition, since the entities in datasets are interconnected, we need to understand the interconnections between datasets. In othe...

The Web of Linked Data forms a single, globally distributed Web. Querying this dataspace poses new challenges that are not addressed by traditional research on federated query processing. Linked data integration applications must meet the requirements of efficient query processing in the distributed setting. This paper presents QEF-LD, a query engine that enables the efficient execution of fede...