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