Highly Automated Formal Proofs over Memory Usage of Assembly Code
Ontology highlight
ABSTRACT:
SUBMITTER: Biere A
PROVIDER: S-EPMC7480695 | biostudies-literature | 2020 Mar
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:Automated design of enzymes with wild-type-like catalytic properties has been a long-standing but elusive goal. Here, we present a general, automated method for enzyme design through combinatorial backbone assembly. Starting from a set of homologous yet structurally diverse enzyme structures, the method assembles new backbone combinations and uses Rosetta to optimize the amino acid sequence, while conserving key catalytic residues. We apply this method to two unrelated enzyme families with TIM-barrel folds, glycoside hydrolase 10 (GH10) xylanases and phosphotriesterase-like lactonases (PLLs), designing 43 and 34 proteins, respectively. Twenty-one GH10 and seven PLL designs are active, including designs derived from templates with <25% sequence identity. Moreover, four designs are as active as natural enzymes in these families. Atomic accuracy in a high-activity GH10 design is further confirmed by crystallographic analysis. Thus, combinatorial-backbone assembly and design may be used to generate stable, active, and structurally diverse enzymes with altered selectivity or activity.
| S-EPMC6050298 | biostudies-literature
Project description:Bond orders and formal charges are fundamental chemical descriptors. In cheminformatic applications it is necessary to be able to assign these properties to a given molecular structure automatically, given minimal input information. Here we describe a method for determining the bond order and formal charge assignments from only the atom types and connectivity. Our method utilises a graph theoretical description of electron positions. Each electron position assignment is scored according to lookup tables of atomic and bond dissociation energies derived from quantum chemical calculations. We tested three different optimisation methods-local optimisation, an A* pathfinding method, and an FPT optimisation method utilising tree decompositions-for finding the best electron position assignment, from which the bond orders and formal charges are extracted. We show that our method can assign bond orders and formal charges at a high degree of accuracy across a wide range of molecules from two different databases, and that the FPT algorithm provides the best combination of speed and accuracy.
| S-EPMC6419789 | biostudies-literature
Project description:Cooperation is key for the evolution of biological systems ranging from bacteria communities to human societies. Evolutionary processes can dramatically alter the cooperation level. Evolutionary processes are typically of two classes: comparison based and self-evaluation based. The fate of cooperation is extremely sensitive to the details of comparison based processes. For self-evaluation processes, however, it is still unclear whether the sensitivity remains. We concentrate on a class of self-evaluation processes based on aspiration, where all the individuals adjust behaviors based on their own aspirations. We prove that the evolutionary outcome with heterogeneous aspirations is the same as that of the homogeneous one for regular networks under weak selection limit. Simulation results further suggest that it is also valid for general networks across various distributions of personalised aspirations. Our result clearly indicates that self-evaluation processes are robust in contrast with comparison based rules. In addition, our result greatly simplifies the calculation of the aspiration dynamics, which is computationally expensive.
| S-EPMC6177198 | biostudies-literature
Project description:The geography of codon bias distributions over prokaryotic genomes and its impact upon chromosomal organization are analyzed. To this aim, we introduce a clustering method based on information theory, specifically designed to cluster genes according to their codon usage and apply it to the coding sequences of Escherichia coli and Bacillus subtilis. One of the clusters identified in each of the organisms is found to be related to expression levels, as expected, but other groups feature an over-representation of genes belonging to different functional groups, namely horizontally transferred genes, motility, and intermediary metabolism. Furthermore, we show that genes with a similar bias tend to be close to each other on the chromosome and organized in coherent domains, more extended than operons, demonstrating a role of translation in structuring bacterial chromosomes. It is argued that a sizeable contribution to this effect comes from the dynamical compartimentalization induced by the recycling of tRNAs, leading to gene expression rates dependent on their genomic and expression context.
| S-EPMC1447655 | biostudies-literature
Project description:Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might 'recycle' neurocognitive mechanisms originally developed for natural languages. Alternatively, comprehension of code could depend on fronto-parietal networks shared with other culturally-invented symbol systems, such as formal logic and symbolic math such as algebra. Expert programmers (average 11 years of programming experience) performed code comprehension and memory control tasks while undergoing fMRI. The same participants also performed formal logic, symbolic math, executive control, and language localizer tasks. A left-lateralized fronto-parietal network was recruited for code comprehension. Patterns of activity within this network distinguish between 'for' loops and 'if' conditional code functions. In terms of the underlying neural basis, code comprehension overlapped extensively with formal logic and to a lesser degree math. Overlap with executive processes and language was low, but laterality of language and code covaried across individuals. Cultural symbol systems, including code, depend on a distinctive fronto-parietal cortical network.
| S-EPMC7738180 | biostudies-literature
Project description:We report the synthesis and characterization of homoleptic borane adducts of hexacyanoferrate(ii). Borane coordination blueshifts d-d transitions and CN IR and Raman frequencies. Control over redox properties is established with respect to borane Lewis acidity, reflected in peak anodic potential shifts per borane of +250 mV for BPh3 and +350 mV for B(C6F5)3. Electron transfer from [Fe(CN-B(C6F5)3)6]4- to photogenerated [Ru(2,2'-bipyridine)3]3+ is very rapid, consistent with voltammetry data. Coordination by Lewis acids provides an avenue for selective modification of the electronic structures and electrochemical properties of cyanometalates.
| S-EPMC6430091 | biostudies-literature
Project description:A widely accepted view in memory research is that previously acquired information can be reactivated during sleep, leading to persistent memory storage. Targeted memory reactivation (TMR) was developed as a technique whereby specific memories can be reactivated during sleep using a sensory stimulus linked to prior learning. As a research tool, TMR can improve memory, raising the possibility that it may be useful for cognitive enhancement and clinical therapy. A major challenge for the expanded use of TMR is that a skilled operator must manually control stimulation, which is impractical in many settings. To address this limitation, we developed the SleepStim system for automated TMR in the home. SleepStim includes a smartwatch to collect movement and heart-rate data, plus a smartphone to emit auditory cues. A machine-learning model identifies periods of deep sleep and triggers TMR sounds within these periods. We tested whether this system could replicate the spatial-memory benefit of in-laboratory TMR. Participants learned locations of objects on a grid, and then half of the object locations were reactivated during sleep over 3 nights. Recall was tested each morning. In an experiment with 61 participants, the TMR effect was not significant but varied systematically with stimulus intensity; low-intensity but not high-intensity stimuli produced memory benefits. In a second experiment with 24 participants, we limited stimulus intensity and found that TMR reliably improved spatial memory, consistent with effects observed in laboratory studies. We conclude that SleepStim can effectively accomplish automated TMR, and that avoiding sleep disruption is critical for TMR benefits.
| S-EPMC9649863 | biostudies-literature
Project description:Codon degeneracy of amino acid sequences permits an additional "mRNP code" layer underlying the genetic code that is related to RNA processing. In pre-mRNA splicing, splice site usage is determined by both intrinsic strength and sequence context providing RNA binding sites for splicing regulatory proteins. In this study, we systematically examined modification of splicing regulatory properties in the neighborhood of a GT site, i.e. potential splice site, without altering the encoded amino acids. We quantified the splicing regulatory properties of the neighborhood around a potential splice site by its Splice Site HEXplorer Weight (SSHW) based on the HEXplorer score algorithm. To systematically modify GT site neighborhoods, either minimizing or maximizing their SSHW, we designed the novel stochastic optimization algorithm ModCon that applies a genetic algorithm with stochastic crossover, insertion and random mutation elements supplemented by a heuristic sliding window approach. To assess the achievable range in SSHW in human splice donors without altering the encoded amino acids, we applied ModCon to a set of 1000 randomly selected Ensembl annotated human splice donor sites, achieving substantial and accurate changes in SSHW. Using ModCon optimization, we successfully switched splice donor usage in a splice site competition reporter containing coding sequences from FANCA, FANCB or BRCA2, while retaining their amino acid coding information. The ModCon algorithm and its R package implementation can assist in reporter design by either introducing novel splice sites, silencing accidental, undesired splice sites, and by generally modifying the entire mRNP code while maintaining the genetic code.
| S-EPMC8178101 | biostudies-literature
Project description:Generating a defined set of genetic constructs within a large combinatorial space provides a powerful method for engineering novel biological functions. However, the process of assembling more than a few specific DNA sequences can be costly, time consuming and error prone. Even if a correct theoretical construction scheme is developed manually, it is likely to be suboptimal by any number of cost metrics. Modular, robust and formal approaches are needed for exploring these vast design spaces. By automating the design of DNA fabrication schemes using computational algorithms, we can eliminate human error while reducing redundant operations, thus minimizing the time and cost required for conducting biological engineering experiments. Here, we provide algorithms that optimize the simultaneous assembly of a collection of related DNA sequences. We compare our algorithms to an exhaustive search on a small synthetic dataset and our results show that our algorithms can quickly find an optimal solution. Comparison with random search approaches on two real-world datasets show that our algorithms can also quickly find lower-cost solutions for large datasets.
| S-EPMC2860133 | biostudies-literature
Project description:Automated synthesis of DNA, RNA, and peptides provides quickly and reliably important tools for biomedical research. Automated glycan assembly (AGA) is significantly more challenging, as highly branched carbohydrates require strict regio- and stereocontrol during synthesis. A new AGA synthesizer enables rapid temperature adjustment from -40 to +100 °C to control glycosylations at low temperature and accelerates capping, protecting group removal, and glycan modifications using elevated temperatures. Thereby, the temporary protecting group portfolio is extended from two to four orthogonal groups that give rise to oligosaccharides with up to four branches. In addition, sulfated glycans and unprotected glycans can be prepared. The new design reduces the typical coupling cycles from 100 to 60 min while expanding the range of accessible glycans. The instrument drastically shortens and generalizes the synthesis of carbohydrates for use in biomedical and material science.
| S-EPMC8213053 | biostudies-literature