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