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

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