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
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