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

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