We adapt direct, delayed, and fair simulation to alternating Büchi automata. Unlike with nondeterministic Büchi automata, naive quotients do not preserve the recognized language. As a remedy, we present specifically designed definitions of quotients, namely minimax and semi-elective quotients: minimax quotients, which are simple and have a minimum number of transitions, preserve the recognized ...

Introduction: Elective upper and lower GI endoscopy is usually performed in children on an outpatient basis with the child under sedation or general anesthesia (GA). The objective of this study was to describe Anesthesia related complications in   children undergoing elective GI endoscopy.   Materials and Methods: The study design was descriptive on 1388 patients undergoing elective GI endoscop...

plant biomass is an important factor for determining arid and semi-aridrangelands capacity. due to the lack of proper and annual sampling of rangelands, there areno suitable data to determine biomass, range condition and proper range managementoperations. plant biomass is one of the measurable attributes that can be assessed inrangeland studies. since the clip and weight method is destructive a...

conclusions most cases of splenectomy in our center caused by trauma, and among the different types of trauma, blunt trauma is the dominant cause. road traffic accidents, in particular motor vehicle accidents, especially motorbike injures, are the most frequent cause of splenectomy. due to the instability of trauma patients, a mortality rate of 8% seems to be reasonable for splenectomy. rnwe re...

objective: this study assessed the influence of maternal request on elective cesarean rate and related factors in maternity hospitals in tehran. materials and method: this cross sectional descriptive analytic study was performed via a two-step random sampling technique, using data from 824 pregnant women who attended the maternity hospitals in tehran in 2001. a questionnaire covering past and p...

 ABSTRACT Background: To compare pregnancy outcomes in women at risk for cervical incompetence after elective versus ultrasound- indicated cerclage. Methods: In a prospective randomized tlial, singleton pregnancies with at least one previous spontaneous midtrimester loss or early preterm delivery (between 15 and 32 weeks' gestation) who met clinical crite1ia for the diagnosis of cervical incomp...

BACKGROUND The University College Dublin Elective Programme was introduced in 2005 with the intention of broadening the learning of its undergraduate students. Undergraduate medical students undertake seven free-choice electives during their six-year degree programme. They are permitted to choose electives from any school in the University. Students also have the option of selecting 'In-Program...

Abstract Background While obesity is associated with cardiovascular mortality and morbidity, patients higher body mass index (BMI) may have better outcomes post-percutaneous coronary intervention (PCI). This “obesity paradox” controversial needs clarification. Purpose We aimed to investigate the relationship between BMI post-PCI in an Asian cohort. Methods A retrospective cohort study was perfo...

introduction: elective upper and lower gi endoscopy is usually performed in children on an outpatient basis with the child under sedation or general anesthesia (ga). the objective of this study was to describe anesthesia related complications in   children undergoing elective gi endoscopy.   materials and methods: the study design was descriptive on 1388 patients undergoing elective gi endoscop...