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

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