Experimental Biological Protocols with Formal Semantics

Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to extract novel understanding by identifying when theory and experimental evidence disagree due to errors in the models or the protocols used to validate them. To address this, we formalize the syntax of a core protocol language, which provides a unified description for the models of biochemical systems being experimented on, together with the discrete events representing the liquid-handling steps of biological protocols. We present both a deterministic and a stochastic semantics to this language, both defined in terms of hybrid processes. In particular, the stochastic semantics captures uncertainties in equipment tolerances, making it a suitable tool for both experimental and computational biologists. We illustrate how the proposed protocol language can be used for automated verification and synthesis of laboratory experiments on case studies from the fields of chemistry and molecular programming

Neck linker docking is critical for Kinesin-1 force generation in cells but at a cost to motor speed and processivity.

Kinesin force generation involves ATP-induced docking of the neck linker (NL) along the motor core. However, the roles of the proposed steps of NL docking, cover-neck bundle (CNB) and asparagine latch (N-latch) formation, during force generation are unclear. Furthermore, the necessity of NL docking for transport of membrane-bound cargo in cells has not been tested. We generated kinesin-1 motors impaired in CNB and/or N-latch formation based on molecular dynamics simulations. The mutant motors displayed reduced force output and inability to stall in optical trap assays but exhibited increased speeds, run lengths, and landing rates under unloaded conditions. NL docking thus enhances force production but at a cost to speed and processivity. In cells, teams of mutant motors were hindered in their ability to drive transport of Golgi elements (high-load cargo) but not peroxisomes (low-load cargo). These results demonstrate that the NL serves as a mechanical element for kinesin-1 transport under physiological conditions

Structure-based inhibitors of amyloid beta core suggest a common interface with tau.

Alzheimer's disease (AD) pathology is characterized by plaques of amyloid beta (Aβ) and neurofibrillary tangles of tau. Aβ aggregation is thought to occur at early stages of the disease, and ultimately gives way to the formation of tau tangles which track with cognitive decline in humans. Here, we report the crystal structure of an Aβ core segment determined by MicroED and in it, note characteristics of both fibrillar and oligomeric structure. Using this structure, we designed peptide-based inhibitors that reduce Aβ aggregation and toxicity of already-aggregated species. Unexpectedly, we also found that these inhibitors reduce the efficiency of Aβ-mediated tau aggregation, and moreover reduce aggregation and self-seeding of tau fibrils. The ability of these inhibitors to interfere with both Aβ and tau seeds suggests these fibrils share a common epitope, and supports the hypothesis that cross-seeding is one mechanism by which amyloid is linked to tau aggregation and could promote cognitive decline

Evolution of substrate specificity in a retained enzyme driven by gene loss.

The connection between gene loss and the functional adaptation of retained proteins is still poorly understood. We apply phylogenomics and metabolic modeling to detect bacterial species that are evolving by gene loss, with the finding that Actinomycetaceae genomes from human cavities are undergoing sizable reductions, including loss of L-histidine and L-tryptophan biosynthesis. We observe that the dual-substrate phosphoribosyl isomerase A or priA gene, at which these pathways converge, appears to coevolve with the occurrence of trp and his genes. Characterization of a dozen PriA homologs shows that these enzymes adapt from bifunctionality in the largest genomes, to a monofunctional, yet not necessarily specialized, inefficient form in genomes undergoing reduction. These functional changes are accomplished via mutations, which result from relaxation of purifying selection, in residues structurally mapped after sequence and X-ray structural analyses. Our results show how gene loss can drive the evolution of substrate specificity from retained enzymes

De novo design of a homo-trimeric amantadine-binding protein.

The computational design of a symmetric protein homo-oligomer that binds a symmetry-matched small molecule larger than a metal ion has not yet been achieved. We used de novo protein design to create a homo-trimeric protein that binds the C3 symmetric small molecule drug amantadine with each protein monomer making identical interactions with each face of the small molecule. Solution NMR data show that the protein has regular three-fold symmetry and undergoes localized structural changes upon ligand binding. A high-resolution X-ray structure reveals a close overall match to the design model with the exception of water molecules in the amantadine binding site not included in the Rosetta design calculations, and a neutron structure provides experimental validation of the computationally designed hydrogen-bond networks. Exploration of approaches to generate a small molecule inducible homo-trimerization system based on the design highlight challenges that must be overcome to computationally design such systems

Marriages of Mathematics and Physics: A Challenge for Biology

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences

Importin-9 wraps around the H2A-H2B core to act as nuclear importer and histone chaperone.

We report the crystal structure of nuclear import receptor Importin-9 bound to its cargo, the histones H2A-H2B. Importin-9 wraps around the core, globular region of H2A-H2B to form an extensive interface. The nature of this interface coupled with quantitative analysis of deletion mutants of H2A-H2B suggests that the NLS-like sequences in the H2A-H2B tails play a minor role in import. Importin-9•H2A-H2B is reminiscent of interactions between histones and histone chaperones in that it precludes H2A-H2B interactions with DNA and H3-H4 as seen in the nucleosome. Like many histone chaperones, which prevent inappropriate non-nucleosomal interactions, Importin-9 also sequesters H2A-H2B from DNA. Importin-9 appears to act as a storage chaperone for H2A-H2B while escorting it to the nucleus. Surprisingly, RanGTP does not dissociate Importin-9•H2A-H2B but assembles into a RanGTP•Importin-9•H2A-H2B complex. The presence of Ran in the complex, however, modulates Imp9-H2A-H2B interactions to facilitate its dissociation by DNA and assembly into a nucleosome

Six simple guidelines for introducing new genera of fungi

We formulate five guidelines for introducing new genera, plus one recommendation how to publish the results of scientific research. We recommend that reviewers and editors adhere to these guidelines. We propose that the underlying research is solid, and that the results and the final solutions are properly discussed. The six criteria are: (1) all genera that are recognized should be monophyletic; (2) the coverage of the phylogenetic tree should be wide in number of species, geographic coverage, and type species of the genera under study; (3) the branching of the phylogenetic trees has to have sufficient statistical support; (4) different options for the translation of the phylogenetic tree into a formal classification should be discussed and the final decision justified; (5) the phylogenetic evidence should be based on more than one gene; and (6) all supporting evidence and background information should be included in the publication in which the new taxa are proposed, and this publication should be peer-reviewed