follicular thyroid carcinoma (ftc) is the second most common type of thyroid cancer after papillary carcinoma. it usually grows slowly and is clinically indolent; but rarely, its aggressive forms with distant metastases can occur. we report here an uncommon case of bilateral orbital metastasis of ftc. a 70-year-old woman presented with bilateral exophtalmus and past medical history of thyroid n...

PURPOSE The purpose of this study was to analyze the practice management patterns of the current members of the American Society of Ophthalmic Plastic and Reconstructive Surgery (ASOPRS) and to determine the use of oral prophylactic antibiotics in an attempt to prevent orbital cellulitis following nonoperative orbital fractures. PATIENTS AND METHODS A cross-sectional web-based survey was emai...

State Machines: A Generic Model of Computation

State Machines: Verification Problems and Complexity

In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenario, the attacker and the communication between them.

Nowadays, by successful application of on time production concept in other concepts like production management and storage, the need to complete the processing of jobs in their delivery time is considered a key issue in industrial environments. Unrelated parallel machines scheduling is a general mood of classic problems of parallel machines. In some of the applications of unrelated parallel mac...

background: orbital mucormycosis caused by zygomycetes is a rare and fatal infection that generally affects the patients who  are  immunocompromised.  despite  antifungal  therapy  and  aggressive  surgical  intervention,  mucormycosis  can cause serious and rapidly fatal infections if delayed diagnosis or therapeutic management occurs. here, we report orbital mucormycosis in a healthy boy, wit...

In this paper, a new mathematical model for the problem of job scheduling in virtual manufacturing cells (VMC) is presented to minimizing the completion time of all jobs. Sequence dependent setup times of machines is considered and lot-streaming is possible. In Virtual manufacturing cells, each job has a different processing path and there is a set of machines for processing each operation. The...

The present investigation deals with a machine repair problem consisting of cold and warm standby machines. The machines are subject to breakdown and are repaired by the permanent repairman operating under N-policy. There is provision of one additional removable repairman who is called upon when the work load of failed machines crosses a certain threshold level and is removed as soon as the wor...