index - Archive ouverte HAL 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

Full abstraction Linear logic Elliptical distributions Moment map Graph theory Circle-valued maps Lambda-calculus Focusing Orthologic Kleene theorem Unique solution of equations Coloring Resilience Graph signal processing Concurrency Pi-calculus Ergodic dimension Petri nets Multiple servers Periodic traveling waves Algorithm Function graph Verification Event structures Harmonic limit Bingham Cographs Proof theory HPC Ordonnancement Cyclic proofs Coinduction Hydrodynamic limit Besov spaces Kleene algebra Multi-server systems Covert communication Scheduling Implicit computational complexity Termination Hyperbolic systems Energy estimates Partial Least Squares Kriging Network science Oscillations Failures Game Semantics Extreme events Bisimilarity Microlocal symmetrizability Calibration Cycle stealing Multiple operating levels Linear complexity Kinetic formulation Diffusion-approximation Game semantics Mean field games Ssreflect Elliptical distribution Hamiltonian dynamics Cut elimination Polynomial time complexity Orbital stability Abbreviated action integral General service Distributive laws Kinetically constrained models Decidability Coq Direct method Automatic proof search Kinesthetic Algebra Treewidth Dual norm Sobolev spaces Commuting variety Bisimulation Sparse matrices Cost Multiple sparse right-hand sides Process calculi Graphs Kinetic equation Stability Minimal quantum logic Ph/Ph/c/N queue Expectile regression Homotopy classes Full Abstraction Activation delays Local time Completeness CRPS Jacobian General arrivals Axiomatisation Mathematics education