PubMed Health⌕ Search
Home/Archive/PubMed

PubMed · 10745113

A logic for biological systems.

Z Duan·M Holcombe·A Bell
View original source ↗Export metadata ↓

Abstract

This paper proposes a specification language, hybrid projection temporal logic of modelling, analyzing and verifying biological systems which can be considered, in general, to be hybrid systems consisting of a non-trivial mixture of discrete and continuous components. The syntax and semantics of the logic are presented, and some examples of hybrid systems are modelled to illustrate the formalism.

Explore related subjects

Antigen-Antibody ReactionsLogicModels, BiologicalReproducibility of ResultsTimeJournal ArticleResearch Support, Non-U.S. Gov't

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Z Duan, M Holcombe, A Bell. 2000. A logic for biological systems.. https://doi.org/10.1016/s0303-2647(99)00087-8

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related citations

PubMed2002

Strategies for designing vaccines eliciting Th1 responses in humans.

There is currently a major interest in designing vaccines capable of eliciting strong cellular immune responses. The induction of cytotoxic and Th1 helper cellular responses is for example highly desirable for vaccines targeting either chronic infectious diseases or cancers (therapeutic vaccines). Similarly, Th1 vaccines would be useful in redirecting inappropriate antigen-specific immune responses in patients with autoimmune diseases and allergies. Importantly, emerging technologies and a better understanding of the physiology of immune responses offer new avenues to rationally design such vaccines. Approaches based on the identification and selection of immunogens containing T cell epitopes can be used, together with epitope-enhancement strategies, to increase binding to MHC, or to improve recognition by T cell receptor complexes. Optimized immunogens can subsequently be presented to the immune system with appropriate vectors allowing to target professional antigen-presenting cells, such as dendritic cells. Such antigen presentation platforms can be used alone or in association, as part of mixed immunization regimens (heterologous prime-boosts), in order to elicit broad immune responses. The rational design of Th1 adjuvants can also benefit from our better understanding of the nature of proinflammatory signals leading to the initiation of both innate and adaptive immune effector mechanisms. Candidate Th1 vaccines (or components such as vectors or adjuvants) will have to be tested in exploratory clinical studies, implying a need for new assays and methods allowing to assess in a qualitative and quantitative manner low-frequency T cell responses in humans.

Antigen-Antibody Reactions↗
PubMed2002

Probing antigen-antibody binding processes by impedance measurements on ion-sensitive field-effect transistor devices and complementary surface plasmon resonance analyses: development of cholera toxin sensors.

Impedance measurements on ISFET devices are employed to develop new immunosensors. The analysis of the transconductance curves recorded at variable frequencies, upon the formation of antigen-antibody complexes on the ISFET devices, allows determination of the biomaterial film thicknesses. Complementary surface plasmon resonance measurements of analogous biosensor systems, using Au-coated glass slides as support, reveal similar film thicknesses of the biomaterials and comparable detection limits. A dinitrophenyl antigen layer is immobilized on the ISFET gate as a sensing interface for the anti-dinitrophenyl antibody (anti-DNP-Ab). The anti-DNP-Ab is analyzed with a sensitivity that corresponds to 0.1 microg mL(-1). The assembly of the biotinylated anti-anti-DNP-Ab and avidin layers on the base anti-DNP-Ab layer is characterized by impedance measurements. The development of an ISFET-based sensor for the cholera toxin is described. The anti-cholera toxin antibody is immobilized on the ISFET device. The association of the cholera toxin (CT) to the antibody is monitored by the impedance measurements. The detection limit for analyzing CT is 1.0 x 10(-11) M.

Antigen-Antibody Reactions↗
PubMed2002

On the role of electrostatic interactions in the design of protein-protein interfaces.

Here, the methods of continuum electrostatics are used to investigate the contribution of electrostatic interactions to the binding of four protein-protein complexes; barnase-barstar, human growth hormone and its receptor, subtype N9 influenza virus neuraminidase and the NC41 antibody, the Ras binding domain (RBD) of kinase cRaf and a Ras homologue Rap1A. In two of the four complexes electrostatics are found to strongly oppose binding (hormone-receptor and neuraminidase-antibody complexes), in one case the net effect is close to zero (barnase-barstar) and in one case electrostatics provides a significant driving force favoring binding (RBD-Rap1A). In order to help understand the wide range of electrostatic contributions that were calculated, the electrostatic free energy was partitioned into contributions of individual charged and polar residues, salt bridges and networks involving salt bridges and hydrogen bonds. Although there is no one structural feature that accounts for the differences between the four interfaces, the extent to which the desolvation of buried charges is compensated by the formation of hydrogen bonds and ion pairs appears to be an important factor. Structural features that are correlated with contribution of an individual residue to stability are also discussed. These include partial burial of a charged group in the free monomer, the formation of networks involving charged and polar amino acids, and the formation of partially exposed ion-pairs. The total electrostatic contribution to binding is found to be inversely correlated with buried total and non-polar surface area. This suggests that different interfaces can be designed to exploit electrostatic and hydrophobic forces in very different ways.

Antigen-Antibody Reactions↗