Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
2.155 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

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

2.155 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry.
    Braun, David ; Magaud, Nicolas ; et al.
    In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1, S. 1-29
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
    Shi, Wenjun ; Cao, Qinxiang ; et al.
    In: Journal of Circuits, Systems & Computers, Jg. 33 (2024-04-01), Heft 6, S. 1-25
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Brown adipose tissue CoQ deficiency activates the integrated stress response and FGF21-dependent mitohormesis.
    Chang, Ching-Fang ; Gunawan, Amanda L. ; et al.
    In: EMBO Journal, Jg. 43 (2024-01-16), Heft 2, S. 168-195
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Enabling Floating-Point Arithmetic in the Coq Proof Assistant.
    Martin-Dorel, Érik ; Melquiond, Guillaume ; et al.
    In: Journal of Automated Reasoning, Jg. 67 (2023-12-01), Heft 4, S. 1-30
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
    HASELWARTER, PHILIPP G. ; RIVAS, EXEQUIEL ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Characterization of Arabidopsis thaliana Coq9 in the CoQ Biosynthetic Pathway.
    Hu, Mei ; Jiang, Yan ; et al.
    In: Metabolites (2218-1989), Jg. 13 (2023-07-01), Heft 7, S. 813-823
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A Machine Proof System of Point Geometry Based on Coq.
    Lei, Siran ; Guan, Hao ; et al.
    In: Mathematics (2227-7390), Jg. 11 (2023-06-15), Heft 12, S. 2757-2772
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.
    Guo, Dakai ; Yu, Wensheng
    In: Mathematics (2227-7390), Jg. 11 (2023-06-01), Heft 11, S. 2504-2531
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    CoQ 10 and Mitochondrial Dysfunction in Alzheimer's Disease.
    Fišar, Zdeněk ; Hroudová, Jana
    In: Antioxidants, Jg. 13 (2024-02-01), Heft 2, S. 191-211
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    In vitro construction of the COQ metabolon unveils the molecular determinants of coenzyme Q biosynthesis.
    Nicoll, Callum R. ; Alvigini, Laura ; et al.
    In: Nature Catalysis, Jg. 7 (2024-02-01), Heft 2, S. 148-160
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Coq Formalization of ZFC Set Theory for Teaching Scenarios.
    Wan, Xinyi ; Xu, Ke ; et al.
    In: International Journal of Software & Informatics, Jg. 13 (2023-07-01), Heft 3, S. 323-357
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    CoQ 10 Phytosomes Improve Cellular Ubiquinone Uptake in Skeletal Muscle Cells: An Ex Vivo Study Using CoQ 10 -Enriched Low-Density Lipoproteins Obtained in a Randomized Crossover Study.
    Marcheggiani, Fabio ; Orlando, Patrick ; et al.
    In: Antioxidants, Jg. 12 (2023-04-01), Heft 4, S. 964-976
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.
    Kirst, Dominik ; Hermes, Marc
    In: Journal of Automated Reasoning, Jg. 67 (2023-03-01), Heft 1, S. 1-31
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq.
    Yan, Sheng ; Yu, Wensheng
    In: Mathematics (2227-7390), Jg. 11 (2023-03-01), Heft 5, S. 1079-1096
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Coq and Lean: Powerful Interactive Theorem Provers: Coq and Lean are tools that elevate trust in research and software development with rigorous proofs. They also help to prove that code is bug-free.
    Benson, Deepu
    In: Open Source For You, Jg. 11 (2023-09-01), Heft 11, S. 63-66
    serialPeriodical
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Is sized typing for Coq practical?
    CHAN, JONATHAN ; LI, YUFENG ; et al.
    In: Journal of Functional Programming, Jg. 33 (2023), S. 1-55
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    CoQ Regulates Brown Adipose Tissue Respiration and Uncoupling Protein 1 Expression.
    Chang, Ching-Fang ; Gunawan, Amanda L. ; et al.
    In: Antioxidants, Jg. 12 (2023), Heft 1, S. 14-30
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Predicting and Understanding the Pathology of Single Nucleotide Variants in Human COQ Genes.
    Wang, Sining ; Jain, Akash ; et al.
    In: Antioxidants, Jg. 11 (2022-12-01), Heft 12, S. 2308-2364
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    LE COQ SPORTIF, LA FIBRE TRICOLORE. (French)
    CHANEL, SORLIN
    In: Stratégies, 2024-02-15, Heft 2207, S. 10-11
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Manganese-driven CoQ deficiency.
    Diessl, Jutta ; Berndtsson, Jens ; et al.
    In: Nature Communications, Jg. 13 (2022-10-13), Heft 1, S. 1-14
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -