background: decrease of economically accessible uranium resources motivates consideration of breeding of fertile elements such as thorium. material and method: thorium oxide fuel burn up calculation of a simulated research reactor cooled heavy water has been proposed in the present work using mcnpx 2.6 code. two 233u and 235u isotopes have been used as fissile element of thorium oxide fuel. 135...

Blow-up phenomena for solutions of some nonlinear parabolic systems with time dependent coefficients are investigated. Both lower and upper bounds for the blow-up time are derived when blow-up occurs.

External inflammatory root resorption (EIR) represents a challenge in endodontic practice. EIR commonly occurs after dental trauma that results in periodontal ligament injury, pulp necrosis and subsequent infection.  Treatment of EIR is based on disinfecting the root canal system through chemomechanical procedures and then filling it with calcium hydroxide or triple antibiotic paste. Dental tra...

myoepithelioma is an uncommon benign neoplasm that most likely occurs in the parotid gland. extra-salivary myoepitheliomas are rare, with less than 10 cases reported in the sinonasal cavity. we present a rare case of benign myoepithelioma with recurrent behavior, abundant extensions to adjacent structures, and resistant to treat clinical course, which influenced the patient’s quality of life fo...

A π–calculus semantics of terms and logical variables, environment creation visavis term copying and variable refreshing, and sequential unification is presented. The π–calculus’s object–oriented approach to modelling evolving communication structures is used to model the evolving communication environment found in concurrent logic program computations. The novelty of this semantics is that it ...

P. Baumgartner, R. Hähnle & J. Posegga, eds., 4 Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX’95) – Short Papers & Poster Sessions, Universität Koblenz, Mai 1995, pp. 55-60. Abstract. In this paper we present a syntactical criterion for checking irreflexivity of the reduction ordering imposed by so–called combined substitutions which are part of the Matrix cha...

Contrary to several other families of lambda terms, no closed formula or generating function is known and none of the sophisticated techniques devised in analytic combinatorics can currently help with counting or generating the set of simply-typed closed lambda terms of a given size. Moreover, their asymptotic scarcity among the set of closed lambda terms makes counting them via brute force gen...

Background –Coronary spasm plays an important role in the pathogenesis of ischemic heart disease. However, similarities and differences between coronary spasm and atherosclerosis are not known. We examined the angiographic characteristics of coronary spasm in comparison with those of atherosclerosis. Methods and Results –Thirty two left anterior descending (LAD), 11 left circumflex (LCx) and 23...

Consider the parabolic problem u t div (a(u;ru)ru) = u p (1) for t > 0, x 2 R n under initial and boundary conditions u = 1, say. Since p is assumed positive, the right hand side becomes singular as u ! 0. When u reaches zero in nite or in nite time, one says that the solution quenches in nite or in nite time. This article gives a survey of results on this kind of problem and emphasizes those t...