Interval Temporal Logic (ITL) is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents. Due to the inherently nonelementary complexity of its decision problem, efficient ITL-based verification tools have been difficult to develop. We give a new decision procedure for Propositional ITL (PITL) implement...

Interval Temporal Logic (ITL) is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents. Due to the logic’s non-elementary complexity, efficient ITL-based verification tools have been difficult to develop, even for propositional subsets. MONA is an efficient implementation of an automata-based decision...

In her article "Perspectives of Ethical Identity in Ng's Steer toward Rock and Jen's Mona in the Promised Land" Hui Su examines Fae Myenne Ng's and Gish Jen's novels. In the novels, the protagonists make different decisions: in Steer Toward Rock Jack after displacement in China adopts US-American identity and in Mona in the Promised Land Mona, a second generation Chinese American, selects Jewis...

Article Type Original Research Authors Attarzadeh Hosseini S.R.* PhD, Rashid Lamir A.1 PhD, Dehbashi M.1 PhD How to cite this article Attarzadeh Hosseini S.R, Rashid Lamir A, Dehbashi M. Comparison of the Effects of 17α-alkyl Steroids and 17β-hydroxy Esters on the Levels of Liver Enzymes and Hematological Factors in Male Bodybuilders. Quarterly of the Horizon of Medical Sciences. 2016;22(1):21-...

* Corresponding author at: Seyed Mohammadmehdi Hosseini-Moghaddam, Transplant Infectious Diseases, University of Toronto, Toronto General Hospital, NCSB 11-1212, 200 Elizabeth Street, Toronto ON M5G 2C4, Canada. Tel: +1-4163404800 ext 5946, Fax: +1-4163404242 E-mail: [email protected] DOI: 10.5812/kowsar.1735143X.770 Copyright c 2011, BRCGL, Published by Kowsar M.P.Co. All rights reserve...

What gives Mona Lisa s smile such a mysterious quality? Livingstone (2000) has suggested that the portrait changes its expression depending on where on the portrait the observer looks. The mouth, which is the essential feature of Mona Lisa s remarkable expression (Kontsevich & Tyler, 2004), appears to form an enigmatic smile. Due to sfumato technique (Gombrich, 2005), this impression of a smile...