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
Commuting variety
Event structures
General arrivals
Treewidth
Sparsity
Harmonic limit
Optimal pattern
Energy efficiency
Silent errors
Algebra Lie
Covert communication
Real-time systems
Motives
Resilience
Circle-valued maps
Failures
General service
Covariance
Completeness
Cycle stealing
Graph signal processing
Termination
FOS Mathematics
Process calculi
Coinduction
Algebra
Automatic proof search
Automata
Petri nets
Extreme events
Graphs
Fail-stop errors
Energy estimates
Activation delays
Category theory
Axiomatisation
Coloring
Bingham
Diffusion-approximation
Besov spaces
Full abstraction
Direct method
Hamiltonian dynamics
Energy-aware systems
Reliability
Heterogeneous platforms
Sobolev spaces
Graph theory
Regression
Function graph
Multiple sparse right-hand sides
Elliptical distribution
Regular languages
Sequent calculus
Full Abstraction
Proof theory
Concurrency
Scheduling
Bass-Serre theory
Ordonnancement
Focusing
Ergodic dimension
Dual norm
Electron Tomography
Mean field games
Cographs
Cut elimination
Stability
Expectile regression
Asymptotic analysis
Partial Least Squares
Kleene algebra
Cyclic proofs
Kinetic equation
Coq
Game Semantics
Implicit computational complexity
Network science
Verification
Decidability
Game semantics
Unique solution of equations
Curvature
Bisimulation
Distributive laws
Elliptical distributions
Linear logic
HPC
Algorithm
Kriging
Sparse matrices
Lambda-calculus
Bisimilarity
Ssreflect
Concurrent games
Oscillations
Hydrodynamic limit
Abbreviated action integral
Cost
Denotational semantics