Linear logic Coloring Heterogeneous platforms Bingham 20E08 Termination Bass-Serre theory Sparsity Decidability Partial Least Squares Perfect kernel Bisimilarity Axiomatisation Graphs Distributive laws Kriging Optimal pattern Resilience Sequent calculus Age-structured PDE Cycle stealing Direct method Verification Automatic proof search Regular languages Scheduling Machine Learning Elliptical distribution Kleene algebra Fail-stop errors Completeness Dual norm Game semantics Coinduction Concurrency Regression 37B05 Space of subgroups Hydrodynamic limit Spatial Reuse Energy-aware systems 57M60 Secondary 37E05 Symplectic reduction Categorical semantics Covariance Abbreviated action integral Process calculi Event structures Category theory Activation delays Concurrent games Commuting variety Bisimulation Automata Unique solution of equations Cographs Denotational semantics Electron Tomography Network science Game Semantics Besov spaces Asymptotic analysis Cyclic proofs Full abstraction Cost Diffusion-approximation 35B25 Complexity Mean field games Graph theory Stability Proof theory Real-time systems Ssreflect Multiple sparse right-hand sides Elliptical distributions Kinetic equation Motives Baumslag-Solitar groups Oscillations Implicit computational complexity Silent errors Sparse matrices Curvature Covert communication Algebra Lie Treewidth Algorithm Cut elimination Reliability Sobolev spaces Algebra Clear Channel Assessment Petri nets Ordonnancement Coq General arrivals Power Control Lambda-calculus Circle-valued maps