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