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