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

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