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