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

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