ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Sammlung
Schlagwörter
Sprache
  • 1
    Signatur: MR 90.0128
    Materialart: Monographie ausleihbar
    Seiten: 176 S.
    Sprache: Deutsch
    Standort: Kompaktmagazin oben
    Zweigbibliothek: GFZ Bibliothek
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    s.l. : American Chemical Society
    The @journal of organic chemistry 47 (1982), S. 3408-3412 
    ISSN: 1520-6904
    Quelle: ACS Legacy Archives
    Thema: Chemie und Pharmazie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    Springer
    Formal methods in system design 2 (1993), S. 165-223 
    ISSN: 1572-8102
    Schlagwort(e): hardware verification ; higher-order logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract In this article we present a structured approach to formal hardware verification by modeling circuits at the register-transfer level using a restricted form of higher-order logic. This restricted form of higher-order logic is sufficient for obtaining succinct descriptions of hierarchically designed register-transfer circuits. By exploiting the structure of the underlying hardware proofs and limiting the form of descriptions used, we have attained nearly complete automation in proving the equivalences of the specifications and implementations. A hardware-specific tool called MEPHISTO converts the original goal into a set of simpler subgoals, which are then automatically solved by a general-purpose, first-order prover called FAUST. Furthermore, the complete verification framework is being integrated within a commercial VLSI CAD framework.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Digitale Medien
    Digitale Medien
    Springer
    Formal methods in system design 5 (1994), S. 145-176 
    ISSN: 1572-8102
    Schlagwort(e): Automated theorem proving ; mathematical logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract In this article a modified form of tableau calculus, calledTableau Graph Calculus, is presented for overcoming the well-known inefficiencies of the traditional tableau calculus to a large extent. This calculus is based on a compact representation of analytic tableaux by using graph structures calledtableau graphs. These graphs are obtained from the input formula in linear time and incorporate most of the rule applications of normal tableau calculus during the conversion process. The size of this representation is linear with respect to the length of the input formula and the graph closely resembles the proof tree of tableau calculi thus retaining the naturalness of the proof procedure. As a result of this preprocessing step, tableau graph calculus has only a single rule which is repeatedly applied to obtain a proof. Many optimizations for the applications of this rule, to effectively prune the search space, are presented as well. Brief details of an implemented prover called FAUST, embedded within the higher-order theorem prover called HOL, are also given. Applications of FAUST within a hardware verification context are also sketched.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    ISSN: 1572-8773
    Schlagwort(e): hydrogenase (or H2:NAD+ oxidoreductase, EC 1.12.1.2) ; Nocardia opaca ; diaphorase-dimer ; hydrogenase-dimer ; EPR and Mössbauer spectroscopy
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Chemie und Pharmazie
    Notizen: Abstract The cytoplasmic, tetrameric NAD-linked hydrogenase from Nocardia opaca 1b can be separated in two dimeric substructures, an αγ-dimer with NADH:electron acceptor oxidoreductase (diaphorase) activity and a βδ-dimer which displays hydrogenase activity with artificial electron carriers. These two dimers were preparatively isolated by a FPLC Mono Q procedure in the absence of nickel and at alkaline pH values. The hydrogenase-active βδ-dimer contained, as analyzed by inductively coupled plasma mass spectrometry (ICP-MS), 3.5–3.9 iron atoms and 1.3–1.7 nickel atoms per dimer molecule. EPR and Mössbauer spectra indicated the presence of a [4Fe-4S] cluster. This center turned out to be extremely labile towards oxidants. Oxidation led to irreversible convertion into a [3Fe-4S] form, thus representing an artifact and not a regulatory state of the cluster. The midpoint redox potential of the [4Fe-4S] cluster was determined to be -385 mV. Very weak EPR Ni signals of the βδ-dimer were detectable in the oxidized as well as in the reduced state. The diaphorase-active αγ-dimer was free of nickel and the iron content corresponded to 11.2–12.8 Fe atoms per dimer molecule. From EPR and Mössbauer measurements it was concluded that this dimer contained two [4Fe-4S] clusters, one [2Fe-2S] and one [3Fe-4S] cluster. In accordance with the results obtained for the dimer proteins, for the whole enzyme an iron content of 15.8–16.2 atoms per enzyme molecule have been determined. EPR spectra and spectrum simulations of the native hydrogenase corroborate the cluster assignments of the two dimers: in total the enzyme contains one [2Fe-2S] cluster, one [3Fe-4S] cluster and three [4Fe-4S] clusters.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    ISSN: 1432-0614
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Werkstoffwissenschaften, Fertigungsverfahren, Fertigung
    Notizen: Summary Electron carrier proteins from Desulfovibrio sp., especially flavodoxins, have been tested as electron mediator between spinach chloroplast membranes and hydrogenase from aerobic hydrogen-oxidizing bacteria. Due to the slow electron transfer between flavodoxin and hydrogenase the rate of hydrogen production is low. However, the classical dramatic decrease of the hydrogen evolution rate in the absence of any oxygen scavengers is not observed when dealing with flavodoxin from Desulfovibrio desulfuricans strain 27774, and the NAD-reducing hydrogenase from Nocardia opaca 1b.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Digitale Medien
    Digitale Medien
    Springer
    Archives of microbiology 112 (1977), S. 229-238 
    ISSN: 1432-072X
    Schlagwort(e): Hydrogen bacteria ; Hydrogenase ; Localization ; Membrane bound enzymes ; NAD reduction ; Stability
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie
    Notizen: Abstract Alcaligenes eutrophus strains H 16, B 19, G 27 and N9A contained two different hydrogenases. One enzyme catalyzed the reduction of NAD by hydrogen and was strictly localized in the soluble cell fraction, while the second enzyme was found to be particulate and unable to react with NAD. All other tested strains, Alcaligenes paradoxus SA 29, Pseudomonas facilis, P. palleronii RH 2, Pseudomonas sp. strain GA 3, Paracoccus denitrificans, Aquaspirillum autotrophicum SA 32, and Corynebacterium autotrophicum 14g and 7C contained only a single enzyme exclusively bound to membranes. This was established using fractional centrifugation, indicator enzyme systems, gentle methods of cell disintegration and discontinuous sucrose density gradient centrifugation. In cell-free extracts obtained by rough disruption (sonication) of cells, hydrogenase was associated to particles of different size and sedimentation velocity. A partial solubilization of hydrogenase caused by sonication was observed with P. facilis. Without exception, the particulate hydrogenases were found (1) to be unable to reduce pyridine nucleotides, and (2) to reduce methylene blue at an extremely high activity. The eminent reaction rate of 34 μmoles H2 oxidized per min and mg protein has been determined in particle suspensions of Pseudomonas sp. strain GA 3. All hydrogenases were stable during storage under hydrogen atmosphere, except the soluble enzyme from A. eutrophus H 16 which was shown to be more stable under aerobic conditions.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    ISSN: 1432-1327
    Schlagwort(e): Key words Alcaligenes eutrophus ; Hydrogenase ; EPR spectroscopy ; Nickel centre ; Iron-sulfur cluster
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Chemie und Pharmazie
    Notizen: Abstract  In this study we confirmed the previous observation that the cytoplasmic NAD-linked hydrogenase of Alcaligenes eutrophus H16 is EPR-silent in the oxidized state. We also demonstrated the presence of significant Ni-EPR signals when the enzyme was either reduced with the natural electron carrier NADH (5–10 mM) or carefully titrated with sodium dithionite to an intermediate, narrow redox potential range (–280 to –350 mV). Reduction with NADH under argon atmosphere led to a complex EPR spectrum at 80 K with g values at 2.28, 2.20, 2.14, 2.10, 2.05, 2.01 and 2.00. This spectrum could be differentiated by special light/dark treatments into three distinct signals: (1) the "classical" Ni-C signal with g values at 2.20, 2.14 and 2.01, observed with many hydrogenases in the reduced, active state; (2) the light-induced signal (Ni-L) with g values at 2.28, 2.10 and 2.05 and (3) a flavin radical (FMN semiquinone) signal at g = 2.00. The assignment of the Ni-EPR signal was clearly confirmed by EPR spectra of hydrogenase labeled with 61Ni (nuclear spin I = 3/2) yielding a broadening of the Ni spectra at all g values and a resolved 61Ni hyperfine splitting into four lines of the low field edge in the case of the light-induced Ni-EPR signal. The redox potentials determined at pH 7.0 for the described redox components were: for FMN –170 mV (midpoint potential, Em, for appearance), –200 mV (EPR signal intensity maximum) and –230 mV (Em for disappearance); for the Ni centre (Ni-C), –290 mV (Em for appearance), –305 mV (signal intensity maximum) and –325 mV (Em for disappearance). Exposure of the NADH-reduced hydrogenase to carbon monoxide led to an apparent Ni-CO species indicated by a novel rhombic EPR signal with g values at 2.35, 2.08 and 2.01.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Digitale Medien
    Digitale Medien
    Springer
    Journal of mathematical biology 40 (2000), S. 443-450 
    ISSN: 1432-1416
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie , Mathematik
    Notizen: Abstract. We extend the quasi-steady-state approximation (QSSA) with respect to the class of differential systems as well as with respect to the order of approximation. We illustrate the first extension by an example which cannot be treated in the frame of the classical approach. As an application of the second extension we prove that the trimolecular autocatalator can be approximated by a fast bimolecular reaction system. Finally we describe a class of singularly perturbed systems for which a higher order QSSA can easily be obtained.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    ISSN: 1617-4623
    Schlagwort(e): Arthrobacter oxidans ; Catabolic plasmids ; Nicotin degradation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Biologie
    Notizen: Summary The 160 kb plasmid pAO1 from Arthrobacter oxidans (Brandsch and Decker 1984) was subcloned in Escherichia coli with the aid of the plasmid vectors pUR222 and pBR322. Screening of the recombinant clones for enzyme activity revealed that the flavoenzyme 6-hydroxy-d-nicotine oxidase (6-HDNO), one of the enzymes of the nicotine-degradative pathway in A. oxidans, is encoded on pAO1. Immunoprecipitation of 35S-methionine-labelled E. coli cells with 6-HDNO-specific antiserum and expression of recombinant plasmid DNA in E. coli “maxicells” revealed that 6-HDNO is made as a 52,000 dalton protein, approximately 4,500 daltons larger than 6-HDNO from A. oxidans. The 6-HDNO activity was constitutively expressed in E. coli cells, possibly from an A. oxidans promoter, as shown by subcloning of the 6-HDNO gene in pBR322, using the expression vector pKK223-3 and the promoter probe vector pCB192.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...