index - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon Accéder directement au contenu

 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

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