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

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