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

Chargement de la page

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

Évolution des dépôts

Chargement de la page

 

Mots clés

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