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