Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis
Ontology highlight
ABSTRACT:
SUBMITTER: Peltier N
PROVIDER: S-EPMC7324138 | biostudies-literature | 2020 May
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:This paper develops two orthogonal contributions to scalable sparse regression for competing risks time-to-event data. First, we study and accelerate the broken adaptive ridge method (BAR), a surrogate ℓ 0-based iteratively reweighted ℓ 2-penalization algorithm that achieves sparsity in its limit, in the context of the Fine-Gray (1999) proportional subdistributional hazards (PSH) model. In particular, we derive a new algorithm for BAR regression, named cycBAR, that performs cyclic update of each coordinate using an explicit thresholding formula. The new cycBAR algorithm effectively avoids fitting multiple reweighted ℓ 2-penalizations and thus yields impressive speedups over the original BAR algorithm. Second, we address a pivotal computational issue related to fitting the PSH model. Specifically, the computation costs of the log-pseudo likelihood and its derivatives for PSH model grow at the rate of O(n 2) with the sample size n in current implementations. We propose a novel forward-backward scan algorithm that reduces the computation costs to O(n). The proposed method applies to both unpenalized and penalized estimation for the PSH model and has exhibited drastic speedups over current implementations. Finally, combining the two algorithms can yields > 1, 000 fold speedups over the original BAR algorithm. Illustrations of the impressive scalability of our proposed algorithm for large competing risks data are given using both simulations and a United States Renal Data System data. Supplementary materials for this article are available online.
| S-EPMC9385160 | biostudies-literature
Project description:Transport layer security (TLS) protocol is the most widely used security protocol in modern network communications. However, protocol vulnerabilities caused by the design of the network protocol or its implementation by programmers emerge one after another. Meanwhile, various versions of TLS protocol implementations exhibit different behavioral characteristics. Researchers are attempting to find the differences in protocol implementations based on differential testing, which is conducive to discovering the vulnerabilities. This paper provides a solution to find the differences more efficiently by targeting the TLS protocol handshake process. The differences of different implementations during the fuzzing process, such as code coverage and response data, are taken to guide the mutation of test cases, and the seeds are mutated based on the TLS protocol syntax. In addition, the definition of duplicate discrepancies is theoretically explored to investigate the root cause of the discrepancies and to reduce the number of duplicate cases that are caused by the same reason. Besides, the necessary conditions for excluding duplicate cases are further analyzed to develop the deduplication strategy. The proposed method is developed based on open-source tools, i.e., NEZHA and TLS-diff. Three types of widely used TLS protocol implementations, i.e., OpenSSL, BoringSSL, and LibreSSL, are taken for experimental testing. The experimental results show that the proposed method can effectively improve the ability to find differences between different implementations. Under the same test scale or the same time, the amount of discrepancies increases by about 20% compared to TLS-diff, indicating the effectiveness of the deduplication strategy.
| S-EPMC8786154 | biostudies-literature
Project description:Total syntheses of the complex, highly oxygenated sesquiterpenes thapsigargin (1) and nortrilobolide (2) are presented. Access to analogues of these promising bioactive natural products has been limited to tedious isolation and semisynthetic efforts. Elegant prior total syntheses demonstrated the feasibility of creating these entitites in 36-42 step processes. The currently reported route proceeds in a scalable and more concise fashion by utilizing two-phase terpene synthesis logic. Salient features of the work include application of the classic photosantonin rearrangement and precisely choreographed installation of the multiple oxygenations present on the guaianolide skeleton.
| S-EPMC5269647 | biostudies-literature
Project description:Computational methodologies that couple the dynamical evolution of a set of replicated copies of a system of interest offer powerful and flexible approaches to characterize complex molecular processes. Such multiple copy algorithms (MCAs) can be used to enhance sampling, compute reversible work and free energies, as well as refine transition pathways. Widely used examples of MCAs include temperature and Hamiltonian-tempering replica-exchange molecular dynamics (T-REMD and H-REMD), alchemical free energy perturbation with lambda replica-exchange (FEP/?-REMD), umbrella sampling with Hamiltonian replica exchange (US/H-REMD), and string method with swarms-of-trajectories conformational transition pathways. Here, we report a robust and general implementation of MCAs for molecular dynamics (MD) simulations in the highly scalable program NAMD built upon the parallel programming system Charm++. Multiple concurrent NAMD instances are launched with internal partitions of Charm++ and located continuously within a single communication world. Messages between NAMD instances are passed by low-level point-to-point communication functions, which are accessible through NAMD's Tcl scripting interface. The communication-enabled Tcl scripting provides a sustainable application interface for end users to realize generalized MCAs without modifying the source code. Illustrative applications of MCAs with fine-grained inter-copy communication structure, including global lambda exchange in FEP/?-REMD, window swapping US/H-REMD in multidimensional order parameter space, and string method with swarms-of-trajectories were carried out on IBM Blue Gene/Q to demonstrate the versatility and massive scalability of the present implementation.
| S-EPMC4059768 | biostudies-literature
Project description:BackgroundThere is a growing body of literature describing the properties of marketed drugs, the concept of drug-likeness and the vastness of chemical space. In that context, enumerative combinatorics with simple atomic components may be useful in the conception and design of structurally novel compounds for expanding and enhancing high-throughput screening (HTS) libraries.ResultsA random combination of mono- and diatomic carbon, hydrogen, nitrogen, and oxygen containing components in the absence of molecular weight constraints but with the ability to form rings affords virtual compounds that fall in bulk physicochemical space typically associated with drugs, but whose ring assemblies fall in new or under-represented areas of chemical shape space. When compared against compounds in the ChEMBL_14, MDDR, Drug Bank and Dictionary of Natural Products, the percentage of virtual compounds with a Tanimoto index of 1.0 (ECFP_4) was found to be as high as 0.21. Depending on therapeutic target, this value may be in range of what might be expected from an experimental HTS campaign in terms of a true hit rate.ConclusionVirtual compounds derived through enumerative combinatorics of simple atomic components have drug-like properties with ring assemblies that fall in new or under-represented areas of shape space. Structures derived in this manner could provide the starting point or inspiration for the design of structurally novel scaffolds in an unbiased fashion.
| S-EPMC3641967 | biostudies-literature
Project description:The development of efficient fuel cells greatly promotes reducing the consumption of fossil energy, and it is crucial to enhance the platinum (Pt) catalytic activity by optimizing both the nanoparticle size and support effect. In this study, we generate a smaller and uniform size of naked Pt nanocluster (NC) catalysts via a dry process in the gas phase, and using the direct powder embedded trapping method, the Pt NCs are spatioselectively supported on Marimo carbon (MC) that comprises a high density of carbon nanofilaments. At a minimum Pt loading of 0.05 mgPt cm-2 for both the anode and cathode in a single cell configuration, a membrane-electrode assembly (MEA) formed by the dry-deposition Pt-NC(d)/MC exhibits superior power density (rated) of 0.105 gPt kW-1 at a current density of 1.2 A cm-2, which is better output power density than the conventional MEA formed by Pt catalysts via a wet process. The origin of the improved performance is investigated using transmission electron microscopy; dry-deposition Pt catalysts that are monodispersely loaded on the outer surface of MC can facilitate not only the gas reaction but also leaving the generated water. The present results demonstrate that the dry deposition of Pt NCs on MC can be used as a scalable catalyst synthesis method to reduce the Pt loading.
| S-EPMC9044432 | biostudies-literature
Project description:Taxanes form a large family of terpenes comprising over 350 members, the most famous of which is Taxol (paclitaxel), a billion-dollar anticancer drug. Here, we describe the first practical and scalable synthetic entry to these natural products via a concise preparation of (+)-taxa-4(5),11(12)-dien-2-one, which has a suitable functional handle with which to access more oxidized members of its family. This route enables a gram-scale preparation of the 'parent' taxane--taxadiene--which is the largest quantity of this naturally occurring terpene ever isolated or prepared in pure form. The characteristic 6-8-6 tricyclic system of the taxane family, containing a bridgehead alkene, is forged via a vicinal difunctionalization/Diels-Alder strategy. Asymmetry is introduced by means of an enantioselective conjugate addition that forms an all-carbon quaternary centre, from which all other stereocentres are fixed through substrate control. This study lays a critical foundation for a planned access to minimally oxidized taxane analogues and a scalable laboratory preparation of Taxol itself.
| S-EPMC3243931 | biostudies-literature
Project description:An efficient approach to improve the catalytic activity of titanosilicates is introduced. The Doehlert matrix (DM) statistical model was utilized to probe the synthetic parameters of mesoporous titanosilicate microspheres (MTSM), in order to increase their catalytic activity with a minimal number of experiments. Synthesis optimization was carried out by varying two parameters simultaneously: homogenizing temperature and surfactant weight. Thirteen different MTSM samples were synthesized in two sequential 'matrices' according to Doehlert conditions and were used to catalyse the epoxidation of cyclohexene with tert-butyl hydroperoxide. The samples (and the corresponding synthesis conditions) with superior catalytic activity in terms of product yield and selectivity were identified. In addition, this approach revealed the limiting values of each synthesis parameter, beyond which the material becomes catalytically ineffective. This study demonstrates that the DM approach can be broadly used as a powerful and time-efficient tool for investigating the optimal synthesis conditions of heterogeneous catalysts.
| S-EPMC6566288 | biostudies-literature
Project description:Crystallographic defects such as dislocations can significantly alter material properties and functionality. However, imaging these imperfections during operation remains challenging due to the short length scales involved and the reactive environments of interest. Bragg coherent diffractive imaging (BCDI) has emerged as a powerful tool capable of identifying dislocations, twin domains, and other defects in 3D detail with nanometer spatial resolution within nanocrystals and grains in reactive environments. However, BCDI relies on phase retrieval algorithms that can fail to accurately reconstruct the defect network. Here, we use numerical simulations to explore different guided phase retrieval algorithms for imaging defective crystals using BCDI. We explore different defect types, defect densities, Bragg peaks, and guided algorithm fitness metrics as a function of signal-to-noise ratio. Based on these results, we offer a general prescription for phasing of defective crystals with no a priori knowledge.
| S-EPMC5577107 | biostudies-other
Project description:The highly ?-selective and scalable synthesis of the Fmoc-protected GalNAc-threonine amino acid and TN antigen in gram scale (0.5-1 g) is described. The challenging 1,2-cis-2-amino glycosidic bond is addressed through a coupling of threonine residues with C(2)-N-ortho-(trifluoromethyl)benzylidenamino trihaloacetimidate donors mediated by Ni(4-F-PhCN)4(OTf)2. The desired 1,2-cis-2-amino glycoside was obtained in 66% yield (3.77 g) with ?-only selectivity and subsequently transformed into the Fmoc-protected GalNAc-threonine and TN antigen. This operationally simple procedure no longer requires utilization of the commonly used C(2)-azido donors and overcomes many of the limitations associated with the synthesis of 1,2-cis linkage.
| S-EPMC4752204 | biostudies-literature