Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

430 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Machine Proof System of Point Geometry Based on Coq
    Lei, Siran ; Guan, Hao ; et al.
    In: Mathematics, Jg. 11 (2023-06-01), Heft 12, S. 2757-2757
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics
    Guo, Dakai ; Yu, Wensheng
    In: Mathematics, Jg. 11 (2023-05-01), Heft 11, S. 2504-2504
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Cross-cultural adaptation and psychometric validation of the Vietnamese version of the evidence-based practice competency questionnaire for registered nurses (EBP-COQ Prof©)
    Thi Dung Ngo ; Hawks, Miranda ; et al.
    In: Nursing Practice Today, Jg. 10 (2023-08-01), Heft 3
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq
    Yan, Sheng ; Yu, Wensheng
    In: Mathematics, Jg. 11 (2023-02-01), Heft 5, S. 1079-1079
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Manganese-driven CoQ deficiency
    Diessl, Jutta ; Berndtsson, Jens ; et al.
    In: Nature Communications, Jg. 13 (2022-10-01), Heft 1, S. 1-14
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Translation and Validation of the Greek Version of the Evidence-Based Practice Competency Questionnaire for Registered Nurses (EBP-COQ Prof©)
    Schetaki, Stefania ; Patelarou, Evridiki ; et al.
    In: Nursing Reports, Jg. 12 (2022-09-01), Heft 4, S. 693-707
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 ö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-11-01), Heft 12, S. 2308-2308
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
    Moiseenko, Evgenii A. ; Gladstein, Vladimir P. ; et al.
    In: Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Jg. 22 (2022-06-01), Heft 3, S. 517-527
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    August Albert van Le Coq, Die Abdal, in: Baessler-Archiv, Band II, Leipzig/ Berlin 1912.
    ALİ, SERİNKOZ
    In: Türk Kültürü ve Hacı Bektaş Velî Araştırma Dergisi, 2022-09-01, Heft 103, S. 413-426
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A Formal System of Axiomatic Set Theory in Coq
    Sun, Tianyu ; Yu, Wensheng
    In: IEEE Access, Jg. 8 (2020), S. 21510-21523
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Characterization of Arabidopsis thaliana Coq9 in the CoQ Biosynthetic Pathway
    Hu, Mei ; Jiang, Yan ; et al.
    In: Metabolites, Jg. 13 (2023-06-01), Heft 7, S. 813-813
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    The Q-junction and the inflammatory response are critical pathological and therapeutic factors in CoQ deficiency
    González-García, Pilar ; María Elena Díaz-Casado ; et al.
    In: Redox Biology, Jg. 55 (2022-09-01), Heft 102403-
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Levels of Coenzyme Q10 and Several COQ Proteins in Human Astrocytoma Tissues Are Inversely Correlated with Malignancy
    Yen, Hsiu-Chuan ; Chen, Bing-Shian ; et al.
    In: Biomolecules, Jg. 12 (2022-02-01), Heft 2, S. 336-336
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq
    Yang, Zheng ; Lei, Hang
    In: IEEE Access, Jg. 7 (2019), S. 37770-37791
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Minimal mitochondrial respiration is required to prevent cell death by inhibition of mTOR signaling in CoQ-deficient cells
    Wang, Ying ; Hekimi, Siegfried
    In: Cell Death Discovery, Jg. 7 (2021-08-01), Heft 1, S. 1-11
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    UbiB proteins regulate cellular CoQ distribution in Saccharomyces cerevisiae
    Kemmerer, Zachary A. ; Robinson, Kyle P. ; et al.
    In: Nature Communications, Jg. 12 (2021-08-01), Heft 1, S. 1-11
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
    Kirst, Dominik ; Larchey-Wendling, Dominique
    In: Logical Methods in Computer Science, Jg. ume 18, Issue 2 (2022-06-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    CoQ Regulates Brown Adipose Tissue Respiration and Uncoupling Protein 1 Expression
    Chang, Ching-Fang ; Gunawan, Amanda L. ; et al.
    In: Antioxidants, Jg. 12 (2022-12-01), Heft 1, S. 14-14
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Hilbert's Tenth Problem in Coq (Extended Version)
    Larchey-Wendling, Dominique ; Forster, Yannick
    In: Logical Methods in Computer Science, Jg. ume 18, Issue 1 (2022-03-01)
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Formalizing Calculus without Limit Theory in Coq
    Fu, Yaoshun ; Yu, Wensheng
    In: Mathematics, Jg. 9 (2021-06-01), Heft 12, S. 1377-1377
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in DOAJ (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -