zinc is the first modelling language which supports solver and technique independence. this means that a high level conceptual model can be automatically mapped into an appropriate low level design model for a specific solver or technique. to date, zinc uses three different techniques to solve a model: constraint programming (cp), local search (ls), and mixed integer programming (mip). in this ...

a wireless sensor network (wsn) is a wireless decentralized structure network consists of many nodes. nodes can be fixed or mobile. wsn applications typically observe some physical phenomenon through sampling of the environment so determine the location of events is an important issue in wsn. wireless localization used to determine the position of nodes. the precise localization in wsns is a co...

‎let $g$ be a finite group‎. ‎in [ghasemabadi et al.‎, ‎characterizations of the simple group ${}^2d_n(3)$ by prime graph‎ ‎and spectrum‎, ‎monatsh math.‎, ‎2011] it is‎ ‎proved that if $n$ is odd‎, ‎then ${}^2d _n(3)$ is recognizable by‎ ‎prime graph and also by element orders‎. ‎in this paper we prove‎ ‎that if $n$ is even‎, ‎then $d={}^2d_{n}(3)$ is quasirecognizable by‎ ‎prime graph‎, ‎i.e‎...

statement of the problem in order to replace lost tooth of patients, we use dental implants which are common. therefore, accurate measuring of bone height and width before placing implants is necessary. the aim of this study is evaluating the accuracy of linear and spiral tomography in careful determination of implant site sizes in comparison with gold standard (cbct). material and methods this...

in this paper we show that if q is a power of a prime p , then the projective special linear group psl(2, q) and the stabilizer of a point of the projective line have maximum sum element orders among all proper subgroups of projective general linear group pgl(2, q) for q odd and even respectively