A Snooze-less User-Aware Notification System for Proactive
  Conversational Agents
Using Virtual Humans to Understand Real Ones
Formal Methods for the Informal Engineer: Workshop Recommendations Enhanced transport when Anderson localization is destroyed Statistical State Dynamics: a new perspective on turbulence in shear
  flow Element Distinctness Revisited Information Based Complexity of Networks Les technologies de l'information et de la communication au niveau
  mondial et en Roumanie dans les dernieres annees Determinant Bounds and the Matsubara UV Problem of Many-Fermion Systems The Challenges in Specifying and Explaining Synthesized Implementations
  of Reactive Systems Complex Network-Based Approach for Feature Extraction and Classification
  of Musical Genres From a single encapsulated detector to the spectrometer for INTEGRAL
  satellite: predicting the peak-to-total ratio at high gamma-energies Probabilistic Deterministic Finite Automata and Recurrent Networks,
  Revisited Graph Laplacians, Riemannian Manifolds and their Machine-Learning Universal flows of closed subgroups of $S_{\infty}$ and relative extreme
  amenability Graph-based time-space trade-offs for approximate near neighbors Domain Wall Equations, Hessian of Superpotential, and Bogomol'nyi Bounds Evolution of differentiated expression patterns in digital organisms Feynman integrals as flat bundles over the complement of Landau
  varieties A general approach to maximise information density in neutron
  reflectometry analysis
cs.HC cs.AI