Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

Association rules are among the most widely employed data analysis methods in the field of Data Mining. An association rule is a form of partial implication between two sets of binary variables. In the most common approach, association rules are parameterized by a lower bound on their confidence, which is the empirical conditional probability of their consequent given the antecedent, and/or by some other parameter bounds such as "support" or deviation from independence. We study here notions of redundancy among association rules from a fundamental perspective. We see each transaction in a dataset as an interpretation (or model) in the propositional logic sense, and consider existing notions of redundancy, that is, of logical entailment, among association rules, of the form "any dataset in which this first rule holds must obey also that second rule, therefore the second is redundant". We discuss several existing alternative definitions of redundancy between association rules and provide new characterizations and relationships among them. We show that the main alternatives we discuss correspond actually to just two variants, which differ in the treatment of full-confidence implications. For each of these two notions of redundancy, we provide a sound and complete deduction calculus, and we show how to construct complete bases (that is, axiomatizations) of absolutely minimum size in terms of the number of rules. We explore finally an approach to redundancy with respect to several association rules, and fully characterize its simplest case of two partial premises.Comment: LMCS accepted pape

An automatic critical care urine meter

Nowadays patients admitted to critical care units have most of their physiological parameters measured automatically by sophisticated commercial monitoring devices. More often than not, these devices supervise whether the values of the parameters they measure lie within a pre-established range, and issue warning of deviations from this range by triggering alarms. The automation of measuring and supervising tasks not only discharges the healthcare staff of a considerable workload but also avoids human errors in these repetitive and monotonous tasks. Arguably, the most relevant physiological parameter that is still measured and supervised manually by critical care unit staff is urine output (UO). In this paper we present a patent-pending device that provides continuous and accurate measurements of patient’s UO. The device uses capacitive sensors to take continuous measurements of the height of the column of liquid accumulated in two chambers that make up a plastic container. The first chamber, where the urine inputs, has a small volume. Once it has been filled it overflows into a second bigger chamber. The first chamber provides accurate UO measures of patients whose UO has to be closely supervised, while the second one avoids the need for frequent interventions by the nursing staff to empty the containe

\u3cem\u3eBorrelia burgdorferi\u3c/em\u3e EbfC Defines a Newly-Identified, Widespread Family of Bacterial DNA-Binding Proteins

The Lyme disease spirochete, Borrelia burgdorferi, encodes a novel type of DNA-binding protein named EbfC. Orthologs of EbfC are encoded by a wide range of bacterial species, so characterization of the borrelial protein has implications that span the eubacterial kingdom. The present work defines the DNA sequence required for high-affinity binding by EbfC to be the 4 bp broken palindrome GTnAC, where ‘n’ can be any nucleotide. Two high-affinity EbfC-binding sites are located immediately 5′ of B. burgdorferi erp transcriptional promoters, and binding of EbfC was found to alter the conformation of erp promoter DNA. Consensus EbfC-binding sites are abundantly distributed throughout the B. burgdorferi genome, occurring approximately once every 1 kb. These and other features of EbfC suggest that this small protein and its orthologs may represent a distinctive type of bacterial nucleoid-associated protein. EbfC was shown to bind DNA as a homodimer, and site-directed mutagenesis studies indicated that EbfC and its orthologs appear to bind DNA via a novel α-helical ‘tweezer’-like structure

Borrelia burgdorferi EbfC defines a newly-identified, widespread family of bacterial DNA-binding proteins

The Lyme disease spirochete, Borrelia burgdorferi, encodes a novel type of DNA-binding protein named EbfC. Orthologs of EbfC are encoded by a wide range of bacterial species, so characterization of the borrelial protein has implications that span the eubacterial kingdom. The present work defines the DNA sequence required for high-affinity binding by EbfC to be the 4 bp broken palindrome GTnAC, where ‘n’ can be any nucleotide. Two high-affinity EbfC-binding sites are located immediately 5′ of B. burgdorferi erp transcriptional promoters, and binding of EbfC was found to alter the conformation of erp promoter DNA. Consensus EbfC-binding sites are abundantly distributed throughout the B. burgdorferi genome, occurring approximately once every 1 kb. These and other features of EbfC suggest that this small protein and its orthologs may represent a distinctive type of bacterial nucleoid-associated protein. EbfC was shown to bind DNA as a homodimer, and site-directed mutagenesis studies indicated that EbfC and its orthologs appear to bind DNA via a novel α-helical ‘tweezer’-like structure

Complement Factor H-Related Proteins CFHR2 and CFHR5 Represent Novel Ligands for the Infection-Associated CRASP Proteins of Borrelia burgdorferi

Background: One virulence property of Borrelia burgdorferi is its resistance to innate immunity, in particular to complement-mediated killing. Serum-resistant B. burgdorferi express up to five distinct complement regulator-acquiring surface proteins (CRASP) which interact with complement regulator factor H (CFH) and factor H-like protein 1 (FHL1) or factor H-related protein 1 (CFHR1). In the present study we elucidate the role of the infection-associated CRASP-3 and CRASP-5 protein to serve as ligands for additional complement regulatory proteins as well as for complement resistance of B. burgdorferi. Methodology/Principal Findings: To elucidate whether CRASP-5 and CRASP-3 interact with various human proteins, both borrelial proteins were immobilized on magnetic beads. Following incubation with human serum, bound proteins were eluted and separated by Glycine-SDS-PAGE. In addition to CFH and CFHR1, complement regulators CFHR2 and CFHR5 were identified as novel ligands for both borrelial proteins by employing MALDI-TOF. To further assess the contributions of CRASP-3 and CRASP-5 to complement resistance, a serum-sensitive B. garinii strain G1 which lacks all CFH-binding proteins was used as a valuable model for functional analyses. Both CRASPs expressed on the B. garinii outer surface bound CFH as well as CFHR1 and CFHR2 in ELISA. In contrast, live B. garinii bound CFHR1, CFHR2, and CFHR5 and only miniscute amounts of CFH as demonstrated by serum adsorption assays and FACS analyses. Further functional analysis revealed that upon NHS incubation, CRASP-3 or CRASP-5 expressing borreliae were killed by complement. Conclusions/Significance: In the absence of CFH and the presence of CFHR1, CFHR2 and CFHR5, assembly and integration of the membrane attack complex was not efficiently inhibited indicating that CFH in co-operation with CFHR1, CFHR2 and CFHR5 supports complement evasion of B. burgdorferi

Borrelia burgdorferi BBK32 Inhibits the Classical Pathway by Blocking Activation of the C1 Complement Complex

Citation: Garcia, B. L., Zhi, H., Wager, B., Hook, M., & Skare, J. T. (2016). Borrelia burgdorferi BBK32 Inhibits the Classical Pathway by Blocking Activation of the C1 Complement Complex. Plos Pathogens, 12(1), 28. doi:10.1371/journal.ppat.1005404Pathogens that traffic in blood, lymphatics, or interstitial fluids must adopt strategies to evade innate immune defenses, notably the complement system. Through recruitment of host regulators of complement to their surface, many pathogens are able to escape complement-mediated attack. The Lyme disease spirochete, Borrelia burgdorferi, produces a number of surface proteins that bind to factor H related molecules, which function as the dominant negative regulator of the alternative pathway of complement. Relatively less is known about how B. burgdorferi evades the classical pathway of complement despite the observation that some sensu lato strains are sensitive to classical pathway activation. Here we report that the borrelial lipoprotein BBK32 potently and specifically inhibits the classical pathway by binding with high affinity to the initiating C1 complex of complement. In addition, B. burgdorferi cells that produce BBK32 on their surface bind to both C1 and C1r and a serum sensitive derivative of B. burgdorferi is protected from killing via the classical pathway in a BBK32-dependent manner. Subsequent biochemical and biophysical approaches localized the anti-complement activity of BBK32 to its globular C-terminal domain. Mechanistic studies reveal that BBK32 acts by entrapping C1 in its zymogen form by binding and inhibiting the C1 subcomponent, C1r, which serves as the initiating serine protease of the classical pathway. To our knowledge this is the first report of a spirochetal protein acting as a direct inhibitor of the classical pathway and is the only example of a biomolecule capable of specifically and noncovalently inhibiting C1/C1r. By identifying a unique mode of complement evasion this study greatly enhances our understanding of how pathogens subvert and potentially manipulate host innate immune systems

A large topographic feature on the surface of the trans-Neptunian object (307261) 2002 MS4_4 measured from stellar occultations

