index - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon

 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

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