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

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