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