5,021 research outputs found

    Formal executable descriptions of biological systems

    Get PDF
    The similarities between systems of living entities and systems of concurrent processes may support biological experiments in silico. Process calculi offer a formal framework to describe biological systems, as well as to analyse their behaviour, both from a qualitative and a quantitative point of view. A couple of little examples help us in showing how this can be done. We mainly focus our attention on the qualitative and quantitative aspects of the considered biological systems, and briefly illustrate which kinds of analysis are possible. We use a known stochastic calculus for the first example. We then present some statistics collected by repeatedly running the specification, that turn out to agree with those obtained by experiments in vivo. Our second example motivates a richer calculus. Its stochastic extension requires a non trivial machinery to faithfully reflect the real dynamic behaviour of biological systems

    Process Calculi Abstractions for Biology

    Get PDF
    Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by Petri Nets theory, and some other by stochastic processes. A most recent approach consists in interpreting the living entities as terms of process calculi where the behavior of the represented systems can be inferred by applying syntax-driven rules. A comprehensive picture of the state of the art of the process calculi approach to biological modeling is still missing. This paper goes in the direction of providing such a picture by presenting a comparative survey of the process calculi that have been used and proposed to describe the behavior of living entities. This is the preliminary version of a paper that was published in Algorithmic Bioprocesses. The original publication is available at http://www.springer.com/computer/foundations/book/978-3-540-88868-

    Process algebra modelling styles for biomolecular processes

    Get PDF
    We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed

    Structural basis of IL-23 antagonism by an Alphabody protein scaffold

    Get PDF
    Protein scaffolds can provide a promising alternative to antibodies for various biomedical and biotechnological applications, including therapeutics. Here we describe the design and development of the Alphabody, a protein scaffold featuring a single-chain antiparallel triple-helix coiled-coil fold. We report affinity-matured Alphabodies with favourable physicochemical properties that can specifically neutralize human interleukin (IL)-23, a pivotal therapeutic target in autoimmune inflammatory diseases such as psoriasis and multiple sclerosis. The crystal structure of human IL-23 in complex with an affinity-matured Alphabody reveals how the variable interhelical groove of the scaffold uniquely targets a large epitope on the p19 subunit of IL-23 to harness fully the hydrophobic and hydrogen-bonding potential of tryptophan and tyrosine residues contributed by p19 and the Alphabody, respectively. Thus, Alphabodies are suitable for targeting protein-protein interfaces of therapeutic importance and can be tailored to interrogate desired design and binding-mode principles via efficient selection and affinity-maturation strategies

    Simulation of non-Markovian Processes in BlenX

    Get PDF
    BlenX is a programming language explicitly designed for modeling biological processes inspired by Beta-binders. The actual framework assumes biochemical interactions being exponentially distributed, i.e., an underlying Markov process is associated with BlenX programs. In this paper we relax this condition by providing formal tools for managing non-Markovian processes within BlenX

    BlenX-based compositional modeling of complex reaction mechanisms

    Full text link
    Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dynamics and the function of such networks. The complexity of the biological networks calls for conceptual tools that manage the combinatorial explosion of the set of possible interactions. A suitable conceptual tool to attack complexity is compositionality, already successfully used in the process algebra field to model computer systems. We rely on the BlenX programming language, originated by the beta-binders process calculus, to specify and simulate high-level descriptions of biological circuits. The Gillespie's stochastic framework of BlenX requires the decomposition of phenomenological functions into basic elementary reactions. Systematic unpacking of complex reaction mechanisms into BlenX templates is shown in this study. The estimation/derivation of missing parameters and the challenges emerging from compositional model building in stochastic process algebras are discussed. A biological example on circadian clock is presented as a case study of BlenX compositionality

    An albumin-derived peptide scaffold capable of binding and catalysis

    Get PDF
    We have identified a 101-amino-acid polypeptide derived from the sequence surrounding the IIA binding site of human albumin. The polypeptide contains residues that make contact with ligands as warfarin in the parent protein, and eight cysteine residues to form disulfide bridges, which stabilize the polypeptide structure. Seventy-four amino acids are located in six [alpha]-helical regions, with the remaining amino acids forming six connecting coil/loop regions. Codon usage optimization was used to express a GST fusion protein in E. coli in yields as high as 4 mg/l. This fusion protein retains its structural integrity and aldolase activity, the ability to direct the stereochemical outcome of a diketone reduction, and its binding capacity to warfarin and efavirenz. Notably, this newly cloned polypeptide represents a valuable starting point for the construction of libraries of binders and catalysts with improved proficiency

    Special Libraries, November 1951

    Get PDF
    Volume 42, Issue 9https://scholarworks.sjsu.edu/sla_sl_1951/1008/thumbnail.jp
    • …
    corecore