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

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