Learn More
Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes the journal title. However, use of a template does not certify that the paper has been accepted for publication in the named journal. INFORMS journal templates are for the exclusive purpose of submitting to an INFORMS journal and should not be(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 Software Cost Estimation (SCE) is one of the most important stages of the production cycle of a system. Therefore, the managers need to accurately determine the requirements of the project to have accurate estimations. But given the fact that the SCE is done at the beginning of the system development, it can be problematic due to lack of accurate(More)
BACKGROUND Over the past few years, methamphetamine-induced psychosis (MIP) has increased in Iran, accounting for a significant percentage of psychiatry hospital admissions. The present study was conducted with an aim to investigate clinical symptoms, and course and treatment methods of MIP inpatients in Shafa Psychiatry Hospital in northern Iran. METHODS(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)
Risk management processes are responsible for identifying, analyzing and evaluating risky scenarios and whether they should undergo control in order to satisfy a previously defined risk criterion. Risk specialists have to consider, at the same time, many operational aspects (decision variables) and objectives to decide which and when risk treatment have to(More)
The species Centaurea bruguierana (DC.) Hand.-Mazz. ssp. belangerana (DC.) Bornm. (CBB) (Asteraceae), known as “Baad-Avard” in Borazjan, Bushehr Province, southern Iran, is used in folk medicine as a hypoglycemic herb in diabetes and as a remedy for peptic ulcer disorders. Total 80% EtOH extract and petroleum ether, CHCl3, EtOAc, n-BuOH, and remaining(More)