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

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