Search Results - "verification"

  1. From Phreaking to Sneaking: Children's Circumvention of Social Media Age Verification Systems

    Published in ArXiv cs.HC Recent Papers (2026)
    Get full text
    Online Article RSS Article
  2. A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  3. UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification

    Published in ArXiv cs.AR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  4. On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  5. Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing

    Get full text
    Online Article RSS Article
  6. Identification and verification of ferroptosis-related core gene in postmenopausal osteoporosis based on bioinformatics analysis

    Published in PeerJ (2026)
    Get full text
    Online Article RSS Article
  7. A Study on the Verification of Inlet Structural Improvement of Side Stream Typed Low Pressure ...

    Get full text
    Online Article RSS Article
  8. A Study on Verification of Delivery Ratio Methodology for Basic Plan at TPLMs(Total Pollutant ...

    Get full text
    Online Article RSS Article
  9. HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  10. SURE-RAG: Sufficiency and Uncertainty-Aware Evidence Verification for Selective Retrieval-Augmented Generation

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  11. A Blockchain-as-a-Service Solution for TAFES-Compliant Verification of Fair Trade Certifications

    Published in ArXiv cs.CE Recent Papers (2026)
    Get full text
    Online Article RSS Article
  12. Simulating reachability using first-order logic with applications to verification of linked data structures

    Get full text
    Online Article RSS Article
  13. Verification of reference intervals for routine biochemical tests using the reflimR in Turkish adults

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  14. A Procedural Architecture for Agent Trust and Credibility Verification in Distributed Ledger-Based Federated Learning

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  15. THE ROLE OF MACHINE LEARNING ALGORITHMS IN ENHANCING THE ACCURACY AND THE RELIABILITY OF FACIAL IDENTITY, VERIFICATION IN ONLINE ASSESSMENT

    Published in Acta Electronica Malaysia (2024)
    Get full text
    Online Article RSS Article
  16. Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  17. Essential, Yet Overlooked: Identity Verification Barriers for Blind and Low Vision People in Government Services

    Published in ArXiv cs.HC Recent Papers (2026)
    Get full text
    Online Article RSS Article
  18. Verification and Validation (V&V)-in-the-Loop for RISC-V Design: The Holistic Vision of BZL

    Published in ArXiv cs.AR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  19. RHyVE: Competence-Aware Verification and Phase-Aware Deployment for LLM-Generated Reward Hypotheses

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