:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Mingwei, Gu, Zhenhao, Fang, Liangda, Ge, Cunjing, Chen, Ziliang, Lai, Zhao-Rong, Guan, Quanlong
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2509.13880
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Parallel Approach to Counting Exact Covers Based on Decomposability Property
von: Fang, Liangda, et al.
Veröffentlicht: (2026)

A De-singularity Subgradient Approach for the Extended Weber Location Problem
von: Lai, Zhao-Rong, et al.
Veröffentlicht: (2024)

De-singularity Subgradient for the $q$-th-Powered $\ell_p$-Norm Weber Location Problem
von: Lai, Zhao-Rong, et al.
Veröffentlicht: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
von: Fang, Liangda, et al.
Veröffentlicht: (2024)

UniER: A Unified Benchmark for Item-level and Path-level Exercise Recommendation
von: Cheng, Xinghe, et al.
Veröffentlicht: (2026)

GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path Recommendation
von: Cheng, Xinghe, et al.
Veröffentlicht: (2025)

NR4DER: Neural Re-ranking for Diversified Exercise Recommendation
von: Cheng, Xinghe, et al.
Veröffentlicht: (2025)

Quantum DPLL and Generalized Constraints in Iterative Quantum Algorithms
von: Brady, Lucas T., et al.
Veröffentlicht: (2025)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
von: Zhang, Tian, et al.
Veröffentlicht: (2023)

A Retrospect to Multi-prompt Learning across Vision and Language
von: Chen, Ziliang, et al.
Veröffentlicht: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
von: Wang, Kexu, et al.
Veröffentlicht: (2026)

A Simplification Method for Inequality Constraints in Integer Binary Encoding HOBO Formulations
von: Minato, Yuichiro
Veröffentlicht: (2025)

A DPLL(T) Framework for Verifying Deep Neural Networks
von: Duong, Hai, et al.
Veröffentlicht: (2023)

An Exponential Separation between Deterministic CDCL and DPLL Solvers
von: Samar, Sahil, et al.
Veröffentlicht: (2026)

When and how biases seep in: Enhancing debiasing approaches for fair educational predictive analytics
von: Lin Li, et al.
Veröffentlicht: (2025)

FerretNet: Efficient Synthetic Image Detection via Local Pixel Dependencies
von: Liang, Shuqiao, et al.
Veröffentlicht: (2025)

Constraint Matters: Multi-Modal Representation for Reducing Mixed-Integer Linear programming
von: Li, Jiajun, et al.
Veröffentlicht: (2025)

Handling Overtime Constraints in Mixed Integer Linear Programming for Surgical Scheduling: A Comparison of Neural Network and Classical Linearization Techniques
von: Pistorius, Cindy, et al.
Veröffentlicht: (2026)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
von: Li, Hongpei, et al.
Veröffentlicht: (2025)

The role of viscosity on drop impact forces on non-wetting surfaces
von: Sanjay, Vatsal, et al.
Veröffentlicht: (2023)

Linear Trading Position with Sparse Spectrum
von: Lai, Zhao-Rong, et al.
Veröffentlicht: (2025)

A Review of NEST Models for Liquid Xenon and Exhaustive Comparison to Other Approaches
von: Szydagis, M., et al.
Veröffentlicht: (2022)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
von: Nieuwenhuis, Robert, et al.
Veröffentlicht: (2024)

Exhaustive Symbolic Regression
von: Bartlett, Deaglan J., et al.
Veröffentlicht: (2022)

Diagrammatic Simplification of Linearized Coupled Cluster Theory
von: Carter-Fenk, Kevin
Veröffentlicht: (2025)

A Universal Way to Manipulate Droplet via Light‐Fueled Thermocapillary Convection
von: Hyesun Hwang, et al.
Veröffentlicht: (2025)

Point Tracking Improves World Action Models
von: Guan, Jiarui, et al.
Veröffentlicht: (2026)

Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming
von: Lera-Leri, Roger Xavier, et al.
Veröffentlicht: (2025)

Managing Air Traffic Flow With Link Flow Rate Control: A Pure Integer Programming Model With More Accurate Link Connection Modeling
von: Han Zhong, et al.
Veröffentlicht: (2024)

Assessing Simplification Levels in Neural Networks: The Impact of Hyperparameter Configurations on Complexity and Sensitivity
von: Guan, Huixin
Veröffentlicht: (2024)

Unveiling the Tapestry of Automated Essay Scoring: A Comprehensive Investigation of Accuracy, Fairness, and Generalizability
von: Yang, Kaixun, et al.
Veröffentlicht: (2024)

From Observation to Orientation: an Adaptive Integer Programming Approach to Intervention Design
von: Elrefaey, Abdelmonem, et al.
Veröffentlicht: (2025)

SAT Requires Exhaustive Search
von: Xu, Ke, et al.
Veröffentlicht: (2023)

NanoGS: Training-Free Gaussian Splat Simplification
von: Xiong, Butian, et al.
Veröffentlicht: (2026)

Fast Nucleophilic Approach to Exhaustively Substituted Porphyrin Derivatives at the “Eastern Half”
von: Agnieszka Mikus, et al.
Veröffentlicht: (2025)

Learning Exhaustive Correlation for Spectral Super-Resolution: Where Spatial-Spectral Attention Meets Linear Dependence
von: Wang, Hongyuan, et al.
Veröffentlicht: (2023)

AdaMotif: Graph Simplification via Adaptive Motif Design
von: Zhou, Hong, et al.
Veröffentlicht: (2024)

Quantifying Point Contributions: A Lightweight Framework for Efficient and Effective Query-Driven Trajectory Simplification
von: Song, Yumeng, et al.
Veröffentlicht: (2025)

Integer Programming Approaches for Distributionally Robust Chance Constraints with Adjustable Risks
von: Zhang, Yiling
Veröffentlicht: (2023)