Laboratoire d’excellence en mathématiques et informatique fondamentale de Lyon – Université de Lyon - Programme Investissements d’Avenir. 

 

 

 

 

Derniers dépôts

 

 

 

 

 

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

Polynomial time complexity Unique solution of equations Asymptotic analysis Algèbre linéaire creuse Age-structured PDE - renewal equation - anomalous diffusion - large deviations - WKB approximation - Hamilton-Jacobi equation Spatial prediction Energy estimates AMS subject classification Recurrence Full abstraction Proof theory Preemptive-resume Elliptical distributions Reduced-state approximation Ssreflect Event structures 35B25 Automata General arrivals HPC Treewidth Hamiltonian dynamics Allegories Amplitude equation Universal Algebra Multiple servers Uniform infinite half-planar quadrangulation Priority 2-join Lambda-calculus Process calculi Spectral stability 2012 ACM Subject Classification Theory of computation → Proof theory · Theory of compu- tation → Regular languages Keywords and phrases Kleene algebra Timing errors Approximation-diffusion Coq Asymptotic methods Kleene algebra 74K25 Homotopy classes Algorithm Accessible functors Bisimilarity Algebra Action algebra Sobolev spaces Minimal quantum logic Kinetic equation Axiomatisation Transience Multi-server systems Action lattices Network science Orthologic Automatic proof search Termination Petri nets Activation delays Linear logic Diffusion-approximation Circle-valued maps ABFT Implicit computational complexity Failures Coloring And phrases Megakaryopoiesis Moment map Orbital stability Sofic entropy Ph/Ph/c/N queue General service Singular perturbation problem Linear complexity Approximation algorithms Focusing Algebraic actions VMO Hydrodynamic limit Expectile regression 74F10 Kriging Abbreviated action integral Verification Graph theory Game semantics Resilience Mean field games Kinetic formulation Agent-Based Simulation Jacobian Cut elimination 74Q15 Distributive laws Multiple operating levels Arrivées non-Poisson Symplectic reduction Action Algorithme d'approximation Commuting variety Besov spaces