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

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