Accéder directement au contenu Accéder directement à la navigation

 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

Jacobian Proof theory Sobolev spaces Hyperbolic systems Mean field games Elliptical distribution Kinetic equation Cut elimination Decidability Kriging Treewidth Resilience Focusing Energy estimates Sparse matrices Rewriting Transience Verification Homotopy classes Graphs Coloring Automatic proof search Universal Algebra Besov spaces Symplectic reduction Unique solution of equations Abbreviated action integral Moment map Expectile regression Graph theory Preemptive-resume Reduced-state approximation Failures Function graph Uniform infinite half-planar quadrangulation Equimorphy Harmonic limit Hamiltonian dynamics Game semantics Multiple sparse right-hand sides Bisimulation Kinetically constrained models Commuting variety Oscillations Elliptical distributions Sofic entropy Self-organization Regular languages VMO Timing errors Recurrence Orthologic Activation delays Multiple servers Linear complexity Distributive laws Linear logic Microlocal symmetrizability Isomorphy General service Process calculi Singular perturbation problem Multi-server systems Coq Implicit computational complexity Mathematics education Ph/Ph/c/N queue Lambda-calculus Spatial prediction Kinesthetic Hydrodynamic limit Axiomatisation Network science Graph signal processing Petri nets Direct method Sparse linear algebra HPC Termination Diffusion-approximation Concurrency Minimal quantum logic General arrivals Orbital stability Spectral stability Periodic traveling waves Kleene theorem Algebra Kinetic formulation Circle-valued maps Priority Ssreflect Multiple operating levels Trees Stability Soliton asymptotics Kleene algebra Event structures Full abstraction Bisimilarity