Learn More
In the paper some notions useful in formalization of [11] are introduced, e.g. the definition of the poset of subsets of a set with inclusion as an ordering relation. Using the theory of many sorted sets authors formulate the definition of product of relational structures. The terminology and notation used in this paper are introduced in the following In(More)
The aim of the study was to create a predictive model of blastocyst development based on morphokinetic parameters of time-lapse embryoscope monitoring. Time-lapse recordings of 432 embryos (obtained from 77 patients), monitored in Embryoscope, were involved in the study. Patients underwent in vitro fertilization according to standard procedure between June(More)
[21] provide the notation and terminology for this paper. 1. PRELIMINARIES The following four propositions are true: (1) Let L be an add-associative right zeroed right complementable non empty loop structure and p be a finite sequence of elements of the carrier of L. If for every natural number i such that i ∈ dom p holds p(i) = 0 L , then ∑ p = 0 L. (2)(More)
the terminology and notation for this paper. The following propositions are true: (1) For all natural numbers n, m such that n = 0 and m = 0 holds (n · m − n − m) + 1 0. (2) For all real numbers x, y such that y > 0 holds min(x,y) max(x,y) 1. (3) For all real numbers x, y such that for every real number c such that c > 0 and c < 1 holds c · x y holds y 0.(More)
OBJECTIVE Lymph node metastasis is a characteristic of malignant cancers and is observed more frequently in oesophageal cancer than in other digestive tract cancers, making it one of the most important prognostic factors. Vascular endothelial growth factors C (VEGF-C) and D (VEGF-D) are important lymphangiogenic factors in human cancers and(More)
The following propositions are true: (1) For every natural number n holds 0 − n = 0. (3) 1 Let D be a non empty set, p be a finite sequence of elements of D, and n be a natural number. If 1 ≤ n and n ≤ len p, then p = (p(n − 1)) p(n) (p n). Let us observe that every left zeroed add-right-cancelable right distributive left unital commuta-tive associative non(More)
Experimental and epidemiological studies have demonstrated that urinary angiotensinogen (AGT) is a novel biomarker for the intrarenal activity of the renin–angiotensin system in hypertension (HT). Several large-scale epidemiological studies have shown that an elevated serum uric acid (SUA) level is associated with HT. The aim of our study was to assess(More)
Thrombocytopenia in small for gestational age (SGA) newborns may be due to placental vascular pathology, fetal consumptive coagulopathy and platelet destruction, local imbalance of thromboxane A2 causing placental vasoconstriction and platelet aggregation. Thrombopoiesis in SGA newborns is poorly recognized. In 61 SGA newborns we evaluated(More)