index - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon

 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

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