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

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