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

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