A Paraconsistent Higher Order Logic
Lectures on Jacques Herbrand as a Logician
The Role of Urban Form in the Performance of Shared Automated Vehicles Generalized Gelation Theory describes Human Online Aggregation in
  support of Extremism Correlation functions in linear chaotic maps Three Different Formalisations of Einstein's Relativity Principle Deepfakes Generation and Detection: State-of-the-art, open challenges,
  countermeasures, and way forward Data-driven generation of spatio-temporal routines in human mobility Gaussian fluctuations for products of random matrices Symmetry-break, mixing, instability, and low frequency variability in a
  minimal Lorenz-like system Wavelet methods to study the pointwise regularity of the generalized
  Rosenblatt process Stream Graphs and Link Streams for the Modeling of Interactions over
  Time A Rewriting-Logic-Based Technique for Modeling Thermal Systems The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for
  Autonomous Vehicle Applications Decentralized Restless Bandit with Multiple Players and Unknown Dynamics Average-Case Averages: Private Algorithms for Smooth Sensitivity and
  Mean Estimation From Apollonian packings to homogeneous sets Pose-Controllable Talking Face Generation by Implicitly Modularized
  Audio-Visual Representation Analytic determination of lung microgeometry with gas diffusion magnetic
  resonance Numerical study on the emergence of anisotropy in artificial flocks: A
  BOIDS modeling and simulations of empirical findings Robotic Telescopes in Education
cs.LO cs.AI