The Kino-Eye Montage Procedure as a Formal Experiment

Xerografting as a Novel Procedure in the Management of Syngnathia

Congenital fusion of the maxilla and the mandible is a rare condition. The extent of the problem ranges from simple mucosal adhesion (synechia) to severe bony fusion (syngnathia). Here we present a patient with zygomatico-mandibular fusion who was treated at neonatal and infancy periods at three different stages without tracheostomy. Having had recurrence for two times, porcine grafting was per...

Necrotizing scleritis as a complication of cosmetic eye whitening procedure

BACKGROUND We report necrotizing scleritis as a serious complication of a cosmetic eye whitening procedure that involves the use of intraoperative and postoperative topical mitomycin C. FINDINGS This is a single case report. A 59-year-old Caucasian male with a history of blepharitis status post uncomplicated LASIK refractive surgery reported chronic conjunctival hyperemia for 15 years prior t...

Examine the Relationship between the Process-Oriented Organizations by Strategy Formation as a Formal Process

This article examines the role of management in business processes in relation to the process-oriented organization and strategy formation as a formal process (strategic planning). A questionnaire designed to measure these variables after the validity and reliability among a sample of 183 managers, officials and experts in working systems, information technology and strategic planning in major ...

Formal Verification of a Combination Decision Procedure

Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Eves. Shostak, in 1984, published a decision procedure for the combination of canonizable and solvable theories. Recently, Ruess and Shankar showed Shostak’s method to be incomplete and nonterminating, and presented a c...

A Formal Specification for Procedure Calling Conventions