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
  • Cell & Developmental Biology  (1)
  • Engineering General  (1)
  • Prototyping  (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 ...
  • 3
    Electronic Resource
    Electronic Resource
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 39 (1996), S. 1517-1534 
    ISSN: 0029-5981
    Keywords: spectral elements ; viscoelasticity ; time-splitting method ; drag factor ; Uzawa algorithm ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The steady flow of a viscoelastic fluid past a sphere in a cylindrical tube is considered. A spectral element method is used to solve the system of coupled non-linear partial differential equations governing the flow. The spectral element method combines the flexibility of the traditional finite element method with the accuracy of spectral methods. A time-splitting algorithm is used to determine the solution to the steady problem. Results are presented for the Oldroyd B model. These show excellent agreement with the literature. The results converge with mesh refinement. A limiting Deborah number of approximately 0⋅6 is found, irrespective of the spatial resolution.
    Additional Material: 25 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...