Heterogeneous platforms Event structures Electron Tomography Function graph Elliptical distributions Circle-valued maps Fail-stop errors Completeness Curvature Energy efficiency Ergodic dimension Cost Diffusion-approximation Energy estimates Treewidth Algebra Focusing Coinduction Concurrent games Stability Coloring Ssreflect Silent errors Petri nets Failures Sparsity Resilience Cyclic proofs HPC Hilbert scheme Algebra Lie Hamiltonian dynamics Verification Kriging Termination Automatic proof search Coq Full abstraction Process calculi Cycle stealing Covariance Axiomatisation Oscillations Homotopy classes Dual norm Optimal pattern Scheduling Harmonic limit Proof theory Sparse matrices Cographs Bisimilarity General service Multiple sparse right-hand sides Extreme events Lambda-calculus General arrivals Elliptical distribution Decidability Hydrodynamic limit Independent tasks Kleene algebra Algorithm Regular languages Direct method Bisimulation Ordonnancement Commuting variety Graph theory Expectile regression Regression Jacobian Network science Sobolev spaces Bass-Serre theory Linear logic Sequent calculus Game semantics Kinetic equation Abbreviated action integral Graphs Partial Least Squares Asymptotic analysis Besov spaces Implicit computational complexity Concurrency Activation delays Mean field games Hyperbolic systems Energy-aware systems Denotational semantics Cut elimination Motives Bingham Game Semantics Unique solution of equations Distributive laws Full Abstraction Graph signal processing Covert communication