Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

1.720 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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?
  2. Detailansicht für Treffer 2 ö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?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 öffnen
    Reasoning about logical systems in the Coq proof assistant.
    Reynolds, Conor ; Monahan, Rosemary
    In: Science of Computer Programming, Jg. 233 (2024-03-01), S. N.PAG
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 öffnen
    Extracting functional programs from Coq, in Coq.
    ANNENKOV, DANIL ; MILO, MIKKEL ; et al.
    In: Journal of Functional Programming, Jg. 32 (2022), S. 1-60
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Functional segmentation of CoQ and cyt c pools by respiratory complex superassembly.
    Hernansanz-Agustín, Pablo ; Enríquez, José Antonio
    In: Free Radical Biology & Medicine, Jg. 167 (2021-05-01), S. 232-242
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 ö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), S. N.PAG
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Changes in CoQ 10 /Lipids Ratio, Oxidative Stress, and Coenzyme Q 10 during First-Line Cisplatin-Based Chemotherapy in Patients with Metastatic Urothelial Carcinoma (mUC).
    Palacka, Patrik ; Kucharská, Jarmila ; et al.
    In: International Journal of Molecular Sciences, Jg. 23 (2022-11-01), Heft 21, S. 13123-13139
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant.
    DANVY, OLIVIER
    In: Journal of Functional Programming, Jg. 32 (2022), S. 1-27
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    CoqTL: a Coq DSL for rule-based model transformation.
    Cheng, Zheng ; Tisi, Massimo ; et al.
    In: Software & Systems Modeling, Jg. 19 (2020-03-01), Heft 2, S. 425-439
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Evidence‐based practice nurses' competency: Spanish national survey and establishment of a scale of the EBP‐COQ‐Prof©.
    Ramos‐Morcillo, Antonio Jesús ; Fernández‐Salazar, Serafín ; et al.
    In: Journal of Nursing Management, Jg. 29 (2021-05-01), Heft 4, S. 794-804
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    « Avant ce sont les coqs qui chantaient, Désormais les poules ont commencé à chanter. » La participation grandissante des femmes aux dépenses et aux rituels funéraires parmi les Gouro de Côte d'Ivoire.
    Akissi Amandine, Konan ; Tchanbi, Bouhi Sylvestre ; et al.
    In: Mande Studies, Jg. 24 (2022), Heft 1, S. 157-173
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    "It Must Be Preserved": Adolph Bolm's Revival of Le Coq d'Or.
    In: American Music, Jg. 39 (2021-12-01), Heft 4, S. 1-18
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
    BREITNER, JOACHIM ; SPECTOR-ZABUSKY, ANTAL ; et al.
    In: Journal of Functional Programming, Jg. 31 (2021), Heft 1/2, S. 1-41
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq.
    Yang, Zheng ; Lei, Hang
    In: Mathematical Problems in Engineering, 2020-12-01, S. 1-15
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Reasoning about connectors using Coq and Z3.
    Zhang, Xiyue ; Hong, Weijiang ; et al.
    In: Science of Computer Programming, Jg. 170 (2019-01-15), S. 27-44
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -