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

Lewis acid behavior of MoF5 and MoOF4: syntheses and characterization of MoF5(NCCH3), MoF5(NC5H5)n, and MoOF4(NC5H5)n (n- 1, 2)

Accepted author manuscriptThe Lewis acid–base adducts MoF5(NC5H5)n and MoOF4(NC5H5)n (n = 1, 2) were synthesized from the reactions of MoF5 and MoOF4 with C5H5N and structurally characterized by X-ray crystallography. Whereas the crystal structures of MoF5(NC5H5)2 and MoOF4(NC5H5)2 are isomorphous containing pentagonal-bipyramidal molecules, the fluorido-bridged, heptacoordinate [MoF5(NC5H5)]2 dimer differs starkly from monomeric, hexacoordinate MoOF4(NC5H5). For the weaker Lewis base CH3CN, only the 1:1 adduct, MoF5(NCCH3), could be isolated. All adducts were characterized by Raman spectroscopy in conjunction with vibrational frequency calculations. Multinuclear NMR spectroscopy revealed an unprecedented isomerism of MoOF4(NC5H5)2 in solution, with the pyridyl ligands occupying adjacent or nonadjacent positions in the equatorial plane of the pentagonal bipyramid. Paramagnetic MoF5(NC5H5)2 was characterized by electron paramagnetic resonance (EPR) spectroscopy as a dispersion in solid adamantane as well as in a diamagnetic host lattice of MoOF4(NC5H5)2; EPR parameters were computed using ZORA with the BPW91 functional using relativistic all-electron wave functions for Mo and simulated using EasySpin. Density functional theory calculations (B3LYP) and natural bond orbital analyses were conducted to elucidate the distinctive bonding and structural properties of all adducts reported herein and explore fundamental differences observed in the Lewis acid behavior of MoF5 and MoOF4.Ye

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

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

The Regulation of Sulfur Metabolism in Mycobacterium tuberculosis

Mycobacterium tuberculosis (Mtb) has evolved into a highly successful human pathogen. It deftly subverts the bactericidal mechanisms of alveolar macrophages, ultimately inducing granuloma formation and establishing long-term residence in the host. These hallmarks of Mtb infection are facilitated by the metabolic adaptation of the pathogen to its surrounding environment and the biosynthesis of molecules that mediate its interactions with host immune cells. The sulfate assimilation pathway of Mtb produces a number of sulfur-containing metabolites with important contributions to pathogenesis and survival. This pathway is regulated by diverse environmental cues and regulatory proteins that mediate sulfur transactions in the cell. Here, we discuss the transcriptional and biochemical mechanisms of sulfur metabolism regulation in Mtb and potential small molecule regulators of the sulfate assimilation pathway that are collectively poised to aid this intracellular pathogen in its expert manipulation of the host. From this global analysis, we have identified a subset of sulfur-metabolizing enzymes that are sensitive to multiple regulatory cues and may be strong candidates for therapeutic intervention

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

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

A rare case of extensive synovial chondromatosis of the knee with arthroscopic synovectomy and evacuation: A case report

Case: Synovial chondromatosis is a rare, benign condition characterized by metaplasia of the synovial membrane with formation of multiple cartilaginous nodules within the synovium. This case is of a 58-year-old male who initially presented with right knee pain. The patient was ultimately found to have extensive synovial chondromatosis. The diagnosis was confirmed by histopathologic evaluation and treated with loose body removal and radical synovectomy via an arthroscopic approach. Conclusion: Fully arthroscopic approaches described have been shown to decrease patient morbidity while providing adequate synovial resection and thorough joint debridement. Here we describe the clinical presentation, pathophysiology, diagnostic modalities, and management options synovial chondromatosis of the knee