Two Variable vs. Linear Temporal Logic in Model Checking and Games
Can Nondeterminism Help Complementation?
Co-Localization of Audio Sources in Images Using Binaural Features and
  Locally-Linear Regression (Co)Simplicial Descent Categories Molecular-dynamics simulation of clustering processes in sea-ice floes Breaching the 2-Approximation Barrier for the Forest Augmentation
  Problem An Index Theorem for Graphene Multilinguals and Wikipedia Editing A decomposition theorem for maxitive measures Knowware: the third star after Hardware and Software Optimizing the order of actions in contact tracing Complex cobordism and algebraic topology Development and Simulation-based Testing of a 5G-Connected Intersection
  AEB System Satellite Image and Machine Learning based Knowledge Extraction in the
  Poverty and Welfare Domain Representation Stability Symmetry Breaking Study with Deformed Ensembles Quantifying the Effects of Prosody Modulation on User Engagement and
  Satisfaction in Conversational Systems Generalized Darcy's law for parity odd three-dimensional fluids Hermitian Young Operators
cs.LO cs.FL