index - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon

 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

Asymptotic analysis Coq Failures Cost Kriging Algebra Lie Automata Completeness Besov spaces Game semantics Distributive laws Covert communication Concurrency Network science Energy efficiency Event structures Sequent calculus Treewidth Algebra Regression Implicit computational complexity Diffusion-approximation Ordonnancement Ssreflect Decidability Sobolev spaces Hydrodynamic limit Multiple sparse right-hand sides Cyclic proofs Coinduction Bisimulation Commuting variety General arrivals Abbreviated action integral Petri nets Sparse matrices Category theory Reliability Cycle stealing Verification Circle-valued maps Automatic proof search Energy-aware systems Graph theory Bass-Serre theory Elliptical distributions Silent errors Unique solution of equations Cut elimination Kleene algebra Scheduling Stability Motives Graphs Elliptical distribution Coloring Hamiltonian dynamics Fail-stop errors Bingham Proof theory Partial Least Squares Game Semantics Ergodic dimension HPC Sparsity Focusing Dual norm General service Energy estimates Denotational semantics Kinetic equation Full Abstraction Mean field games Regular languages Extreme events Lambda-calculus Termination Process calculi Linear logic Optimal pattern Oscillations Bisimilarity Resilience Cographs Function graph FOS Mathematics Concurrent games Activation delays Direct method Real-time systems Heterogeneous platforms Space of subgroups Curvature Algorithm Full abstraction Graph signal processing Axiomatisation Electron Tomography Expectile regression Covariance