We report a case of a 37-year-old man with a body mass index of 28 kg/m(2) who presented to our outpatient clinic with intermittent left flank pain. Non-contrast abdominopelvic computed tomography revealed a giant coralliform calculus in the left kidney. This giant kidney stone was successfully treated with 3 sessions of percutaneous nephrolithotomy (PNL) with a total 12 accesses. There was no ...

The λ Π-calculus Modulo is a variant of the λ -calculus with dependent types where β -conversion is extended with user-defined rewrite rules. It is an expressive logical framework and has been used to encode logics and type systems in a shallow way. Basic properties such as subject reduction or uniqueness of types do not hold in general in the λ Π-calculus Modulo. However, they hold if the rewr...

introdouction: overhang refers to the extension of restoration material from the cavity. it has an important role in decay, plaque accumulation and periodontal disease, so the aim of this study is determining the frequency of restoration overhang in patients in anzali, guilan. materials and methods: this descriptive cross-sectional study was completed using 293 patients who visited for routine ...

the neuropharmacological effect of petroleum ether and ethyl acetate soluble fractions of ethanol extract of the rhizome of drynaria quercifolia j. smith were studied in mice by intraperitoneal administration. the tests used were determination of effect on duration of diazepam-induced sleep, determination of effect on nikethamide-induced toxicity, light-dark test and force swimming test. the du...

It is well known in proof theory that sequent-calculus proofs differ from natural deduction proofs by “reversing” elimination rules upside down into left introduction rules. It is also well known that to each recursive, functional program corresponds an equivalent iterative, accumulator-passing program, where the accumulator stores the continuation of the iteration, in “reversed” order. Here, w...

Figure 2 (A) Computed tomography (CT) after intravenous contrast administration, shows an homogeneous, water-density collection (asterisk) with wall enhancement, in the left subphrenic space, adjacent to the superior pole of the kidney and anterior pole ofthe spleen (S). (B) In a lower slice, a diffusely enlarged left kidney is seen, with the normal parenchyma replaced by multiple low-attenuati...

the aim of the present study was to examine the periodontal condition of an adult population in three isolated regions in greece and to determine the association of periodontal disease with several demographic, behavioral and environmental factors.the study population consisted of 640 individuals, aged 20 to 69 years from three isolated regions. the following indices were assessed: pocket depth...

We present a sequent calculus for proving that processes in a process algebra satisfy assertions in Hennessy-Milner logic. The main novelty lies in the use of the operational semantics to derive introduction rules (on the left and right of sequents) for the diierent operators of the process calculus. This gives a generic proof system applicable to any process algebra with an operational semanti...

In this paper we study the non-determinism between the inference rules of the lazy narrowing calculus lnc (Middeldorp et al., 1996). We show that all non-determinism can be removed without losing the important completeness property by restricting the underlying term rewriting systems to left-linear confluent constructor systems and interpreting equality as strict equality. For the subclass of o...

Primary thymic adenocarcinoma is a very rare malignancy of the anterior mediastinum with no standardized treatment. A 36-year-old male patient presented with hoarseness over the past 3 months. A chest computed tomography (CT) scan showed an infiltrative mass to the proximal vessels and aortic arch in left upper mediastinum (4.1×3.1×5.4 cm). Brain magnetic resonance imaging (MRI) showed focal le...