Because sensor nodes are deployed in public areas, these sensors easy to capture by adversaries. Once a is stolen, the sensitive information stored it likely be exposed. Accordingly, designing secure authentication protocol should consider this issue. Sadri et al. recently proposed two-factor with anonymity for wireless networks. Unfortunately, we found that their had design flaw user and phase...

Solitary pulmonary nodule (SPN) is a frequent finding on the chest x-ray and computed tomography. Nuclear medicine techniques play an important role in the diagnosis and management of SPN. In the current review, we briefly will explain the different nuclear medicine modalities in this regard including positron emission tomography (PET) using 18-F-FDG, and 11-C-Methionine, and single photon emis...

Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge about the dependency among the events in the program. In this paper, we extend the language of hybrid probabilistic programs by allowing disjunctive composition functions to be associated with heads of clauses and ch...

Sadri Etem’in Çıkrıklar Durunca’sı, rüyaların merkeze alındığı bir romandır. Bir Alevi köyünde görülen bu tamamında Hz. Ali vardır. rüyalarda yalnız imgesiyle yer almaz, öncelikle rüyayı gören Dudu’ya sonra da tüm köylülere vahiy şeklinde talimatlar verir. Bu sayede devlet güçleri tarafından uzun süredir ezilen köylüler güçlenir ve göstereni etrafında birleşirler. Ancak kişisel çıkarlarını önce...

The classes of languages which are boolean combinations of languages of the form Aa1A a2A ∗ . . . Aa`A , where a1, . . . , a` ∈ A, ` ≤ k , for a fixed k ≥ 0, form a natural hierarchy within piecewise testable languages and have been studied in papers by Simon, Blanchet-Sadri, Volkov and others. The main issues were the existence of finite bases of identities for the corresponding pseudovarietie...

A hitherto unquestioned assumption made by all methods for integrity checking has been that the database satisfies its constraints before each update. This consistency assumption has been exploited for improving the efficiency of determining whether integrity is satisfied or violated after the update. Based on a notion of violation tolerance, we present and discuss an abstract property which, f...

A classification scheme for regular languages or finite semigroups was proposed by Pin through tree hierarchies, a scheme related to the concatenation product, an operation on languages, and to the Schützenberger product, an operation on semigroups. Starting with a variety of finite semigroups (or pseudovariety of semigroups) V, a pseudovariety of semigroups ◊u(V) is associated to each tree u. ...

Laryngeal squamous cell carcinomas (LSCC) are the most frequently seen cancers among head and neck squamous cell carcinomas (HNSCC), and they constitute 1-2% of all malignancies worldwide (Sadri et al., 2006). Laryngeal carcinogenesis is a multifactorial process that has not been fully elucidated. LSCC develops as a result of structural and cytological alterations in the laryngeal squamous epit...

This report describes the preparation of a safe and immunogenic single vaccine against capripox disease in sheep and goats using two different types of cells (primary lamb kidney and vero, a bovine turbinate cell line). This used the 0240 pox strain isolated from sheep during an outbreak. The prepared vaccine was administered subcutaneously and induced complete protection against an experimenta...