Showing 1–20 of 57 results
/ Date/ Name
Nov 2, 2023Revisiting the Knowledge Injection FrameworksJun 26, 2025An Information-Theoretic Analysis for Federated Learning under Concept DriftDec 23, 2021Training Quantized Deep Neural Networks via Cooperative CoevolutionJun 2, 2017Representing Nonterminating Rewriting with $\mathbf{F}_2^μ$Apr 27, 2022Proto-Quipper with dynamic liftingApr 28, 2020Linear Dependent Type Theory for Quantum Programming LanguagesOct 15, 2015A Type-Theoretic Approach to ResolutionApr 14, 2016Operational Semantics of Resolution and Productivity in Horn Clause LogicJun 16, 2023Towards an induction principle for nested data typesJun 13, 2018Dependently Typed Folds for Nested Data TypesJun 28, 2020A lateral semicircular canal segmentation based geometric calibration for human temporal bone CT ImageNov 13, 2017A Type Checking Algorithm for Higher-rank, Impredicative and Second-order TypesApr 27, 2022A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic LiftingMay 12, 2022On the Lambek embedding and the category of product-preserving presheavesJun 19, 2015A Type-Theoretic Approach to Structural ResolutionMay 17, 2020A tutorial introduction to quantum circuit programming in dependently typed Proto-QuipperNov 30, 2015Proof Relevant Corecursive ResolutionJun 26, 2025FedDAA: Dynamic Client Clustering for Concept Drift Adaptation in Federated LearningOct 10, 2022Language Prior Is Not the Only Shortcut: A Benchmark for Shortcut Learning in VQAJun 7, 2025Adapt Once, Thrive with Updates: Transferable Parameter-Efficient Fine-Tuning on Evolving Base Models