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

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