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

Homotopy classes Event structures Expectile regression Kleene theorem Full Abstraction Recurrence Graphs Kinetic equation Besov spaces Covert communication Kinesthetic Self-interacting diffusion Multi-server systems Axiomatisation Harmonic limit Game Semantics Diffusion-approximation Sobolev spaces Minimal quantum logic Symplectic reduction Abbreviated action integral Moment map Kleene algebra Scheduling Graph signal processing Energy estimates Timing errors Coinduction Regression Failures Mean field games Automatic proof search Self-organization Kriging Activation delays Treewidth Direct method Graph theory Mathematics education Process calculi Focusing Petri nets Partial Least Squares Ssreflect Coloring Cycle stealing Cyclic proofs Coq Jacobian Local time Unique solution of equations Full abstraction Circle-valued maps Sparsity Function graph Transience Concurrency Proof theory 05C10 ergodic and Borel equivalence relations Elliptical distributions Algorithm Dual norm Termination Singular perturbation problem Linear logic Hydrodynamic limit Spatial prediction Stability General service Linear complexity Algebra Implicit computational complexity Microlocal symmetrizability Kinetic formulation Regular languages Sparse matrices Game semantics Elliptical distribution Kinetically constrained models Decidability Lambda-calculus Ordonnancement Ergodic dimension Bingham Pi-calculus Commuting variety Hyperbolic systems General arrivals Cut elimination Bisimilarity Resilience HPC Cost Multiple operating levels Verification Bisimulation Completeness Distributive laws Network science Hamiltonian dynamics