Reza Ahmadi

Learn More
In many theme parks, stores are located within major attractions to sell related merchandise. Sales at such stores form a significant portion of theme park profits. Typically, store sales depend upon visitor flows through the attraction, customer satisfaction with the attraction, and the merchandise at the store. In addition, such stores constitute a unique(More)
This paper describes the design of <i>traits</i>, abstract superclasses, in the verification-aware programming language Dafny. Although there is no inheritance among classes in Dafny, the traits make it possible to describe behavior common to several classes and to write code that abstracts over the particular classes involved. The design incorporates(More)
The College of Engineering offers graduate programs leading to the Master of Science and Doctor of Philosophy degrees. The Department of Electrical and Computer Engineering offers programs of study and research leading to the Master of Science degree in Electrical and Computer Engineering and the Doctor of Philosophy in Electrical and Computer Engineering.(More)
INTRODUCTION Today, the use of electromagnetic waves in medical diagnostic devices, such as magnetic resonance imaging (MRI), has increased, and many of its biological effects have been reported. The aim of the present study was to assess the biological effects of 1.5 Tesla (T) magnetic resonance imaging (MRI) on fertility and reproductive parameters. (More)
  • Ali Zarei Mahmudabadi, Masoomeh Masoomi Karimi, Majid Bahabadi, Zahra Bagheri Hoseinabadi, Moslem JafariSani, Reza Ahmadi
  • 2016
OBJECTIVE Vascular endothelial growth factor (VEGF) and VEGF receptors (VEGFRs) play important roles in angiogenesis of different developmental mechanisms such as wound healing, embryogenesis and diseases, including different types of cancer. VEGFR2 is associated with cell proliferation, migration, and vascular permeability of endothelial cells. Blocking(More)