Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

128 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    mCoq: Mutation Analysis for Coq Verification Projects
    Jain, Kush ; Palmskog, Karl ; et al.
    In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020, S. 89-92
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Deep Generation of Coq Lemma Names Using Elaborated Terms
    Nie, Pengyu ; Palmskog, Karl ; et al.
    In: Automated Reasoning, 2020, S. 97-118
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Manganese-driven CoQ deficiency
    Diessl, Jutta ; Berndtsson, Jens ; et al.
    In: Nature Communications, Jg. 13 (2022), Heft 1
    Online unknown
    Zugriff:
    View record at Springer (Volltext)
    View record in SwePub (Volltext) Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Manganese-driven CoQ deficiency
    Diessl, Jutta ; Berndtsson, Jens ; et al.
    In: Nature Communications, Jg. 13 (2022)
    Online unknown
    Zugriff:
    View record at Springer (Volltext)
    View record in SwePub (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
    de Almeida Borges, Ana ; Artís, Annalí Casanueva ; et al.
    In: 14th International Conference on Interactive Theorem Proving, ITP 2023, 2023
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Isolation and functional expression of human COQ2, a gene encoding a polyprenyl transferase involved in the synthesis of CoQ
    Forsgren, M ; Attersand, A ; et al.
    In: The Biochemical journal, Jg. 382 (2004), Heft Pt 2, S. 519-526
    Online academicJournal
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    ROOSTERIZE: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
    Nie, Pengyu ; Palmskog, Karl ; et al.
    In: 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING Proceedings of the IEEE-ACM International Conference on Software Engineering Companion, 2021, S. 21-24
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    The HoTT Library: A formalization of homotopy type theory in Coq
    Bauer, Andrej ; Gross, Jason ; et al.
    In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017, S. 164-172
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A sensitive mass spectrometric assay for mitochondrial CoQ pool redox state in vivo
    Burger, N. ; Logan, A. ; et al.
    In: Free Radical Biology and Medicine, Jg. 147 (2020), S. 37-47
    unknown
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Towards a Verified Model of the Algorand Consensus Protocol in Coq
    Alturki, Musab A. ; Chen, Jing ; et al.
    In: Formal Methods. FM 2019 International Workshops, 2020, S. 362-367
    Online unknown
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Recommendations for a future-proof electricity market design in Europe in light of the 2021-23 energy crisis
    Pollitt, Michael G. ; von der Fehr, Nils-Henrik M. ; et al.
    In: Energy Policy, Jg. 188 (2024-05-01)
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Från äggakaka till coq au vin de Köpingsberg
    Östrup Backe, Josefine ; Sandberg, Helena [Ed.]
    In: Skåne, mat och medier, 2010, S. 115-129
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Manganese-driven CoQ deficiency
    Diessl, J. ; Berndtsson, J. ; et al.
    In: Nature Communications, Jg. 13 (2022), Heft 1
    Online unknown
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Statically Resolvable Ambiguity
    Palmkvist, Viktor ; Castegren, Elias, Doktor ; et al.
    In: Proceedings of the ACM on Programming Languages, Jg. 7 (2023), Heft POPL, S. 1686-1712
    Online unknown
    Zugriff:
    View record in SwePub (Volltext)
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
    Becker, Heiko ; Zyuzin, Nikita ; et al.
    In: 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, Austin, USA Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, 2018, S. 215-224
    unknown
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A Coq formalization of finitely presented modules
    Cohen, Cyril ; Mörtberg, Anders C O
    In: 5th International Conference on Interactive Theorem Proving, ITP 2014 - Held as Part of the Vienna Summer of Logic, VSL 2014, Austria Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Jg. 8558 LNCS (2014), S. 193-208
    unknown
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A Coq Formalization of Finitely Presented Modules
    Mörtberg, Anders ; Cohen, Cyril
    In: Lecture Notes in Computer Science, Jg. 8558 (2014), S. 193-208
    unknown
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Pragmatic Quotient Types in Coq
    Cohen, Cyril
    In: Lecture Notes in Computer Science, Jg. 7998 (2013), S. 213-228
    unknown
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Neurophysiological explorations across the spectrum of psychosis, autism, and depression, during wakefulness and sleep: protocol of a prospective case-control transdiagnostic multimodal study (DEMETER)
    Lucarini, V ; Alouit, A ; et al.
    In: BMC psychiatry, Jg. 23 (2023), Heft 1, S. 860-860
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext) View record in SwePub (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Neurophysiological explorations across the spectrum of psychosis, autism, and depression, during wakefulness and sleep: protocol of a prospective case-control transdiagnostic multimodal study (DEMETER)
    Lucarini, V ; Alouit, A ; et al.
    In: BMC psychiatry, Jg. 23 (2023), Heft 1, S. 860-860
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext) View record in SwePub (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 -