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

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