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