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

Chargement de la page

Évolution des dépôts

 

Mots clés

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