Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
505 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Verlag

Publikation

505 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Upregulation of CoQ shifts ferroptosis dependence from GPX4 to FSP1 in acquired radioresistance
    Lin, Xu ; Zhang, Qingyi ; et al.
    In: Drug Resistance Updates, Jg. 73 (2024-03-01)
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Reasoning about logical systems in the Coq proof assistant
    Reynolds, Conor ; Monahan, Rosemary
    In: Science of Computer Programming, Jg. 233 (2024-03-01)
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CoqMatrix: Formal matrix library with multiple models in Coq
    Shi, Zheng ; Pu ; et al.
    In: Journal of Systems Architecture, Jg. 143 (2023-10-01)
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Verification of dynamic bisimulation theorems in Coq
    Fervari, Raul ; Trucco, Francisco ; et al.
    In: Journal of Logical and Algebraic Methods in Programming, Jg. 120 (2021-04-01)
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Characterization of CoQ 10-lauric acid eutectic system
    Tarate, Bapurao ; Bansal, Arvind K.
    In: Thermochimica Acta, Jg. 605 (2015-04-10), S. 100-106
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Identification of Coq11, a New Coenzyme Q Biosynthetic Protein in the CoQ-Synthome in Saccharomyces cerevisiae
    Allan, Christopher M. ; Awad, Agape M. ; et al.
    In: Journal of Biological Chemistry, Jg. 290 (2015-03-20), Heft 12, S. 7517-7534
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Assessment of an ancient bridge combining geophysical and advanced photogrammetric methods: Application to the Pont De Coq, France
    Fauchard, Cyrille ; Antoine, Raphaël ; et al.
    In: Journal of Applied Geophysics, Jg. 98 (2013-11-01), S. 100-112
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Designing and proving correct a convex hull algorithm with hypermaps in Coq
    Brun, Christophe ; Dufourd, Jean-François ; et al.
    In: Computational Geometry: Theory and Applications, Jg. 45 (2012-10-01), Heft 8, S. 436-457
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A case study in formalizing projective geometry in Coq: Desargues theorem
    Magaud, Nicolas ; Narboux, Julien ; et al.
    In: Computational Geometry: Theory and Applications, Jg. 45 (2012-10-01), Heft 8, S. 406-424
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Assessment of the expected cost of quality (COQ) in construction projects in Egypt using artificial neural network model
    Tawfek, Hany Shoukry ; Mohammed, Hossam El-Deen H. ; et al.
    In: HBRC Journal, Jg. 8 (2012-08-01), Heft 2, S. 132-143
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Floating-point arithmetic in the Coq system
    Melquiond, Guillaume
    In: Information and Computation, Jg. 216 (2012-07-01), S. 14-23
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Identification of bottlenecks in Escherichia coli engineered for the production of CoQ 10
    Cluis, Corinne P. ; Ekins, Andrew ; et al.
    In: Metabolic Engineering, Jg. 13 (2011), Heft 6, S. 733-744
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Effective homology of bicomplexes, formalized in Coq
    Domínguez, César ; Rubio, Julio
    In: Theoretical Computer Science, Jg. 412 (2011), Heft 11, S. 962-970
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Hypothesis Driven versus Hypothesis-free: Filling the Gaps in CoQ Biosynthesis
    Enríquez, José Antonio ; Sánchez-Cabo, Fátima ; et al.
    In: Cell Metabolism, Jg. 24 (2016-10-11), Heft 4, S. 525-526
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    ETFDH mutations, CoQ 10 levels, and respiratory chain activities in patients with riboflavin-responsive multiple acyl-CoA dehydrogenase deficiency
    Liang, Wen-Chen ; Ohkuma, Aya ; et al.
    In: Neuromuscular Disorders, Jg. 19 (2009), Heft 3, S. 212-216
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A Coq Library for Verification of Concurrent Programs
    Affeldt, Reynald ; Kobayashi, Naoki
    In: Electronic Notes in Theoretical Computer Science, Jg. 199 (2008-02-24), S. 17-32
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Analysis of CoQ 10 in rat serum by ultra-performance liquid chromatography mass spectrometry after oral administration
    Li, Lie ; Pabbisetty, Deepthi ; et al.
    In: Journal of Pharmaceutical and Biomedical Analysis, Jg. 46 (2008), Heft 1, S. 137-142
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Analysis of Coenzyme Q 10 in muscle and fibroblasts for the diagnosis of CoQ 10 deficiency syndromes
    Montero, Raquel ; Sánchez-Alcázar, José Antonio ; et al.
    In: Clinical Biochemistry, Jg. 41 (2008), Heft 9, S. 697-700
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Nominal Reasoning Techniques in Coq: (Extended Abstract)
    Aydemir, Brian ; Bohannon, Aaron ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 174 (2007-06-02), Heft 5, S. 69-77
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    The influences of aerobic-dark and anaerobic-light cultivation on CoQ 10 production by Rhodobacter sphaeroides in the submerged fermenter
    Yen, Hong-Wei ; Chiu, Chia-Hung
    In: Enzyme and Microbial Technology, Jg. 41 (2007), Heft 5, S. 600-604
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -