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

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