Similar Items: A Framework for Certified Self-Stabilization
- Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
- Certifying Confluence Proofs via Relative Termination and Rule Labeling
- Automated Synthesis of Distributed Self-Stabilizing Protocols
- Integrating Voltage Stability Into the Static Security Region: A Unified Analytical Framework
- DISCLOSURE OF SUSTAINABLE DEVELOPMENT RESULTS BY CERTIFIED PORTUGUESE ORGANIZATIONS IN QUALITY, ENVIRONMENTAL, AND OCCUPATIONAL HEALTH AND SAFETY
- Mitosis Detection in Breast Histopathology Images Using a Self-Attention-Enhanced Faster R-CNN Framework