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

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