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