Laboratoire d’excellence en mathématiques et informatique fondamentale de Lyon – Université de Lyon - Programme Investissements d’Avenir. 

 

 

 

 

Derniers dépôts

 

 

 

 

 

Répartition des dépôts par discipline

Répartition des dépôts par type de publication

Évolution des dépôts

 

Mots clés

Treewidth Orbital stability Energy estimates Stability Kinetically constrained models Orthologic Besov spaces ABFT Action Full abstraction Kinetic formulation Linear complexity Activation delays Kleene theorem Graph signal processing Coq Expectile regression Reduced-state approximation Coloring Circle-valued maps Automatic proof search Resilience Event structures Focusing Bisimilarity Implicit computational complexity Graph theory General arrivals Multiple servers Minimal quantum logic Multi-server systems Axiomatisation Spectral stability Hyperbolic systems Mathematics education Hydrodynamic limit Kriging Transience Function graph Jacobian Sofic entropy Polynomial time complexity 74Q15 35B25 Microlocal symmetrizability Spatial prediction Age-structured PDE Unique solution of equations Verification Abbreviated action integral Timing errors Elliptical distributions Diffusion-approximation General service 74K25 Proof theory Kinetic equation Failures Universal Algebra Linear logic Multiple operating levels 74F10 Priority Petri nets Singular perturbation problem Termination Lambda-calculus Process calculi Cut elimination Decidability 2-join Graphs Ssreflect VMO Multiple sparse right-hand sides Symplectic reduction AMS subject classification 2012 ACM Subject Classification Theory of computation → Proof theory · Theory of compu- tation → Regular languages Keywords and phrases Kleene algebra Kleene algebra Action lattices Elliptical distribution Distributive laws Abcd systems Sobolev spaces Homotopy classes HPC Game semantics Network science Action algebra Commuting variety Ph/Ph/c/N queue Recurrence Agent-Based Simulation Accessible functors Kinesthetic Mean field games Moment map Hamiltonian dynamics Preemptive-resume Uniform infinite half-planar quadrangulation