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