index - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon Accéder directement au contenu

 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

Concurrency Coq Bisimilarity Elliptical distribution Kinetically constrained models Sparsity Graph theory Hydrodynamic limit Kleene algebra Mahler equations Decidability Distributive laws Ordonnancement Linear logic Kinesthetic Kinetic equation Cut elimination Diffusion-approximation Termination Multiple sparse right-hand sides Petri nets Focusing Failures Local time Moment map Event structures Kleene theorem Axiomatisation Circle-valued maps Elliptical distributions Linear complexity Verification Mean field games Orbital stability Ssreflect Partial Least Squares Multiple servers Commuting variety Coinduction Stability Game semantics Full Abstraction Function graph Unique solution of equations Cographs Bisimulation Multi-server systems Sparse matrices Bass-Serre theory Homotopy classes Besov spaces Microlocal symmetrizability Minimal quantum logic Graphs Sobolev spaces Treewidth Multiple operating levels Bingham General arrivals Cost Game Semantics Coloring Hamiltonian dynamics Cycle stealing Lambda-calculus Ergodic dimension Machine Learning Algorithm Network science Harmonic limit Full abstraction Abbreviated action integral General service HPC Expectile regression Implicit computational complexity Jacobian Energy estimates Motives Automatic proof search Electron Tomography Cyclic proofs Direct method Completeness Dual norm Resilience Asymptotic analysis Proof theory Graph signal processing Algebra Activation delays Scheduling Regression Process calculi Concurrent games Covert communication Kinetic formulation Hyperbolic systems Kriging Mathematics education