0262-8856/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.imavis.2009.04.017 * Corresponding author. Tel.: +1 305 348 3019. E-mail address: [email protected] (M. Adjouadi). Biometric research has experienced significant advances in recent years given the need for more stringent security requirements. More important is the need to overcome the rigid constraints necessitated by the practical...

We study strategy synthesis for stochastic two-player games with multiple objectives expressed as a conjunction of LTL and expected total reward goals. For stopping games, the strategies are constructed from the Pareto frontiers that we compute via value iteration. Since, in general, infinite memory is required for deterministic winning strategies in such games, our construction takes advantage...

The appeal of generative programming is “abstraction without guilt”: eliminating the vexing trade-off between writing highlevel code and highly-performant code. Generative programming also promises to formally capture the domain-specific knowledge and heuristics used by high-performance computing (HPC) experts. How far along are we in fulfilling these promises? To gauge our progress, a recent S...

This paper presents an intelligent and robust guidance, navigation and control solution for a rotary-wing UAV to carry out an autonomous cargo transportation mission between two moving platforms. Different from the conventional GPS/INS-only navigation scheme, this solution also integrates sophisticated Lidar and vision systems capable of precisely locating cargo loading and unloading positions....

objective: the aim of this study was to assess the accuracy of ovarian reserve tests, mainly basal and clomiphene stimulated follicle stimulating hormone (fsh) concentrations. materials and methods : a prospective cohort study was conductedon 120 infertile patients referring to mirza koochak khan hospital for ivffrom 2004 to 2006. all the patients underwent clomiphene citrate challenge test (cc...

The first description of an autoimmune encephalitis dates back to 1888, when Hermann Oppenheim described a patient with neurological symptoms but no underlying brain pathology. The field of autoimmune encephalitides associated with antibodies targeting cell-surface antigens is rapidly expanding and new antibodies are discovered frequently. Autoimmune encephalitis is a difficult clinical diagnos...

Introduction: The newly deceased patients have long been usedin medical schools to teach clinical skills without any challengesas it helps to train skilled doctors. Nowadays, the use of moulagesand simulators are common in teaching clinical skills since thesetools provide the opportunity for frequent practice without anypain and injury. There are specific procedures which still requirethe use o...