Similar Items: Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
- Automating Boundary Filling in Cubical Type Theories
- Non-Singular Fast Terminal Sliding Mode Active Disturbance Rejection Controller for Attitude Control of Quadrotor Unmanned Aerial Vehicles
- Differential Parity: Relative Fairness Between Two Sets of Decisions
- Theory-Grounded LLM Societies for Emergent Coordination
- Process Theory of Supplier Cyber Risk Assessment
- Semi-Supervised Federated Learning for Open-Set Respiratory Sound Classification