Polynomial Rewritings from Expressive Description Logics with Closed
  Predicates to Variants of Datalog
Design, development and implementation of a tool for construction of
  declarative functional descriptions of semantic web services based on WSMO
  methodology
Linear and nonlinear equations for beams and degenerate plates with
  multiple intermediate piers Design and Deployment of a Multichroic Polarimeter Array on the Atacama
  Cosmology Telescope Tightening LP Relaxations for MAP using Message Passing A minimax principle to the injectivity of the Jacobian conjecture Publishing Identifiable Experiment Code And Configuration Is Important,
  Good and Easy Modeling Spontaneous Exit Choices in Intercity Expressway Traffic with
  Quantum Walk Hiding Quiet Solutions in Random Constraint Satisfaction Problems QAOA for Max-Cut requires hundreds of qubits for quantum speed-up Communication-Efficient Federated Learning via Predictive Coding SpeakingFaces: A Large-Scale Multimodal Dataset of Voice Commands with
  Visual and Thermal Video Streams Bertini for Macaulay2 Critical dynamics of gauge systems: Spontaneous vortex formation in 2D
  superconductors A Framework for the Development of Manufacturing Simulators: Towards New
  Generation of Simulation Systems 4D Wavelet-Based Regularization for Parallel MRI Reconstruction: Impact
  on Subject and Group-Levels Statistical Sensitivity in fMRI Spectrally Consistent UNet for High Fidelity Image Transformations $L^p$-$L^q$ multipliers on locally compact groups Generalized liquid crystals: giant fluctuations and the vestigial chiral
  order of $I$, $O$ and $T$ matter Modelling and simulation of complex systems: an approach based on
  multi-level agents Crossing Probabilities and Modular Forms
cs.AI cs.LO