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

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