| 1. |
- Kacerovsky, Marian, et al.
(författare)
-
Lactobacilli-dominated cervical microbiota in women with preterm prelabor rupture of membranes.
- 2020
-
Ingår i: Pediatric research. - : Springer Science and Business Media LLC. - 1530-0447 .- 0031-3998. ; 87, s. 952-960
-
Tidskriftsartikel (refereegranskat)abstract
- To determine the association between microbial invasion of the amniotic cavity (MIAC) and the presence of Lactobacillus crispatus- or Lactobacillus iners-dominated cervical microbiota in pregnancies with preterm prelabor rupture of membrane. Next, to assess the relationship between the presence of L. crispatus- or L. iners-dominated cervical microbiota and short-term neonatal morbidity.A total of 311 women were included. Cervical samples were obtained using a Dacron polyester swab and amniotic fluid samples were obtained by transabdominal amniocentesis. Bacterial DNA, L. crispatus, and L. iners in the cervical samples were assessed by PCR. Cervical microbiota was assigned as L. crispatus- or L. iners-dominated when the relative abundance of L. crispatus or L. iners was ≥50% of the whole cervical microbiota, respectively.Women with MIAC showed a lower rate of L. crispatus-dominated cervical microbiota (21% vs. 39%; p=0.003) than those without MIAC. Lactobacillus crispatus-dominated cervical microbiota was associated with a lower rate of early-onset sepsis (0% vs. 5%; p=0.02).The presence of L. crispatus-dominated cervical microbiota in women with preterm prelabor rupture of membrane was associated with a lower risk of intra-amniotic complications and subsequent development of early-onset sepsis of newborns.
|
|
| 2. |
- Janku, Petr, et al.
(författare)
-
Pentraxin 3 in Noninvasively Obtained Cervical Fluid Samples from Pregnancies Complicated by Preterm Prelabor Rupture of Membranes.
- 2019
-
Ingår i: Fetal diagnosis and therapy. - : S. Karger AG. - 1421-9964 .- 1015-3837. ; 46:6, s. 1-9
-
Tidskriftsartikel (refereegranskat)abstract
- To determine the changes of pentraxin 3 (PTX3) level in noninvasively obtained cervical fluid samples from women with preterm prelabor rupture of membranes (PPROM) based on the presence of microbial invasion of the amniotic cavity (MIAC) and/or intra-amniotic inflammation (IAI), and intra-amniotic infection (the presence of both MIAC and IAI).A total of 160 women with PPROM were included. Cervical fluid samples were obtained using a Dacron polyester swab and amniotic fluid samples were obtained by transabdominal amniocentesis. Cervical fluid PTX3 levels were assessed using enzyme-linked immunosorbent assay.PTX3 was found in all the cervical fluid samples and its levels were higher in women with MIAC, IAI, and intra-amniotic infection than in women without these conditions. When the women were categorized into four subgroups based on the presence of MIAC and/or IAI, women with intra-amniotic infection had higher cervical fluid PTX3 levels than those with sterile IAI (IAI alone), colonization (MIAC alone), or no MIAC or IAI. A cervical fluid PTX3 level of 11 ng/mL was the best value for identifying the presence of intra-amniotic infection in women with PPROM.PTX3 is a constituent of cervical fluid of women with PPROM. Cervical fluid PTX3 level reflects the situation in the intra-amniotic compartments of women with PPROM. Cervical fluid PTX3 is a potential marker for the noninvasive identification of intra-amniotic infection in PPROM.
|
|
| 3. |
- Kacerovsky, Marian, et al.
(författare)
-
Cervical Gardnerella vaginalis in women with preterm prelabor rupture of membranes.
- 2021
-
Ingår i: PloS one. - : Public Library of Science (PLoS). - 1932-6203. ; 16:1
-
Tidskriftsartikel (refereegranskat)abstract
- To determine the association between microbial invasion of the amniotic cavity (MIAC) and/or intra-amniotic inflammation (IAI) and the cervical prevalence of Gardnerella vaginalis DNA in pregnancies with preterm prelabor rupture of membrane (PPROM).In total, 405 women with singleton pregnancies complicated with PPROM were included. Cervical fluid and amniotic fluid samples were collected at the time of admission. Bacterial and G. vaginalis DNA were assessed in the cervical fluid samples using quantitative PCR technique. Concentrations of interleukin-6 and MIAC were evaluated in the amniotic fluid samples. Loads of G. vaginalis DNA ≥ 1% of the total cervical bacterial DNA were used to define the cervical prevalence of G. vaginalis as abundant. Based on the MIAC and IAI, women were categorized into four groups: with intra-amniotic infection (both MIAC and IAI), with sterile IAI (IAI without MIAC), with MIAC without IAI, and without either MIAC or IAI.The presence of the abundant cervical G. vaginalis was related to MIAC (with: 65% vs. without: 44%; p = 0.0004) but not IAI (with: 52% vs. without: 48%; p = 0.70). Women with MIAC without IAI had the highest load of the cervical G. vaginalis DNA (median 2.0 × 104 copies DNA/mL) and the highest presence of abundant cervical G. vaginalis (73%).In women with PPROM, the presence of cervical G. vaginalis was associated with MIAC, mainly without the concurrent presence of IAI.
|
|
| 4. |
- Musilova, Ivana, et al.
(författare)
-
Maternal white blood cell count cannot identify the presence of microbial invasion of the amniotic cavity or intra-amniotic inflammation in women with preterm prelabor rupture of membranes.
- 2017
-
Ingår i: PloS one. - : Public Library of Science (PLoS). - 1932-6203. ; 12:12
-
Tidskriftsartikel (refereegranskat)abstract
- The main aim of this study was to determine the relationship between the maternal white blood cell (WBC) count at the time of hospital admission in pregnancies complicated by preterm prelabor rupture of membranes (PPROM) and the presence of microbial invasion of the amniotic cavity (MIAC) and/or intra-amniotic inflammation (IAI). The second aim was to test WBC diagnostic indices with respect to the presence of MIAC and/or IAI.Four hundred and seventy-nine women with singleton pregnancies complicated by PPROM, between February 2012 and June 2017, were included in this study. Maternal blood and amniotic fluid samples were collected at the time of admission. Maternal WBC count was assessed. Amniotic fluid interleukin-6 (IL-6) concentration was measured using a point-of-care test, and IAI was characterized by an IL-6 concentration of ≥ 745 pg/mL. MIAC was diagnosed based on a positive polymerase chain reaction result for the Ureaplasma species, Mycoplasma hominis, and/or Chlamydia trachomatis and/or for the 16S rRNA gene.Women with MIAC or IAI had higher WBC counts than those without (with MIAC: median, 12.8 × 109/L vs. without MIAC: median, 11.9 × 109/L; p = 0.0006; with IAI: median, 13.7 × 109/L vs. without IAI: median, 11.9 × 109/L; p < 0.0001). When the women were divided into four subgroups based on the presence of MIAC and/or IAI, the women with both MIAC and IAI had a higher WBC count than those with either IAI or MIAC alone, and those without MIAC and IAI [both MIAC and IAI: median, 14.0 × 109/L; IAI alone: 12.1 × 109/L (p = 0.03); MIAC alone: 12.1 × 109/L (p = 0.0001); and without MIAC and IAI: median, 11.8 × 109/L (p < 0.0001)]. No differences in the WBC counts were found among the women with IAI alone, MIAC alone, and without MIAC and IAI.The women with both MIAC and IAI had a higher maternal WBC count at the time of hospital admission than the remaining women with PPROM. The maternal WBC count at the time of admission showed poor diagnostic indices for the identification of the presence of both MIAC and IAI. Maternal WBC count at the time of admission cannot serve as a non-invasive screening tool for identifying these complications in women with PPROM.
|
|
| 5. |
- Abdulla, Parosh Aziz, Professor, et al.
(författare)
-
Chain-Free String Constraints
- 2019
-
Ingår i: Automated Technology for Verification and Analysis. - Cham : Springer. - 9783030317836 - 9783030317843 ; , s. 277-293
-
Konferensbidrag (refereegranskat)abstract
- We address the satisfiability problem for string constraints that combine relational constraints represented by transducers, word equations, and string length constraints. This problem is undecidable in general. Therefore, we propose a new decidable fragment of string constraints, called weakly chaining string constraints, for which we show that the satisfiability problem is decidable. This fragment pushes the borders of decidability of string constraints by generalising the existing straight-line as well as the acyclic fragment of the string logic. We have developed a prototype implementation of our new decision procedure, and integrated it into in an existing framework that uses CEGAR with under-approximation of string constraints based on flattening. Our experimental results show the competitiveness and accuracy of the new framework.
|
|
| 6. |
- Abdulla, Parosh, Professor, 1961-, et al.
(författare)
-
Efficient Handling of String-Number Conversion
- 2020
-
Ingår i: PLDI 2020. - New York, NY, USA : ACM. - 9781450376136 ; , s. 943-957
-
Konferensbidrag (refereegranskat)abstract
- String-number conversion is an important class of constraints needed for the symbolic execution of string-manipulating programs. In particular solving string constraints with string-number conversion is necessary for the analysis of scripting languages such as JavaScript and Python, where string-number conversion is a part of the definition of the core semantics of these languages. However, solving this type of constraint is very challenging for the state-of-the-art solvers. We propose in this paper an approach that can efficiently support both string-number conversion and other common types of string constraints. Experimental results show that it significantly outperforms other state-of-the-art tools on benchmarks that involves string-number conversion.
|
|
| 7. |
- Holik, Lukas, et al.
(författare)
-
String constraints with concatenation and transducers solved efficiently
- 2018
-
Ingår i: Proceedings of the ACM on Programming Languages. - New York : ACM Digital Library. - 2475-1421. ; 2:POPL, s. 1-32
-
Tidskriftsartikel (refereegranskat)abstract
- String analysis is the problem of reasoning about how strings are manipulated by a program. It has numerous applications including automatic detection of cross-site scripting, and automatic test-case generation. A popular string analysis technique includes symbolic executions, which at their core use constraint solvers over the string domain, a.k.a. string solvers. Such solvers typically reason about constraints expressed in theories over strings with the concatenation operator as an atomic constraint. In recent years, researchers started to recognise the importance of incorporating the replace-all operator (i.e. replace all occurrences of a string by another string) and, more generally, finite-state transductions in the theories of strings with concatenation. Such string operations are typically crucial for reasoning about XSS vulnerabilities in web applications, especially for modelling sanitisation functions and implicit browser transductions (e.g. innerHTML). Although this results in an undecidable theory in general, it was recently shown that the straight-line fragment of the theory is decidable, and is sufficiently expressive in practice. In this paper, we provide the first string solver that can reason about constraints involving both concatenation and finite-state transductions. Moreover, it has a completeness and termination guarantee for several important fragments (e.g. straight-line fragment). The main challenge addressed in the paper is the prohibitive worst-case complexity of the theory (double-exponential time), which is exponentially harder than the case without finite-state transductions. To this end, we propose a method that exploits succinct alternating finite-state automata as concise symbolic representations of string constraints. In contrast to previous approaches using nondeterministic automata, alternation offers not only exponential savings in space when representing Boolean combinations of transducers, but also a possibility of succinct representation of otherwise costly combinations of transducers and concatenation. Reasoning about the emptiness of the AFA language requires a state-space exploration in an exponential-sized graph, for which we use model checking algorithms (e.g. IC3). We have implemented our algorithm and demonstrated its efficacy on benchmarks that are derived from cross-site scripting analysis and other examples in the literature.
|
|
| 8. |
- Kacerovsky, Marian, et al.
(författare)
-
Cervical fluid IL-6 and IL-8 levels in pregnancies complicated by preterm prelabor rupture of membranes.
- 2015
-
Ingår i: The journal of maternal-fetal & neonatal medicine : the official journal of the European Association of Perinatal Medicine, the Federation of Asia and Oceania Perinatal Societies, the International Society of Perinatal Obstetricians. - : Informa UK Limited. - 1476-4954. ; 128:2, s. 134-140
-
Tidskriftsartikel (refereegranskat)abstract
- Abstract Objective: To determine the cervical fluid interleukin (IL)-6 and IL-8 levels in pregnancies complicated by preterm prelabor rupture of membranes (PPROM) and the association of these interleukins with microbial invasion of the amniotic cavity (MIAC) and histological chorioamnionitis (HCA). Methods: Sixty women with singleton pregnancies were included in this study. Cervical fluid was sampled at the time of admission using Dacron polyester swabs, which were placed into the endocervical canal for 20s. IL-6 and IL-8 levels were determined by ELISA. The management of PPROM was active management (except for in pregnancies <28 weeks of gestation) and occurs not later than 72h after the rupture of membranes. Result: The women with MIAC had higher IL-6 and IL-8 levels than did the women without MIAC (IL-6: p=0.01; IL-8: p=0.003). There was no difference in IL-6 levels between women with and without HCA (p=0.37). The women with HCA had higher IL-8 levels only in the crude analysis (p=0.01) but not after adjustment for gestational age (p=0.06). The women with both MIAC and HCA had higher levels of IL-6 and IL-8 than did the other women (IL-6: p=0.003; IL-8: p=0.001). IL-8 level of 2653pg/mL was found to be the best cut-off point in the identification of PPROM pregnancies complicated by both MIAC and HCA with a likelihood ratio of 24. Conclusions: The presence of MIAC is the most important factor impacting the local cervical inflammatory response, which is determined by IL-6 and IL-8 levels in the cervical fluid. IL-8 levels seem to be a promising non-invasive marker for the prediction of pregnancies complicated by the presence of both MIAC and HCA.
|
|
