MIDAS - An Influence Diagram for Management of Mildew in Winter Wheat
A Survey for Solving Mixed Integer Programming via Machine Learning
A Gentle Introduction to Conformal Prediction and Distribution-Free
  Uncertainty Quantification Convergence for noncommutative rational functions evaluated in random
  matrices Differential games, locality and model checking for FO logic of graphs A maximum likelihood algorithm for the estimation and renormalization of
  exponential densities Non-Adiabatic Quantum Molecular Dynamics with Detailed Balance The Hilbert series of a linear symplectic circle quotient A note on the gap between rank and border rank Rieffel induction as generalized quantum Marsden-Weinstein reduction A SAT Approach to Twin-Width Reasoning About a Simulated Printer Case Investigation with Forensic
  Lucid Interval Constraint Solving for Camera Control and Motion Planning Regular ambitoric $4$-manifolds: from Riemannian Kerr to a complete
  classification Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively Q-operators for higher spin eight vertex models with an even number of
  sites The Truncated Conjugate Gradient (TCG), a Non-iterative/Fixed-cost
  Strategy for Computing Polarization in Molecular Dynamics: Fast Evaluation of
  Analytical Forces Characterization of Line Arrangement for which the Fundamental Group of
  the Complement is a Direct Product of Free Groups Unitary and symmetric units of a commutative group algebra
cs.AI