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
  • Chemistry  (19)
  • symbolic trajectory evaluation  (2)
  • (Madin-Darby canine kidney cell)  (1)
  • 65 F 10  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Amsterdam : Elsevier
    Biochimica et Biophysica Acta (BBA)/Biomembranes 1030 (1990), S. 297-300 
    ISSN: 0005-2736
    Keywords: (Madin-Darby canine kidney cell) ; Electrical resistance ; FCCP ; Tight junction ; ZO-1 protein
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Biology , Chemistry and Pharmacology , Medicine , Physics
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Computing 41 (1989), S. 171-178 
    ISSN: 1436-5057
    Keywords: 65 F 10 ; 65 N 20 ; The Generalized Conjugate Gradient (GCG) method ; The adjusted GCG (AGCG) method ; SOR method ; Conjugate Gradient (CG) method and least squares (LS) problems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die verallgemeinerte Methode der konjugierten Gradienten (GCG) von Concus und Golub [1] und Widlund [2] und ihre angepaßte Form (AGCG) werden bei der numerischen Lösung von Least-Squares-Problemen untersucht. Einige numerische Vergleiche mit dem SOR-Verfahren [3] und dem CG-Verfahren [4] werden gezogen und deuten an, daß die GCG-Methode stets besser als die SOR-Methode ist und daß das AGCG-Schema allen anderen erwähnten Methoden vorzuziehen ist.
    Notes: Abstract The Generalized Conjugate Gradient (GCG) method of Concus and Golub [1] and Widlund [2] and its adjusted form (AGCG) are considered for the numerical solution of the least squares problems. Some numerical comparisons with the SOR [3] and CG [4] method are also given indicate that the GCG method is always better than the SOR [3] and that the adjusted GCG (AGCG) scheme is preferable to the CG, GCG and SOR methods.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 15 (1999), S. 191-205 
    ISSN: 1573-0727
    Keywords: array ; logic verification ; design error ; symbolic trajectory evaluation ; assertion ; assertion test generation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Design validation for embedded arrays remains as a challenging problem in today's microprocessor design environment. Although several methods for validating embedded arrays have been proposed, not much has been done to characterize the strengths and weaknesses of these methods. This paper provides a comprehensive study of various design validation approaches adopted at the Somerset PowerPC Design Center in the past, including methods from both formal verification and test generation. Effectiveness of these approaches will be measured based on automatic design error injection and simulation at both gate and transistor levels. Experience of using different validation approaches on recent PowerPC microprocessor arrays will be analyzed and discussed.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Journal of electronic testing 13 (1998), S. 121-135 
    ISSN: 1573-0727
    Keywords: high-level test generation ; assertion test generation ; design validation ; logic verification ; symbolic trajectory evaluation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Test and validation of embedded array blocks remains a major challenge in today's microprocessor design environment. The difficulty comes from twofold, the sizes of the arrays and the complexity of their timing and control. This paper describes a novel test generation methodology for test and validation of microprocessor embedded arrays. Unlike traditional ATPG methods, our test generation method is based upon the high-level assertion specification which is originally used for the purpose of formal verification. The superiority of these assertion tests over the traditional ATPG tests will be discussed and shown through various experiments on recent PowerPC microprocessor designs.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Stamford, Conn. [u.a.] : Wiley-Blackwell
    Polymer Engineering and Science 30 (1990), S. 249-255 
    ISSN: 0032-3888
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: The dynamic mechanical response of adhesively bonded metal beams has been examined over a broad temperature range using a dynamic mechanical thermal analyzer (DMTA). The measured dynamic mechanical response of the bonded beam contains rich information about the viscoelastic properties of the adhesive resin such as glass transition temperatures. The measured storage moduli and loss factors of the bonded beams are very sensitive to changes in the properties of adhesive induced by exposing the beam specimens to environmental attack. Dynamic mechanical responses associated with dry adhesive resin, water plasticized resin, and aggregated water were observed for an electro-galvanized steel/epoxy beam exposed to water. The effect of the presence of an interfacial accommodation zone (IAZ) between adhesive resin and metal substrate was also examined; measured properties were very sensitive to the presence of a low modulus IAZ. It was successfully demonstrated in this study that the DMTA testing of bonded beams is a potentially useful tool for studying dynamic performance and durability of automotive adhesive joints.
    Additional Material: 9 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    New York, NY [u.a.] : Wiley-Blackwell
    Journal of Applied Polymer Science 30 (1985), S. 2115-2135 
    ISSN: 0021-8995
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: A series of polydimethylsiloxane-urea acrylate prepolymers was synthesized by reacting aminopropyl-terminated polydimethylsiloxane (ATPS) with isocyanatoethyl methacrylate (IEM). The oligomers were cured using ultraviolet radiation in the presence of different reactive diluents. Three systems were prepared with varying ATPS soft segment molecular weight. All of the samples were transparent. However, microphase separation was indicated by the observation of two glass transition temperatures attributed to separate ATPS and IEM/reactive diluent phases. Increasing ATPS molecular weight led to a lower rubbery phase transition temperature and a smaller rigid phase volume fraction. These effects were reflected in lower modulus and tensile strength at room temperature, and higher elongation at break. An increase in the reactive diluent content resulted in an increase in Young's modulus and the ultimate tensile strength of these materials. Increasing reactive diluent content caused the rubbery phase transition peak to decrease in magnitude without changing its position and shifted the hard segment transition to higher temperature. The tensile strengths and moduli of these materials were higher than those reported in the literature for other polydimethylsiloxane and urethane acrylate materials.
    Additional Material: 14 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 20 (1974), S. 1015-1017 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 1 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 31 (1985), S. 170-174 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 4 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 22 (1976), S. 927-930 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 23 (1977), S. 210-211 
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 1 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...