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