This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine stellar occultations by 2002 MS4 between 2019 and 2022, resulting in two single-chord events, four double-chord detections, and three events with three to up to sixty-one positive chords. Using 13 selected chords from the 8 August 2020 event, we determined the global elliptical limb of 2002 MS4. The best-fitted ellipse, combined with the object's rotational information from the literature, constrains the object's size, shape, and albedo. Additionally, we developed a new method to characterize topography features on the object's limb. The global limb has a semi-major axis of 412 $\pm$ 10 km, a semi-minor axis of 385 $\pm$ 17 km, and the position angle of the minor axis is 121 $^\circ$ $\pm$ 16$^\circ$. From this instantaneous limb, we obtained 2002 MS4's geometric albedo and the projected area-equivalent diameter. Significant deviations from the fitted ellipse in the northernmost limb are detected from multiple sites highlighting three distinct topographic features: one 11 km depth depression followed by a 25$^{+4}_{-5}$ km height elevation next to a crater-like depression with an extension of 322 $\pm$ 39 km and 45.1 $\pm$ 1.5 km deep. Our results present an object that is $\approx$138 km smaller in diameter than derived from thermal data, possibly indicating the presence of a so-far unknown satellite. However, within the error bars, the geometric albedo in the V-band agrees with the results published in the literature, even with the radiometric-derived albedo

Genome Stability of Lyme Disease Spirochetes: Comparative Genomics of Borrelia burgdorferi Plasmids

Lyme disease is the most common tick-borne human illness in North America. In order to understand the molecular pathogenesis, natural diversity, population structure and epizootic spread of the North American Lyme agent, Borrelia burgdorferi sensu stricto, a much better understanding of the natural diversity of its genome will be required. Towards this end we present a comparative analysis of the nucleotide sequences of the numerous plasmids of B. burgdorferi isolates B31, N40, JD1 and 297. These strains were chosen because they include the three most commonly studied laboratory strains, and because they represent different major genetic lineages and so are informative regarding the genetic diversity and evolution of this organism. A unique feature of Borrelia genomes is that they carry a large number of linear and circular plasmids, and this work shows that strains N40, JD1, 297 and B31 carry related but non-identical sets of 16, 20, 19 and 21 plasmids, respectively, that comprise 33–40% of their genomes. We deduce that there are at least 28 plasmid compatibility types among the four strains. The B. burgdorferi ∼900 Kbp linear chromosomes are evolutionarily exceptionally stable, except for a short ≤20 Kbp plasmid-like section at the right end. A few of the plasmids, including the linear lp54 and circular cp26, are also very stable. We show here that the other plasmids, especially the linear ones, are considerably more variable. Nearly all of the linear plasmids have undergone one or more substantial inter-plasmid rearrangements since their last common ancestor. In spite of these rearrangements and differences in plasmid contents, the overall gene complement of the different isolates has remained relatively constant

Curvature in Biological Systems: Its Quantification, Emergence, and Implications across the Scales

© 2023 The Authors. Advanced Materials published by Wiley-VCH GmbH. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.Surface curvature both emerges from, and influences the behavior of, living objects at length scales ranging from cell membranes to single cells to tissues and organs. The relevance of surface curvature in biology is supported by numerous experimental and theoretical investigations in recent years. In this review, first, a brief introduction to the key ideas of surface curvature in the context of biological systems is given and the challenges that arise when measuring surface curvature are discussed. Giving an overview of the emergence of curvature in biological systems, its significance at different length scales becomes apparent. On the other hand, summarizing current findings also shows that both single cells and entire cell sheets, tissues or organisms respond to curvature by modulating their shape and their migration behavior. Finally, the interplay between the distribution of morphogens or micro-organisms and the emergence of curvature across length scales is addressed with examples demonstrating these key mechanistic principles of morphogenesis. Overall, this review highlights that curved interfaces are not merely a passive by-product of the chemical, biological, and mechanical processes but that curvature acts also as a signal that co-determines these processes.A.P.G.C. and P.R.F. acknowledge the funding from Fundação para a Ciência e Tecnologia (Portugal), through IDMEC, under LAETA project UIDB/50022/2020. T.H.V.P. acknowledges the funding from Fundação para a Ciência e Tecnologia (Portugal), through Ph.D. Grant 2020.04417.BD. A.S. acknowledges that this work was partially supported by the ATTRACT Investigator Grant (no. A17/MS/11572821/MBRACE, to A.S.) from the Luxembourg National Research Fund. The author thanks Gerardo Ceada for his help in the graphical representations. N.A.K. acknowledges support from the European Research Council (grant 851960) and the Gravitation Program “Materials Driven Regeneration,” funded by the Netherlands Organization for Scientific Research (024.003.013). M.B.A. acknowledges support from the French National Research Agency (grant ANR-201-8-CE1-3-0008 for the project “Epimorph”). G.E.S.T. acknowledges funding by the Australian Research Council through project DP200102593. A.C. acknowledges the funding from the Deutsche Forschungsgemeinschaft (DFG) Emmy Noether Grant CI 203/-2 1, the Spanish Ministry of Science and Innovation (PID2021-123013O-BI00) and the IKERBASQUE Basque Foundation for Science.Peer reviewe