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

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