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

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