Search Results - (codification OR verification)

Refine Results
  1. Livingston, ses codifications et l’esclavage

    Published in Journal of Civil Law Studies (2025)
    Get full text
    Online Article RSS Article
  2. The codification of sexuality in Bodija market space, Ibadan, Nigeria

    Published 2012
    Full Text Available
    Access Repository
    Article
  3. Towards State Legislative Codification of the WPATH SOC Guidelines

    Get full text
    Online Article RSS Article
  4. An examination of the basic principles and guidelines for the protection of civilians under international humanitarian law

    Published 2016-05
    Subjects: “…Codification…”
    Full Text Available
    Access Repository
    Article
  5. Verification Mirage: Mapping the Reliability Boundary of Self-Verification in Medical VQA

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Online Article RSS Article
  6. Multiple Instance Verification

    Published in JMLR (2026)
    Get full text
    Online Article RSS Article
  7. Multiple Instance Verification

    Published in JMLR (2026)
    Get full text
    Online Article RSS Article
  8. Multiple Instance Verification

    Published in JMLR (2026)
    Get full text
    Online Article RSS Article
  9. Multiple Instance Verification

    Get full text
    Online Article RSS Article
  10. Dirk Heirbaut, Redefining Codification: A Comparative History of Civil, Commerical, and Procedural Codes

    Published in Journal of Civil Law Studies (2025)
    Get full text
    Online Article RSS Article
  11. Quantitative Verification with Neural Networks

    Get full text
    Online Article RSS Article
  12. Comparator automata in quantitative verification

    Get full text
    Online Article RSS Article
  13. Modularising Verification Of Durable Opacity

    Get full text
    Online Article RSS Article
  14. Verification of Flat FIFO Systems

    Get full text
    Online Article RSS Article
  15. Verification of Neural Networks (Lecture Notes)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  16. Modeling and Verification of Infinite Systems with Resources

    Get full text
    Online Article RSS Article
  17. Automated Verification of Practical Garbage Collectors

    Get full text
    Online Article RSS Article
  18. THE VERIFICATION OF HYBRID IMAGE DEFORMATION ALGORITHM FOR PIV

    Get full text
    Online Article RSS Article
  19. Verification of Correlated Equilibria in Concurrent Reachability Games

    Published in ArXiv cs.GT Recent Papers (2026)
    Get full text
    Online Article RSS Article
  20. Evergreen: Efficient Claim Verification for Semantic Aggregates

    Published in ArXiv cs.DB Recent Papers (2026)
    Get full text
    Online Article RSS Article