Search Results - (etherification OR verification)

Refine Results
  1. Cover Image

    Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Affordance Agent Harness: Verification-Gated Skill Orchestration

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Formal Verification of Imperative First-Class Functions in Move

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    A case study on parametric verification of failure detectors

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    A proof system for graph (non)-isomorphism verification

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Specification and Verification of Timing Properties in Interoperable Medical Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Modelling the effects of modified local starches on the rheological and filtration properties of a water – based drilling fluid

    Published 2021-07
    Subjects: “…Etherification…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  8. Cover Image

    GAFSV-Net: A Vision Framework for Online Signature Verification

    Published in ArXiv cs.CR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    A New Interaction Concept for Interactive and Autoactive Program Verification

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Verification for Timed Automata extended with Unbounded Discrete Data Structures

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Compositional Verification for Timed Systems Based on Automatic Invariant Generation

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Study on Automation for Verification of Naval Ship's Operational Scenarios using Simulation: ...

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    A novel use of the precordial Doppler for verification of central venous access

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    MACHINE LEARNING ALGORITHMS IN FACIAL IDENTITY VERIFICATION FOR COMPUTER-BASED ASSESSMENTS

    Published in Acta Electronica Malaysia (2024)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs

    Published in ArXiv cs.AR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code

    Published in ArXiv cs.CR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Text-Graph Synergy: A Bidirectional Verification and Completion Framework for RAG

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Experimental Verification of a Battery Energy Storage System for Integration with Photovoltaic Generators

    Published in Advances in Power Electronics (2017)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: