Näytetään 81 - 100 yhteensä 4 401 tuloksesta haulle '((((justifications OR justifications) OR certification) OR modification) OR notification)', hakuaika: 0,10s Tarkenna hakua
  1. 81

    Example input of the DPP: a phylogenetic tree T and an alignment A for L(T). Tekijä Jordan Moutet (21800145)

    Julkaistu 2025
    Aiheet: “…solid mathematical justification…”
  2. 82
  3. 83
  4. 84

    (Right:) A candidate solution <i>A</i><sup> + </sup> for the example in Fig 1. Tekijä Jordan Moutet (21800145)

    Julkaistu 2025
    Aiheet: “…solid mathematical justification…”
  5. 85
  6. 86
  7. 87
  8. 88
  9. 89
  10. 90
  11. 91
  12. 92
  13. 93
  14. 94

    Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control" Tekijä Thomas A. Henzinger (7688426)

    Julkaistu 2025
    “…<p dir="ltr">Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control". …”
  15. 95
  16. 96
  17. 97
  18. 98
  19. 99
  20. 100