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

Chargement de la page

 

 

 

 

 

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

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