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

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