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