Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

9.827 Treffer

Sortierung: 
  1. Detailansicht für Treffer 81 öffnen
    Integration of Multiple Formal Matrix Models in Coq
    Shi, ZhengPu ; Chen, Gang
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 82 öffnen
    « Nous devons un coq à Asclèpios »
    Volant, Éric
    In: Article, Jg. 16 (2020-12-02), S. 9-11
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 83 öffnen
    Women have higher levels of CoQ
    Sandrine, Beaulieu ; Annick, Vachon ; et al.
    In: Journal of nutritional science, Jg. 11 (2021-12-06)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 84 öffnen
    Modeling and Verification of CKB Consensus Protocol in Coq
    Luan, Xiaokun ; Sun, Meng
    In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021-12-01
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 85 öffnen
    Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
    Bagnall, Alexander ; Stewart, Gordon
    In: Proceedings of the AAAI Conference on Artificial Intelligence, Jg. 33 (2019-07-17), S. 2662-2669
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 86 öffnen
    Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq
    Felty, Amy P. ; Bahrami, Abdorrahim ; et al.
    In: Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics, 2018-12-10
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 87 öffnen
    Cellular Models for Primary CoQ Deficiency Pathogenesis Study
    Staiano, Carmine ; Brea-Calvo, Gloria ; et al.
    In: International journal of molecular sciences, Jg. 22 (2021-08-13), Heft 19
    Online unknown
    Zugriff:
    Volltext (PDF)
    View record in OpenAIRE (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 88 öffnen
    Minimal mitochondrial respiration is required to prevent cell death by inhibition of mTOR signaling in CoQ-deficient cells
    Hekimi, Siegfried ; Wang, Ying
    In: Cell Death Discovery, Jg. 7 (2021-08-04)
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 89 öffnen
    The Coq Proof Script Visualiser (coq-psv)
    Frank, Mario
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 90 öffnen
    β-RA Targets Mitochondrial Metabolism and Adipogenesis, Leading to Therapeutic Benefits against CoQ Deficiency and Age-Related Overweight
    Hidalgo-Gutiérrez, Agustin ; Barriocanal-Casado, Eliana ; et al.
    In: Biomedicines, Jg. 9 (2021-09-14), Heft 10
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 91 öffnen
    Statins, Enzyme CoQ
    Brian G, Collin ; Dheeraj, Raju ; et al.
    In: Journal of geriatric psychiatry and neurology, Jg. 35 (2021-09-09), Heft 5
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 92 öffnen
    Clinical spectrum in multiple families with primary <scp> COQ 10 </scp> deficiency
    Seyyed Saleh Hashemi ; Mohammad Kazem Bakhshandeh ; et al.
    In: American Journal of Medical Genetics Part A, Jg. 185 (2020-11-20), S. 440-452
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 93 öffnen
    Coinductive Natural Semantics for Compiler Verification in Coq
    Zúñiga, Angel ; Bel-Enguix, Gemma
    In: Mathematics, Jg. 8 (2020-09-12), S. 1573-1573
    Online unknown
    Zugriff:
    Volltext (PDF)
    View record in OpenAIRE (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 94 öffnen
    Biology of the cucurbit fruit fly, Bactrocera cucurbitae (Coq) on host bottle gourd, Lagenaria siceraria
    Akter, T. ; Sohel, M. M. H.
    In: Journal of Bioscience and Agriculture Research, Jg. 25 (2020), S. 2098-2106
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 95 öffnen
    Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
    Palmskog, Karl ; Gligoric, Milos ; et al.
    In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 96 öffnen
    Impairment of carotenoid biosynthesis through CAR1 gene mutation results in CoQ
    Jana, Tkáčová ; Giacomo, Zara ; et al.
    In: Applied microbiology and biotechnology, Jg. 106 (2021-08-11), Heft 1
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 97 öffnen
    Proving Reflex Program Verification Conditions in Coq Proof Assistant
    Natalia Olegovna Garanina ; Chernenko, Ivan ; et al.
    In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 98 öffnen
    Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
    Chen, Xi ; Qiao, Lei ; et al.
    In: 2021 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2021-09-01
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 99 öffnen
    CoqTL: An Internal DSL for Model Transformation in Coq
    Tisi, Massimo ; Cheng, Zheng ; et al.
    2018
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 100 öffnen
    基于Coq的微内核操作系统程序验证方法研究 / Research on Microkernel Operating System Program Verification Based on Coq
    In: 计算机测量与控制 / Computer Measurement & Control, 2011, Heft 8, S. 1939-1942
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -