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

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