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

 

 

 

 

 

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

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