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