index - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon

 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

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