abstract background: obesity is an independent risk factor of preeclampsia with unknown mechanism and hyperlipidemia might be a probable case of it. objective: the objective of this study was to determine the role of hyper-triglyceridemi in association with high prepregnancy body mass index and the risk of preeclampsia. materials and methods: the authors conducted this case-control study of 42 ...

This paper is about a generalization of Scott’s domain theory in such a way that its definitions and theorems become meaningful in quasimetric spaces. The generalization is achieved by a change of logic: the fundamental concepts of original domain theory (order, way-below relation, Scott-open sets, continuous maps, etc.) are interpreted as predicates that are valued in an arbitrary completely d...

Continuous valuations have been proposed by several authors as a way of modeling probabilistic non-determinism in programming language semantics. Let (X;O) be a topological space. A quasi-simple valuation on X is the sup of a directed family of simple valuations. We show that quasisimple valuations are exactly those valuations that extend to continuous valuations to the Alexandroff topology on ...

This paper takes a fresh look at the topic of trace semantics in the theory of coalgebras. The first development of coalgebraic trace semantics used final coalgebras in Kleisli categories, stemming from an initial algebra in the underlying category. This approach requires some non-trivial assumptions, like dcpo enrichment, which do not always hold, even in cases where one can reasonably speak o...

background and objective: hypertensive disorders complicating pregnancy are common and from one of the deadly triad, along with hemorrhage and infection that contribute greatly to prenatal and maternal morbidity and mortality in the developing countries. this study was designed to investigate the relationship between maternal hypothyroidism and pre-eclampsia. materials and methods: in a prospec...

In this paper we show that three major classes of topological spaces are domain-representable, i.e., homeomorphic to the space of maximal elements of some domain (=continuous dcpo) with the relative Scott topology. The three classes are: T3 subcompact spaces, strongly α-favorable spaces with a Gδ-diagonal or with a base of countable order, and complete quasi-developable T3-spaces. It follows th...

In (Simpson 2003) A. Simpson introduced the category PreDom of topological predomains as a framework for denotational semantics containing also most classical spaces, namely all countably based T0 spaces. Countably based T0 spaces are isomorphic to subspaces of Pω where the latter is endowed with the Scott topology. A qcb space (as introduced in (Menni and Simpson 2002)) is a T0 space which app...

The power set of a domain D can be seen as the function space D ! 2 of all functions in the pointwise order. One computational version thereof is the lifted lower powerdomain, which we can think of as the lattice of Scott-closed subsets or, alternatively, as the order dual of the function space D ! 2]. Therefore, logic and the ordinary power set, as well as its information-theoretic version, re...

background: pre-eclampsia, a vascular disorder of pregnancy, is a leading cause of maternal morbidity as well as perinatal morbidity and mortality. the cause of pre-eclampsia remains largely unknown. accumulating evidences from clinical and epidemiological studies suggest that diffuse endothelial dysfunction, resulting from oxidative stress, plays an important role in the pathogenesis of pre-ec...

objective: to examine association between maternal socio-cultural status, as indicated by maternal income, education and polygamy with severity of pre–eclampsia. materials and methods: this study was carried out in primary health centers in katsina, adamawa and borno states. a total of two groups of subjects were selected for the study, with 50 subjects in each group. group a - pregnant non hyp...