Real-Time Synthesis is Hard!
Higher-Order Model Checking Step by Step
Clustering Financial Time Series: How Long is Enough? Correlated-informed neural networks: a new machine learning framework to
  predict pressure drop in micro-channels Modified Erlang loss system for cognitive wireless networks Robust convergence in pulse coupled oscillators with delays Toward Adaptive Trust Calibration for Level 2 Driving Automation Non-linear biases, stochastically-sampled effective Hamiltonians and
  spectral functions in quantum Monte Carlo methods Robustness in sparse linear models: relative efficiency based on robust
  approximate message passing On extensions of typical group actions QED Treatment of Linear Elastic Waves in Asymmetric Environments Euclidean Matchings in Ultra-Dense Networks A VLSI Design Flow for Secure Side-Channel Attack Resistant ICs Optimal shape of stellarators for magnetic confinement fusion Positively ratioed representations A Singular Mathematical Promenade Physical approach to quantum networks with massive particles Robot Capability and Intention in Trust-based Decisions across Tasks Practical Estimation of Renyi Entropy Qualitative difference between the angular anisotropy parameters in fast
  electron scattering and photoionization Sub-Poissonian Statistics of Jamming Limits in Ultracold Rydberg Gases
cs.LO cs.FL