purpose: to determine the prevalence of intraocular injuries in patients with blow-out fracture and also to evaluate the etiologic mechanism of orbital blow-out fractures methods: this study is a consecutive case series analysis of 116 patients with orbital blow-out fractures. the patients were visited by an ophthalmologist within 24 hours of trauma. results: ninety-one men and twenty-five wome...

introduction penetration of a bicycle brake handle into the orbit is a rare and serious type of trauma. globe subluxation due to such trauma has not been previously reported. case presentation a 10-year-old girl presented after falling from a bicycle, which resulted in the handbrake penetrating her right upper eyelid. on examination, the globe was subluxated anteriorly, there was no light perce...

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...

2 Computation models as simple classes of ASMs 3 2.1 The problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Relaxing the time unit . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 ASMs in a nutshell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.4 Intrinsic ASM characterization of computation models . . . . . . . . . 6 2.5 Slight background m...

State Machines Formal semantics for large part of UML using Abstract State Machines (Gurevich). Transition systems. States: multi-sorted first-order structures (set with function names and function interpretations). ASM: set of states (incl. initial state) and update rule. Jan Jürjens, TU Munich: Formal Semantics for Interacting UML subsystems 6 Abstract State Machines: Update rules Update rule...

Trust model is an important component of gird security model and can be classified as mission-unaware identity trust model, mission-aware identity trust model, mission-unaware behavior trust model and mission-aware behavior trust model. All of them could be regarded as projections of mission-aware behavior trust model, by which authorization depends on not only the trust but also the cost and q...

Although millions of automatic teller machines (ATMs) are currently used all over the world, users of ATMs still have usability problems including inappropriate user-ATM interaction, display problems and others. Many developed countries already have standards in place for ATMs. However, this is not the case in many other countries. This paper aims to assess certain dimensions of ATM machines an...

We define a notion of implementation for real-time Abstract State Machines (ASM) with instantaneous actions by machines with delayed actions. The time is continuous, and time constraints are metric. It is clear that not every machine of the first type can be implemented by a machine of the second type. We describe sufficient conditions on ASM that permit to construct such an implementation in a...

State Machines: Verification Problems and Computational Power Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades einer Doktorin der Naturwissenschaften genehmigte Dissertation