For a collection of (not necessarily distinct) matchingsM = (M1,M2, . . . ,Mq) in a hypergraph, where each matching is of size t, a matching M of size t contained in the union ∪i=1Mi is called a rainbow matching if there is an injective mapping from M to M assigning to each edge e of M a matching Mi ∈M containing e. Let f(r, t) denote the maximum k for which there exists a collection of k match...

The exponential distribution is also the continuous analog of the geometric distribution in the following sense. In an experiment where the binomial distribution describes the number of successes in n trials, the geometric distribution describes the number of trials necessary for one success. In an experiment where the Poisson distribution describes the number of random occurrences of some even...

One simile that solitary shines In the dry desert of a thousand lines. The collection of all subsets of cardinality k of a set with v elements (k < v) has the property that any subset of t elements, with 0 ≤ t ≤ k, is contained in precisely v−t k−t subsets of size k. The subsets of size k provide therefore a nice covering for the subsets of a lesser cardinality. Observe that the number of subse...

The n-dimensional cube Q is the graph whose vertices are the subsets of {1, . . . , n}, with two vertices adjacent if and only if their symmetric difference is a singleton. Clearly Q has diameter and radius n. Write M = n2n−1 = e(Q) for the size of Q. Let Q̃ = (Qt) M 0 be a random Q-process. Thus Qt is a spanning subgraph of Q n of size t, and Qt is obtained from Qt−1 by the random addition of a...

Abstract This paper continues a series of papers that develop new approach to syntax and semantics dependent type theories. Here we study the interpretation rules identity types in intensional Martin-Löf theories on C-systems arise from universe categories. In first part constructions produce interpretations these certain structures categories while second functoriality with respect functors Th...

conclusions affordable new hcv treatment regimens are available in iran, providing an opportunity for hcv elimination. recommendations provided in this current national guideline can facilitate evidence-based management of hcv infection. results pegylated interferon alpha (pegifn), ribavirin (rbv), sofosbuvir (sof), ledipasvir (ldv) and daclatasvir (dcv) are currently available in iran. pre-tre...

autoimmunity and viral infections are closely associated fields, and viruses have been proposed as a likely aetiological, contributory or triggering factors of systemic autoimmune diseases. hepatitis c virus seems to be the virus usually associated with the appearance of autoimmune diseases, and the relationship between chronic hepatitis c virus infection and some autoimmune disease has been st...

the aim of this study was to investigate c-reactive protein (crp) level in preeclampsia (pe) and its association with the severity of the disease. this cross-sectional study included 43 women with mild pe, 43 women with severe pe, and 43 healthy pregnant. they were selected in the third trimester of pregnancy in the afzalipour hospital, kerman, iran, from march 2006 to march 2007. mean diastoli...