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

 

 

 

 

 

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 Ergodic dimension Expectile regression Bass-Serre theory Treewidth Electron Tomography Scheduling Coloring Covariance Game semantics Hamiltonian dynamics Function graph Hilbert scheme Homotopy classes Implicit computational complexity Graph signal processing Event structures Ssreflect Fail-stop errors Unique solution of equations Energy estimates Energy-aware systems Regression Full abstraction HPC Stability Bisimulation Cyclic proofs Optimal pattern Kinetic equation Sequent calculus Axiomatisation Commuting variety Failures Silent errors Diffusion-approximation Coinduction Abbreviated action integral Covert communication Circle-valued maps Direct method Algebra Graph theory Elliptical distribution Coq Harmonic limit Hydrodynamic limit Distributive laws Sparsity Bisimilarity Regular languages Graphs Cycle stealing Cut elimination Proof theory Oscillations Focusing Lambda-calculus Besov spaces Curvature Concurrent games Ordonnancement Verification Full Abstraction Network science Kriging Cost Motives Bingham Algorithm Concurrency Extreme events Process calculi Termination Kleene algebra Denotational semantics Mean field games Decidability Cographs Linear logic Sparse matrices Completeness Partial Least Squares Asymptotic analysis Heterogeneous platforms Energy efficiency Sobolev spaces Activation delays General service Automatic proof search Hyperbolic systems Jacobian Game Semantics Resilience Algebra Lie Petri nets Dual norm Independent tasks General arrivals Multiple sparse right-hand sides