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...

graham higman has defined coset diagrams for psl(2,ℤ). these diagrams are composed of fragments, and the fragments are further composed of two or more circuits. q. mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...

Modern relational database systems incorporate a query optimizer module to identify the most efficient strategy, or plan, to execute the declarative SQL queries submitted by users. Optimization is a mandatory exercise since the difference between the cost of the best plan and a random choice could be in orders of magnitude. The role of query optimizers has become especially critical in recent t...

AVNEESH SUD: Efficient Computation of Discrete Voronoi Diagram and Homotopy-Preserving Simplified Medial Axis of a 3D Polyhedron. (Under the direction of Dinesh Manocha.) The Voronoi diagram is a fundamental geometric data structure and has been well studied in computational geometry and related areas. A Voronoi diagram defined using the Euclidean distance metric is also closely related to the ...

3.1 UML Language Architecture.............................................................................8 3.1.1 BASIC BUILDING BLOCKS OF UML ........................................................................9 3.1.2 RELATIONSHIPS...................................................................................................10 3.1.3 DIAGRAMS ...............................................

In (Golchin A. and Rezaei P., Subpullbacks and flatness properties of S-posets. Comm. Algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets  over a pomonoid  that can be described by surjectivity of  corresponding to certain (sub)pullback diagrams and new properties such as  and  were discovered. In this article first of all we describe po-flatness propertie...

For generic squark masses, box diagrams with squarks and gluinos give unacceptably large contributions to neutral meson (K, B and D) mixing. The standard solution to this problem is to assume that squarks are degenerate to a very good approximation. We suggest an alternative mechanism to suppress squark contributions to flavor changing neutral currents: the alignment of quark with squark mass m...

background: celiac disease (cd) has been found in up to 10% of the patients presenting with unexplained abnormal liver function tests (lft). as there is no precise data from our country in this regard, we investigated the prevalence of cd in patients presenting with abnormal lft. methods: from 2003 to 2008, we measured iga anti-tissue transglutaminase (t-tg) antibody (with elisa technique) with...