Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails. To this end, we have designed AltGr-Ergo, an interactive graphical interface for the SMT solver Alt-Ergo which allows users and tool developers to help the solver finish some proofs. Alt...

objectives: diabetes mellitus is associated with biochemical, physiological and pathological alterations in the liver. the aim of this study was to investigate the effects of hydroalcoholic extract of prangos ferulacea (l.) lindle (p.f) on changes in rats´ liver structure and serum activities of alanin and aspartate aminotransferases after alloxan injection. materials and methods: in this study...

Purpose: To determine the effect of procyanidin A1 (PCA1) on sepsis.Methods: Dulbecco’s Modified Eagle Medium (DMEM) was employed to incubate mouse hepatic cell line AML12. The AML12 cells treated with lipopolysaccharide (LPS, 50 μg/mL) used establish a sepsis model. Cell viability evaluated using CCK-8 assay, while apoptosis assessed by flow cytometry. Aspartate transaminase (AST), alanine ami...

Bu olgu alt ve üst keser, kanin premolar dişlerin tek seansta %35 hidrojen peroksit içeren jel ile beyazlatılmasını içermektedir. 
 29 yaşındaki erkek hasta, dişlerinin renginden memnun olmaması şikayetiyle kliniğimize başvurdu. Gün ışığında yapılan muayenede hastanın diş renginin VITA classical A1 - D4 skalasına göre C2 olduğu tespit edildi. Estetik bölgedeki dişler olan keserler, kaninle...

The A1 locus in maize controlling anthocyanin pigmentation along with a few other loci, shows an interesting behaviour in that while some alleles like a1, am are highly mutable and mutate to the dominant A1 state in the presence of the non-allelic Dt gene, others like alt are highly stable and would not respond to the action of Dt. The a1-Dt system first studied by Rhoades (1938) and more recen...

AIM To evaluate the therapeutic effects of ursodeoxycholic acid (UDCA) on autoimmune hepatitis (AIH). METHODS A total 136 patients who were diagnosed with AIH were included in our study. All of the patients underwent a liver biopsy, and had at least a probable diagnosis on the basis of either the revised scoring system or the simplified scores. Initial treatment included UDCA monotherapy (Gro...