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

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

Full abstraction Game Semantics Event structures Unique solution of equations Besov spaces Sequent calculus Verification Covert communication Denotational semantics Categorical semantics Kleene algebra Game semantics Concurrency Reliability Symplectic reduction 37B05 Partial Least Squares Stability Axiomatisation Direct method Elliptical distributions 57M60 Secondary 37E05 Cographs 20E08 Circle-valued maps Cost Concurrent games Asymptotic analysis Sobolev spaces Elliptical distribution Proof theory Baumslag-Solitar groups Completeness Category theory Termination Cyclic proofs Petri nets Automata Decidability Real-time systems Bisimulation Coloring Energy-aware systems Sparsity Power Control Activation delays Multiple sparse right-hand sides Spatial Reuse Bass-Serre theory 35B25 Bisimilarity Electron Tomography Heterogeneous platforms Linear logic Network science Distributive laws Algorithm Commuting variety Ssreflect Coq Cut elimination Algebra Perfect kernel Motives Process calculi Automatic proof search Age-structured PDE Bingham Diffusion-approximation Lambda-calculus Cycle stealing Fail-stop errors Dual norm Oscillations Complexity Sparse matrices Machine Learning Regular languages General arrivals Covariance Treewidth Space of subgroups Graph theory Optimal pattern Kriging Hydrodynamic limit Graphs Ordonnancement Coinduction Regression Algebra Lie Mean field games Resilience Clear Channel Assessment Abbreviated action integral Scheduling Implicit computational complexity Kinetic equation Curvature Silent errors