Belief Revision in Structured Probabilistic Argumentation
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)
Compound real Wishart and q-Wishart matrices Polynomial functors and combinatorial Dyson-Schwinger equations Symmetry Obstruction to Fermi Liquid Behavior in the Unitary Limit Superconductivity in Nanostructures as a Consequence of Local Pairing
  and Bose-Einstein-Condensation of Pairs Far-from-equilibrium attractors and nonlinear dynamical systems approach
  to the Gubser flow Nonsmoothness in Machine Learning: specific structure, proximal
  identification, and applications Examples of infinity and Lie algebras and their versal deformations Social learning equilibria Green's functions of electrons in group-VI dichalcogenides in a magnetic
  field Model Checking Quantum Continuous-Time Markov Chains Constraints on the Photon Mass with Fast Radio Bursts DPU: DAG Processing Unit for Irregular Graphs with Precision-Scalable
  Posit Arithmetic in 28nm On Bootstrap Percolation in Living Neural Networks An Evolutionary Framework for Automatic and Guided Discovery of
  Algorithms Non-stationary difference equation for q-Virasoro conformal blocks 3-D generalized analytic signal associated with linear canonical
  transform in Clifford biquaternion domain Local trace formulae and scaling asymptotics in Toeplitz quantization Probabilistic Explanations and the Derivation of Macroscopic Laws Logic circuits from zero forcing m-arcsinh: An Efficient and Reliable Function for SVM and MLP in
  scikit-learn
cs.LO cs.AI