Search Results - (esterification OR verification)

Refine Results
  1. Cover Image

    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
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    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
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    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
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    RHyVE: Competence-Aware Verification and Phase-Aware Deployment for LLM-Generated Reward Hypotheses

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

    Selfie-Capture Dynamics as an Auxiliary Signal Against Deepfakes and Injection Attacks for Mobile Identity Verification

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

    AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety 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:
  7. Cover Image

    Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

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

    Research on similarity test design and characteristic verification for tank fires under environmental wind conditions

    Published in PLOS ONE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    MX Linux Pushes Back Against Age Verification: A Stand for Privacy and Open Source Principles

    Published in Linux Journal (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Behavioural Modelling and Verification of a Novel Weighted System‐Level Chopping for High‐Resolution Incremental ADCs

    Published in Electronics Letters (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    HalluCiteChecker: A Lightweight Toolkit for Hallucinated Citation Detection and Verification in the Era of AI Scientists

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

    Development of a Time-Integration Method for Analyzing the Photoresponse of Image Sensors: Theoretical and Experimental Verification with Digital Cameras

    Published in Measurement Science Review (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    AURA-Net: A Deep Learning Framework for Robust Authorship Verification in Print-and-Capture Resistant Image Watermarking

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

    Verification of Calibrated Multimodel Subseasonal Precipitation Predictions Cascaded From Global to Regional Scale Over Ceará State in Brazil

    Published in Meteorological Applications (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Evaluation Methodology, Numerical Verification and Retrofilling Procedure for Power Transformers to Ensure K‐Class Flame Retardancy and Environmentally Friendly

    Published in High Voltage (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    A Monolithic SiC MOSFET Behavioural Model with Full‐Temperature‐Range Capability: SPICE‐Compatible Structure and Experimental Verification

    Published in IET Power Electronics (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    CurricuForge: A Unified Framework for Progressive Code Generation Through Curriculum-Guided Multi-Agent Collaboration With Symbolic Verification

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

    Implicit security requirements classification with large language models using the OWASP application security verification standard: a shift-left approach

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

    Practical pH Testing for Nasogastric Tube Verification: A Prospective Method‐Comparison Study of Low‐Cost Handheld Meters and Colourimetric Strips

    Published in Health Science Reports (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Comprehensive machine learning and experimental verification reveal the mechanism of action of autophagy-related genes FIZ1 and FBXO21 in acute kidney injury

    Published in PeerJ (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: