Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Life and Medical Sciences  (1)
  • Prototyping  (1)
  • Specification  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 7 (1995), S. 533-549 
    ISSN: 1433-299X
    Keywords: Modal and temporal logics ; Reactive systems ; Specification ; Prototyping ; Mechanical verification ; Non-procedural languages ; Logic programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 0730-2312
    Keywords: herpes simplex virus ; high-density lipoproteins ; amphipathic helixes ; fusion-inhibitory peptides ; Life and Medical Sciences ; Cell & Developmental Biology
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Biology , Chemistry and Pharmacology , Medicine
    Notes: Apolipoprotein A-I (apoA-I), the major protein component of serum high-density lipoproteins (HDL), was found to inhibit herpes simplex virus (HSV)-induced cell fusion at physiological (∼ 1 μM) concentrations, whereas HDL did not exert any inhibitory effect. Lipid-associating, synthetic amphipathic peptides corresponding to residues 1-33 (apoA-I[1-33]) or residues 66-120 (apoA-I[66-120]) of apoA-I, also inhibited HSV-induced cell fusion, whereas a peptide corresponding to residues 8-33 of apoA-I (apoA-I[8-33]), which fails to associate with lipids, did not exert any inhibitory effect. These results suggest that lipid binding may be a prerequisite for peptide-mediated fusion inhibition. Consistent with this idea, a series of lipid-binding 22-amino-acid-residue-long synthetic amphipathic peptides that correspond to the amphipathic helical domains of apoA-I (A-I consensus series), or 18-residue-long model amphipathic peptides (18A series), were found to exert variable levels of fusion-inhibitory activity. The extent of fusion-inhibitory activity did not correlate with hydrophobic moment, hydrophobicity of the nonpolar face, helix-forming ability, or lipid affinity of the different peptides. Peptides in which the nonpolar face was not interrupted by a charged residue displayed greater fusion-inhibitory activity. Also, the presence of positively charged residues at the polar-nonpolar interface was found to correlate with higher fusion-inhibitory activity.
    Additional Material: 7 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...