Similar Items: Univalent Enriched Categories and the Enriched Rezk Completion
- Positionality in $Σ_0^2$ and a completeness result
- Expressivity of AuDaLa: Turing Completeness and Possible Extensions
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Causal Explanations for Image Classifiers
- Objective Quality Evaluation of Point Clouds: Quality Features and Fusion Metrics
- Deep Learning-Based Drone Heading Estimation Using BiLSTM and Multi-Head Attention: A Comparative Study of Simulation and Real-World Flight Experiments