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

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