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

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