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

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