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