نتایج جستجو برای: pre dcpo
تعداد نتایج: 311894 فیلتر نتایج به سال:
abstract the first time weinstein in 1982 described patients with the syndrome of hemolysis, elevated liver enzymes, and low platelet count (hellp) in pregnant preeclamptic and eclamptic patients. this syndrome is a severe form of preeclampsia or eclampsia. usually hellp syndrome occurs at the third trimester and only 15% occur before the 27th week of pregnancy and rarely before the 20th week o...
background: preeclampsia (pe) is a pregnancy specific syndrome that is associated with high maternal and fetal morbidity and mortality. glucose regulated protein78 (grp78) is an endoplasmic reticulum (er) protein which is expressed on the cell surfaces of trophoblast cells under stress or hypoxic condition. grp78 has a role in aggressive behavior of invasive cells and may play a role in normal ...
We prove that the sequential functionals of some fixed types at type level 2, taking finite sequences of unary functions as arguments, do form a directed complete partial ordering. This gives a full characterisation of for which types the partially ordered set of sequential functionals has this property. As a tool, we prove a normal form theorem for the finite sequential functionals of the type...
We introduce domain theory in dynamical systems, iterated function systems (fractals) and measure theory. For a discrete dynamical system given by the action of a continuous map f : X ! X on a metric space X, we study the extended dynamical systems (V X; V f), (UX; Uf) and (LX;Lf) where V , U and L are respectively the Vietoris hyperspace, the upper hyperspace and the lower hyperspace functors....
Labelled Markov processes are probabilistic versions of labelled transition systems. In general, the state space of a labelled Markov process may be a continuum. In this paper, we study approximation techniques for continuous-state labelled Markov processes. We show that the collection of labelled Markov processes carries a Polish-space structure with a countable basis given by finite-state Mar...
A construction of fully abstract typed models for PCF and PCF+ (i.e., PCF + “parallel conditional function”), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent non-deterministic strategies introduced by the author in the seventies. Although these notions of strategies are old, the definition of the fully abstract models is...
background: the aim of this prospective, randomized, single-blinded study was to compare the effects of a carbohydrate drink 400 ml given 2 h before the surgery with preoperative overnight fasting on the gastric ph and residual volume, postoperative nausea and vomiting (ponv) and antiemetic consumption in patients undergoing laparoscopic cholecystectomy. materials and methods: forty american so...
the current study aimed at investigating the relationship between motivation and test preparation strategies (tpss) used by iranian pre-university students in their preparation period for the university entrance exam (uee). due to the importance of uee in iran, this study also attempted to show its impact on these two important variables. to this end, 100 pre-university students in an iranian p...
انجام بلوغ آزمایشگاهی تخمک های نابالغ از فولیکول های آنترال یک تکنیک امید بخش برای درمان ناباروری می باشد. اعتقاد بر این است که کاهش شایستگی تکوین تخمک های بالغ شده در شرایط آزمایشگاهی به علت مطلوب نبودن شرایط کشت و همچنین عدم هم زمانی بین بلوغ هسته ای و بلوغ سیتوپلاسمی می باشد به این صورت که در شرایط آزمایشگاهی بلوغ هسته ای قبل از بلوغ سیتوپلاسمی اتفاق می افتد و تکمیل بلوغ هسته ای به منزله کسب...
the present research study attempted to find out the extent to which two pre-task activities of “glossary of unknown vocabulary items” and “content related support” assisted efl language learners with their performance on listening comprehension questions across two different proficiency levels (low and high). data for this study were obtained from a total of 120 language learners, female and m...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید