Loading...
Search for:
computation-languages
0.006 seconds
Integrating model checking and deduction for Rebeca
, Article Scientia Iranica ; Volume 12, Issue 1 , 2005 , Pages 55-65 ; 10263098 (ISSN) ; Movaghar, A ; Sharif University of Technology
Sharif University of Technology
2005
Abstract
Rebeca is an actor-based language for modeling concurrent and distributed systems. Its Java-like syntax makes it easy-to-use for practitioners and its formal foundation is a basis to make different formal verification approaches applicable. Compositional verification and abstraction techniques are used in formal verification of Rebeca models to overcome state explosion problems. The main contribution of this paper is to show how model checking and deduction are integrated for verifying certain properties of these models. Deduction is used to prove that abstraction techniques preserve a set of behavioral specifications in temporal logic and is also used in applying the compositional...
Quantum imaging as an ancilla-assisted process tomography
, Article Physical Review A - Atomic, Molecular, and Optical Physics ; Volume 94, Issue 4 , 2016 ; 10502947 (ISSN) ; Afsary, M ; Alipour, S ; Rezakhani, A. T ; Sharif University of Technology
American Physical Society
2016
Abstract
We show how a recent experiment of quantum imaging with undetected photons can basically be described as an (a partial) ancilla-assisted process tomography in which the object is described by an amplitude-damping quantum channel. We propose a simplified quantum circuit version of this scenario, which also enables one to recast quantum imaging in quantum computation language. Our analogy and analysis may help us to better understand the role of classical and/or quantum correlations in imaging experiments. © 2016 American Physical Society
Assessment of expression of NF-κB-related genes in periodontitis
, Article Gene Reports ; Volume 26 , 2022 ; 24520144 (ISSN) ; Gholami, L ; Nazer, N ; Hussen, B. M ; Shadnoush, M ; Sayad, A ; Taheri, M ; Sharif University of Technology
Elsevier Inc
2022
Abstract
Nuclear factor kappa B (NF-κB) is an important regulator of immune responses and is involved in the pathoetiology of periodontitis. We have measured levels of four NF-κB-related genes, namely CEBPA, CEBPA-DT, FBXL19-AS and DILC in blood and tissue samples of patients with chronic periodontitis compared with controls. Expression of CEBPA-DT was significantly lower in blood of patients compared with controls (Ratio of mean expression (RME) = 0.13, P value = 0.01). This pattern was also seen among male subgroups (RME = 0.10, P value = 0.01). FBXL19-AS was down-regulated in venous blood of total patients compared with controls (RME = 0.03, P value < 0.001) and in patients of both sexes compared...