uml is known as one of the most common methods in software engineering.since this language is semi-formal, many researches and efforts have beenperformed to transform this language into formal methods including petri nets.thus, the operation of verification and validation of the qualitative and nonfunctionalparameters could be achieved with more ability. since the majority of thereal world info...

background & objectives: prognosis of thyroid papillary cancer is quite well long lasting, so a 10- year survival is observed in more than 90% cases. in this study, rate of incidence of thyroid papillary cancer in contralateral lobe was assessed among patients who had a surgical thyroidectomy re-operation. materials & methods: in this retrospective study, we examined 82 patients diagnos...

We propose a geometric method to measure the wild ramification of a smooth étale sheaf along the boundary. Using the method, we study the graded quotients of the logarithmic ramification groups of a local field of characteristic p > 0 with arbitrary residue field. We also define the characteristic cycle of an l-adic sheaf, satisfying certain conditions, as a cycle on the logarithmic cotangent b...

a survey was .carried out to determine the incidence of sepsis after surgical operation. a total of 133 cases were studied. 33 percent of elean wounds w~reqffected by some. post operative sepsis and yielded pathogenic bacteria on culture. staphylococcus aureus was the most common pathogen but pseudomonas and e. coli were also common. cultures were taken from the staff, the environment and objec...

As usual Z, Q, R and C denote the ring of integers, the rational field, the real field and the complex field respectively. We also let Z = {1, 2, 3, · · · } and C∗ = C \ {0}. For a ∈ Z and n ∈ Z, by (a, n) we mean th greatest common divisor of a and n, if n is odd then the Jacobi symbol ( a n ) is defined in terms of Legendre symbols (see, e.g. [IR]). For x ∈ R, [x] and {x} stand for the integr...

Let $(x) be Euler's totient function. The literature on solving the equation cj)0) = n (see [1, pp. 221-223], [2-5], [6, pp. 50-55, problems B36-B42], [7-11], [12, pp. 228-256], and the references therein) can be viewed as a collection of open problems. For n = 2, we essentially have the problem of factoring the Fermat numbers. Another notorious example is Carmichaels conjecture [3, 7] that if ...

* A slightly shortened version of this paper is to appear in the SPECTS 2001 conference proceedings. Abstract: We present two benchmark suites for CORBA brokers, targeted at the broker vendor and the broker user audiences. The broker vendor suite is a result of several benchmarking projects with industrial partners, and covers the entire functionality of a CORBA broker. The broker user suite is...

OBJECTIVE Ventricular enlargement following head injury is a frequent finding but cases requiring shunt operation are rare. The incidence and developing factors of post-traumatic hydrocephalus (PTH) have been variously reported, but studies for factors influencing outcomes of shunt operation for PTH are rare. The incidence of PTH requiring shunt operation, causing injuries, and factors influenc...