Accéder directement au contenu Accéder directement à la navigation

 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

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