Search Results - (esterification OR verification)

Refine Results
  1. Synthesis of DHA‐Enriched Triacylglycerol via Lipase‐Catalyzed Esterification

    Get full text
    Online Article RSS Article
  2. Regioselective Esterification of Nitrophenol Isomers Catalyzed by Immobilized Candida rugosa and Porcine Pancreatic Lipases

    Get full text
    Online Article RSS Article
  3. 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
  4. Multiple Instance Verification

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

    Published in JMLR (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

    Get full text
    Online Article RSS Article
  8. Quantitative Verification with Neural Networks

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

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

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

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

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

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

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

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

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

    Published in ArXiv cs.DB Recent Papers (2026)
    Get full text
    Online Article RSS Article
  18. TACO: A Toolsuite for the Verification of Threshold Automata

    Published in ArXiv cs.DC Recent Papers (2026)
    Get full text
    Online Article RSS Article
  19. Safety Verification of Networked Control Systems by Complex Zonotopes

    Get full text
    Online Article RSS Article
  20. Real-Time Verification for Distributed Cyber-Physical Systems

    Get full text
    Online Article RSS Article