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
  • Engineering  (7)
  • Recombinant DNA  (3)
  • Linkage map  (2)
  • logic verification  (2)
  • 1
    ISSN: 0378-1119
    Keywords: Recombinant DNA ; collagen N-pre-propeptide ; connective tissue disorders ; exon/intron arrangement ; gene library ; promoter sequence ; transcription start point ; λ phage vectors
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Biology
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Amsterdam : Elsevier
    Gene 53 (1987), S. 227-234 
    ISSN: 0378-1119
    Keywords: PAPS reductase ; Recombinant DNA ; gene bank ; maxicell analysis ; sulfate-reducing bacteria
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Biology
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Amsterdam : Elsevier
    Gene 97 (1991), S. 311-312 
    ISSN: 0378-1119
    Keywords: Recombinant DNA ; alternative splicing ; intron ; systemic lupus erythematosus
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Biology
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    ISSN: 1432-2242
    Keywords: Barley DNA ; (1→3)-β-Glucanase ; Linkage map ; Pathogenesis-related proteins ; Gene family
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract Members of the (1→3)-β-glucan glucanohydrolase (EC 3.2.1.39) gene family have been mapped on the barley genome using three doubled haploid populations and seven wheat-barley addition lines. Specific probes or polymerase chain reaction (PCR) primers were generated for the seven barley (1→3)-β-glucanase genes for which cDNA or genomic clones are currently available. The seven genes are all located on the long arm of chromosome 3 (3HL), and genes encoding isoenzymes GI, GII, GIII, GIV, GV and GVII (ABG2) are clustered in a region less than 20 cM in length. The region is flanked by the RFLP marker MWG2099 on the proximal side and the Barley Yellow Mosaic Virus (BYMV) resistance gene ym4 at the distal end. The gene encoding isoenzyme GVI lies approximately 50 cM outside this cluster, towards the centromere. With the exception of the gene encoding isoenzyme GIV, all of the (1→3)-β-glucanase genes are represented by single copies on the barley genome. The probe for the isoenzyme GIV gene hybridized with four DNA bands during Southern blot analysis, only one of which could be incorporated into the consensus linkage map.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    ISSN: 1432-2242
    Keywords: Key words  Barley DNA ; (1→3)-β-Glucanase ; Linkage map ; Pathogenesis-related proteins ; Gene family
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology
    Notes: Abstract   Members of the (1→3)-β-glucan glucanohydrolase (EC 3.2.1.39) gene family have been mapped on the barley genome using three doubled haploid populations and seven wheat-barley addition lines. Specific probes or polymerase chain reaction (PCR) primers were generated for the seven barley (1→3)-β-glucanase genes for which cDNA or genomic clones are currently available. The seven genes are all located on the long arm of chromosome 3 (3HL), and genes encoding isoenzymes GI, GII, GIII, GIV, GV and GVII (ABG2) are clustered in a region less than 20 cM in length. The region is flanked by the RFLP marker MWG2099 on the proximal side and the Barley Yellow Mosaic Virus (BYMV) resistance gene ym4 at the distal end. The gene encoding isoenzyme GVI lies approximately 50 cM outside this cluster, towards the centromere. With the exception of the gene encoding isoenzyme GIV, all of the (1→3)-β-glucanase genes are represented by single copies on the barley genome. The probe for the isoenzyme GIV gene hybridized with four DNA bands during Southern blot analysis, only one of which could be incorporated into the consensus linkage map.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    Electronic Resource
    Electronic Resource
    Chichester [u.a.] : Wiley-Blackwell
    International Journal for Numerical Methods in Engineering 29 (1990), S. 1343-1358 
    ISSN: 0029-5981
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The method of characteristics is combined with the method of least-squares to solve the advection equation within the finite element framework. Fourier mode analysis shows that the numerical scheme is stable and accurate even when a linear basis function is used. However, in practical application, the involvement of using numerical quadrature in this method can produce numerical instability, depending on the value of the Courant number used. It is found that using C1 continuous Hermitian cubic basis functions in the scheme reduces the degree of instability significantly and produces high accuracy. When being used in a split-operator approach, this method combines naturally with the standard finite element method and results in a highly accurate scheme for advection-dispersion simulation.
    Additional Material: 7 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
    Chichester : Wiley-Blackwell
    Communications in Numerical Methods in Engineering 9 (1993), S. 475-482 
    ISSN: 1069-8299
    Keywords: Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mathematics , Technology
    Notes: The radiation boundary condition is frequently used at the artificial outflow boundary created in the numerical computation of fluid flow problems to allow outgoing waves to leave the domain undisturbed. However, the numerical approximation of the radiation boundary condition will produce errors which will affect the interior solution. In this work the errors due to two different numerical approximations of the radiation boundary condition are studied, with the one-dimensional wave equation being used as the model equation. A theoretical analysis shows that: (a) if the numerical approximation of the boundary condition generates a celerity error, a reflected wave with amplitude proportional to the size of the celerity error is produced; (b) if the numerical approximation of the boundary condition generates a numerical diffusion and hence an amplitude damping error, a reflected wave with amplitude proportional to the magnitude of the numerical diffusion is produced. A modification of the Sommerfeld radiation boundary condition to account for the linear bottom friction effect is investigated. Numerical experiments show that the use of the backward characteristics scheme with quadratic interpolation is able to reduce significantly the reflection of the wave at the outflow boundary and that the scheme is unconditionally stable.
    Additional Material: 4 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
    Chichester : Wiley-Blackwell
    International Journal for Numerical Methods in Fluids 23 (1996), S. 485-501 
    ISSN: 0271-2091
    Keywords: shallow recirculating flow ; multilayer model ; turbulence model ; Engineering ; Engineering General
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: A quasi-three-dimensional multilayer k- ∊ model has been developed to simulate turbulent recirculating flows behind a sudden expansion in shallow waters. The model accounts for the vertical variation in the flow quantities and eliminates the problem of closure for the effective stresses resulting from the depth integration of the non-linear convective accelerations found in the widely used depth- integrated models. The governing equations are split into three parts in the finite difference solution: advection, dispersion and propagation. The advection part is solved using the four-node minimax-characteristics method. The dispersion and propagation parts are treated by the central difference method, the former being solved explicitly and the latter implicitly using the Gauss-Seidel iteration method. The relative effect of bed-generated turbulence and transverse shear-generated turbulence on the recirculating flow has been studied in detail. In comparison with the results computed by the depth-integrated k-∊ model, the results computed by the present model are found to be closer to the reported data.
    Additional Material: 12 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...