A Machine-Oriented Logic Based on the Resolution PrincipleJohn A. Robinson|Journal of the ACM|1965 article Free Access Share on A Machine-Oriented Logic Based on the Resolution Principle Author: J. A. Robinson Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, Texas Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, TexasView Profile Authors Info & Claims Journal of the ACMVolume 12Issue 1pp 23–41https://doi.org/10.1145/321250.321253Published:01 January 1965Publication History 2,696citation6,808DownloadsMetricsTotal Citations2,696Total Downloads6,808Last 12 Months797Last 6 weeks75 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Handbook of logic in artificial intelligence and logic programming (vol. 1)Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain ReasoningPeptidomimetic Antibiotics Target Outer-Membrane Biogenesis in <i>Pseudomonas aeruginosa</i>Antibiotics with new mechanisms of action are urgently required to combat the growing health threat posed by resistant pathogenic microorganisms. We synthesized a family of peptidomimetic antibiotics based on the antimicrobial peptide protegrin I. Several rounds of optimization gave a lead compound that was active in the nanomolar range against Gram-negative Pseudomonas spp., but was largely inactive against other Gram-negative and Gram-positive bacteria. Biochemical and genetic studies showed that the peptidomimetics had a non-membrane-lytic mechanism of action and identified a homolog of the beta-barrel protein LptD (Imp/OstA), which functions in outer-membrane biogenesis, as a cellular target. The peptidomimetic showed potent antimicrobial activity in a mouse septicemia infection model. Drug-resistant strains of Pseudomonas are a serious health problem, so this family of antibiotics may have important therapeutic applications.
High Bone Mass in Mice Expressing a Mutant <i>LRP5</i> GenePhilip Babij, Weiguang Zhao, Clayton Small et al.|Journal of Bone and Mineral Research|2003 A unique mutation in LRP5 is associated with high bone mass in man. Transgenic mice expressing this LRP5 mutation have a similar phenotype with high bone mass and enhanced strength. These results underscore the importance of LRP5 in skeletal regulation and suggest targets for therapies for bone disease. A mutation (G171V) in the low-density lipoprotein receptor related protein 5 (LRP5) has been associated with high bone mass (HBM) in two independent human kindreds. To validate the role of the mutation, several lines of transgenic mice were created expressing either the human LRP5 G171V substitution or the wildtype LRP5 gene in bone. Volumetric bone mineral density (vBMD) analysis by pQCT showed dramatic increases in both total vBMD (30-55%) and trabecular vBMD (103-250%) of the distal femoral metaphysis and increased cortical size of the femoral diaphysis in mutant G171V transgenics at 5, 9, 17, 26, and 52 weeks of age (p < 0.01 for all). In addition, high-resolution microcomputed tomography (microCT) analysis of the distal femorae and lumbar vertebrae revealed an increase (110-232%) in trabecular bone volume fraction caused by both increased trabecular number (41-74%) and increased trabecular thickness (34-46%; p < 0.01 for all) in the mutant G171V mice. The increased bone mass was associated with significant increases in vertebral compressive strength (80-140%) and the increased cortical size with significant increases in femoral bending strength (50-130%). There were no differences in osteoclast number at 17 weeks of age. However, compared with littermate controls, the mutant G171V transgenic mice showed an increase in actively mineralizing bone surface, enhanced alkaline phosphatase staining in osteoblasts, and a significant reduction in the number of TUNEL-positive osteoblasts and osteocytes. These results suggest that the increased bone mineral density in mutant G171V mice was caused by increased numbers of active osteoblasts, which could in part be because of their increased functional lifespan. While slight bone anabolic activity was observed from overexpression of the wildtype LRP5 gene, it is clear that the G171V mutation, rather than overexpression of the receptor itself, is primarily responsible for the dramatic HBM bone effects. Together, these findings establish the importance of this novel and unexpected role of a lipoprotein receptor in regulating bone mass and afford a new model to explore LRP5 and its recent association with Wnt signaling in bone biology.