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

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