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

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